English
Related papers

Related papers: Static Analysis for Biological Systems (BioAmbient…

200 papers

In this paper, we investigate a mathematical modeling of biochemical processes which makes it possible to determine the adaptation of a biosystem to open environmental conditions.

Cell Behavior · Quantitative Biology 2021-12-23 V. P. Gachok , A. S. Zhokhin

Stochastic hybrid systems have received significant attentions as a relevant modelling framework describing many systems, from engineering to the life sciences: they enable the study of numerous applications, including transportation…

Logic in Computer Science · Computer Science 2022-03-11 Abolfazl Lavaei , Sadegh Soudjani , Alessandro Abate , Majid Zamani

These are notes for a set of 7 two-hour lectures given at the 2010 Summer School on Quantitative Evolutionary and Comparative Genomics at OIST, Okinawa, Japan. The emphasis is on understanding how biological systems process information. We…

Molecular Networks · Quantitative Biology 2010-06-23 Gašper Tkačik

This paper develops a Bayesian mechanics for adaptive systems. Firstly, we model the interface between a system and its environment with a Markov blanket. This affords conditions under which states internal to the blanket encode information…

Mathematical Physics · Physics 2021-12-22 Lancelot Da Costa , Karl Friston , Conor Heins , Grigorios A. Pavliotis

Biological systems are often modeled as a system of ordinary differential equations (ODEs) with time-invariant parameters. However, cell signaling events or pharmacological interventions may alter the cellular state and induce multi-mode…

Quantitative Methods · Quantitative Biology 2020-04-28 Bing Liu

We analyst in detail a new approach to the monitoring and forecasting of the onset of transitions in high dimensional complex systems (see Phys. Rev. Lett . vol. 113, 264102 (2014)) by application to the Tangled Nature Model of evolutionary…

Adaptation and Self-Organizing Systems · Physics 2015-08-03 Duccio Piovani , Jelena Grujic , Henrik Jeldtoft Jensen

We give a overview of stochastic models of evolution that have found applications in genetics, ecology and linguistics for an audience of nonspecialists, especially statistical physicists. In particular, we focus mostly on neutral models in…

Statistical Mechanics · Physics 2009-11-13 R. A. Blythe , A. J. McKane

Static analyses overwhelmingly trade precision for soundness and automation. For this reason, their use-cases are restricted to situations where imprecision isn't prohibitive. In this paper, we propose and specify a static analysis that…

Programming Languages · Computer Science 2026-02-10 Abdullah H. Rasheed

We advocate the use of qualitative models in the analysis of large biological systems. We show how qualitative models are linked to theoretical differential models and practical graphical models of biological networks. A new technique for…

Molecular Networks · Quantitative Biology 2007-05-23 Philippe Veber , Michel Le_Borgne , Anne Siegel , Sandrine Lagarrigue , Ovidiu Radulescu

Quantitative modeling has become an essential tool in modern biophysics, driven by advances in both experimental techniques and theoretical frameworks. Powerful high-resolution techniques now provide detailed datasets spanning molecular to…

In this paper we provide theoretical results that relate steady states of continuous and discrete models arising from biology.

Classical Analysis and ODEs · Mathematics 2011-09-27 Alan Veliz-Cuba , Joseph Arthur , Laura Hochstetler , Victoria Klomps , Erikka Korpi

The physiological tradition of biological research analyzes biological systems using reduced descriptions much as an engineer uses a 'black box' description of an amplifier. Simple models have been used by physiologists for a very long…

Other Quantitative Biology · Quantitative Biology 2012-07-06 Bob Eisenberg

Knowledge-based systems have been used to monitor machines and processes in the real world. In this paper we propose the use of knowledge-based systems to monitor other AI systems in operation. We motivate and provide a problem analysis of…

Artificial Intelligence · Computer Science 2022-05-06 Annet Onnes

By means of a novel variational approach and using dual maps techniques and general ideas of dynamical system theory we derive exact results about several models of transport flows, for which we also obtain a complete description of their…

Chaotic Dynamics · Physics 2007-05-23 Michael Blank

In this paper we statistically characterise the bio-aerosol background in an urban environment. To do this we measure concentration levels of naturally occurring microbiological material in the atmosphere over a two month period. Naturally…

Atmospheric and Oceanic Physics · Physics 2014-08-26 Milan Jamriska , Timothy C. DuBois , Alex Skvortsov

Stochastic processes have found numerous applications in science, as they are broadly used to model a variety of natural phenomena. Due to their intrinsic randomness and uncertainty, they are, however, difficult to characterize. Here, we…

The present article introduces a reference framework for discussing resilience of computational systems. Rather than a property that may or may not be exhibited by a system, resilience is interpreted here as the emerging result of a dynamic…

Systems and Control · Computer Science 2015-04-13 Vincenzo De Florio

Composition is a powerful principle for systems biology, focused on the interfaces, interconnections, and orchestration of distributed processes to enable integrative multiscale simulations. Whereas traditional models focus on the structure…

Other Quantitative Biology · Quantitative Biology 2024-11-25 Eran Agmon

Control theory arose from a need to control synthetic systems. From regulating steam engines to tuning radios to devices capable of autonomous movement, it provided a formal mathematical basis for understanding the role of feedback in the…

How do decisions change with the economic environment and with time? This paper studies general nonstationary stopping problems and provides the methodological tools to answer these questions. First, we identify conditions that ensure a…

Theoretical Economics · Economics 2024-08-01 Théo Durandard , Matteo Camboni