Results 231 to 240 of about 283,349 (325)

Risk-Aware Autonomous Driving for Linear Temporal Logic Specifications [PDF]

Shuhao Qi, Zengjie Zhang, Zhiyong Sun, Sofie Haesaert   +3 more
openalex   +1 more source

Altered Primary Somatosensory Neuron Development in a Pten Heterozygous Model for Autism Spectrum Disorder

Autism Research, EarlyView.
ABSTRACT Autism spectrum disorder (ASD) is a complex neurodevelopmental disorder characterized by deficits in social interactions, repetitive behaviors, and hyper‐ or hyposensitivity to sensory stimuli. The cellular mechanisms underlying the emergence of abnormal sensory sensitivity in ASD are not fully understood.
Alejandra Fernandez, Nick Sarn, Charis Eng, Kevin M. Wright   +3 more
wiley   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis [PDF]

Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson   +3 more
openalex   +1 more source

Interplay between Lithium Intercalation and Plating during Fast Charging of Lithium‐Ion Batteries Investigated by Operando NMR Spectroscopy

Batteries &Supercaps, EarlyView.
Lithium plating is investigated using operando nuclear magnetic resonance (NMR) spectroscopy and a three‐electrode design. The onset of plating occurs at a negative potential below −100 mV, while NMR spectra offer insights on the competition between graphite lithiation, plating, and re‐intercalation during charging.
Abdelmounaim Akchach, Pierre‐Alain Bayle, Anton Buzlukov, Marion Chandesris, Sylvie Génies, Michel Bardet   +5 more
wiley   +1 more source

Optical logic array: a photonic solution towards universal computing. [PDF]

Front Optoelectron
Fang L.
europepmc   +1 more source

A Cellular Automation for Real‐Time Electrolyte Wetting Simulation in Multilayer Lithium‐Ion Cells: From Lab Data to Full‐Scale Formats

Batteries &Supercaps, EarlyView.
A cellular automaton model is introduced for simulating electrolyte wetting in porous battery composites. The model offers high flexibility, near real‐time runtimes, and strong agreement with experimental data. Validated on individual and multilayer configurations, the model enables fast, accurate wetting prediction for pouch, and cylindrical cell ...
Nicolaj Kaden, Jincai Cheng, Benjamin Schumann, Do Minh Nguyen, Ricarda Schlimbach, Klaus Dröder   +5 more
wiley   +1 more source

The Onto-Rhythmic Self: An Ontological Reframing of Subjectivity. [PDF]

Integr Psychol Behav Sci
Rahimi MD.
europepmc   +1 more source

A systematic review on multi‐criteria decision‐making methods in educational research

British Educational Research Journal, EarlyView.
Abstract The aim of this study is to obtain an overview of the literature on multi‐criteria decision‐making (MCDM) methods in educational research, to map the literature, to identify existing knowledge and application areas, to reveal the methods used and their purposes of use, and to reveal the thematic structure of the field.
Muammer Maral, Ali Özdemir
wiley   +1 more source

Engineered biological neuronal networks as basic logic operators. [PDF]

Front Comput Neurosci
Küchler J, Vulić K, Yao H, Valmaggia C, Ihle SJ, Weaver S, Vörös J.   +6 more
europepmc   +1 more source