Výsledky vyhledávání - "Stochastic concurrent constraint programming"

Hybrid behaviour of Markov population models

Autoři: BORTOLUSSI, LUCA Bortolussi, Luca

Přispěvatelé: BORTOLUSSI, LUCA Bortolussi, Luca

Zdroj: Information and computation
247 (2016): 37–86. doi:10.1016/j.ic.2015.12.001
info:cnr-pdr/source/autori:Bortolussi L./titolo:Hybrid behaviour of Markov population models/doi:10.1016%2Fj.ic.2015.12.001/rivista:Information and computation (Print)/anno:2016/pagina_da:37/pagina_a:86/intervallo_pagine:37–86/volume:247

Témata: FOS: Computer and information sciences, Stochastic process algebra, Information System, Systems and Control (eess.SY), 0102 computer and information sciences, Electrical Engineering and Systems Science - Systems and Control, Quantitative Biology - Quantitative Methods, 01 natural sciences, Theoretical Computer Science, Computational Theory and Mathematic, FOS: Electrical engineering, electronic engineering, information engineering, Computer Science - Multiagent Systems, 0101 mathematics, Weak convergence, Quantitative Methods (q-bio.QM), Fluid approximation, Mean field, Stochastic concurrent constraint programming, Stochastic hybrid systems, Stochastic process algebras, Computer Science - Performance, Computer Science Applications1707 Computer Vision and Pattern Recognition, Information Systems, Computational Theory and Mathematics, 16. Peace & justice, Stochastic hybrid system, Performance (cs.PF), FOS: Biological sciences, Multiagent Systems (cs.MA)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/1211.1643
http://hdl.handle.net/11368/2882796
http://www.sciencedirect.com/science/article/pii/S0890540115001297

Hybrid dynamics of stochastic programs

Autoři: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a další

Přispěvatelé: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a další

Zdroj: Theoretical Computer Science. 411:2052-2077

Témata: 0301 basic medicine, Stochastic Concurrent Constraint Programming, Hybrid Automata, Dynamical Systems, Piecewise Deterministic Markov Processes, Robustness, Piecewise Deterministic Markov Processe, Dynamical System, 0102 computer and information sciences, Stochastic concurrent constraint programming, Discreteness, 01 natural sciences, Theoretical Computer Science, 03 medical and health sciences, Dynamical systems, Hybrid automata, Computer Science(all)

Popis souboru: STAMPA; application/pdf

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

Autoři: BORTOLUSSI, LUCA ALBERTO P. Back, Ralph-Johan and Petre, Ion and Vink, Erik de a další

Přispěvatelé: BORTOLUSSI, LUCA ALBERTO P. Back, Ralph-Johan and Petre, Ion and Vink, Erik de a další

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 6, Iss Proc. COMPMOD 2009, Pp 63-76 (2009)

Témata: Computational Systems Biology, FOS: Computer and information sciences, 0301 basic medicine, Hybrid Approximation, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, J.3, Hybrid Simulation Stategie, Stochastic Concurrent Constraint Programming, QA75.5-76.95, 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), 03 medical and health sciences, Stochastic Hybrid Systems, Hybrid Simulation Stategies, Electronic computers. Computer science, QA1-939, Mathematics, Stochastic Hybrid System, Programming Languages (cs.PL)

Popis souboru: ELETTRONICO

Přístupová URL adresa: https://arxiv.org/pdf/0910.1406
http://arxiv.org/abs/0910.1406
https://doaj.org/article/26766b7a334a4101b9c6ba845c46fd99
http://arxiv.org/abs/0910.1406v1
http://hdl.handle.net/11368/2287713
https://arxiv.org/abs/0910.1406
https://arxiv.org/pdf/0910.1406.pdf
http://ui.adsabs.harvard.edu/abs/2009arXiv0910.1406B/abstract
http://arxiv.org/abs/0910.1406v1
https://doi.org/10.4204/EPTCS.6.5
https://hdl.handle.net/11368/2287713

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Autoři: BORTOLUSSI, LUCA A. Aldini and C. Baier Bortolussi, Luca

Přispěvatelé: BORTOLUSSI, LUCA A. Aldini and C. Baier Bortolussi, Luca

Zdroj: Electronic Notes in Theoretical Computer Science. 220:163-180

Témata: 0301 basic medicine, 03 medical and health sciences, Stochastic Concurrent Constraint Programming, ordinary differential equations, biological systems, fluid-flow approximation, biological system, 0102 computer and information sciences, ordinary differential equation, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis souboru: ELETTRONICO

Přístupová URL adresa: http://hdl.handle.net/11368/1847326
http://www.sciencedirect.com/science/article/pii/S1571066108004623
https://dblp.uni-trier.de/db/journals/entcs/entcs220.html#Bortolussi08
https://core.ac.uk/display/81932405
http://www.dmi.units.it/~bortolu/files/conferences/bortolussi-SCCP-CME-preprint.pdf
https://www.dmi.units.it/~bortolu/files/conferences/bortolussi-SCCP-CME-preprint.pdf
https://www.sciencedirect.com/science/article/pii/S1571066108004623
http://www.sciencedirect.com/science/article/pii/S1571066108004623
https://doi.org/10.1016/j.entcs.2008.11.025
https://hdl.handle.net/11368/1847326

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Autoři: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a další

Přispěvatelé: BORTOLUSSI, LUCA A. POLICRITI Bortolussi, Luca a další

Zdroj: Constraints. 13:66-90

Témata: 0301 basic medicine, Stochastic Concurrent Constraint Programming, Computational Modelling of Biological Systems, Continuous Time Markov Chains, 03 medical and health sciences, Computational Modelling of Biological System, 0102 computer and information sciences, 01 natural sciences, 3. Good health

Popis souboru: STAMPA; application/pdf

Přístupová URL adresa: http://www.dmi.units.it/~bortolu/files/conferences/bortolussi_WCB06.pdf
http://hdl.handle.net/11368/1707542
http://www.springerlink.com/content/pxq8473186375631/
http://hdl.handle.net/11368/1846266
https://dblp.uni-trier.de/db/journals/constraints/constraints13.html#BortolussiP08
https://link.springer.com/article/10.1007/s10601-007-9034-8
https://core.ac.uk/display/53710345
https://doi.org/10.1007/s10601-007-9034-8
http://www.dmi.units.it/~bortolu/files/conferences/bortolussi_WCB06.pdf
https://users.dimi.uniud.it/~agostino.dovier/WCBSI/SUMB140207/bortolussi.pdf
https://hdl.handle.net/11390/691405
https://doi.org/10.1007/s10601-007-9034-8
https://hdl.handle.net/11390/857883
https://hdl.handle.net/11368/1707542
https://hdl.handle.net/11368/1846266
http://www.springerlink.com/content/pxq8473186375631/
https://doi.org/10.1007/s10601-007-9034-8

Stochastic Concurrent Constraint Programming and Differential Equations

Autoři: BORTOLUSSI, LUCA POLICRITI A. A. Aldini and F. van Breugel a další

Přispěvatelé: BORTOLUSSI, LUCA POLICRITI A. A. Aldini and F. van Breugel a další

Zdroj: Electronic Notes in Theoretical Computer Science. 190:27-42

Témata: 0301 basic medicine, 03 medical and health sciences, Stochastic Concurrent Constraint Programming, stochastic modeling, ordinary differential equations, biological systems, 0102 computer and information sciences, ordinary differential equation, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis souboru: ELETTRONICO; application/pdf

Přístupová URL adresa: http://hdl.handle.net/11368/1707523
http://www.sciencedirect.com/science/article/pii/S1571066107005567
http://www.dmi.units.it/~bortolu/files/slides/QAPL2007.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs190.html#BortolussiP07
https://www.dmi.units.it/~bortolu/files/conferences/BortolussiPolicriti_sCCPandODE.pdf
https://core.ac.uk/display/53705419
https://arts.units.it/handle/11368/1707523
https://www.sciencedirect.com/science/article/pii/S1571066107005567
https://hdl.handle.net/11390/850028
https://doi.org/10.1016/j.entcs.2007.07.003

Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras

Autoři: BORTOLUSSI, LUCA K. Al-Begain, D, Fiems, W.J. Knottenbelt Bortolussi, Luca

Přispěvatelé: BORTOLUSSI, LUCA K. Al-Begain, D, Fiems, W.J. Knottenbelt Bortolussi, Luca

Zdroj: Lecture Notes in Computer Science ISBN: 9783642135675

Témata: stochastic hybrid system, Stochastic process algebra, Stochastic process algebras, stochastic concurrent constraint programming, stochastic hybrid systems, limit theorems, Piecewise Deterministic Markov Processes, limit theorem

Popis souboru: STAMPA

Přístupová URL adresa: http://hdl.handle.net/11368/2296799
http://www.springerlink.com/content/e866lj737n011l42/
https://rd.springer.com/chapter/10.1007/978-3-642-13568-2_26
https://link.springer.com/content/pdf/10.1007%2F978-3-642-13568-2_26.pdf
http://doi.org/10.1007/978-3-642-13568-2_26
https://doi.org/10.1007/978-3-642-13568-2_26
https://dblp.uni-trier.de/db/conf/asmta/asmta2010.html#Bortolussi10
https://core.ac.uk/display/53718996
https://hdl.handle.net/11368/2296799
https://doi.org/10.1007/978-3-642-13568-2_26
http://www.springerlink.com/content/e866lj737n011l42/

Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back

Autoři: BORTOLUSSI, LUCA POLICRITI A. Bortolussi, Luca a další

Přispěvatelé: BORTOLUSSI, LUCA POLICRITI A. Bortolussi, Luca a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783642041853

Témata: Computational Systems Biology, Fluid Approximation, 4. Education, Stochastic Concurrent Constraint Programming, Continuous-Time Markov Chain, Differential Equation, 16. Peace & justice, Differential Equations, Continuous-Time Markov Chains, 3. Good health

Popis souboru: STAMPA; application/pdf

Přístupová URL adresa: http://hdl.handle.net/11368/2287687
https://dblp.uni-trier.de/db/journals/tcsb/tcsb11.html#BortolussiP09
http://www.dmi.units.it/~bortolu/files/journals/SCCPandODE_journal.pdf
https://link.springer.com/chapter/10.1007/978-3-642-04186-0_11
https://www.dmi.units.it/~bortolu/files/journals/SCCPandODE_journal.pdf
https://rd.springer.com/chapter/10.1007/978-3-642-04186-0_11
https://link.springer.com/10.1007/978-3-642-04186-0_11

Stochastic Programs and Hybrid Automata for (Biological) Modeling

Autoři: BORTOLUSSI, LUCA POLICRITI A. Klaus Ambos-Spies and Benedikt Lowe and Wolfgang Merkle a další

Přispěvatelé: BORTOLUSSI, LUCA POLICRITI A. Klaus Ambos-Spies and Benedikt Lowe and Wolfgang Merkle a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783642030727

Témata: Stochastic Concurrent Constraint Programming, Hybrid Automata, Hybrid Semantics of Programming Languages

Popis souboru: STAMPA; application/pdf

Přístupová URL adresa: http://www.dmi.units.it/%7Ebortolu/files/reps/BortolussiPolicriti-HybridSCCPlatticeExtended.pdf
http://www.springerlink.com/content/026g745267581425/
http://hdl.handle.net/11368/2287700
https://rd.springer.com/chapter/10.1007%2F978-3-642-03073-4_5
https://link.springer.com/chapter/10.1007%2F978-3-642-03073-4_5
https://core.ac.uk/display/53717379
https://link.springer.com/content/pdf/10.1007%2F978-3-642-03073-4_5.pdf
https://www.dmi.units.it/~bortolu/files/reps/BortolussiPolicriti-HybridSCCPlatticeExtended.pdf
https://dblp.uni-trier.de/db/conf/cie/cie2009.html#BortolussiP09

Tales of Spatiality in stochastic Concurrent Constraint Programming

Autoři: BORTOLUSSI, LUCA POLICRITI A. AA.VV. a další

Přispěvatelé: BORTOLUSSI, LUCA POLICRITI A. AA.VV. a další

Témata: Computational Systems Biology, Stochastic Concurrent Constraint Programming, Dynamical compartments modelling

Popis souboru: ELETTRONICO

Přístupová URL adresa: http://hdl.handle.net/11368/3049
https://hdl.handle.net/11368/3049

Stochastic concurrent constraint programming

Autoři: Luca Bortolussi Alberto Policriti The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Luca Bortolussi Alberto Policriti The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dmi.units.it/~bortolu/files/conferences/BortolussiPolicriti_sCCPandODE.pdf.

Témata: Key words, Stochastic Concurrent Constraint Programming, stochastic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.6220; http://www.dmi.units.it/~bortolu/files/conferences/BortolussiPolicriti_sCCPandODE.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.6220
http://www.dmi.units.it/~bortolu/files/conferences/BortolussiPolicriti_sCCPandODE.pdf

Constraint Based Languages for Biological Reactions

Autoři: Stefano Bistarelli Marco Bottalico Francesco Santini a další

Přispěvatelé: Stefano Bistarelli Marco Bottalico Francesco Santini a další

Zdroj: http://www.ing.unife.it/eventi/cilc09/papers/cilc09_submission_23.pdf.

Témata: Biochemical Reactions, Blood coagulation, Concurrent Constraint Programming(CCP, stochastic Concurrent Constraint Programming (sCCP, Hybrid concurrent constraint programming languages (Hcc

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.5643; http://www.ing.unife.it/eventi/cilc09/papers/cilc09_submission_23.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.211.5643
http://www.ing.unife.it/eventi/cilc09/papers/cilc09_submission_23.pdf

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Autoři: Luca Bortolussi The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Luca Bortolussi The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dmi.units.it/~bortolu/files/conferences/bortolussi-SCCP-CME-preprint.pdf.

Témata: Stochastic Concurrent Constraint Programming, ordinary differential equations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.21

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.21
http://www.dmi.units.it/~bortolu/files/conferences/bortolussi-SCCP-CME-preprint.pdf

Perspectives on Constraints, Process Algebras, and Hybrid Systems.

Autoři: BORTOLUSSI, LUCA Policriti A. Bortolussi, Luca a další

Přispěvatelé: BORTOLUSSI, LUCA Policriti A. Bortolussi, Luca a další

Témata: Systems Biology, Hybrid System, Stochastic Concurrent Constraint Programming

Popis souboru: ELETTRONICO

Relation: firstpage:69; lastpage:75; numberofpages:7; https://hdl.handle.net/11368/2296797; http://wcb10.dimi.uniud.it/WCB10_proc.pdf

Dostupnost: https://hdl.handle.net/11368/2296797
http://wcb10.dimi.uniud.it/WCB10_proc.pdf