14 Result(s)
-
Chapter and Conference Paper
Analysis and Verification of Robustness Properties in Becker-Döring Model
Many biochemical processes in living cells involve clusters of particles. Such processes include protein aggregation and the development of intracellular concentration gradients. To study these mechanisms, we ...
-
Chapter and Conference Paper
Analysis of COVID-19 Data with PRISM: Parameter Estimation and SIR Modelling
We propose a pipeline for the stochastic analysis of a SIR model for COVID-19 through the stochastic model checker PRISM. The pipeline consists in: (i) the definition of a modified SIR model, able to include g...
-
Chapter and Conference Paper
Classification of Biochemical Pathway Robustness with Neural Networks for Graphs
Dynamical properties of biochemical pathways are often assessed by performing numerical (ODE-based) or stochastic simulations. These methods are often computationally very expensive and require reliable quanti...
-
Chapter and Conference Paper
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking
Multitasking has become surprisingly present in our life. This is mostly due to the fact that nowadays most of our activities involve the interaction with one or more devices. In such a context the brain mecha...
-
Chapter and Conference Paper
An Algorithm for Simulating Human Selective Attention
The brain mechanism of selective attention plays a key role in determining the success of a human’s interaction with a device. If the user has to perform concurrent tasks by interacting simultaneously with more t...
-
Chapter and Conference Paper
A Computational Model of Internet Addiction Phenomena in Social Networks
Addiction is a complex phenomenon, stemming from environmental, biological and psychological causes. It is defined as a natural response of the body to external stimuli, such as drugs, alcohol, but also job, l...
-
Chapter and Conference Paper
An Executable Formal Framework for Safety-Critical Human Multitasking
When a person is concurrently interacting with different systems, the amount of cognitive resources required (cognitive load) could be too high and might prevent some tasks from being completed. When such huma...
-
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
Formalizing a Notion of Concentration Robustness for Biochemical Networks
The main goal of systems biology is to understand the dynamical properties of biological systems by investigating the interactions among the components of a biological system. In this work, we focus on the rob...
-
Chapter and Conference Paper
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables
Among Model Checking tools, the behaviour of a system is often formalized as a transition system with atomic propositions associated with states (Kripke structure). In current modelling languages, transitions are...
-
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 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
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...
