12 Result(s)
within
Paolo Milazzo
Computer Science
Computation by Abstract Devices
-
Article
Open AccessA survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
Gene Regulatory Networks (GRNs) represent the interactions among genes regulating the activation of specific cell functionalities, such as reception of (chemical) signals or reaction to environmental changes. ...
-
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
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
A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems
Grid Systems is a formalism for modelling population and ecosystem dynamics that combines features of membrane computing, such as rewrite rules and maximal parallelism, with a representation of space similar t...
-
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 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
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 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...
