Search Results - stochastic concurrent constraint programming

Modeling Biological Systems in Stochastic Concurrent Constraint Programming by Bortolussi, Luca, Policriti, Alberto

“…We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems…”
Get full text

Stochastic Concurrent Constraint Programming by Bortolussi, Luca

“…We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store…”
Get full text

Hybrid behaviour of Markov population models by Bortolussi, Luca

“…We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP…”
Get full text

Modeling Biological Systems in Stochastic Concurrent Constraint Programming : Bioinformatics and constraints by BORTOLUSSI, Luca, POLICRITI, Alberto

Get full text

Hybrid dynamics of stochastic programs by Bortolussi, Luca, Policriti, Alberto

Get full text

Stochastic Concurrent Constraint Programming and Differential Equations by Bortolussi, Luca, Policriti, Alberto

“…) with models based on differential equations. We define a syntactic procedure that translates programs written in stochastic Concurrent Constraint Programming (sCCP…”
Get full text

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation by Bortolussi, Luca

“…We explore the relation between the stochastic semantic associated to stochastic Concurrent Constrain Programming (sCCP…”
Get full text

Studying cancer-cell populations by programmable models of networks by Bortolussi, Luca, Policriti, Alberto

“… The methodology we propose uses a stochastic Concurrent Constraint Programming language, a flexible stochastic modelling language employed to code networks of agents. It is applied…”
Get full text

Programmable models of growth and mutation of cancer-cell populations by Bortolussi, Luca, Policriti, Alberto

“… The methodology we propose is based on stochastic Concurrent Constraint Programming, a flexible stochastic modelling language…”
Get full text

An operational semantics for probabilistic concurrent constraint programming by Di Pierro, A., Wiklicky, H.

“… This allows a program to make stochastic moves during its execution. We call the resulting language probabilistic concurrent constraint programming (PCCP…”
Get full text

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification by Romero, Miguel, Ramírez, Sergio, Rocha, Camilo, Valencia, Frank

“… It presents an executable semantics for probabilistic, timed, and spatial concurrent constraint programming -- here called stochastic and spatial concurrent constraint systems (SSCC…”
Get full text

A stochastic non-deterministic temporal concurrent constraint calculus by Olarte, C., Rueda, C.

“…We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior…”
Get full text

The Importance of Being (A Little Bit) Discrete by Bortolussi, Luca, Policriti, Alberto

“…We compare the hybrid, stochastic, and differential semantics for stochastic Concurrent Constraint Programming, focussing on the exhibited behavior of models and their robustness…”
Get full text

Programmable models of growth and mutation of cancer-cell populations by Bortolussi, Luca, Policriti, Alberto

“… The methodology we propose is based on stochastic Concurrent Constraint Programming, a flexible stochastic modelling language…”
Get full text

Performance evaluation of concurrent supply chain resilience strategies by Alikhani, Reza, Ranjbar, Amirhossein, Torabi, S. Ali, Zobel, Christopher W.

“…Despite the growing research on supply chain resilience (SCR) strategies, a comprehensive performance assessment for implementing multiple strategies…”
Get full text

External Control in Process Algebra for Systems Biology by Del Tedesco, Filippo, Piazza, Carla

“… On the other hand, other proposed languages such as Hybrid Automata and Stochastic Concurrent Constraint Programming introduce in the system description an external control and provide more structured models…”
Get full text

Hybrid Behaviour of Markov Population Models by Bortolussi, Luca

“…We investigate the behaviour of population models written in Stochastic Concurrent Constraint Programming (sCCP…”
Get full text

Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps by Bortolussi, L., Fonda, S., Policriti, A.

“…We present a method to simulate biochemical networks described by the graphical notation of Molecular Interaction Maps within stochastic Concurrent Constraint Programming…”
Get full text

A Stochastic Approach for Scheduling AI Training Jobs in GPU-based Systems by Filippini, Federica, Anselmi, Jonatha, Ardagna, Danilo, Gaujal, Bruno

“… while satisfying time constraints. To model the problem, we first develop a Mixed-Integer Non-Linear Programming formulation…”
Get full text

Constraint-Handling Techniques for the Concurrent Design of a Five-Bar Parallel Robot by Cervantes-Culebro, Hector, Cruz-Villar, Carlos A., Martinez Peñaloza, Maria-Guadalupe, Mezura-Montes, Efren

“… Three constraint-handling techniques, the feasibility rules, ε-constrained method and stochastic ranking have been used to analyze how the design changes as the torque constraint are reduced…”
Get full text