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
Handwritten tax receipt recognition method based on improved DBNet and CRNN. [PDF]
Wei L, Sun J.
europepmc +1 more source
An Integrated NLP‐ML Framework for Property Prediction and Design of Steels
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
Explainable multimodal feature fusion networks for Parkinson's disease prediction. [PDF]
Ravichandran A +3 more
europepmc +1 more source
Enhancing Maturation of Human Neuromuscular Organoids via Electrical Stimulation
A framework for on‐demand and non‐invasive exposure of human neuromuscular organoids (NMOs) to electrical stimuli is established to promote their maturation. The robustness and effectiveness of different stimulation regimes are evaluated via thorough characterization of organoid tissue structure and contraction capacity. Chronic electrical stimulation,
Chrysanthi‐Maria Moysidou +12 more
wiley +1 more source
Unlocking the silent signals: Motor kinematics as a new frontier in early detection of mild cognitive impairment. [PDF]
Nagamine T.
europepmc +1 more source
ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals
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
Development and preliminary evaluation of a computer-assisted assessment tool for Chinese prewriting skills in preschoolers. [PDF]
Liu Z +9 more
europepmc +1 more source
Efficient Screening of Organic Singlet Fission Molecules Using Graph Neural Networks
A high‐throughput screening framework based on graph neural networks (GNNs) and multi‐level validation facilitates the identification of singlet fission (SF) candidates. By efficiently predicting excitation energies across 20 million molecules, and integrating TDDFT calculations, synthetic accessibility assessments, and GW+BSE calculations, this ...
Li Fu +5 more
wiley +1 more source
Exploring Handwriting-Based Biomarkers for Alzheimer's Disease: Identifying Discriminative Features and Tasks to Enhance Diagnostic Accuracy. [PDF]
Akyürek Anacur C +2 more
europepmc +1 more source

