Suchergebnisse - stochastic concurrent constraint programming*

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

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

Hybrid behaviour of Markov population models von Bortolussi, Luca

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

Stochastic Concurrent Constraint Programming von 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 …”
Volltext

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

Volltext

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

Volltext

Stochastic Concurrent Constraint Programming and Differential Equations von 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 …”
Volltext

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

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

Studying cancer-cell populations by programmable models of networks von 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 …”
Volltext

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

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

An operational semantics for probabilistic concurrent constraint programming von 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 …”
Volltext

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification von 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 …”
Volltext

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

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

The Importance of Being (A Little Bit) Discrete von 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 …”
Volltext

Hybrid Behaviour of Markov Population Models von Bortolussi, Luca

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

External Control in Process Algebra for Systems Biology von 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 …”
Volltext

A stochastic non-deterministic temporal concurrent constraint calculus von 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 …”
Volltext

Performance evaluation of concurrent supply chain resilience strategies von 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 …”
Volltext

Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps von 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 …”
Volltext

A stochastic programming approach to surgery scheduling under parallel processing principle von Çelik, Batuhan, Gul, Serhat, Çelik, Melih

“… •Parallel processing refers to the concurrent implementation of induction and turnover.•We propose a two-stage stochastic mixed-integer programming model …”
Volltext

A Stochastic Approach for Scheduling AI Training Jobs in GPU-based Systems von 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 …”
Volltext