Results 11 to 20 of about 49,735 (203)
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog [PDF]
CoRR, 2013 Appeared in CICLOPS 2012.
Gallego Arias, Emilio Jesús +3 more
openaire +5 more sources
, 1999 We show that Constraint Logic Programming (CLP) can serve as a conceptual basis and as a practical implementation platform for the model checking of infinite-state systems. Our contributions are: (1) a semantics-preserving translation of concurrent systems into CLP programs, (2) a method for verifying safety and liveness properties on the CLP programs ...
DELZANNO, GIORGIO, PODELSKI A.
openaire +7 more sources
Products of sequential CLP-compact spaces are CLP-compact [PDF]
Annals of Pure and Applied Logic, 2006 The class of spaces which have the property that every cover by clopen sets has a finite subcover was introduced by A. Šostak under the name \textit{CB-compact}. These spaces are now known as \textit{CLP-compact} spaces and it has emerged that much of the interesting behaviour of this class derives from the possibility that the product of two ...
Steprāns, Juris
openaire +4 more sources
Towards independent and-parallelism in CLP [PDF]
, 1996 In this paper we propose a complete scheme for automatic exploitation of independent and-parallelism in CLP programs. We first discuss the new problems involved because of the different properties of the independence notions applicable to CLP. We then show how independence can be derived from a number of standard analysis domains for CLP.
García de la Banda, M. +2 more
openaire +5 more sources
Transient analysis and synthesis of linear circuits using constraint logic programming [PDF]
, 1996 In this paper describes the design of a transient analysis program for linear circuits and its implementation in a Constraint Logic Programming language, CLP(R).
Gilbert, D, Jampel, M, Shankar, A
core +6 more sources
, 2022 Alignments of nuclear-encoded genes that conform the plastid CLP ...
Luis Federico Ceriotti (11956136)
core +1 more source
Revista de Estudos Literários, 2013 Introdução ao volume 3 pelas coordenadoras da edição.
Ana Maria Machado, Cristina Mello
doaj +1 more source
Safety & Fire Technology, 2022 Aim: This article attempts to present the issues related to the strengthening of chemical, ecological and environmental safety as an essential component of the safety of citizens and the activities of public authorities, on the example of the activities ...
Andrzej Puka, Krzysztof Cygańczuk
doaj +1 more source
Sesamin attenuates intestinal injury in sepsis via the HMGB1/TLR4/IL-33 signalling pathway
Pharmaceutical Biology, 2020 Context Sepsis is currently one of the leading causes of death in intensive care units (ICUs). Sesamin was previously reported to inhibit inflammation. However, no studies have revealed the impact of sesamin on sepsis.
Zhi-Ling Li +5 more
doaj +1 more source
Transformations of CLP modules
Theoretical Computer Science, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sandro Etalle, Maurizio Gabbrielli
openaire +4 more sources