![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems
In this paper we investigate dynamic causalities in membrane systems by proposing the concept of “predictor”, originally defined in the context of Ehrenfeucht and Rozemberg’s reaction systems. The goal is to c...
-
Chapter and Conference Paper
Computing Preimages and Ancestors in Reaction Systems
In reaction systems, preimages and n-th ancestors are sets of reactants leading to the production of a target set of products in either one or n steps, respectively. Many computational problems on preimages and a...
-
Chapter and Conference Paper
Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems
We describe two extensions of P systems for the modelling of populations and ecosystems. They are the Minimal Probabilistic P systems (MPP systems) and the Attributed Probabilistic P systems (APP systems). We ...
-
Chapter and Conference Paper
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer
The most challenging task in colorectal cancer research nowadays is to understand the development of acquired resistance to anti-EGFR drugs. The key reason for this problem is the KRAS mutations produced after...
-
Chapter and Conference Paper
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates
We propose a variant of probabilistic P Systems, Attributed Probabilistic P systems (APP systems), in which objects are annotated with attributes. We use APP systems for modelling social behaviours of some spe...
-
Chapter and Conference Paper
Modelling Population Dynamics Using Grid Systems
A new formalism, Grid Systems, aimed at modelling population dynamics is presented. The formalism is inspired by concepts of Membrane Computing (P Systems) and spatiality dynamics of Cellular Automata. The semant...
-
Chapter and Conference Paper
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations
European water frog populations are mainly composed by two species: Pelophylax lessonae (pool frog) and Pelophylax esculentus (edible frog). These populations are called L-E complexes. Edible frogs are a hybrid f...
-
Chapter
Systolic Automata and P Systems
Systolic automata are models of highly-concurrent language acceptors based on identical processors with one-way flow of information, amenable to efficient hardware implementation as multiprocessor chips.
-
Chapter and Conference Paper
A Compositional Semantics of Reaction Systems with Restriction
Reaction systems are an abstract model of interactions among biochemical reactions, developed around two opposite mechanisms: facilitation and inhibition. The evolution of a Reaction System is driven by the ex...
-
Chapter
Modelling Biochemical Pathways with the Calculus of Loo** Sequences
The Calculus of Loo** Sequences (CLS) has been proposed as a formalism for representing and simulating biomolecular systems. CLS is based on a set of operators which allow to represent the structure of such ...
-
Chapter and Conference Paper
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings
Membrane systems can be seen either as generators or as acceptors of multiset languages. In this paper we compare the expressive power of membrane systems working in accepting mode with that of membrane system...
-
Chapter
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach
Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed. Mathematical modeling of biological systems with delays is usually based on Delay Differ...
-
Chapter and Conference Paper
Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+
Kohn’s Molecular Interaction Maps (MIMs) are a graphical notation for describing bioregulatory networks at the molecular level. Even if the meaning of Kohn’s diagrams can be often easily understood, in many ca...
-
Chapter and Conference Paper
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems modelling when the exact rat...
-
Chapter and Conference Paper
Stochastic Calculus of Loo** Sequences for the Modelling and Simulation of Cellular Pathways
The paper presents the Stochastic Calculus of Loo** Sequences (SCLS) suitable to describe microbiological systems, such as cellular pathways, and their evolution. Systems are represented by terms. The terms ...
-
Chapter and Conference Paper
The Calculus of Loo** Sequences
We describe the Calculus of Loo** Sequences (CLS) which is suitable for modeling microbiological systems and their evolution. We present two extensions, CLS with links (LCLS) and Stochastic CLS. LCLS simplif...
-
Chapter and Conference Paper
Extending the Calculus of Loo** Sequences to Model Protein Interaction at the Domain Level
In previous papers we introduced a formalism, called Calculus of Loo** Sequences (CLS), for describing biological systems and their evolution. CLS is based on term rewriting. Terms can be constructed by comp...
-
Chapter and Conference Paper
The Calculus of Loo** Sequences for Modeling Biological Membranes
We survey the formalism Calculus of Loo** Sequences (CLS) and a number of its variants from the point of view of their use for describing biological membranes. The CLS formalism is based on term rewriting an...
-
Chapter and Conference Paper
Bisimulation Congruences in the Calculus of Loo** Sequences
The Calculus of Loo** Sequences (CLS) is a calculus suitable to describe biological systems and their evolution. CLS terms are constructed by starting from basic constituents and composing them by means of o...
-
Chapter and Conference Paper
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
When verifying concurrent systems described by transition systems, state explosion is one of the most serious problems. If quantitative temporal information (expressed by clock ticks) are considered,state expl...