Výsledky vyhledávání - (publications of) concurrent constraint programming

A Concurrent Constraint Programming Interpretation of Access Permissions

Autoři: Olarte, Carlos Pimentel, Elaine Rueda, Camilo

Témata: Computer Science - Logic in Computer Science, text

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

Bisimilarity in Concurrent Constraint Programming

Autoři: Aristizabal P., Andres A. Andres A. Aristizabal P.

Přispěvatelé: Aristizabal P., Andres A. Andres A. Aristizabal P.

Témata: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics

Popis souboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236

Dostupnost: https://doi.org/10.4230/LIPIcs.ICLP.2010.236
https://nbn-resolving.org/urn:nbn:de:0030-drops-26029
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236

Under consideration for publication in Theory and Practice of Logic Programming 1 Automatic Verification of Timed Concurrent Constraint Programs∗

Autoři: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dsic.upv.es/~villanue/pub/FV06.pdf.

Témata: Automatic verification, reactive systems, timed concurrent constraint programming

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.3771; http://www.dsic.upv.es/~villanue/pub/FV06.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.3771
http://www.dsic.upv.es/~villanue/pub/FV06.pdf

A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs

Autoři: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia a další

Přispěvatelé: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia a další

Zdroj: PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming ; https://inria.hal.science/inria-00426608 ; PPDP 2009 - ACM SIGPLAN 11th Conference on Principles and practice of declarative programming, Sep 2009, Coimbra, Portugal. pp.207-218, ⟨10.1145/1599410.1599436⟩

Témata: Concurrent Constraint Programming Abstract Interpretation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Coimbra, Portugal

Dostupnost: https://inria.hal.science/inria-00426608
https://inria.hal.science/inria-00426608/document
https://inria.hal.science/inria-00426608/file/ppdp21-olarte.pdf
https://doi.org/10.1145/1599410.1599436

Hybrid concurrent constraint programming: A well-suited formalism for modelling alternative splicing regulation (Abstract)

Autoři: Eveillard, Damien Courtois, Arnaud Bockmayr, Alexander a další

Přispěvatelé: Eveillard, Damien Courtois, Arnaud Bockmayr, Alexander a další

Témata: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], constraint programming, alternative splicing, biological modeling, épissage alternatif, programmation par contraintes, modélisation biologique

Přístupová URL adresa: https://inria.hal.science/inria-00099705v1

A Variant of Concurrent Constraint Programming on GPU

Autoři: Talbot, Pierre Pinel, Frédéric G Bouvry, Pascal

Zdroj: Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 36 No. 4: AAAI-22 Technical Tracks 4; 3830-3839 ; 2374-3468 ; 2159-5399

Témata: Constraint Satisfaction And Optimization (CSO)

Popis souboru: application/pdf

Relation: https://ojs.aaai.org/index.php/AAAI/article/view/20298/20057; https://ojs.aaai.org/index.php/AAAI/article/view/20298

Dostupnost: https://ojs.aaai.org/index.php/AAAI/article/view/20298
https://doi.org/10.1609/aaai.v36i4.20298

Modeling biological systems in hybrid concurrent constraint programming (Poster abstract)

Autoři: Bockmayr, Alexander Courtois, Arnaud Loria, Publications

Přispěvatelé: Bockmayr, Alexander Courtois, Arnaud Loria, Publications

Témata: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], constraint programming, biologie systémique, modeling, systems biology, programmation par contraintes, modélisation

Přístupová URL adresa: https://inria.hal.science/inria-00100608v1

Dynamic Slicing for Concurrent Constraint Languages

Autoři: Falaschi M. Gabbrielli M. Olarte C. a další

Přispěvatelé: Falaschi M. Gabbrielli M. Olarte C. a další

Zdroj: Fundamenta Informaticae. 177:331-357

Témata: Concurrent Constraint Programming, Debugging, Program slicing, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Concurrent Constraint Programming, Debugging, Program slicing, 0202 electrical engineering, electronic engineering, information engineering

Popis souboru: application/pdf; STAMPA

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-02423973v2/file/paper.pdf
https://hal.science/hal-02423973v2
https://hal.science/hal-02423973v2/document
https://doi.org/10.3233/fi-2020-1992
https://hal.univ-cotedazur.fr/hal-02423973v1
https://dblp.uni-trier.de/db/journals/fuin/fuin177.html#FalaschiGOP20
https://hal.archives-ouvertes.fr/hal-02423973/document
https://cris.unibo.it/handle/11585/812478
https://content.iospress.com/articles/fundamenta-informaticae/fi1992
https://hal.archives-ouvertes.fr/hal-02423973v1
https://hdl.handle.net/11365/1124071
https://doi.org/10.3233/FI-2020-1992
https://journals.sagepub.com/doi/abs/10.3233/FI-2020-1992
https://content.iospress.com/articles/fundamenta-informaticae/fi1992
https://doi.org/10.3233/FI-2020-1992
https://hdl.handle.net/11585/812478

Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems

Autoři: Bockmayr, Alexander Courtois, Arnaud Loria, Publications a další

Přispěvatelé: Bockmayr, Alexander Courtois, Arnaud Loria, Publications a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540439301

Témata: 0301 basic medicine, systèmes hybrides, contraintes, concurrence, biologie systémique, programmation logique, systems biology, bioinformatics, 0102 computer and information sciences, hybrid systems, biologie moléculaire, 01 natural sciences, 3. Good health, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], logic programming, 03 medical and health sciences, molecular biology, concurrency, constraints, bioinformatique

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/inria-00107635/document
https://inria.hal.science/inria-00100783v1
https://inria.hal.science/inria-00107635v1

On the Expressiveness of Spatial Constraint Systems

Autoři: Guzmán, Michell Valencia, Frank D. Michell Guzmán and Frank D. Valencia

Přispěvatelé: Guzmán, Michell Valencia, Frank D. Michell Guzmán and Frank D. Valencia

Témata: Epistemic logic, Modal logic, Constraint systems, Concurrent constraint programming

Popis souboru: application/pdf

Relation: Is Part Of OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016); https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.16

Dostupnost: https://doi.org/10.4230/OASIcs.ICLP.2016.16
https://nbn-resolving.org/urn:nbn:de:0030-drops-67469
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.16

Distributed Concurrent Constraint Programming: Distributed concurrent constraint programming

Autoři: Jean-Hugues Réty

Zdroj: Fundamenta Informaticae. 34:323-346

Témata: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Network design and communication in computer systems, concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1337862
https://content.iospress.com/articles/fundamenta-informaticae/fi34-3-05
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS1-0003-0046
https://dblp.uni-trier.de/db/journals/fuin/fuin34.html#Rety98

Soft Concurrent Constraint Programming.

Autoři: Bistarelli, Stefano Montanari, Ugo Rossi, Francesca

Zdroj: ACM Transactions on Computational Logic; Jul2006, Vol. 7 Issue 3, p563-589, 27p

Témata: MATHEMATICAL logic, FORMAL languages, PROOF theory, LOGIC programming, KNOWLEDGE representation (Information theory), FORMAL language semantics, FORMALIZATION (Linguistics), METATHEORY

Universal Temporal Concurrent Constraint Programming

Autoři: Of The École Polytechnique Carlos Olarte Catuscia Palamidessi a další

Přispěvatelé: Of The École Polytechnique Carlos Olarte Catuscia Palamidessi a další

Zdroj: http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Aola09.pdf.

Témata: 1.2 Publications from this Dissertation. 14

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.9039; http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Aola09.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.616.9039
http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3Aavispa%3Apapers%3Aola09.pdf

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

This document in subdirectoryRS/01/48/ Temporal Concurrent Constraint Programming: Applications and Behavior

Autoři: Mogens Nielsen Frank D. Valencia Copyright C a další

Přispěvatelé: Mogens Nielsen Frank D. Valencia Copyright C a další

Zdroj: http://www.brics.dk/RS/01/48/BRICS-RS-01-48.pdf.

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.9057
http://www.brics.dk/RS/01/48/BRICS-RS-01-48.pdf

Probabilistic Choice Operators as Constraint Combinators: Application to the Statistical Structural Testing Problem

Autoři: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) a další

Přispěvatelé: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) a další

Zdroj: https://inria.hal.science/inria-00156049 ; [Research Report] RR-6223, INRIA. 2007.

Témata: Probabilistic Concurrent Constraint Programming, Probabilistic Choices Combinator, Statistical Structural Testing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://inria.hal.science/inria-00156049
https://inria.hal.science/inria-00156049v3/document
https://inria.hal.science/inria-00156049v3/file/RR-6223.pdf

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

Autoři: Acosta, Hugo Andrés López Hildebrandt, Thomas

Zdroj: Acosta, H A L & Hildebrandt, T 2009, Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. in Logic Programming : 25th International Conference, ICLP 2009. vol. 5649, Springer, Lecture Notes in Computer Science, no. 5649/2009, pp. 417, International Conference on Logic Programming (ICLP), Pasadena, United States, 02/07/2010. https://doi.org/10.1007/978-3-642-02846-5_34

Dostupnost: https://pure.itu.dk/portal/da/publications/597ca280-e1a4-11de-a523-000ea68e967b
https://doi.org/10.1007/978-3-642-02846-5_34

Preventive Immunology for Livestock and Zoonotic Infectious Diseases in the One Health Era: From Mechanistic Insights to Innovative Interventions.

Autoři: Marzouk, Eman Alajaji, Ahmed I.

Zdroj: Veterinary Sciences; Oct2025, Vol. 12 Issue 10, p1014, 42p

Témata: LIVESTOCK, ZOONOSES, ANIMAL health, DRUG resistance in microorganisms, DIAGNOSTIC services, VACCINES, INFECTION prevention

Hybrid ITSP-LSTM Approach for Stochastic Citrus Water Allocation Addressing Trade-Offs Between Hydrological-Economic Factors and Spatial Heterogeneity.

Autoři: Xu, Wen Hu, Rui Zheng, Yifei a další

Zdroj: Water (20734441); Sep2025, Vol. 17 Issue 18, p2665, 21p

Témata: STOCHASTIC programming, WATER supply management, CITRUS fruit growing, WATER management, HYDROLOGICAL forecasting, WATER supply, SPATIAL variation, INTEGRATED water development

Geografický termín: CHINA, YANGTZE River (China)

Reducing Weak to Strong Bisimilarity in CCP

Autoři: Aristizábal, Andrés Bonchi, Filippo Pino, Luis a další

Přispěvatelé: Aristizábal, Andrés Bonchi, Filippo Pino, Luis a další

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 104, Iss Proc. ICE 2012, Pp 2-16 (2012)

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Science - Programming Languages, Bisimiliarity, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, Software, Mathematics, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: https://arxiv.org/pdf/1212.3874
http://arxiv.org/abs/1212.3458
http://arxiv.org/abs/1212.3874
https://doaj.org/article/5199e5c2049d47baa9fc157349a942ee
https://hal.science/hal-00761611v1
https://doi.org/10.4204/eptcs.104
https://hal.science/hal-00761611v1/document
http://ui.adsabs.harvard.edu/abs/2012arXiv1212.3458C/abstract
https://arxiv.org/abs/1212.3458
https://haslab.uminho.pt/xana/publications/proceedings-ice-2012
https://hal.archives-ouvertes.fr/hal-00761611
https://hal.inria.fr/hal-00761611
https://hal.archives-ouvertes.fr/hal-00761611/document
https://dblp.uni-trier.de/db/series/eptcs/eptcs104.html#abs-1212-3874
https://arxiv.org/pdf/1212.3874
https://arxiv.org/abs/1212.3874
https://arxiv.org/pdf/1212.3874.pdf
https://arxiv.org/abs/1212.3874
http://ui.adsabs.harvard.edu/abs/2012arXiv1212.3874A/abstract
https://hdl.handle.net/11568/900178
https://doi.org/10.4204/EPTCS.104.2