Results 81 to 90 of about 119,051 (375)
‘A minha busca é consistente nestes mais de trinta anos’: uma entrevista com Eduardo Kac
In this interview, Eduardo Kac tells us about his "laboratory" and bioart or transgenic art, the art of telepresence, and holopoetry. He explains how it works and how the performative ethics materially explores the relationship between body and language.
Athayde, Manaíra Aires+1 more
doaj +1 more source
A practical approach to the global analysis of CLP programs [PDF]
This paper presents and illustrates with an example a practical approach to the dataflow analysis of programs written in constraint logic programming (CLP) languages using abstract interpretation.
García de la Banda, M.+1 more
core +2 more sources
An Encoding for CLP Problems in SMT-LIB [PDF]
The input language for today's CHC solvers are commonly the standard SMT-LIB format, borrowed from SMT solvers, and the Prolog format that stems from Constraint-Logic Programming (CLP). This paper presents a new front-end of the Eldarica CHC solver that allows inputs in the Prolog language.
arxiv +1 more source
Nonsyndromic orofacial clefts (NSOFCs) are the most common craniofacial defects. Exome sequencing of 214 sporadic cases sheds new light on its genetic architecture and identifies many candidate pathogenic variants. Furthermore, functional studies establish BOC as a novel causal gene and reveal an unusual two‐locus model of inheritance via the epistatic
Qing He+16 more
wiley +1 more source
The distribution of essential metal ions over subcellular compartments for use as cofactors requires control of membrane transporters. PAA2/HMA8 is a copper-transporting P1B -type ATPase in the thylakoid membrane, required for the maturation of ...
Wiebke Tapken+4 more
semanticscholar +1 more source
Processing Phoneme Specific Segments for Cleft Lip and Palate Speech Enhancement [PDF]
The cleft lip and palate (CLP) speech intelligibility is distorted due to the deformation in their articulatory system. For addressing the same, a few previous works perform phoneme specific modification in CLP speech. In CLP speech, both the articulation error and the nasalization distorts the intelligibility of a word. Consequently, modification of a
arxiv
This study uncovers that CD38high monocytes discriminate sepsis and sterile inflammation and are associated with 28‐day mortality in bacterial sepsis. Targeting CD38 therapy reduces inflammatory response in monocytes and in sepsis mice model. Mechanistically, CD38‐HIF‐1α/glycolysis/MGO loop exacerbates sepsis‐induced immune dysregulation.
Ning Hua+19 more
wiley +1 more source
The E3 ligase AtCHIP positively regulates Clp proteolytic subunit homeostasis.
The caseinolytic peptidase (Clp) core proteins are essential for plant growth and development, especially for chloroplast function. Antisense or overexpression of ClpP4, which is one of the Clp core subunits, causes chlorotic phenotypes in Arabidopsis ...
Jia Wei+10 more
semanticscholar +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
Spiro Michaylov+3 more
openaire +2 more sources
A declarative semantics for CLP with qualification and proximity [PDF]
AbstractUncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values ...
Carlos A. Romero-Díaz+1 more
openaire +3 more sources