3 Result(s)
within
Andre S. Ribeiro
Computer Science
Computation by Abstract Devices
Computational Biology/Bioinformatics
-
Chapter
Evolutionary Dynamics of a Population of Cells with a Toxin Suppressor Gene
Environmental changes are known to trigger evolutionary changes, e.g. by favoring higher mutation rates. We study the evolutionary dynamics of a delayed stochastic genetic circuit using a simulator developed f...
-
Chapter and Conference Paper
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
The recently introduced Hybrid Automata Stochastic Logic (HASL) establishes a powerful framework for the analysis of a broad class of stochastic processes, namely Discrete Event Stochastic Processes (DESPs). H...
-
Chapter and Conference Paper
Modelling Polar Retention of Complexes in Escherichia coli
The cytoplasm of Escherichia coli is a crowded, heterogeneous environment. The spatial kinetics and heterogeneities of synthetic RNA-protein complexes have been recently studied using single-cell live imaging. A ...
