English
Related papers

Related papers: Statistical Model Checking for Biological Applicat…

200 papers

This article shows how to specify and construct a discrete, stochastic, continuous-time model specifically for ecological systems. The model is more broad than typical chemical kinetics models in two ways. First, using time-dependent hazard…

Populations and Evolution · Quantitative Biology 2015-06-30 Andrew J. Dolgert

Multiscale models allow for the treatment of complex phenomena involving different scales, such as remodeling and growth of tissues, muscular activation, and cardiac electrophysiology. Numerous numerical approaches have been developed to…

Numerical Analysis · Mathematics 2018-06-28 Marco Favino , Alessio Quaglino , Sonia Pozzi , Rolf Krause , Igor Pivkin

Statistical modeling plays a fundamental role in understanding the underlying mechanism of massive data (statistical inference) and predicting the future (statistical prediction). Although all models are wrong, researchers try their best to…

Methodology · Statistics 2020-06-17 Hangjin Jiang

Robots are soon going to be deployed in non-industrial environments. Before society can take such a step, it is necessary to endow complex robotic systems with mechanisms that make them reliable enough to operate in situations where the…

Robotics · Computer Science 2020-07-24 Livia Lestingi , Mehrnoosh Askarpour , Marcello M. Bersani , Matteo Rossi

Most available tools propose simulation frameworks to study models of biological systems, but simulation only explores a few of the most probable behaviours of the system. On the contrary, techniques such as model checking, coming from…

Logic in Computer Science · Computer Science 2011-08-18 Nicolas Sedlmajer , Didier Buchs , Steve Hostettler , Alban Linard , Edmundo Lopez , Alexis Marechal

We propose a general stochastic formalism for describing the evolution of chemical reactions involving a finite number of molecules. This approach is consistent with the statistical analysis based on the Chemical Master Equation, and…

Statistical Mechanics · Physics 2023-01-13 Chiara Pezzotti , Massimiliano Giona

Stochastic process discovery is concerned with deriving a model capable of reproducing the stochastic character of observed executions of a given process, stored in a log. This leads to an optimisation problem in which the model's parameter…

Formal Languages and Automata Theory · Computer Science 2025-05-01 Pierre Cry , Paolo Ballarini , András Horváth , Pascale Le Gall

Probabilistic graphical models (PGMs) have become a popular tool for computational analysis of biological data in a variety of domains. But, what exactly are they and how do they work? How can we use PGMs to discover patterns that are…

Quantitative Methods · Quantitative Biology 2010-02-22 Edoardo M Airoldi

We develop a statistical toolbox for a quantitative model evaluation of stochastic reaction-diffusion systems modeling space-time evolution of biophysical quantities on the intracellular level. Starting from space-time data $X_N(t,x)$, as,…

Methodology · Statistics 2023-07-14 Gregor Pasemann , Carsten Beta , Wilhelm Stannat

The model of chemical reaction networks is among the oldest and most widely studied and used in natural science. The model describes reactions among abstract chemical species, for instance $A + B \to C$, which indicates that if a molecule…

Data Structures and Algorithms · Computer Science 2026-02-16 Joshua Petrack , David Doty

We discuss the role and merits of symmetry methods for the analysis of biological systems. In particular, we consider systems of first order ordinary differential equations and provide a comprehensive review of the geometrical foundations…

Quantitative Methods · Quantitative Biology 2022-02-11 Johannes Borgqvist , Fredrik Ohlsson , Ruth E. Baker

Chemical reaction networks describe interactions between biochemical species. Once an underlying reaction network is given for a biochemical system, the system dynamics can be modelled with various mathematical frameworks such as continuous…

Probability · Mathematics 2023-06-22 German Enciso , Radek Erban , Jinsu Kim

Stochastic branching processes are a classical model for describing random trees, which have applications in numerous fields including biology, physics, and natural language processing. In particular, they have recently been proposed to…

Logic in Computer Science · Computer Science 2012-06-07 Taolue Chen , Klaus Dräger , Stefan Kiefer

Biochemical networks play a crucial role in biological systems, implementing a broad range of vital functions. They normally operate at low copy numbers and in spatial settings, but this is often ignored and well-stirred conditions are…

Molecular Networks · Quantitative Biology 2017-05-25 Thomas R. Sokolowski , Pieter Rein ten Wolde

Molecular simulations and biophysical experiments can be used to provide independent and complementary insights into the molecular origin of biological processes. A particularly useful strategy is to use molecular simulations as a modelling…

Chemical Physics · Physics 2019-12-10 Simone Orioli , Andreas Haahr Larsen , Sandro Bottaro , Kresten Lindorff-Larsen

Mathematical models are increasingly being used to understand complex biochemical systems, to analyze experimental data and make predictions about unobserved quantities. However, we rarely know how robust our conclusions are with respect to…

Molecular Networks · Quantitative Biology 2015-11-06 Elisenda Feliu , Carsten Wiuf

The last decade has witnessed a surge of theoretical and computational models to describe the dynamics of complex gene regulatory networks, and how these interactions can give rise to multistable and heterogeneous cell populations. As the…

Molecular Networks · Quantitative Biology 2023-06-28 Federico Bocci , Dongya Jia , Qing Nie , Mohit Kumar Jolly , Jose Onuchic

This chapter provides a brief introduction to the theory and practice of spatial stochastic simulations. It begins with an overview of different methods available for biochemical simulations highlighting their strengths and limitations.…

Quantitative Methods · Quantitative Biology 2018-10-02 Sanjana Gupta , Jacob Czech , Robert Kuczewski , Thomas M. Bartol , Terrence J. Sejnowski , Robin E. C. Lee , James R. Faeder

The aim of our study is to describe the dynamics of ant battles, with reference to laboratory experiments, by means of a chemical stochastic model. We focus on ants behavior as an interesting topic in order to predict the ecological…

Populations and Evolution · Quantitative Biology 2016-05-09 Alisa Santarlasci , Gianluca Martelloni , Filippo Frizzi , Giacomo Santini , Franco Bagnoli

Heterogeneity in gene expression across isogenic cell populations can give rise to phenotypic diversity, even when cells are in homogenous environments. This diversity arises from the discrete, stochastic nature of biochemical reactions,…

Quantitative Methods · Quantitative Biology 2017-08-31 Zachary Fox , Brian Munsky