Results 191 to 200 of about 459,600 (289)

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

Sensitivity Analysis: A Practical Guide to Teaching. [PDF]

Risk Anal
Tarantola S, Aleksovska I, Kozlova M, Lachi A, Piano SL, Rosati R, Saltelli A.   +6 more
europepmc   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

LightIN: a versatile silicon-integrated photonic field programmable gate array with an intelligent configuration framework for next-generation AI clusters. [PDF]

Light Sci Appl
Zhu Y, Liu Y, Yang X, Liu K, Hua X, Luo M, Liu J, Chang S, Yan J, Zhang S, Wu M, Wang Z, Zhang H, Wang D, Chen D, Xiao X, Yu S.   +16 more
europepmc   +1 more source

Application of mathematical programming to prioritising interdependent Defence investment programs

International Congress on Modelling and Simulation, 2017
openaire   +1 more source

Displacive In‐Plane Ferroelectricity with Domain‐Specific Curie Temperature in Van der Waals Semiconductors

Advanced Science, EarlyView.
Temperature‐dependent electron diffraction on tin monochalcogenides demonstrates a gradual displacive transformation between ferroelectric and paraelectric phases with significant variability in lattice constants and Curie temperature (TC). Periodic variations exist even between domains in individual crystals, implying a domain‐specific Curie ...
Peter Sutter, Eli Sutter
wiley   +1 more source

Global optimization tailored for graphics processing units: Complete and rigorous search for large-scale nonlinear minimization. [PDF]

PNAS Nexus
Zhang G, Shan Q, Cagan J.
europepmc   +1 more source

Diversity of Pharmaceuticals Enhances Antibiotic Resistance in the Invertebrate Gut via Biofilm‐Mediated Mechanisms

Advanced Science, EarlyView.
Pharmaceutical diversity acts as an independent driver of antibiotic resistance in soil invertebrates. While bulk soil remains unaffected, the collembolan gut microbiome exhibits significant resistance gene enrichment under complex chemical exposure and diurnal warming.
Yi‐Fei Wang, Ya‐Ning Wang, Da Lin, Jia‐Yang Xu, Feng‐Yuan Qi, Hui‐Ling Cui, Hui‐Jie Lu, Min Qiao, Edward Topp, Dong Zhu, Matthias C. Rillig, Yong‐Guan Zhu   +11 more
wiley   +1 more source

Predicting compressive strength of mortars containing recycled CRT glass using GMDH and GEP methods. [PDF]

Sci Rep
Ghorbani V, Seyedkazemi A, Kutanaei SS.
europepmc   +1 more source

A Metal‐Free Carbon Monoxide Prodrug Suppresses Metastasis of Pancreatic and Breast Cancer

Advanced Science, EarlyView.
A metal‐free carbon monoxide (CO) prodrug, CO‐116, delivers controlled systemic CO without inhalation. CO suppresses the HRG1–heme axis, reducing intracellular heme availability. Attenuation of this pathway inhibits metastatic progression in pancreatic and triple‐negative breast cancer models.
Tiantian Zhang, Xiang Chen, Xiaoxiao Yang, Muskan Gori, Rohit Kumar Varshnaya, Dongning Liu, Cheryl Zhang, Michelle Yi Qin Chen, Zhengming Chen, George Zhang, Erika Patel, Qiyue Mao, Tan A. Ince, Chalet Tan, Binghe Wang, Yi‐Chieh Nancy Du   +15 more
wiley   +1 more source