Software Technologies: Applications and Foundations
STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
Page
%P
16 Result(s)
-
Article
Generalized contexts for reaction systems: definition and study of dynamic causalities
Reaction systems are a qualitative formalism for the modelling of systems of biochemical reactions. In their original formulation, a reaction system executes in an environment (or context) that c...
-
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
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
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
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 ...
-
Book and Conference Proceedings
-
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
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
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 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
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
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
Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata
Long-running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These transactions are not atomic and, i...
-
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...
