Prevalence and Predictors of Self-Reported Adverse Experiences in Digital Meditation Training: 2 Randomized Controlled Trials. [PDF]
Beloborodova P +13 more
europepmc +1 more source
Data‐Driven Bulldozer Blade Control for Autonomous Terrain Leveling
A simulation‐driven framework for autonomous bulldozer leveling is presented, combining high‐fidelity terramechanics simulation with a neural‐network‐based reduced‐order model. Gradient‐based optimization enables efficient, low‐level blade control that balances leveling quality and operation time.
Harry Zhang +5 more
wiley +1 more source
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 +3 more
wiley +1 more source
The WHO Institutional Repository for Information Sharing-African Programme for Onchocerciasis Control Collection: an electronic resource of the Onchocerciasis Control Programme and African Programme for Onchocerciasis Control experience and data to inform onchocerciasis elimination strategies. [PDF]
de Souza DK +8 more
europepmc +1 more source
ABSTRACT Inflammatory bowel disease (IBD) is characterized by dysregulated T cell responses. RNA helicases, including DExD‐box helicase 21 (DDX21), are pivotal in RNA metabolism, but their role in T cell‐mediated pathology during IBD remains unclear. Here, we demonstrate that DDX21 expression in CD4+ T cells correlates with cell cycle and translation ...
Yujuan Zhang +11 more
wiley +1 more source
This study uncovers hierarchical coordination between K11 lactylation and S199 phosphorylation of CKB in cerebral ischemia‐reperfusion injury. Such dual modifications potentiate CKB enzymatic function, remodel energy metabolism, alleviate oxidative stress and neuronal damage, and represent a viable therapeutic target for stroke treatment.
Chao Duan +17 more
wiley +1 more source
Correction: Metabolic interactions between bacterial co-isolates from catheter-associated urinary tract infections. [PDF]
Sokol D +5 more
europepmc +1 more source
Machine Learning for Green Solvents: Assessment, Selection and Substitution
Environmental regulations have intensified demand for green solvents, but discovery is limited by Solvent Selection Guides (SSGs) that quantify solvent sustainability. Training a machine learning model on GlaxoSmithKline SSG, a database of sustainability metrics for 10,189 solvents, GreenSolventDB is developed. Integrated with Hansen solubility metrics,
Rohan Datta +4 more
wiley +1 more source
Multimodal data on bipedal locomotion during prolonged treadmill recordings at varying speeds. [PDF]
Krumm D +4 more
europepmc +1 more source
A Perspective on Interactive Theorem Provers in Physics
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

