Results 151 to 160 of about 88,332 (263)

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

Exploring epidemic control policies using nonlinear programming and mathematical models. [PDF]

PLoS Comput Biol
Montes-Olivas S, Kucharski AJ, Gravenor MB, Frost SDW.   +3 more
europepmc   +1 more source

Optimising the extraction rate of a non-durable non-renewable resource in a monopolistic market: a mathematical programming approach. [PDF]

Springerplus, 2015
Corominas A, Fossas E.
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

Large Language Model-Based Interactive Code Generation for Developing a 3D Eye Movement Schematic. [PDF]

Cureus
Hamasaki I, Kunimi K, Shibata K, Toshiaki G.   +3 more
europepmc   +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

Optimizing multi-level shuttle-based puzzle storage systems with horizontal and vertical dynamics using integer programming and ALNS-IP. [PDF]

Sci Rep
Al Jneid R, Yiğit V, Keskin ME.
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

Computational blueprints for cell fate programming. [PDF]

Stem Cell Reports
Yang P.
europepmc   +1 more source

A METHOD FOR INCLUDING IN PMP MODELS ACTIVITIES NON-EXISTENT IN THE BASELINE SITUATION

When working with positive mathematical programming (PMP) models it is generally admitted that it is not possible to consider in the modeled unit activities that are not present in the baseline situation of the unit.
de Andres, Rosario, Judez, Lucinio, Ibanez, M., Urzainqui, Elvira   +3 more
core