Results 111 to 120 of about 211,276 (289)
Advanced Science, EarlyView.This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong +7 more
wiley +1 more source
ALKBH3 m1A Demethylase Deficiency Reduces Alzheimer's Amyloid‐β Pathology
Advanced Science, EarlyView.This study identifies that ALKBH3‐driven m1A demethylation orchestrates Alzheimer's disease progression by disrupting mitochondrial and synaptic homeostasis. This epitranscriptomic mechanism suppresses PINK1‐mediated mitophagy via m1A erasure, leading to mitochondrial dysfunction, oxidative stress, elevated Aβ production, and impaired microglial ...
Yueyang Li +25 more
wiley +1 more source
A reduced semantics for deciding trace equivalence using constraint systems
, 2014 Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without ...
A. Anisimov +7 more
core +1 more source
Sustainable Materials Design With Multi‐Modal Artificial Intelligence
Advanced Science, EarlyView.Critical mineral scarcity, high embodied carbon, and persistent pollution from materials processing intensify the need for sustainable materials design. This review frames the problem as multi‐objective optimization under heterogeneous, high‐dimensional evidence and highlights multi‐modal AI as an enabling pathway.
Tianyi Xu +8 more
wiley +1 more source
AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER
Studia Universitatis Babes-Bolyai: Series Informatica, 2018 Static analysis is a widely used method for finding bugs in large code bases. One of the most popular static analysis tools used for software written in C/C++ languages is the Clang Static Analyzer [1].
Réka KOVÁCS, Gábor HORVÁTH
doaj +1 more source
Advanced Science, EarlyView.We investigate whether Montessori and traditional schooling systems shape the developmental trajectory of large‐scale brain dynamics in different ways. We quantify the arrow of time (“non‐reversibility”) in neural activity during resting state and movie‐watching, revealing distinct maturational patterns.
Elvira del Agua +6 more
wiley +1 more source
Compositional symbolic execution semantics
Theoretical Computer SciencezbMATH Open Web Interface contents unavailable due to conflicting licenses.
Erik Voogd +3 more
openaire +2 more sources
Advanced Science, EarlyView.A nano‐plasma device enables watt‐level on‐chip THz generation through picosecond switching triggered by secondary electron emission avalanche. An ultra‐dense electron sheet initiates nano‐plasma formation within a ∼100 nm gap, driving rapid energy release into an integrated resonator.
Guangyu Sun +4 more
wiley +1 more source
Derivative-Guided Symbolic Execution
Proceedings of the ACM on Programming LanguagesWe consider the formulation of a symbolic execution (SE) procedure for functional programs that interact with effectful, opaque libraries. Our procedure allows specifications of libraries and abstract data type (ADT) methods that are expressed in Linear Temporal Logic over Finite Traces (LTL
Yongwei Yuan +3 more
openaire +2 more sources
Advanced Science, EarlyView.The weakly‐solvating TFMSPyr electrolyte tailors the Li+ solvation structure by suppressing solvent coordination and promoting anion‐dominated solvation. This unique solvation environment induces preferential anion decomposition at electrode interfaces, forming robust inorganic rich S/CEI.
Bishnu P. Thapaliya +11 more
wiley +1 more source