Results 181 to 190 of about 2,080 (237)

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

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

open access: yesAdvanced 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   +7 more
wiley   +1 more source

Innate Immunocompetent hiPSC‐Derived Neurospheroids Capture Early CNS Responses to rAAV

open access: yesAdvanced Science, EarlyView.
Knowledge of human CNS immune responses to AAV‐based gene therapies remains limited due to the lack of immune‐competent human models. Here, a hiPSC‐derived 3D neuroimmune platform integrating neurospheroids and microglia is established using stirred‐tank bioreactors.
Catarina M. Gomes   +14 more
wiley   +1 more source

Charting Endocrine Progenitors Across Species and Organs

open access: yesAdvanced Science, EarlyView.
Endocrine progenitors give rise to the hormone‐producing cells of the pancreas and intestine. Using single‐cell multiomics and proteomics, this study compares these progenitors across species, systems, and organs, mapping the conserved and species‐specific gene regulatory networks that guide their formation.
Changying Jing   +21 more
wiley   +1 more source

Targeted Restoration of the Microbial Tryptophan Oxidative Pathway Ameliorates Autism‐Like Behavioral and Synaptic Deficits

open access: yesAdvanced Science, EarlyView.
ABSTRACT Autism Spectrum Disorder (ASD) is associated with gut microbiota dysbiosis, yet the contribution of specific microbial metabolic pathways remains unclear. Reanalysis of a public ASD cohort revealed reduced functional potential in microbial tryptophan oxidative metabolism.
Rui Guo   +14 more
wiley   +1 more source

Home - About - Disclaimer - Privacy