English
Related papers

Related papers: Static Analysis for Biological Systems (BioAmbient…

200 papers

Recent attacks of various viruses with having deep and extensive impact at a global scale has warranted that microbiome be studied extensively and in a robust analytic framework. Microbiome typically refers to the collective genomes of such…

Applications · Statistics 2023-03-30 M. Bhattacharjee

In this review we summarize theoretical progress in the field of active matter, placing it in the context of recent experiments. Our approach offers a unified framework for the mechanical and statistical properties of living matter:…

Soft Condensed Matter · Physics 2012-07-13 M. C. Marchetti , J. -F. Joanny , S. Ramaswamy , T. B. Liverpool , J. Prost , Madan Rao , R. Aditi Simha

A canonical formalism and constraint analysis for discrete systems subject to a variational action principle are devised. The formalism is equivalent to the covariant formulation, encompasses global and local discrete time evolution moves…

Mathematical Physics · Physics 2013-09-17 Bianca Dittrich , Philipp A Hoehn

Control of multistable dynamical system has important applications, from physics to biology. Here, we attack this problem from the perspective of local sensitivity analysis. We develop sensitivity rules to control properties of…

Optimization and Control · Mathematics 2022-06-08 Rodrigo Moreno-Morton , Alessio Franci

Biologists and physicists have a rich tradition of modeling living systems with simple models composed of a few interacting components. Despite the remarkable success of this approach, it remains unclear how to use such finely tuned models…

Biological Physics · Physics 2025-09-05 Ilya Nemenman , Pankaj Mehta

A modeling formalism is proposed for the description and study of living and life-like systems. It provides an abstract conceptual model framework for real life and evolution of biological organisms. It is proposed, that this model…

Populations and Evolution · Quantitative Biology 2013-06-14 Margareta Segerståhl

In spite of the large amount of existing neural models in the literature, there is a lack of a systematic review of the possible effect of choosing different initial conditions on the dynamic evolution of neural systems. In this short…

Neurons and Cognition · Quantitative Biology 2016-05-24 Pedro A. Valdes-Hernandez , Thomas Knoesche

Measurement system analysis aims to quantify the variability in data attributable to the measurement system and evaluate its contribution to overall data variability. This paper conducts a rigorous theoretical investigation of the…

Applications · Statistics 2025-01-31 Banafsheh Lashkari , Shojaeddin Chenouri

We analyze ecological systems that are influenced by random environmental fluctuations. We first provide general conditions which ensure that the species coexist and the system converges to a unique invariant probability measure (stationary…

Populations and Evolution · Quantitative Biology 2021-05-19 Alexandru Hening , Yao Li

In this paper I will review some basic aspects of the mechanism of stochastic resonance. Stochastic resonance was first introduced as a possible mechanism to explain long term climatic variation. Since then, there have been many…

Chaotic Dynamics · Physics 2017-08-23 Roberto Benzi

In static analysis by abstract interpretation, one often uses widening operators in order to enforce convergence within finite time to an inductive invariant. Certain widening operators, including the classical one over finite polyhedra,…

Programming Languages · Computer Science 2011-09-13 David Monniaux , Julien Le Guen

A brief introductory overview in general terms is given of concepts, issues and applications of the paradigm of rugged landscapes in the contexts of physics and biology.

Condensed Matter · Physics 2016-08-31 David Sherrington

A primary motivation for research in Digital Ecosystems is the desire to exploit the self-organising properties of natural ecosystems. Ecosystems arc thought to be robust, scalable architectures that can automatically solve complex, dynamic…

Neural and Evolutionary Computing · Computer Science 2009-10-06 Gerard Briscoe , Suzanne Sadedin

Network science has become an essential interdisciplinary tool for understanding complex biological systems. However, because these systems undergo continuous, often stimulus-driven changes in both structure and function, traditional static…

Molecular Networks · Quantitative Biology 2025-05-19 Abir Khazaal , Fatemeh Vafaee

Traditional methods in educational research often fail to capture the complex and evolving nature of learning processes. This chapter examines the use of complex systems theory in education to address these limitations. The chapter covers…

Computers and Society · Computer Science 2025-02-03 Mohammed Saqr , Daryn Dever , Sonsoles López-Pernas , Christophe Gernigon , Gwen Marchand , Avi Kaplan

Natural computing offers new opportunities to understand, model and analyze the complexity of the physical and human-created environment. This paper examines the application of natural computing in environmental informatics, by…

Neural and Evolutionary Computing · Computer Science 2018-08-02 Andreas Kamilaris

Research in multistable systems is a flourishing field with countless examples and applications across scientific disciplines. I present a catalog of multistable dynamical systems covering relevant fields of knowledge. This work is focused…

Chaotic Dynamics · Physics 2025-07-23 Alexandre Wagemakers

A stochastic dynamics framework for the study of complex systems is presented.

Statistical Mechanics · Physics 2007-05-23 L. S. Schulman , B. Gaveau

The study of the physical properties of open quantum systems is at the heart of many present investigations which aim to describe their dynamical evolution, on theoretical ground and through physical realizations. Here we develop a…

Quantum Physics · Physics 2021-11-23 Tarek Khalil , Jean Richert

Probabilistic programming is a powerful abstraction for statistical machine learning. Applying static analysis methods to probabilistic programs could serve to optimize the learning process, automatically verify properties of models, and…

Programming Languages · Computer Science 2019-09-12 Ryan Bernstein