Results 11 to 20 of about 1,304 (144)
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
Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections
Advanced Electronic Materials, EarlyView.The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley +1 more source
SPICE‐Compatible Compact Modeling of Cuprate‐Based Memristors Across a Wide Temperature Range
Advanced Electronic Materials, EarlyView.A physics‐guided compact model for YBCO memristors is introduced, incorporating carrier trapping, field‐induced detrapping, and a differential balance equation to describe their switching dynamics. The model is compared with experiments and implemented in LTspice, allowing realistic circuit‐level simulations.
Thomas Günkel +6 more
wiley +1 more source
Advanced Intelligent Discovery, EarlyView.This article investigates how persistent homology, persistent Laplacians, and persistent commutative algebra reveal complementary geometric, topological, and algebraic invariants or signatures of real‐world data. By analyzing shapes, synthetic complexes, fullerenes, and biomolecules, the article shows how these mathematical frameworks enhance ...
Yiming Ren, Guo‐Wei Wei
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Global imperatives, such as climate change, environmental concerns, and carbon emissions, make green transformation an inevitability in the logistics sector. Green logistics strategy formulation is an economic choice problem, but it also turns out to be a multicriteria decision‐making (MCDM) process that encompasses the triple bottom line (TBL)
Ömer Faruk Görçün +2 more
wiley +1 more source
Kinetic Contribution to the Arbitrary Order Odd Frequency Moments of the Dynamic Structure Factor
Contributions to Plasma Physics, EarlyView.ABSTRACT An exact expression is derived for the kinetic contribution to the odd (arbitrary order) frequency moments of the dynamic structure factor via a finite summation that features averages of even (all lower orders) powers of the momentum over the exact momentum distribution.
Panagiotis Tolias +2 more
wiley +1 more source
ENERGY &ENVIRONMENTAL MATERIALS, EarlyView.A physics‐informed machine learning approach successfully decodes the complex catalytic activity of high‐entropy alloys for ammonia oxidation. By revealing a synergistic mechanism involving lattice and electronic couplings, the study identifies a superior “isolated‐surrounded” platinum motif.
Shangfeng Jiang +5 more
wiley +1 more source
Theory of Supercritical Coupling and Generalized Bound States in the Continuum
Laser &Photonics Reviews, EarlyView.We develop a general theory of supercritical coupling and generalized bound states in the continuum (gBICs), revealing how interference between radiative and absorptive channels enables quality factors beyond conventional material‐loss limits. The framework unifies non‐Hermitian mode coupling, causality‐driven reactive interactions, and interference ...
Sergio Balestrieri +3 more
wiley +1 more source
Unveiling New Perspectives on the Hirota–Maccari System With Multiplicative White Noise
Mathematical Methods in the Applied Sciences, EarlyView.ABSTRACT In this study, we delve into the stochastic Hirota–Maccari system, which is subjected to multiplicative noise according to the Itô sense. The stochastic Hirota–Maccari system is significant for its ability to accurately model how stochastic affects nonlinear wave propagation, providing valuable insights into complex systems like fluid dynamics
Mohamed E. M. Alngar +3 more
wiley +1 more source
On Geometric Phase Model in the Theory of Curves With Myller Configuration
Mathematical Methods in the Applied Sciences, EarlyView.ABSTRACT In this paper, we introduce a linearly polarized light wave in an optical fiber and rotation of the polarization plane through the Frenet‐type frame with Myller configuration. Since the geometric evaluation and interpretations of a polarized light wave are associated with geometric phase, a new type of geometric phase model has been ...
Zehra İşbilir +2 more
wiley +1 more source