Results 171 to 180 of about 5,213 (261)

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced 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

LiquidGAN for Handwriting-Based Detection and Severity Classification of Extrapyramidal Symptoms. [PDF]

open access: yesSensors (Basel)
Liyanage EM   +8 more
europepmc   +1 more source

Rab1A Promotes Hepatic Steatosis by Suppressing Mitophagy via the Raf‐1/ERK1/2/PINK1 Signaling Axis

open access: yesAdvanced Science, EarlyView.
Why does fat accumulate in the liver? Our study reveals Rab1A as the molecular switch that silences the cell's mitochondrial cleanup crew. Turning Rab1A off reactivates mitophagy, clears excess fat, and reverses fatty liver disease in mice—offering a promising new therapeutic target for MASLD, a growing global health challenge.
Li Zhang   +9 more
wiley   +1 more source

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

open access: yesAdvanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju   +5 more
wiley   +1 more source

ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals

open access: yesAdvanced Science, EarlyView.
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray   +3 more
wiley   +1 more source

Polymorphic Superparaelectric Engineering Boosting Energy Storage Capacity in BaTiO3‐Based Ceramics

open access: yesAdvanced Science, EarlyView.
Herein, Ca2+ incorporation promotes the coexistence of CaTiO3‐/BaTiO3‐derived paraferroelectric states, stabilizing cubic‐orthorhombic‐tetragonal polymorphic superparaelectric phases. This minimizes polarization energy barriers, facilitating full polarization saturation without compromising efficiency.
Pan Liu   +9 more
wiley   +1 more source

Home - About - Disclaimer - Privacy