Results 71 to 80 of about 49,735 (203)
A CLP Approach to Modelling Systems [PDF]
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
Information gathering for CLP classification.
Regulation 1272/2008 includes provisions for two types of classification: harmonised classification and self-classification. The harmonised classification of substances is decided at Community level and a list of harmonised classifications is included in the Annex VI of the classification, labelling and packaging Regulation (CLP).
I. Marcello +2 more
openaire +3 more sources
“FISIOLOGIA” À PORTUGUESA EM FOLHETIM
FISIOLOGIAS - Lopes de Mendonça Introdução por Maria João ...
Maria João Simões
doaj +1 more source
Peran Kadar HLA-C Pada Penderita CLP (Cleft Lip And Palate) di CLP Center Surabaya [PDF]
Latar belakang. Cleft lip and palate (CLP) merupakan kelainan orofasial dengan jumlah prevalensi tertinggi dan dapat menyebabkan maloklusi skeletal yang parah serta membutuhkan perawatan jangka panjang yang cukup lama.
Faizah Hanum
core +1 more source
Background/Objectives: The study investigated the anti-inflammatory potential of neolignan derivatives of dehydrodieugenol (CP1–CP5), focusing on the inhibition of secretory phospholipase A2 (sPLA2), a key enzyme in inflammation.
Adeilso B. Santos Junior +10 more
doaj +1 more source
Recensão: POESIA COMPLETA — MANOEL DE BARROS
Recensão crítica de MANOEL DE BARROS, POESIA COMPLETA. Lisboa, Relógio d’Água, 2016. 480 páginas. ISBN: 978-989-641-676-8.
Marisa das Neves Henriques
doaj +1 more source
CLP Projection for Constraint Handling Rules [PDF]
This paper introduces and studies the notion of CLP projection for Constraint Handling Rules (CHR). The CLP projection consists of a naive translation of CHR programs into Constraint Logic Programs (CLP).
Manuel V. Hermenegildo +5 more
core +1 more source
Recensão: CERVANTES, ENIGMAS E MITOLOGIAS — PEDRO SOARES MARTÍNEZ
Recensão crítica de PEDRO SOARES MARTÍNEZ. CERVANTES. ENIGMAS E MITOLOGIAS. Coimbra, Almedina, 2007. 144 páginas. ISBN: 9789724029245.
Alexia Dotras Bravo
doaj +1 more source
AbstractA widely used property of Prolog is that it is possible to write Prolog programs to construct and manipulate other Prolog programs in a very general manner. Unfortunately, this property is not carried over to richer languages such as CLP(R>)—the manipulation of CLP(R) programs in CLP(R) is quite limited. The reason is that the equality of terms
Nevin Heintze +3 more
openaire +1 more source
Recensão crítica de GABRIEL MAGALHÃES (ed.). ACTAS DO CONGRESSO RELIPES III – UNIVERSIDADE DA BEIRA INTERIOR, 18, 19 E 20 DE ABRIL DE 2007. Covilhã/Salamanca, UBI/Celya, 2007. 480 páginas. ISBN: 9788496482425.
Alberto Sismondini
doaj +1 more source

