Results 41 to 50 of about 86,722,916 (268)

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

Semi-chiral operators in 4d N $$ \mathcal{N} $$ = 1 gauge theories

Journal of High Energy Physics
We discuss the properties of quarter-BPS local operators in four-dimensional N $$ \mathcal{N} $$ = 1 supersymmetric Yang-Mills theory using the formalism of holomorphic twists.
Kasia Budzik, Davide Gaiotto, Justin Kulp, Brian R. Williams, Jingxiang Wu, Matthew Yu   +5 more
doaj   +1 more source

On the geometry, topology and approximation of amoebas [PDF]

, 2013
We investigate multivariate Laurent polynomials f \in \C[\mathbf{z}^{\pm 1}] = \C[z_1^{\pm 1},\ldots,z_n^{\pm 1}] with varieties \mathcal{V}(f) restricted to the algebraic torus (\C^*)^n = (\C \setminus \{0\})^n.
Wolff, Timo de
core  

Physics‐Constrained Constitutive Learning of Rate‐Limiting Timescales for Efficient Hydrogen‐Based Direct Reduction for Green Steel Making

Advanced Science, EarlyView.
A conversion‐resolved constitutive framework is developed for the hydrogen‐based direct reduction of iron oxide pellets. Effective reaction and transport timescales are inferred directly from measured trajectories and mapped against operating conditions, pellet architecture, and composition. The analysis reveals how late‐stage transport control emerges
Anurag Bajpai, Barak Ratzker, Pasquale Cavaliere, Dierk Raabe   +3 more
wiley   +1 more source

Exact Discrete Stochastic Simulation With Deep‐Learning‐Scale Gradient Optimization

Advanced Science, EarlyView.
A 203,796‐parameter gene regulatory network classifies handwritten digits with 98.4% accuracy using exact stochastic dynamics. The framework decouples forward simulation from backward differentiation, making continuous‐time Markov chain models compatible with deep‐learning optimization.
Jose M. G. Vilar, Leonor Saiz
wiley   +1 more source

AN EVOLUTIONARY ALGORITHM DETERMINING A DEFUZZYFICATION FUNCTIONAL

TASK Quarterly, 2007
Order fuzzy numbers are defined that make it possible to deal with fuzzy inputs quantitatively, exactly in the same way as with real numbers, together with four algebraic operations.
WITOLD KOSIŃSKI, URSZULA MARKOWSKA-KACZMAR   +1 more
doaj  

Intrinsic Dual‐Phase Regulated GeSe2 Nanoparticles Triggered by Ball‐Milling Treatment for Photonic Multi‐Valued Logic Circuits

Advanced Science, EarlyView.
We report the solid‐state ball milling, a traditional, reliable, mass‐productive material processing, to prepare the air‐stable and dual‐phase GeSe2‐x nanoparticles with extended photodetection feasibility toward optical‐wavelength regions. We further display photonic multi‐valued logic (MVL) circuit through the employment of a hybrid PMMA/GeSe2‐x ...
An‐Ting Tsai, Chun‐Jen Wang, Pin‐Chao Liao, Chin Shan Lue, Chia‐Nung Kuo, Le Vo Phuong Thuan, Po‐Hsuan Hsiao, Chang‐Hyun Kim, Chia‐Yun Chen   +8 more
wiley   +1 more source

Geodesic excursions into cusps in finite-volume hyperbolic manifolds [PDF]

, 1993
18 pages, no figures.-- MSC1991 codes: Primary: 53C22; Secondary: 30F40, 58F17.MR#: MR1214056 (94d:53067)Zbl#: Zbl 0793.53052The main goal of the paper is to prove that, for a given non-compact hyperbolic $n$-manifold $M$ of finite volume, $p\in M$, and ...
Maria V. Melian, Melián, M. Victoria, Pestana, Domingo, Domingo Pestana   +3 more
core   +1 more source

Quantum‐Like Dynamics in Whole‐Brain Models of the Human Connectome

Advanced Science, EarlyView.
Quantum‐like dynamics in the human brain. The level of quantum‐like behavior in a non‐quantum system of coupled oscillators is regulated by the spectral gap of the coupling graph. Whole‐brain modelling using QL fits the empirical data significantly better and has a lower model‐derived energy cost than the non‐QL model.
Gustavo Deco, Yonatan Sanz Perl, Natasha Greenstein, Shamil Chandaria, Gregory Scholes, Morten L. Kringelbach   +5 more
wiley   +1 more source