HSB 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: B C E F G H L M N P R S

B
Bayesian inference	FM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference (PDF, talk)
Bernstein basis	Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models (PDF, talk)
Biological Systems	Exploiting the eigenstructures of linear systems to speed up reachability computation (PDF, talk)
C
chemical master equation	Optimal Observation Time Points in Stochastic Chemical Kinetics (PDF, talk)
compartmental models	Integration of rule-based models and compartmental models of neurons (PDF, talk)
computational neuroscience	Integration of rule-based models and compartmental models of neurons (PDF, talk)
continuous time Markov chains	Optimal Observation Time Points in Stochastic Chemical Kinetics (PDF, talk)
E
endocytosis	FM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference (PDF, talk)
epidemic models	Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models (PDF, talk)
experiment design	Optimal Observation Time Points in Stochastic Chemical Kinetics (PDF, talk)
F
Fisher information matrix	Optimal Observation Time Points in Stochastic Chemical Kinetics (PDF, talk)
flux balance analysis	Bayesian Design for Whole Cell Synthetic Biology Models (PDF, talk)
G
gene expression	Bayesian Design for Whole Cell Synthetic Biology Models (PDF, talk)
gene regulatory network	Modeling and analysis of qualitative behavior of gene regulatory networks (PDF, talk)
global sensitivity analysis	RKappa: Statistical sampling suite for Kappa models. (PDF, talk)
H
hybrid spatial-nonspatial simulations	Integration of rule-based models and compartmental models of neurons (PDF, talk)
hybrid stochastic simulations	FM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference (PDF, talk)
hybrid stochastic-deterministic simulations	Integration of rule-based models and compartmental models of neurons (PDF, talk)
hybrid system models	Modeling and analysis of qualitative behavior of gene regulatory networks (PDF, talk)
hybrid systems	Exploiting the eigenstructures of linear systems to speed up reachability computation (PDF, talk)
L
linear differential systems	Exploiting the eigenstructures of linear systems to speed up reachability computation (PDF, talk)
M
metabolic regulation	Bayesian Design for Whole Cell Synthetic Biology Models (PDF, talk)
model analysis	RKappa: Statistical sampling suite for Kappa models. (PDF, talk)
model composition	RKappa: Statistical sampling suite for Kappa models. (PDF, talk)
modelling and analysis of qualitative behaviour of biological systems	Modeling and analysis of qualitative behavior of gene regulatory networks (PDF, talk)
multiscale simulations	Integration of rule-based models and compartmental models of neurons (PDF, talk)
N
neurobiology	FM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference (PDF, talk)
P
parameter synthesis	Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models (PDF, talk)
polynomial systems	Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models (PDF, talk)
R
reachability analysis	Exploiting the eigenstructures of linear systems to speed up reachability computation (PDF, talk)
rule-based models	RKappa: Statistical sampling suite for Kappa models. (PDF, talk) Integration of rule-based models and compartmental models of neurons (PDF, talk)
S
stochastic chemical kinetics	Optimal Observation Time Points in Stochastic Chemical Kinetics (PDF, talk)
symbolic computation	Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models (PDF, talk)
synaptic vesicle cycle	FM-Sim : A Hybrid Protocol Simulator of Fluorescence Microscopy Neuroscience Assays with Integrated Bayesian Inference (PDF, talk)
synthetic biology	Bayesian Design for Whole Cell Synthetic Biology Models (PDF, talk)