Výsledky vyhľadávania - Stochastic concurrent constraint programming

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

“…We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems…”
Získať plný text

Stochastic Concurrent Constraint Programming Autor 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…”
Získať plný text

Hybrid behaviour of Markov population models Autor Bortolussi, Luca

“…We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP…”
Získať plný text

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

Získať plný text

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

Získať plný text

Stochastic Concurrent Constraint Programming and Differential Equations Autor 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…”
Získať plný text

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

“…We explore the relation between the stochastic semantic associated to stochastic Concurrent Constrain Programming (sCCP…”
Získať plný text

Studying cancer-cell populations by programmable models of networks Autor 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…”
Získať plný text

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

“… The methodology we propose is based on stochastic Concurrent Constraint Programming, a flexible stochastic modelling language…”
Získať plný text

An operational semantics for probabilistic concurrent constraint programming Autor 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…”
Získať plný text

A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification Autor 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…”
Získať plný text

A stochastic non-deterministic temporal concurrent constraint calculus Autor 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…”
Získať plný text

The Importance of Being (A Little Bit) Discrete Autor 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…”
Získať plný text

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

“… The methodology we propose is based on stochastic Concurrent Constraint Programming, a flexible stochastic modelling language…”
Získať plný text

Performance evaluation of concurrent supply chain resilience strategies Autor 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…”
Získať plný text

External Control in Process Algebra for Systems Biology Autor 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…”
Získať plný text

Hybrid Behaviour of Markov Population Models Autor Bortolussi, Luca

“…We investigate the behaviour of population models written in Stochastic Concurrent Constraint Programming (sCCP…”
Získať plný text

Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps Autor 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…”
Získať plný text

A Stochastic Approach for Scheduling AI Training Jobs in GPU-based Systems Autor 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…”
Získať plný text

Constraint-Handling Techniques for the Concurrent Design of a Five-Bar Parallel Robot Autor 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…”
Získať plný text