Results 51 to 60 of about 421,883 (287)

Pet ownership is associated with greater cognitive and brain health in a cross-sectional sample across the adult lifespan

open access: yesFrontiers in Aging Neuroscience, 2022
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]

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

Organ‐Specific and Conserved Regulatory Logic Orchestrates Gene Expression in the Embryonic Mesothelium

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

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

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

Activation of ERBB4 Pathway Inhibits Pathological Transdifferentiation of Lung Epithelial Progenitors into CD66c+ Basal Cells in Severe Lung Injury

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

open access: yesAnnals of Mathematics and Artificial Intelligence, 1997
Annals of Mathematics and Artificial Intelligence, 21 (1997), pp.
Marek, V. Wiktor   +2 more
openaire   +2 more sources

Cis‐ and Trans‐Regulatory Factors Independently Shape Phenotypic Heterogeneity of Retinitis Pigmentosa

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

open access: yesPLoS Computational Biology, 2020
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

Memory Allocation Strategy in Edge Programmable Logic Controllers Based on Dynamic Programming and Fixed-Size Allocation

open access: yesApplied Sciences, 2023
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

Home - About - Disclaimer - Privacy