Search Results - "stochastic concurrent constraint programming"
-
1
Authors:
Contributors:
Source: 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:247Subject Terms: 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)
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Source: Theoretical Computer Science. 411:2052-2077
Subject Terms: 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)
File Description: STAMPA; application/pdf
-
3
Authors: et al.
Contributors: et al.
Source: Electronic Proceedings in Theoretical Computer Science, Vol 6, Iss Proc. COMPMOD 2009, Pp 63-76 (2009)
Subject Terms: 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)
File Description: ELETTRONICO
Access URL: 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 -
4
Authors:
Contributors:
Source: Electronic Notes in Theoretical Computer Science. 220:163-180
Subject Terms: 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)
File Description: ELETTRONICO
Access URL: 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 -
5
Authors: et al.
Contributors: et al.
Source: Constraints. 13:66-90
Subject Terms: 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
File Description: STAMPA; application/pdf
Access URL: 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 -
6
Authors: et al.
Contributors: et al.
Source: Electronic Notes in Theoretical Computer Science. 190:27-42
Subject Terms: 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)
File Description: ELETTRONICO; application/pdf
Access URL: 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 -
7
Authors:
Contributors:
Source: Lecture Notes in Computer Science ISBN: 9783642135675
Subject Terms: stochastic hybrid system, Stochastic process algebra, Stochastic process algebras, stochastic concurrent constraint programming, stochastic hybrid systems, limit theorems, Piecewise Deterministic Markov Processes, limit theorem
File Description: STAMPA
Access URL: 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/ -
8
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783642041853
Subject Terms: 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
File Description: STAMPA; application/pdf
Access URL: 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 -
9
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783642030727
Subject Terms: Stochastic Concurrent Constraint Programming, Hybrid Automata, Hybrid Semantics of Programming Languages
File Description: STAMPA; application/pdf
Access URL: 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 -
10
Authors: et al.
Contributors: et al.
Subject Terms: Computational Systems Biology, Stochastic Concurrent Constraint Programming, Dynamical compartments modelling
File Description: ELETTRONICO
-
11
Authors:
Contributors:
Subject Terms: Key words, Stochastic Concurrent Constraint Programming, stochastic
File Description: 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
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Biochemical Reactions, Blood coagulation, Concurrent Constraint Programming(CCP, stochastic Concurrent Constraint Programming (sCCP, Hybrid concurrent constraint programming languages (Hcc
File Description: 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
-
13
Authors:
Contributors:
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Systems Biology, Hybrid System, Stochastic Concurrent Constraint Programming
File Description: ELETTRONICO
Relation: firstpage:69; lastpage:75; numberofpages:7; https://hdl.handle.net/11368/2296797; http://wcb10.dimi.uniud.it/WCB10_proc.pdf
Full Text Finder 
Nájsť tento článok vo Web of Science