Results 81 to 90 of about 119,051 (375)

‘A minha busca é consistente nestes mais de trinta anos’: uma entrevista com Eduardo Kac

open access: yesMatLit, 2015
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]

open access: yes, 1993
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]

open access: yesEPTCS 402, 2024, pp. 118-130
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

Exome Sequencing Reveals the Genetic Architecture of Non‐syndromic Orofacial Clefts and Identifies BOC as a Novel Causal Gene

open access: yesAdvanced Science, EarlyView.
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 Clp protease system is required for copper ion-dependent turnover of the PAA2/HMA8 copper transporter in chloroplasts.

open access: yesNew Phytologist, 2015
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]

open access: yesarXiv, 2021
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  

Identification of CD38high Monocyte as a Candidate Diagnostic Biomarker and Therapeutic Target for Sepsis

open access: yesAdvanced Science, EarlyView.
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.

open access: yesJournal of Experimental Botany, 2015
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

Meta-programming in CLP(R)

open access: yesThe Journal of Logic Programming, 1997
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]

open access: yesTheory and Practice of Logic Programming, 2010
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

Home - About - Disclaimer - Privacy