Results 341 to 350 of about 119,051 (375)
Some of the next articles are maybe not open access.
Journal of Physical Chemistry B, 2018
In this paper, we present the development of a phenomenological coarse-grained model that represents single strands of collagen-like peptides (CLPs) as well as CLP triple helices.
Joshua E. Condon, A. Jayaraman
semanticscholar +1 more source
In this paper, we present the development of a phenomenological coarse-grained model that represents single strands of collagen-like peptides (CLPs) as well as CLP triple helices.
Joshua E. Condon, A. Jayaraman
semanticscholar +1 more source
2003
We propose a parametric introduction of intensionally defined sets into any \(CLP(\mathcal \{D\})\) language. The result is a language \(CLP({\mathcal \{D\}})\), where constraints over sets of elements of \(\mathcal D\) and over sets of sets of elements, and so on, can be expressed.
DOVIER, Agostino, PONTELLI E, ROSSI G.
openaire +2 more sources
We propose a parametric introduction of intensionally defined sets into any \(CLP(\mathcal \{D\})\) language. The result is a language \(CLP({\mathcal \{D\}})\), where constraints over sets of elements of \(\mathcal D\) and over sets of sets of elements, and so on, can be expressed.
DOVIER, Agostino, PONTELLI E, ROSSI G.
openaire +2 more sources
Journal of Personality Disorders, 2005
The purpose of this article is to provide a commentary on the reports of the findings from the longitudinal Children in the Community (CIC) study by Cohen, Crawford, Johnson, and Kasen (this issue), Collaborative Longitudinal Personality Disorders Study (CLPS) by Skodol et al.
openaire +3 more sources
The purpose of this article is to provide a commentary on the reports of the findings from the longitudinal Children in the Community (CIC) study by Cohen, Crawford, Johnson, and Kasen (this issue), Collaborative Longitudinal Personality Disorders Study (CLPS) by Skodol et al.
openaire +3 more sources
, 2005 Constraint Logic Programming has been successful as a programming language, and more recently, as a model of executable specifications. There have been numerous works which use CLP to model programs and which use an adaptation of the CLP proof system for proving certain properties, for example, the XMC system [3] uses SLG resolution on alternation-free
Răzvan Voicu +2 more
openaire +1 more source