Results 81 to 90 of about 49,735 (203)
Independence in constraint logic programs [PDF]
, 1993 Studying independence of literals, variables, and substitutions has proven very useful in the context of logic programming (LP). Here we study independence in the broader context of constraint logic programming (CLP).
Hermenegildo, Manuel V. +2 more
core
Revista de Estudos Literários, 2011 Recensão crítica de GABRIEL MAGALHÃES (ed.). RELIPES, RELAÇÕES LINGUÍSTICAS E LITERÁRIAS ENTRE PORTUGAL E ESPANHA DESDE O INÍCIO DO SÉCULO XIX ATÉ À ACTUALIDADE. Covilhã/Salamanca, UBI/Celya, 2007. 422 páginas. ISBN: 9788496482388.
Alberto Sismondini
doaj +1 more source
Revista de Estudos Literários, 2012 O foco de atenção deste volume dirige-se para os aspetos tecnológicos e materiais que têm transformado as práticas de criação, comunicação e leitura literária, e cujos efeitos se fazem sentir transversalmente na cultura atual.
Manuel Portela
doaj +1 more source
Reasoning on constraints in CLP(FD)
The Journal of Logic Programming, 1999 Summary: Constraint logic programming solvers on finite domains (CLP(FD) solvers) use constraints to prune those combinations of assignments which cannot appear in any consistent solution. There are applications, such as temporal reasoning or scheduling, requiring some form of qualitative reasoning where constraints can be changed (restricted) during ...
Evelina Lamma +2 more
openaire +3 more sources
Recensão: O FIDALGO APRENDIZ — D. FRANCISCO MANUEL DE MELO — EVELINA VERDELHO (ed.)
Revista de Estudos Literários, 2011 Recensão crítica de D. FRANCISCO MANUEL DE MELO. O FIDALGO APRENDIZ. Edição crítica de EVELINA VERDELHO. A Coruña, Biblioteca/Arquivo Teatral Francisco Pillado Mayor/Universidade da Coruña, 2007. 232 páginas. ISBN: 9788497492324.
Juan M. Carrasco González
doaj +1 more source
Analysis of Linear Hybrid Systems in CLP [PDF]
, 2009 In this paper we present a procedure for representing the semantics of linear hybrid automata (LHAs) as constraint logic programs (CLP); flexible and accurate analysis and verification of LHAs can then be performed using generic CLP analysis and ...
Gourinath Banda +3 more
core +1 more source
, 2009 The complexity of designs continues to rise, driven by technology advances, while time-tomarket imposes always shorter time. Moreover, the increasing of design complexity implies that design verification becomes one of the most cost-dominating phase in design production. Functional Automatic Test Pattern Generators (ATPGs) based on simulation (Corno et
DI GUGLIELMO, Giuseppe +3 more
openaire +3 more sources
IMPLEMENTATION OF THE CLP REGULATION WITH COMPANY PROCEDURES: ANALYSIS OF THREE CASE STUDIES
reservedLa seguente tesi nasce a seguito di un periodo di tirocinio presso l’azienda chimica Fenice S.p.A. L’obiettivo è quello di indagare ed approfondire quale metodologia viene applicata dall’ufficio HSE per la gestione delle sostanze pericolose.
LOVATO, GIULIA
core
Graph depicting smallest cross-sectional area not significantly different in CLP vs. non-CLP.
, 2013 Graph depicting smallest cross-sectional area not significantly different in CLP vs. non-CLP.
Snehlata Oberoi (309596) +1 more
core +1 more source
Effects of CLP on markers of coagulation.
, 2016 (A,B) Whole blood platelet counts, (C,D) plasma thrombin-antithrombin complex (TAT) levels, and (E,F) plasma fibrinogen levels in WT (black bars) and FXI-/- (white bars) mice after CLP or sham surgery.
Andras Gruber (2591452) +10 more
core +1 more source