Results 111 to 120 of about 70,944 (264)
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
Solid Harmonic Wavelet Bispectrum for Image Analysis
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown +3 more
wiley +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
Physics‐Embedded Neural Network: A Novel Approach to Design Polymeric Materials
Traditional black‐box models for polymer mechanics rely solely on data and lack physical interpretability. This work presents a physics‐embedded neural network (PENN) that integrates constitutive equations into machine learning. The approach ensures reliable stress predictions, provides interpretable parameters, and enables performance‐driven, inverse ...
Siqi Zhan +8 more
wiley +1 more source
A multifunctional nanoagonist (cDZ@IP) enables nano‐metabolite–driven multimodal activation of the STING pathway and enhanced immune recognition, achieving potent antitumor immunity and suppressing tumor growth and metastasis. This strategy highlights the rational design of therapeutic metabolites and establishes a new paradigm bridging nanomedicine ...
Kepeng Hu +17 more
wiley +1 more source
A pipeline for enabling path-specific causal fairness in observational health data. [PDF]
Kashyap A +4 more
europepmc +1 more source
ABSTRACT Methane's efficient catalytic removal is vital for sustainable development. Bimetallic catalysts, though promising for methane activation, pose a design challenge due to their complex compositional space. This work introduces an integrated framework that combines high‐throughput density functional theory (DFT) and interpretable machine ...
Mingzhang Pan +8 more
wiley +1 more source
Epistemic Injustice in the Criminal Trial
Jasmine Gonzales Rose, Rachel Herdy, Tareeq Jalloh and Abenaa Owusu-Bempah have each written a paper commenting on my essay ‘Evidential Reasoning, Testimonial Injustice and the Fairness of the Criminal Trial’, which appeared in Quaestio Facti in 2024 ...
Federico Picinali
doaj
Polysiloxane‐Based Single‐Ion Conducting Polymer Electrolyte for Sodium Batteries
We report a polysiloxane‐based single‐ion conducting polymer electrolyte for sodium batteries. This polymer electrolyte exhibits high Na+ ion mobility and a wide electrochemical stability window, enabling the long‐term stable cycling of various cathode chemistries – also at room temperature, elevated dis‐/charge rates and active material mass loadings,
Yixuan Guo +7 more
wiley +1 more source

