Results 181 to 190 of about 2,080 (237)
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
Applying Identity Theory to Mental Health Nursing: Lessons From 1980 to 2000 and Guidance for Nurse Researchers. [PDF]
Sweetmore V.
europepmc +1 more source
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
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
Social Theory in Nursing Scholarship, From Humanism to Post-Humanism: Revisiting S. Nairn on the Structure-Agency Debate. [PDF]
West CA, Petrovskaya O.
europepmc +1 more source
Charting Endocrine Progenitors Across Species and Organs
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
Patient narratives in an online hernia peer-support community: a qualitative netnographic analysis. [PDF]
Abbas AA +3 more
europepmc +1 more source
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
Influence of Partnership Relationships on Long-Term Neurological Rehabilitation in Germany: Protocol for a Qualitative Retrospective Study. [PDF]
von Bosse A, König P, Jansen E.
europepmc +1 more source

