Results 51 to 60 of about 421,883 (287)
Human-animal interactions that stem from pet ownership have a wide range of benefits for social, emotional, and physical health. These factors also tend to improve cognition. Following this logic, owning a pet could indirectly enhance cognitive and brain
Ian M. McDonough +5 more
doaj +1 more source
The Temporal Logic of the Tower Chief System [PDF]
The purpose is to describe the logic used in the reasoning scheme employed in the Tower Chief system, a runway configuration management system. First, a review of classical logic is given.
Hazelton, Lyman R., Jr.
core +1 more source
Integrated multi‐omic profiling maps the gene‐regulatory landscape of the coelomic mesothelium across heart, lung, and pancreas. A cardiac‐restricted regulatory program is uncovered in which TBX20 activates heart mesothelial (epicardial) cis‐regulatory elements, while MAF emerges as a conserved regulator of mesothelial identity.
Quang Minh Dang +3 more
wiley +1 more source
On the Relationship between Quantified Reflective Logic and Quantified Default Logic [PDF]
Reflective Logic and Default Logic are both generalized so as to allow universally quantified variables to cross modal scopes whereby the Barcan formula and its converse hold.
Brown, Frank
core
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 Recent advances in knowledge compilation introduced techniques to compile \emph{positive} logic programs into propositional logic, essentially exploiting the ...
BART BOGAERTS +8 more
core +1 more source
In fibrotic distal lung regions, CD66c+ basal cells emerge as a pathological state. Using human distal lung organoids, this study identifies CD66c+ basal cells as a pro‐fibrotic state arising through transdifferentiation from secretory, AT2, and basal cells.
Kaijun Lin +13 more
wiley +1 more source
Representation theory for default logic
Annals of Mathematics and Artificial Intelligence, 21 (1997), pp.
Marek, V. Wiktor +2 more
openaire +2 more sources
A zebrafish model carrying an identical human RHO S334X allele reveals two independent genetic layers shaping retinitis pigmentosa (RP) severity: a protective 3‐bp cis‐regulatory insertion that attenuates transgene expression, and a dominant trans‐acting modifier that restores a severe phenotype.
Cong Cui +9 more
wiley +1 more source
Context-specific network modeling identifies new crosstalk in β-adrenergic cardiac hypertrophy.
Cardiac hypertrophy is a context-dependent phenomenon wherein a myriad of biochemical and biomechanical factors regulate myocardial growth through a complex large-scale signaling network. Although numerous studies have investigated hypertrophic signaling
Ali Khalilimeybodi +3 more
doaj +1 more source
With the explosive growth of data at the edge in the Industrial Internet of Things (IIoT), edge devices are increasingly performing more data processing tasks to alleviate the load on cloud servers.
Guanghe Cheng +3 more
doaj +1 more source

