Results 91 to 100 of about 119,051 (375)
A Framework for Extending microKanren with Constraints [PDF]
EPTCS 234, 2017, pp. 135-149, 2017 We present a framework for building CLP languages with symbolic constraints based on microKanren, a domain-specific logic language shallowly embedded in Racket. We rely on Racket's macro system to generate a constraint solver and other components of the microKanren embedding.
arxiv +1 more source
Advanced Science, EarlyView.Catalytic hairpin assembly‐propelled weak‐inputs‐strong‐outputs (CP‐WISO) DNA logic nanodevices with orthogonal design and contrary logic responses are innovatively fabricated. Moreover, the even and odd parity generators/checkers for ensuring normal molecular data transmission, and the logic‐programmed miRNA biosensors with ratiometric fluorescent ...
Xujuan Lv +8 more
wiley +1 more source
PLoS Pathogens, 2014 Unlike most bacterial species, Mycobacterium tuberculosis depends on the Clp proteolysis system for survival even in in vitro conditions. We hypothesized that Clp is required for the physiologic turnover of mycobacterial proteins whose accumulation is ...
Ravikiran M. Raju +9 more
semanticscholar +1 more source
Reasoning on constraints in CLP(FD)
The Journal of Logic Programming, 1999 AbstractConstraint Logic Programming solvers on finite domains (CLP(FD) solvers) use constraints to prune those combinations of assignments which cannot appear in any consistent solution. There are applications, such as temporal reasoning or scheduling, requiring some form of qualitative reasoning where constraints can be changed (restricted) during ...
Evelina Lamma +2 more
openaire +2 more sources
On Termination of Binary CLP Programs [PDF]
, 2005 Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to the fact that some of the recent approaches to termination of logic programs abstract the input program to a binary CLP program and conclude termination of the input program from termination of the abstracted
Alexander Serebrenik, Fred Mesnard
openaire +2 more sources
Advanced Science, EarlyView.Abnormal mechanical stretch induced by mechanical ventilation (MV) disrupts endothelial junctions via the NOX2/ROS/CaMKII/ERK1/2 axis both in human aortic endothelial cells (HAECs) in vitro and in ventilator‐induced lung injury (VILI) in mice. Quercetin, an antioxidant predicted to bind to NOX2, can effectively prevent mechanical stretch‐induced ...
Tao Jiang +8 more
wiley +1 more source
No bounds for the bound book: a digital refresh to reload the page
MatLit, 2019 Recensão crítica de Kiene Brillenburg Wurth, Kári Driscoll e Jessica Pressman (eds.), Book Presence in a Digital Age. London: Bloomsbury Academic, 2018, 280 pp. ISBN 978-1-5013-2118-4.
Reina, Patrícia
doaj +1 more source
The atypical chemokine receptor ACKR2 is protective against sepsis [PDF]
, 2018 Sepsis is a systemic inflammatory response as a result of uncontrolled infections. Neutrophils are the first cells to reach the primary sites of infection and chemokines play a key role in recruiting neutrophils.
Alves-Filho, José Carlos +15 more
core +1 more source
Journal of Biological Chemistry, 2014 Background: ClpC/Hsp93 is a chloroplast molecular chaperone whose function is essential for plant viability. Results: Chloroplast ClpC localized in both the stromal and envelope-membrane fractions associates with the Clp proteolytic core.
L. Sjögren +6 more
semanticscholar +1 more source
Advanced Science, EarlyView.γGC deficiency in ulcerative colitis drives macrophage ferroptosis‐mediated inflammation. Claw‐engaged microparticles armed with γGC (γGC‐MPs) enhance lesion targeting, promoting localized γGC release and tissue uptake. On the cover, Monkey King (Macrophages) was bound by the Immortal‐Binding Rope and subsequently sealed beneath the Five‐Fingered ...
Rong Wang +10 more
wiley +1 more source