Programmable models of growth and mutation of cancer-cell populations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we propose a systematic approach to construct mathematical models describing populations of cancer-cells at different stages of disease development.
Luca Bortolussi, Alberto Policriti
doaj +4 more sources
Modeling Biological Systems in Stochastic Concurrent Constraint Programming [PDF]
Constraints, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Luca Bortolussi, Alberto Policriti
exaly +8 more sources
Stochastic Concurrent Constraint Programming
Electronic Notes in Theoretical Computer Science, 2006 AbstractWe present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give an operational semantic that can be provided either with a discrete or a continuous model of time. The notion of observables is discussed, both for the discrete and the
Luca Bortolussi
exaly +3 more sources
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming [PDF]
Lecture Notes in Computer Science, 2008 We address the inclusion of stochastic information into an explicitly timed concurrent constraint process language. An operational semantics is proposed as a preliminary result. Our approach finds applications in biology, among other areas.
Jesús Alexander Aranda Bueno +2 more
exaly +2 more sources
Stochastic Concurrent Constraint Programming and Differential Equations
Electronic Notes in Theoretical Computer Science, 2007 AbstractWe tackle the problem of relating models of systems (mainly biological systems) based on stochastic process algebras (SPA) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP) into a set of Ordinary Differential Equations (ODE), and ...
Luca Bortolussi, Alberto Policriti
exaly +4 more sources
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
Electronic Notes in Theoretical Computer Science, 2008 AbstractWe explore the relation between the stochastic semantic associated to stochastic Concurrent Constrain Programming (sCCP) and its fluid-flow approximation. Writing the master equation for a sCCP model, we can show that the fluid flow equation is a first-order approximation of the true equation for the average.
Luca Bortolussi
exaly +4 more sources
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking [PDF]
, 2015 We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects.
Lafuente, Alberto Lluch +3 more
core +3 more sources
The Project Scheduling Problem with Non-Deterministic Activities Duration: A Literature Review [PDF]
, 2018 Purpose: The goal of this article is to provide an extensive literature review of the models and solution procedures proposed by many researchers interested on the Project Scheduling Problem with nondeterministic activities duration.
Diaz-Serna, F. Javier +1 more
core +4 more sources
A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences [PDF]
, 2012 Labeled transition systems are typically used as behavioral models of concurrent processes, and the labeled transitions define the a one-step state-to-state reachability relation. This model can be made generalized by modifying the transition relation to
Bernardo, Marco +2 more
core +1 more source
Process algebra modelling styles for biomolecular processes [PDF]
, 2009 We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling ...
A. Regev +22 more
core +1 more source