相关论文: Brane Calculi Systems: A Static Preview of their P…
Computer simulations of coarse-grained molecular models for amphiphilic systems can provide insight into the the structure of amphiphiles at interfaces. They can help to identify the factors that determine the phase behavior, and they can…
The growth, form, and division of prebiotic vesicles, membraneous bags of fluid of varying components and shapes is hypothesized to have served as the substrate for the origin of life. The dynamics of these out-of-equilibrium structures is…
Concurrent systems identify systems, either software, hardware or even biological systems, that are characterized by sets of independent actions that can be executed in any order or simultaneously. Computer scientists resort to a causal…
We present a reformulation of unsteady turbulent flow simulations. The initial condition is relaxed and information is allowed to propagate both forward and backward in time. Simulations of chaotic dynamical systems with this reformulation…
We introduce density dependence of the cell size in cellular-automaton models for traffic flow, which allows a more precise correspondence between real-world phenomena and what observed in simulation. Also, we give an explicit calibration…
"Back-of-the-envelope" or "rule-of-thumb" calculations involving rough estimates of quantities play a central scientific role in developing intuition about the structure and behaviour of physical systems, for example in so-called `Fermi…
Causality plays a central role in understanding interactions between variables in complex systems. These systems often exhibit state-dependent causal relationships, where both the strength and direction of causality vary with the value of…
A (3+1)-evolutionary method in the framework of Regge Calculus, essentially a method of approximating manifolds with rigid simplices, makes an excellent tool to probe the evolution of manifolds with non-trivial topology or devoid of…
Causal reasoning is essential for business process interventions and improvement, requiring a clear understanding of causal relationships among activity execution times in an event log. Recent work introduced a method for discovering causal…
We present a novel Monte Carlo simulation of the phase separation dynamics of a model fluid membrane. Such a phase segregation induces shape changes of the membrane and results in local `budding' under favourable conditions. We present a…
We demonstrate that the algorithmic information content of a system is deeply connected to its potential dynamics, thus affording an avenue for moving systems in the information-theoretic space and controlling them in the phase space. To…
The application of systems and control theory to membrane physiology is presented here. Modeling efforts have focused on describing those physiologically realistic mechanisms which govern the regulation of membrane permeability in nerve.…
Sophisticated machine models are increasingly used for high-stakes decisions in everyday life. There is an urgent need to develop effective explanation techniques for such automated decisions. Rule-Based Explanations have been proposed for…
The Stochastic Calculus of Looping Sequences is suitable to describe the evolution of microbiological systems, taking into account the speed of the described activities. We propose a type system for this calculus that models how the…
Understanding the behaviour of biological systems requires a complex setting of in vitro and in vivo experiments, which attracts high costs in terms of time and resources. The use of mathematical models allows researchers to perform…
We compare mechanisms for compensation handling and dynamic update in calculi for concurrency. These mechanisms are increasingly relevant in the specification of reliable communicating systems. Compensations and updates are intuitively…
Heterogeneities in the cell membrane due to coexisting lipid phases have been conjectured to play a major functional role in cell signaling and membrane trafficking. Thereby the material properties of multiphase systems, such as the line…
Mathematical models are fundamental building blocks in the design of dynamical control systems. As control systems are becoming increasingly complex and networked, approaches for obtaining such models based on first principles reach their…
The equations governing the conditions of mechanical equilibrium in fluid membranes subject to bending are revisited thanks to the principle of virtual work. The note proposes systematic tools to obtain the shape equation and the line…
Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these mechanisms need to obey the properties of probabilistic reasoning. A purely numeric mechanism, like those proposed so far, cannot provide a…