Results 131 to 140 of about 16,213,945 (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

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

Teaching computational toxicology as new approach methodologies in the era of next-generation risk assessment. [PDF]

Front Toxicol
Liu S, Li J, Tang D, Shao K, Xue Q, Carmichael PL, Pi J, Zhang Q.   +7 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

PEtab Select: Specification standard and supporting software for automated model selection. [PDF]

PLoS Comput Biol
Pathirana D, Bergmann FT, Doresic D, Lakrisenko P, Persson S, Neubrand N, Timmer J, Kreutz C, Binder H, Cvijovic M, Weindl D, Hasenauer J, with the PEtab Select community.   +12 more
europepmc   +1 more source

A solving tool for fuzzy quadratic optimal control problems [PDF]

In this paper we propose an iterative method to solve an optimal control problem, with fuzzy target and constraints. The algorithm is developed in such a way as to satisfy the target function and the constraints.
Silvio Giove, Paolo Bortot
core  

Integrating Ecology and Economics in Agent‐Based Models to Support Agricultural Policy

Advanced Science, EarlyView.
Agent‐based models are valuable tools for studying social‐ecological systems in agriculture. This review maps how existing agent‐based models represent the human and natural domains of agriculture, and discusses developments in economic and ecological agent‐based modeling.
Daniel Vedder, Judith Josephin Rakowski, Lea‐Deborah Kolb, Greta Sophie Theilen‐Loges, Sebastian Lakner, Guy Pe'er   +5 more
wiley   +1 more source

ASP-assisted symbolic regression for interpretable modelling of 3D laminar channel flow. [PDF]

Sci Rep
Aravanis T, Chrimatopoulos G, Ferdows M, Xenos M, Tzirtzilakis EE.   +4 more
europepmc   +1 more source

Randomly generated polytopes for testing mathematical programming algorithms [PDF]

Randomly generated polytopes are used frequently to test and compare algorithms for a variety of mathematical programming problems. These polytopes are constructed by generating linear inequality constraints with coefficients drawn independently from a ...
Dam, W.B. van
core  

An On‐Demand Neuromorphic Vision System Enabled by a Multi‐Paradigm Neuromorphic Device and Hierarchical Reconfigurability Designed from Device to System Level

Advanced Science, EarlyView.
An on‐demand ultra‐reconfigurable intelligent vision system with hierarchical reconfigurability from device to system levels is demonstrated. Through co‐design of a multi‐paradigm device, reconfigurable circuits, and adaptive system architecture/algorithms, the system enables seamless switching among spiking, non‐spiking, neuromorphic imaging (NI), and
Biyi Jiang, Jiayi Xu, Liang Ran, Xinhe Feng, Khalil Harrabi, Yida Li, Longyang Lin, Feichi Zhou   +7 more
wiley   +1 more source