Imagining CLP (Lambda, alphabeta)
We study under which conditions the domain of lambda-terms (Lambda) and the equality theory of the lambda-calculus (alphabeta) form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom eta-gamma, and the formula language must depart from Horn clauses and accept universal ...
openaire +1 more source
Sirtuin 4 Knockout Aggravates Sepsis-Induced Acute Liver Injury by Enhancing Mitochondrial Fission and Mitophagy in Hepatocytes. [PDF]
Li N, Ma D, Luo S, He A, Chang S.
europepmc +1 more source
ClgR, a Novel Regulator of clp and lon Expression in Streptomyces
Audrey Bellier, Philippe Mazodier
openalex +2 more sources
Ferrostatin-1 protects against early sepsis-induced acute lung injury by suppressing lipid peroxidation-driven NINJ1-mediated DAMP release and neutrophil activation. [PDF]
Xiao F +18 more
europepmc +1 more source
Single-cell transcriptional profiling revealed the protective effects of Buddleoside in sepsis-associated acute liver injury. [PDF]
Shi Q +6 more
europepmc +1 more source
HDAC3 Mediates Hippocampal Microglial Pyroptosis Via the STING/NLRP3 Pathway and Contributes To Cognitive Impairment in Sepsis-Associated Encephalopathy. [PDF]
Cai M +13 more
europepmc +1 more source
Dealing with incomplete knowledge on CLP( FD ) variable domains [PDF]
Marco Gavanelli +3 more
openalex +1 more source
Aldehyde Dehydrogenase-2 Alleviates Septic Myocardial Injury by Inhibiting Caspase-11-Mediated Noncanonical Pyroptosis. [PDF]
Liang H +7 more
europepmc +1 more source
Protection against Polymicrobial Sepsis by Chitin Oligomers is Fine-Tuned by <i>N</i>‑Acetyl‑d‑Glucosamine Residues. [PDF]
Patel P +4 more
europepmc +1 more source

