Results 41 to 50 of about 418,606 (284)

Extending the decision-making process during yellow phase from human drivers to autonomous vehicles: A microsimulation study with safety considerations

open access: yesJournal of Traffic and Transportation Engineering (English ed. Online)
One of the main factors affecting the safety of signalised intersections is the stop/go behaviour during the yellow interval. Although previous research has exhaustively examined drivers' stop/go decision-making, the expected autonomous vehicles' (AVs ...
Efthymis Papadopoulos   +4 more
doaj   +1 more source

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

Reasoning about Minimal Belief and Negation as Failure

open access: yes, 2011
We investigate the problem of reasoning in the propositional fragment of MBNF, the logic of minimal belief and negation as failure introduced by Lifschitz, which can be considered as a unifying framework for several nonmonotonic formalisms, including ...
Rosati, R.
core   +1 more source

Geometrically Encoded Positioning of Introns, Intergenic Segments, and Exons in the Human Genome

open access: yesAdvanced Science, EarlyView.
This study introduces a new hypothesis: exons, introns, and intergenic segments are non‐random projections of the functional layers of 3D structure of chromatin packing domains. Evidence is presented that this “geometric code” may encode volumetric structure, reconciling epigenetic patterns, correlates with oncogenic mutations, acting as a potential ...
Luay M. Almassalha   +11 more
wiley   +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

Dealing Automatically with Exceptions by Introducing Specificity in ASP [PDF]

open access: yes, 2009
Answer Set Programming (ASP), via normal logic programs, is known as a suitable framework for default reasoning since it offers both a valid formal model and operational systems.
B. Borges Garcia   +15 more
core   +4 more sources

The Disordered Region of ASXL1 Acts as an Auto‐Regulator Through Condensation

open access: yesAdvanced Science, EarlyView.
ASXL1's long IDR encodes an electrostatic “basic platform + acidic brake” that autoregulates condensation. Truncation at a clinical hotspot lifts this brake, forming condensates that retarget BRD2, remodel local chromatin accessibility, and impair neutrophil maturation.
Xiao Fang, Qiwei Li, Wenqing Zhang
wiley   +1 more source

Allelic Variation in Maize Malate Dehydrogenase 7 Shapes Promoter Methylation and Banded Leaf and Sheath Blight Resistance

open access: yesAdvanced Science, EarlyView.
In this study maize chloroplastic malate dehydrogenase7 (ZmMDH7), is identified as a Rhizoctonia solani resistance gene in maize. ZmMDH7 is regulated by transcription factor ZmWRKY44 via pathogens challenge to elevate mitochondrial ROS and SA signaling pathway.
Luyang Wei   +9 more
wiley   +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

Description of GADEL [PDF]

open access: yes, 2000
This article describes the first implementation of the GADEL system : a Genetic Algorithm for Default Logic. The goal of GADEL is to compute extensions in Reiter's default logic. It accepts every kind of finite propositional default theories and is based
Nicolas, P., Saubion, F., Stephan, I.
core   +3 more sources

Home - About - Disclaimer - Privacy