Results 31 to 40 of about 7,363 (230)
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
Improving the total factor productivity (TFP) of animal husbandry enterprises is the key to promoting the sustainable development of animal husbandry.
Mingli Wang +3 more
core +1 more source
The pholidota‐inspired electronic skin is successfully constructed, originally realized four‐state reversible switching of terahertz‐wave reflection, absorption, transmission, and secondary reflection. In response to external demands, it issues deformation instructions, verifies the deformation state after the equipment executes the action, and thus ...
Shangjing Li +4 more
wiley +1 more source
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 +14 more
wiley +1 more source
ABSTRACT Piezocatalytic therapy (PCT) harnesses mechanical energy to generate tumor‐lethal reactive oxygen species (ROS), but its efficacy is limited by rapid electron‐hole recombination and poor intratumoral retention. To overcome these limitations, we engineered heterostructured BiOCl@CuO nanosheets embedded in an injectable, conductive ...
Can Tian +7 more
wiley +1 more source
In this article, Shuai and colleagues demonstrate that metabolic remodeling drives self‐diploidization in murine haploid ESCs (haESCs). Mitochondrial dysfunction and imbalanced pyruvate metabolism underlie this process. Genome‐wide screening using haESCs identifies key mitochondrial quality‐control related genes, enabling a metabolism‐based medium that
Yi Fu +11 more
wiley +1 more source
The purpose of this study was to examine the effect of profitability ratios and leverage ratios on firm value, as well as the moderating effect of commodity prices on these ratio variables.
Sastra, Denny Putra Danuh +1 more
core +1 more source
Multi‐omics analyses uncover breed‐specific cis‐regulatory landscapes and higher‐order chromatin architectural differences that underlie early postnatal muscle fiber divergence in pigs. A super‐enhancer upstream of PPP3CB recruits MEF2C to activate PPP3CB transcription, while the PPP3CB–MEF2C positive feedback loop promotes oxidative muscle fiber ...
Shuailong Zheng +8 more
wiley +1 more source
Palmitic Acid Promotes Antiviral Innate Immunity via ZDHHC20‐Mediated CMPK2 Palmitoylation
Metabolites have important functions in innate immune activation and regulation. Wang et al. uncover metabolic regulation of antiviral immunity through CMPK2 palmitoylation, which regulates CMPK2 mitochondrial localization and is promoted by ZDHHC20 but reversed by PPT1, inhibition of which antagonizes viral infection in mice.
Yujia Wang +4 more
wiley +1 more source
Facing the current trend of the virtualization of the real economy, this paper examines the influence of financialization on the main business performance of real enterprises.
Di Zheng +3 more
doaj +1 more source

