Results 151 to 160 of about 207,599 (196)

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

Writing Abilities in Primary Progressive Aphasia: A Scoping Literature Review. [PDF]

Brain Sci
Esposito V, Conca F, Santi GC, Cappa SF, Catricalà E.   +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

Multimodal repair in the semiotic landscape for social and political commentary. [PDF]

Multimodality Soc
Firoozkohi AH, Feddersen R, Liebscher G, Dailey-O'Cain J.   +3 more
europepmc   +1 more source

On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy

Advanced Science, EarlyView.
An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley   +1 more source

Case Report: Tailored automatic speech recognition in global aphasia with dysarthria - a single case proof of concept. [PDF]

Front Rehabil Sci
Mulfari D, Cardile D, Campana S, Voci L, Vicario CM, Calabrò RS, Corallo F, Mulfari S, Tomaiuolo F.   +8 more
europepmc   +1 more source

Functional Mapping of Neurodevelopmental Disease Pathways to Key Neurodevelopmental Processes Represented in the Developmental Neurotoxicity In Vitro Testing Battery

Advanced Science, EarlyView.
Human‐relevant methods are essential for modern chemical safety assessment. This study helps define the capabilities and boundaries of an in vitro testing battery for developmental neurotoxicity by exploring its biological applicability domain. By linking neurodevelopmental disease‐related pathways to key neurodevelopmental processes, the work enhances
Eliska Kuchovska, Kristina Bartmann, Georgea Raad, Mats Schade, Luiz Ladeira, Arif Dönmez, Jördis Klose, Nicolai Görts, Denis Polozij, Lynn‐Christin Saborowski, Farina Bendt, Bernard Staumont, Liesbet Geris, Katharina Koch, Ellen Fritsche   +14 more
wiley   +1 more source

Online Resources for Migraine Surgery: Readability and Patient Understanding. [PDF]

Plast Reconstr Surg Glob Open
Raposio E, Bertulla E.
europepmc   +1 more source

A Circuit of Mechanically Regulated Transcription Factors Balances Regenerative and Fibrotic Memory of Mesenchymal Stromal Cells

Advanced Science, EarlyView.
Producing MSCs on rigid culture substrates induces a scar‐making phenotype, jeapordizing therapeutic success. ‘Tissue‐soft’ surfaces prevent MSC fibrogenesis and preserve regenerative traits. An epigenetic network, driven by HOXA11 and SALL1, maintains ‘soft memory’ by keeping chromatin open in relaxed MSCs, promoting anti‐fibrotic programs.
Fereshteh Sadat Younesi, Andrew E. Miller, Li Diao, Xinying Guo, Natalie Andonian, Elham Karimizadeh, Thomas H. Barker, Boris Hinz   +7 more
wiley   +1 more source

Cross‐Modal Denoising and Integration of Spatial Multi‐Omics Data with CANDIES

Advanced Science, EarlyView.
In this paper, we introduce CANDIES, which leverages a conditional diffusion model and contrastive learning to effectively denoise and integrate spatial multi‐omics data. We conduct extensive evaluations on diverse synthetic and real datasets, CANDIES shows superior performance on various downstream tasks, including denoising, spatial domain ...
Ye Liu, Wanpeng Zou, Yuekai Li, Jiayi Wang, Mingxuan Cai, Hongmin Cai   +5 more
wiley   +1 more source