English
Related papers

Related papers: An Intuitive Automated Modelling Interface for Sys…

200 papers

Biological systems typically involve large numbers of components with complex, highly parallel interactions and intrinsic stochasticity. To model this complexity, numerous programming languages based on process calculi have been developed,…

Programming Languages · Computer Science 2010-11-03 Andrew Phillips , Matthew Lakin , Loïc Paulevé

Biological cells are the prototypical example of active matter. Cells sense and respond to mechanical, chemical and electrical environmental stimuli with a range of behaviors, including dynamic changes in morphology and mechanical…

Computational Engineering, Finance, and Science · Computer Science 2017-02-28 Endre Somogyi , James A. Glazier

Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from…

Programming Languages · Computer Science 2018-05-08 Alessandro Abate , Luca Cardelli , Marta Kwiatkowska , Luca Laurenti , Boyan Yordanov

We introduce PRISM (Predictive Reasoning in Sequential Medicine), a transformer-based architecture designed to model the sequential progression of clinical decision-making processes. Unlike traditional approaches that rely on isolated…

Computation and Language · Computer Science 2025-06-16 Lionel Levine , John Santerre , Alex S. Young , T. Barry Levine , Francis Campion , Majid Sarrafzadeh

The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of Ordinary Differential Equations. Alternative approaches based on formal calculi, often derived from process algebras or term…

Stochastic fluctuations of molecule numbers are ubiquitous in biological systems. Important examples include gene expression and enzymatic processes in living cells. Such systems are typically modelled as chemical reaction networks whose…

Quantitative Methods · Quantitative Biology 2017-01-13 David Schnoerr , Guido Sanguinetti , Ramon Grima

We present the MIM calculus, a modeling formalism with a strong biological basis, which provides biologically-meaningful operators for representing the interaction capabilities of molecular species. The operators of the calculus are…

Computational Engineering, Finance, and Science · Computer Science 2009-11-26 Roberto Barbuti , Andrea Maggiolo-Schettini , Paolo Milazzo , Giovanni Pardini , Aureliano Rama

Automation is becoming ubiquitous in all laboratory activities, leading towards precisely defined and codified laboratory protocols. However, the integration between laboratory protocols and mathematical models is still lacking. Models…

Quantitative Methods · Quantitative Biology 2021-11-30 Luca Cardelli , Marta Kwiatkowska , Luca Laurenti

Probabilistic inference provides a language for describing how organisms may learn from and adapt to their environment. The computations needed to implement probabilistic inference often require specific representations, akin to having the…

Molecular Networks · Quantitative Biology 2018-06-28 Yarden Katz , Michael Springer , Walter Fontana

Guiding biological systems toward desired states, such as morphogenetic outcomes, remains a fundamental challenge with far-reaching implications for medicine and synthetic biology. While large language models (LLMs) have enabled natural…

Artificial Intelligence · Computer Science 2025-08-27 Nam H. Le , Patrick Erikson , Yanbo Zhang , Michael Levin , Josh Bongard

Language model intelligence is revolutionizing the way we program materials simulations. However, the diversity of simulation scenarios renders it challenging to precisely transform human language into a tailored simulator. Here, using…

Artificial Intelligence · Computer Science 2024-02-27 Han Liu , Liantang Li

Stochasticity is a key characteristic of intracellular processes such as gene regulation and chemical signalling. Therefore, characterising stochastic effects in biochemical systems is essential to understand the complex dynamics of living…

Molecular Networks · Quantitative Biology 2019-03-04 David J. Warne , Ruth E. Baker , Matthew J. Simpson

This paper introduces the probabilistic module interface, which allows encapsulation of complex probabilistic models with latent variables alongside custom stochastic approximate inference machinery, and provides a platform-agnostic…

Artificial Intelligence · Computer Science 2017-05-09 Marco F. Cusumano-Towner , Vikash K. Mansinghka

Chemical reaction network is an important method for modeling and exploring complex biological processes, bio-chemical interactions and the behavior of different dynamics in system biology. But, formulating such reaction kinetics takes…

Artificial Intelligence · Computer Science 2025-03-28 Sadikshya Gyawali , Ashwini Mandal , Manish Dahal , Manish Awale , Sanjay Rijal , Shital Adhikari , Vaghawan Ojha

Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct view and…

Logic in Computer Science · Computer Science 2019-01-31 Mauricio Toro

While a great effort has concerned the development of fully integrated modular understanding systems, few researches have focused on the problem of unifying existing linguistic formalisms with cognitive processing models. The Situated…

Computation and Language · Computer Science 2007-05-23 Guillaume Pitel

We have developed a coarse-grained formulation for modeling the dynamic behavior of cells quantitatively, based on stochasticity and heterogeneity, rather than on biochemical reactions. We treat each reaction as a continuous-time stochastic…

Molecular Networks · Quantitative Biology 2015-05-28 Shunsuke Teraguchi , Yutaro Kumagai , Alexis Vandenbon , Shizuo Akira , Daron M Standley

The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on formal calculi, often derived from process algebras or term…

Programming Languages · Computer Science 2010-11-03 Mario Coppo , Ferruccio Damiani , Maurizio Drocco , Elena Grassi , Eva Sciacca , Salvatore Spinella , Angelo Troina

The ability to quantify stochastic fluctuations present in biochemical and other systems is becoming increasing important. Analytical descriptions of these fluctuations are attractive, as stochastic simulations are computationally…

Statistical Mechanics · Physics 2013-02-07 Joseph D. Challenger , Alan J. McKane , Jürgen Pahle

Stochastic simulation can make the molecular processes of cellular control more vivid than the traditional differential-equation approach by generating typical system histories instead of just statistical measures such as the mean and…

Subcellular Processes · Quantitative Biology 2018-09-18 Kevin Y. Chen , Daniel M. Zuckerman , Philip C. Nelson
‹ Prev 1 2 3 10 Next ›