Results 251 to 260 of about 995,911 (334)

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

ACA-A1 segment development affects basal ganglia infarct severity and thrombectomy safety in MCA occlusion. [PDF]

Eur Stroke J
Sun W, He G, Lu H, Wei L, Xu H, Zhu Y.
europepmc   +1 more source

Intravital Multimodal Imaging of Human Cortical Organoid Transplantation in a Mouse Model of Chronic Stroke

Advanced Science, EarlyView.
A multimodal intravital imaging platform enables longitudinal tracking of human cortical organoids transplanted into chronic stroke lesions. By combining surgical microscopy, MRI, bioluminescence imaging, and two‐photon fluorescence microscopy, the platform captures graft placement, viability dynamics, and cellular‐scale morphology in vivo, offering a ...
Jinghui Wang, Guanda Qiao, Honglin Tan, Colleen Russel, Baixuan Yang, Mengyang Jacky Li, Kexin Wang, Jiadi Xu, Chengyan Chu, Miroslaw Janowski, Tian‐Ming Fu, Piotr Walczak, Yajie Liang   +12 more
wiley   +1 more source

Clipping of a giant thrombosed anterior communicating artery aneurysm with A3-A3 bypass: A technical case report with 4K video. [PDF]

Surg Neurol Int
Matsufuji H, Inoue T, Tsunoda S, Segawa M, Umakoshi M.   +4 more
europepmc   +1 more source

In Situ X‐Ray Tomography and Acoustic Emission Monitoring of Damage Evolution in C/C‐SiC Composites Fabricated by Liquid Silicon Infiltration

Advanced Science, EarlyView.
This study investigates how the internal structure of fiber‐reinforced ceramic composites affects their resistance to damage. By combining 3D X‐ray imaging with acoustic emission monitoring during mechanical testing, it reveals how silicon distribution influences crack formation.
Yang Chen, Renato S. M. Almeida, Stefan Flauder, Guillaume Couégnat, Kamen Tushtev, Jürgen Horvath, Peter Wriggers, Kurosch Rezwan   +7 more
wiley   +1 more source

Enhancing biodegradation of polycyclic aromatic hydrocarbons using bacterial consortia and biofilm. [PDF]

BMC Microbiol
Ashraf M, Abo-Amer AE, Ghazy M, Labena A, Abdel-Mawgood A.   +4 more
europepmc   +1 more source

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Procyanidins A1 and B1 Suppress PEDV CV777 by Modulating Mitophagy. [PDF]

Viruses
Weng Y, Li J, Ma C, Wang J, Wang X.
europepmc   +1 more source

From Pores to Pavement: Advanced Modeling of Aluminosilicates for Scalable Carbon Capture in Concrete

Advanced Science, EarlyView.
This study presents a transferable modeling framework for carbon capture using aluminosilicates, integrating Universal Isotherm Modeling with experimental data. It reveals how ultramicropores, alumina content, and amine functionalization influence CO2 adsorption energetics.
Pooja Anil Kumar Nair, Jéssica de O. N. Ribeiro, Murilo Daniel de Mello Innocentini, Kevin Paine, Juliana Calabria‐Holley   +4 more
wiley   +1 more source