Results 51 to 60 of about 405,638 (322)
TVB C++: A Fast and Flexible Back‐End for The Virtual Brain
TVB C++ is a streamlined and fast C++ Back‐End for The Virtual Brain (TVB), designed to make it as flexible as TVB, and FAST. Another pillar is to be fully compatible with TVB so easy bindings can be created from Python. Users can easily configure TVB C++ to execute the same code but with enhanced performance and parallelism.
Ignacio Martín +7 more
wiley +1 more source
Tailoring legume seed markets for smallholder farmers in Africa
Seed system interventions can spur agricultural growth and often focus on accelerating delivery of new varieties and good seed. The driving logic is that such modest investments can bring key gains, even to the poor and in challenging contexts.
Louise Sperling +3 more
doaj +1 more source
Employing snRNA‐seq post‐MCAO‐induced retinal ischemia (RI), this study revealed a novel Hmga2‐high Müller cell subpopulation. Hmga2 knockout alleviated neuroinflammation and RI symptoms, potentially by binding PI3K and regulating Müller cell autophagy.
Weihao Lv +11 more
wiley +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
Single‐molecule fluorescence microscopy is combined with proteomic profiling to fingerprint the morphology and composition of TDP‐43 protein aggregates found in post‐mortem motor neuron disease brain tissues. Aggregate fingerprints can distinguish disease from control donors and detect unexpected TDP‐43 pathology in SOD1‐MND.
Dezerae Cox +9 more
wiley +1 more source
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
Dynamic Neural Deactivation Bridges Direct and Competitive Inhibition Processes
Dynamic neural deactivation bridges traditionally distinct inhibitory mechanisms—direct inhibition and competition‐induced inhibition—revealing a common neural signature across modalities. Multimodal neuroimaging and behavioral experiments demonstrate a temporal dynamic characterized by progressive frontoparietal activation decay and enhanced sensory ...
Zhenhong He +6 more
wiley +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
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 +3 more sources
Reasoning by cases in default logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources

