Results 41 to 50 of about 418,606 (284)
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
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
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
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]
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]
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
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
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
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
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

