VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program