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
Transparency, bias, and reproducibility across science: a meta-research view. [PDF]
Ioannidis JP.
europepmc +1 more source
ABSTRACT Genome‐wide association studies (GWAS) link the Tropomyosin 1 (Tpm1) locus to quantitative blood trait variation, but related mechanisms are unclear. Tpm1 encodes an actin‐binding protein that regulates actin filament diversity, cell adhesion, signaling, and actomyosin contractility.
Po‐Lun Kung +19 more
wiley +1 more source
Recruiting participants for focus groups in health research: a meta-research study. [PDF]
Lander J +6 more
europepmc +1 more source
This diagram illustrates that night shift work disrupts circadian clock genes (like CLOCK, BMAL1) in both humans and mice. This disruption leads to mitochondrial dysfunction (imbalanced fusion/fission proteins) and increased oxidative stress, which is identified as the primary mechanism ultimately causing elevated blood pressure.
Zhaoqiang Jiang +16 more
wiley +1 more source
Linear regression reporting practices for health researchers, a cross-sectional meta-research study. [PDF]
Jones L, Barnett A, Vagenas D.
europepmc +1 more source
Phase Diagrams and Piezoelectric Properties of Wurtzite Al1−x−yScxGdyN Heterostructural Alloys
This study demonstrates ferroelectricity and piezoelectric properties improvement of quaternary wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films, guided by density functional theory calculations. Wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films have a high optical bandgap, enhanced piezoelectric ...
Julia L. Martin +11 more
wiley +1 more source
Highly Flexible and Conformable ZnO/FeGa Magnetoelectric Heterostructures for Skin wound Healing
The magnetic field‐induced electric field generated by a highly flexile ZnO(piezoelectric)/FeGa(magnetostrictive) magnetoelectric heterostructure embedded in the low Young's modulus elastomer PDMS has been used to stimulate the wound healing processes.
Filippos Perdikos +17 more
wiley +1 more source
Trends in the use of adult-specific preference-weighted health-related quality of life instruments in clinical trials over the past 50 years: a protocol for a meta-research study using deep learning-based natural language processing and large language models. [PDF]
Srikhom S +5 more
europepmc +1 more source
We proposed a method based on the piezoelectric effect and fabricated an implant abutment on the basis of piezoelectric ceramic. Under physiological occlusal pressure, the oral motion‐powered smart dental implant abutments interacted with water and oxygen, promoting the formation of reactive oxygen species and achieving a synergistic and highly ...
Xiyu Shi +15 more
wiley +1 more source

