English
Related papers

Related papers: Static Analysis for Biological Systems (BioAmbient…

200 papers

The gap in statistics between multi-variate and time-series analysis can be bridged by using entropy statistics and recent developments in multi-dimensional scaling. For explaining the evolution of the sciences as non-linear dynamics, the…

Digital Libraries · Computer Science 2012-11-13 Loet Leydesdorff

Multiple stable states - the coexistence of two or more distinct ecological configurations under identical environmental conditions - have attracted sustained interest in ecology, yet the field still lacks a unified framework connecting…

Populations and Evolution · Quantitative Biology 2026-05-08 Jennifer Paige , Denis D. Patterson , Alan Hastings

The system decomposition theory has recently been developed for the dynamic analysis of nonlinear compartmental systems. The application of this theory to the ecosystem analysis has also been introduced in a separate article. Based on this…

Systems and Control · Computer Science 2020-11-24 Huseyin Coskun

We discuss three different aspects of the quantum dynamics of bio-molecular systems and more generally complex networks in the presence of strongly coupled environments. Firstly, we make a case for the systematic study of fundamental…

Quantum Physics · Physics 2012-02-07 M. B. Plenio , S. F. Huelga

Ecosystems display a complex spatial organization. Ecologists have long tried to characterize them by looking at how different measures of biodiversity change across spatial scales. Ecological neutral theory has provided simple predictions…

Populations and Evolution · Quantitative Biology 2017-12-13 Simone Pigolotti , Massimo Cencini , Daniel Molina , Miguel A. Muñoz

Time-discrete dynamical systems on a finite state space have been used with great success to model natural and engineered systems such as biological networks, social networks, and engineered control systems. They have the advantage of being…

Combinatorics · Mathematics 2015-03-17 Alan Veliz-Cuba , Reinhard Laubenbacher

Many biological ecosystems exhibit chaotic behavior, demonstrated either analytically using parameter choices in an associated dynamical systems model or empirically through analysis of experimental data. In this paper, we provide a…

Dynamical Systems · Mathematics 2016-04-26 B. C. Dean , E. Dimitrova , A. Galande , E. W. Jenkins , S. Koshy

Recent research has extended methods from the fields of thermodynamics and statistical mechanics into other disciplines. Most notably, one recent work creates a unified theoretical framework to understand evolutionary biology, machine…

Populations and Evolution · Quantitative Biology 2024-05-22 Daniel Sadasivan , Cole Cantu , Cecilia Marsh , Andrew Graham

The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correctness and dependability properties. Many of these properties…

Systems and Control · Electrical Eng. & Systems 2020-07-08 Fabio A. Schreiber , Maria Elena Valcher

Dynamical systems, that are used to model power grids, the brain, and other physical systems, can exhibit coexisting stable states known as attractors. A powerful tool to understand such systems, as well as to better predict when they may…

Dynamical Systems · Mathematics 2023-07-31 George Datseris , Kalel Luiz Rossi , Alexandre Wagemakers

The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a static analysis approach based on the control flow of GRAFCET using abstract interpretation to allow…

Programming Languages · Computer Science 2023-08-28 Aron Schnakenbeck , Robin Mroß , Marcus Völker , Stefan Kowalewski , Alexander Fay

Robustness of biochemical systems has become one of the central questions in systems biology although it is notoriously difficult to formally capture its multifaceted nature. Maintenance of normal system function depends not only on the…

Molecular Networks · Quantitative Biology 2012-03-28 Jost Neigenfind , Sergio Grimbs , Zoran Nikoloski

In this chapter, I review the main methods and techniques of complex systems science. As a first step, I distinguish among the broad patterns which recur across complex systems, the topics complex systems science commonly studies, the tools…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Cosma Rohilla Shalizi

Statistical mechanics is one of the most powerful and elegant tools in the quantitative sciences. One key virtue of statistical mechanics is that it is designed to examine large systems with many interacting degrees of freedom, providing a…

Quantitative Methods · Quantitative Biology 2007-08-15 Hernan G. Garcia , Jané Kondev , Nigel Orme , Julie A. Theriot , Rob Phillips

We consider the basic features of complex dynamic and control systems, including systems having hierarchical structure. Special attention is paid to the problems of design and synthesis of complex systems and control models, and to the…

Computational Engineering, Finance, and Science · Computer Science 2008-12-25 Armen Bagdasaryan

Biological organisms are composed of numerous interconnected biochemical processes. Diseases occur when normal functionality of these processes is disrupted. Thus, understanding these biochemical processes and their interrelationships is a…

Artificial Intelligence · Computer Science 2014-03-04 Saadat Anwar

Synthetic biology is a recent area of biological engineering, whose aim is to provide cells with novel functionalities. A number of important results regarding the development of control circuits in synthetic biology have been achieved…

Systems and Control · Electrical Eng. & Systems 2024-11-11 Antón Pardo , Sandra Díaz Seoane , Dorin A. Ionescu , Antonis Papachristodoulou , Alejandro F. Villaverde

Life is characterized by a myriad of complex dynamic processes allowing organisms to grow, reproduce, and evolve. Physical approaches for describing systems out of thermodynamic equilibrium have been increasingly applied to living systems,…

Biological Physics · Physics 2020-12-16 Xiaona Fang , Karsten Kruse , Ting Lu , Jin Wang

Static analysis techniques enhance the security, performance, and reliability of programs by analyzing and portraiting program behaviors without the need for actual execution. In essence, static analysis takes the Intermediate…

Programming Languages · Computer Science 2024-05-22 Bowen Zhang , Wei Chen , Hung-Chun Chiu , Charles Zhang

Large systems biology projects can encompass several workgroups often located in different countries. An overview about existing data standards in systems biology and the management, storage, exchange and integration of the generated data…

Databases · Computer Science 2009-12-15 Gerhard Mayer