Výsledky vyhledávání - stochastic Concurrent Constraint Programming (sCCP

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

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

Modeling Biological Systems in Stochastic Concurrent Constraint Programming.

Autoři: Luca Bortolussi Alberto Policriti

Zdroj: Constraints: An International Journal; Jun2008, Vol. 13 Issue 1/2, p66-90, 25p

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

Modelling Biological Systems in 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/journals/BortolussiPolicriti-sCCPforBiosystems.pdf.

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.3154
http://www.dmi.units.it/~bortolu/files/journals/BortolussiPolicriti-sCCPforBiosystems.pdf

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

On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Autoři: Bortolussi, Luca^1,2 luca@dmi.units.it

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Dec2008, Vol. 220 Issue 3, p163-180. 18p.

Témata: Stochastic processes, Constraint satisfaction, Logic programming, Mathematical models, Differential equations, Biological systems, Analysis of covariance

(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program.

Autoři: Bortolussi, Luca Policriti, Alberto

Zdroj: Journal of Logic & Computation; Aug2013, Vol. 23 Issue 4, p761-798, 38p

Témata: CONSTRAINT programming, STOCHASTIC programming, STOCHASTIC processes, PROBABILISTIC automata, COMPUTER programming, SEMANTIC computing, INFORMATION theory

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/

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

Modeling biological systems in stochastic concurrent constraint programming

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

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

Zdroj: http://ai.uwaterloo.ca/~vanbeek/Constraints/Papers/BortolussiP08.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5126; http://ai.uwaterloo.ca/~vanbeek/Constraints/Papers/BortolussiP08.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.146.5126
http://ai.uwaterloo.ca/~vanbeek/Constraints/Papers/BortolussiP08.pdf

Hybrid approximation of stochastic process algebras for systems biology

Autoři: BORTOLUSSI, LUCA POLICRITI A. Chung, M.J. a další

Přispěvatelé: BORTOLUSSI, LUCA POLICRITI A. Chung, M.J. a další

Zdroj: IFAC Proceedings Volumes. 41:12599-12606

Témata: Computational Systems Biology, 0301 basic medicine, Hybrid system, 0303 health sciences, 03 medical and health sciences, Approximate analysi, Stochastic programming, Hybrid systems, Approximate analysis, Computer simulation, 3. Good health

Popis souboru: ELETTRONICO

Přístupová URL adresa: http://www.ifac-papersonline.net/Detailed/37815.html
http://hdl.handle.net/11368/1848723
http://www.sciencedirect.com/science/article/pii/S1474667016409985
http://www.dmi.units.it/~bortolu/files/conferences/Bortolussi_Policriti-hybridSCCP-IFAC.pdf
http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2008/data/papers/2419.pdf
https://www.sciencedirect.com/science/article/pii/S1474667016409985
https://www.dmi.units.it/~bortolu/files/conferences/Bortolussi_Policriti-hybridSCCP-IFAC.pdf
https://hdl.handle.net/11390/692631

Hybrid Behaviour of Markov Population Models

Autoři: Bortolussi, Luca

Témata: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Multiagent Systems, Computer Science - Performance, Quantitative Biology - Quantitative Methods, text

URL: http://arxiv.org/abs/1211.1643

(Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program

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

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

Zdroj: Journal of Logic and Computation. 23:761-798

Témata: 0301 basic medicine, Stochastic Process Algebra, 03 medical and health sciences, Stochastic Hybrid Automata, Hybrid Semantics, Stochastic Process Algebra Approximation, Hybrid Semantic, 0102 computer and information sciences, 01 natural sciences

Popis souboru: STAMPA; application/pdf

Přístupová URL adresa: http://hdl.handle.net/11368/2365583
http://dblp.uni-trier.de/db/journals/logcom/logcom23.html#BortolussiP13
https://dblp.uni-trier.de/db/journals/logcom/logcom23.html#BortolussiP13
https://academic.oup.com/logcom/article/23/4/761/941669
https://arts.units.it/handle/11368/2365583
https://hdl.handle.net/11390/1029947
https://doi.org/10.1093/logcom/exr045
https://hdl.handle.net/11368/2365583
https://doi.org/10.1093/logcom/exr045

Constraint Based Languages for Biological Reactions

Autoři: Bottalico, Marco Bistarelli, Stefano

Zdroj: Lecture Notes in Computer Science ISBN: 9783642028458

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/iclp/iclp2009.html#BottalicoB09
https://rd.springer.com/chapter/10.1007/978-3-642-02846-5_64
https://link.springer.com/chapter/10.1007/978-3-642-02846-5_64
http://www.ing.unife.it/it/ricerca-1/aree-di-ricerca/informazione/ingegneria-informatica/convegni-passati/cilc09/articoli-accettati/cilc09_submission_23.pdf
https://doi.org/10.1007/978-3-642-02846-5_64

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, Alberto

Zdroj: Mathematical Theory & Computational Practice; 2009, p37-48, 12p

Models and emerging trends of concurrent constraint programming.

Autoři: Olarte, Carlos Rueda, Camilo Valencia, Frank

Zdroj: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p