Výsledky vyhľadávania - publications of) concurrent constraint programming*

A Concurrent Constraint Programming Interpretation of Access Permissions

Autori: Olarte, Carlos Pimentel, Elaine Rueda, Camilo

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

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

Bisimilarity in Concurrent Constraint Programming

Autori: Aristizabal P., Andres A. Andres A. Aristizabal P.

Prispievatelia: Aristizabal P., Andres A. Andres A. Aristizabal P.

Predmety: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics

Popis súboru: 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

Dostupnosť: 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∗

Autori: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Moreno Falaschi Alicia Villanueva The Pennsylvania State University CiteSeerX Archives

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

Predmety: Automatic verification, reactive systems, timed concurrent constraint programming

Popis súboru: 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

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

Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints

Autori: Martinez, Thierry Thierry Martinez

Prispievatelia: Martinez, Thierry Thierry Martinez

Predmety: Concurrent logic programming

Popis súboru: 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.277

Dostupnosť: https://doi.org/10.4230/LIPIcs.ICLP.2010.277
https://nbn-resolving.org/urn:nbn:de:0030-drops-26085
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.277

Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives

Autori: Vidal, Germán

Témy: Computer Science - Programming Languages, text

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

A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs

Autori: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia a ďalší

Prispievatelia: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia a ďalší

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⟩

Predmety: 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

Dostupnosť: 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)

Autori: Eveillard, Damien Courtois, Arnaud Bockmayr, Alexander a ďalší

Prispievatelia: Eveillard, Damien Courtois, Arnaud Bockmayr, Alexander a ďalší

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

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

A Variant of Concurrent Constraint Programming on GPU

Autori: 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

Predmety: Constraint Satisfaction And Optimization (CSO)

Popis súboru: application/pdf

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

Dostupnosť: 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)

Autori: Bockmayr, Alexander Courtois, Arnaud Loria, Publications

Prispievatelia: Bockmayr, Alexander Courtois, Arnaud Loria, Publications

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

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

Dynamic Slicing for Concurrent Constraint Languages

Autori: Falaschi M. Gabbrielli M. Olarte C. a ďalší

Prispievatelia: Falaschi M. Gabbrielli M. Olarte C. a ďalší

Zdroj: Fundamenta Informaticae. 177:331-357

Predmety: 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 súboru: application/pdf; STAMPA

Prí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

Autori: Bockmayr, Alexander Courtois, Arnaud Loria, Publications a ďalší

Prispievatelia: Bockmayr, Alexander Courtois, Arnaud Loria, Publications a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783540439301

Predmety: 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 súboru: application/pdf

Prí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

Autori: Guzmán, Michell Valencia, Frank D. Michell Guzmán and Frank D. Valencia

Prispievatelia: Guzmán, Michell Valencia, Frank D. Michell Guzmán and Frank D. Valencia

Predmety: Epistemic logic, Modal logic, Constraint systems, Concurrent constraint programming

Popis súboru: 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

Dostupnosť: 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

Autori: Jean-Hugues Réty

Zdroj: Fundamenta Informaticae. 34:323-346

Predmety: 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 súboru: application/xml

Prí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

Universal Temporal Concurrent Constraint Programming

Autori: Of The École Polytechnique Carlos Olarte Catuscia Palamidessi a ďalší

Prispievatelia: Of The École Polytechnique Carlos Olarte Catuscia Palamidessi a ďalší

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

Predmety: 1.2 Publications from this Dissertation. 14

Popis súboru: 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

Dostupnosť: 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

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

Autori: Mogens Nielsen Frank D. Valencia Copyright C a ďalší

Prispievatelia: Mogens Nielsen Frank D. Valencia Copyright C a ďalší

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

Popis súboru: application/pdf

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

Dostupnosť: 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

Autori: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) a ďalší

Prispievatelia: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) a ďalší

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

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

Dostupnosť: 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

Autori: 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

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

A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process

Autori: BISTARELLI, Stefano SANTINI, FRANCESCO

Zdroj: Fundamenta Informaticae. 111:257-279

Predmety: Soft Constraint, Constraint, Concurrent Programming, Nonmonotonicity,Belief Revision, Quality of Service, Negotiation, 0211 other engineering and technologies, 02 engineering and technology

Prístupová URL adresa: https://content.iospress.com/articles/fundamenta-informaticae/fi111-3-01
https://doi.org/10.3233/FI-2011-563
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS8-0021-0007
https://dblp.uni-trier.de/db/journals/fuin/fuin111.html#BistarelliS11

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

Autori: Marzouk, Eman Alajaji, Ahmed I.

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

Predmety: 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.

Autori: Xu, Wen Hu, Rui Zheng, Yifei a ďalší

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

Predmety: 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)