Results 131 to 140 of about 177,372 (261)

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

Strategy use and its evolvement in word list learning: a replication study. [PDF]

R Soc Open Sci
Laine M, Fellman D, Eräste T, Ritakallio L, Salmi J.   +4 more
europepmc   +1 more source

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

Overcoming Artificial Structures in Resolution‐Enhanced Hi‐C Data by Signal Decomposition and Multi‐Scale Attention

Advanced Science, EarlyView.
Deep‐learning‐based signal enhancement is an effective way to recover high‐resolution details from a low‐resolution chromatin contact map. However, due to computational challenges, existing methods commonly divide up the contact map into small patches and create artificial discontinuities at patch boundaries.
Qinyao Li, Kelly Yichen Li, Chiara Nicoletti, Stephen Kwok‐Wing Tsui, Pier Lorenzo Puri, Qin Cao, Kevin Y. Yip   +6 more
wiley   +1 more source

Development of Phonemically Balanced Word List in Tamil for Speech Audiometry and Evaluation of Its Effectiveness in Adults. [PDF]

Indian J Otolaryngol Head Neck Surg
Menon MS, Thangaraj MS.
europepmc   +1 more source

Efficient Screening of Organic Singlet Fission Molecules Using Graph Neural Networks

Advanced Science, EarlyView.
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, Longfei Lv, Fan Zhang, Si Zhou, Weiwei Gao, Jijun Zhao   +5 more
wiley   +1 more source

Harnessing Phase Separation for the Development of High‐Performance Hydrogels

Advanced Science, EarlyView.
ABSTRACT Hydrogels are indispensable for the development of next‐generation bioelectronics, soft robotics, and biomedical devices, where their mechanical properties determine performance and reliability. Among strategies to enhance hydrogel mechanics, phase separation enables controlled heterogeneity resulting in gel networks that are reinforced by ...
Yue Shao, Yiming Ma, Baihao Shao, Molly M. Stevens   +3 more
wiley   +1 more source

Understanding and Designing Phase Change Materials: Insights From Atom Probe Tomography

Advanced Science, EarlyView.
Atom probe tomography can distinguish metallic, covalent, and metavalent bonds based upon their bond rupture; in particular, the probability to form more than one ion (PME) in laser‐assisted field evaporation. These findings open new avenues in understanding and designing phase change materials (PCMs) since they allow quantification of bonds in solids ...
Jan Köttgen, Nils von den Driesch, Alexander Pawlis, Matthias Wuttig   +3 more
wiley   +1 more source

Physics‐Informed Machine Learning for Sustainable Alloy Design: Toward a Recyclable Unified Q&P Steel

Advanced Science, EarlyView.
A physics‐informed property‐bridging framework links high‐throughput hardness screening to tensile performance in quenching and partitioning steels. By transferring metallurgically guided representations across properties, a single alloy composition is designed to achieve multiple strength grades through heat‐treatment tuning alone, offering a ...
Xiaolu Wei, Yong Li, Chenchong Wang, Lingyu Wang, Xiang Song, Keming Mao, Yu Zhang, Wei Xu   +7 more
wiley   +1 more source

Flexoelectricity in Photoconversion: Fundamentals, Materials, and Outlooks

Advanced Science, EarlyView.
Mechanical bending of a flexible cantilever induces a strain gradient in the photoactive material. The resulting flexoelectric field couples with photovoltaic and photoconductive effects, modulating charge generation, separation, and collection. A comparative analysis of oxide perovskites, halide perovskites, and two‐dimensional materials is presented,
Xiang Huang, Feng Li, Rongkun Zheng
wiley   +1 more source