Results 151 to 160 of about 119,051 (375)
Integrating Interval Constraints into Logic Programming [PDF]
arXiv, 2010 The CLP scheme uses Horn clauses and SLD resolution to generate multiple constraint satisfaction problems (CSPs). The possible CSPs include rational trees (giving Prolog) and numerical algorithms for solving linear equations and linear programs (giving CLP(R)). In this paper we develop a form of CSP for interval constraints.
arxiv
ChemPlusChem, Accepted Article.In this work, we propose crystallization mechanisms for halogenated benzyl alcohols, based on theoretical energetic and topological data of intermolecular and supramolecular interactions. All interactions were verified and energetically classified by density functional theory (DFT) and their contribution at each contact point was analyzed using QTAIM ...
Patrick Teixeira Campos +3 more
wiley +1 more source
Revista de Estudos Literários, 2012 Recensão crítica de PAULO BORGES. O TEATRO DA VACUIDADE OU A IMPOSSIBILIDADE DE SER EU: ESTUDOS E ENSAIOS PESSOANOS. Lisboa, Verbo/Babel, 2011. 280 páginas. ISBN: 9789722230360.
Ricardo Namora
doaj +1 more source
The Depositional Record, EarlyView.A new classification for inland freshwater palaeowetlands to be used in the field or core laboratory by sedimentologists, providing examples from the Guadix Basin (southern Spain). Abstract Present wetlands have proven to be delicate, biodiverse ecosystems, that are natural sinks for CO2 and act as good indicators for climate changes.
S. Pla‐Pueyo +1 more
wiley +1 more source
Revista de Estudos Literários, 2012 Recensão crítica de HELENA BUESCU, CLÁUDIA TRABUCO e SÓNIA RIBEIRO (orgs.). DIREITO E LITERATURA: MUNDOS EM DIÁLOGO. Coimbra, Edições Almedina, 2010. 382 páginas. ISBN: 9789724039688.
Ricardo Namora
doaj +1 more source
A CLP Approach to Modelling Systems [PDF]
, 2004 We present a formal method for modelling the operational behavior of various kinds of systems of concurrent processes. A first objective is that the method be broadly applicable. A system can be described in terms of its processes written in a traditional syntax-based manner, or in some non-traditional form such as a timed automaton.
openaire +3 more sources
A Transformation-based Implementation for CLP with Qualification and Proximity [PDF]
arXiv, 2012 Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for Constraint Logic Programming.
arxiv
Decentralized Wind Energy Systems as Catalysts for Urban Resilience: A Design Framework
Energy Science &Engineering, EarlyView.ABSTRACT Confronting the escalating extreme weather events (EWEs) and intensifying winds, this study proposes an active response to these issues by exploring decentralized wind energy production for Peng Chau Island, Hong Kong. It integrates theoretical perspectives on energy democracy—empowering local communities through energy autonomy—and urban ...
Tian Cheng
wiley +1 more source
Revista de Estudos Literários, 2012 Recensão crítica de JORGE BASTOS DA SILVA. A INSTITUIÇÃO DA LITERATURA: HORIZONTE TEÓRICO E FILOSÓFICO DA CULTURA LITERÁRIA NO LIMIAR DA MODERNIDADE. Porto, Universidade do Porto Editorial, 2010. 237 páginas. ISBN: 9789898265371.
Ricardo Namora
doaj +1 more source
Journal of Periodontology, EarlyView.Abstract Background This study investigated the effect of a 4‐week free‐sugar avoidance on periodontal parameters during periodontal therapy. Methods Twenty‐one patients with untreated periodontitis and daily free‐sugar intake were allocated to a sugar avoidance group (SAG) and a control group (CG).
Christina L. Pappe +7 more
wiley +1 more source