Results 111 to 120 of about 4,006 (251)

Rigorous Electromagnetic Quasinormal‐Mode Method Made Easy for Users

Laser &Photonics Reviews, EarlyView.
We present a method that combines numerical techniques with accurate approximations to enable simple and ultrafast computations of the scattered field based on quasinormal modes expansions. The method is made available in the open‐source package MANlite implemented within COMSOL.
Tong Wu, Philippe Lalanne
wiley   +1 more source

Cut-Elimination Theorem for the Logic of Constant Domains

Cut-Elimination Theorem for the Logic of Constant Domains
identifier:oai:t2r2.star.titech.ac.jp ...
openaire  

Harnessing Optical Limiting in Saturable Absorbers for Reconfigurable Spectral Engineering of Ultrafast Fiber Lasers

Laser &Photonics Reviews, EarlyView.
Optical limiting in a nanomaterial‐polymer saturable absorber is harnessed as a functional intracavity degree of freedom, where pump‐controlled photothermal loss continuously reshapes the gain spectrum of rare‐earth ions, enabling non‐mechanical spectral engineering in an ultrafast fiber laser.
Maolin Dai, Weitao Wang, Masahiro Nomura, Sze Yun Set, Shinji Yamashita   +4 more
wiley   +1 more source

Kuga–Satake Construction on Families of K3 Surfaces of Picard Rank 14

Mathematische Nachrichten, EarlyView.
ABSTRACT The isometry between the type IV6 and the type II4 hermitian symmetric domains suggests a possible relation between suitable moduli spaces of K3 surfaces of Picard rank 14 and of polarized abelian 8‐folds with totally definite quaternion multiplication. We show how this isometry induces a geometrically meaningful map between such moduli spaces
Flora Poon
wiley   +1 more source

Correspondence of Contradictions in the Constructive Connexive Calculus <b>C</b>. [PDF]

Arch Math Log
Niki S.
europepmc   +1 more source

Cut Elimination for the Lambek Calculus of Adjoints

, 2007
Lambek [3] proposes a new approach to type grammars which is based on the notion of a pregroup. A logic adequate for pregroups has been presented in the form of a rewriting system.
Wojciech Buszkowski
core  

A Geometric Interpretation for the Algebraic Properties of Second‐Order Ordinary Differential Equations

Mathematical Methods in the Applied Sciences, Volume 48, Issue 6, Page 6912-6917, April 2025.
ABSTRACT Nowadays, a substantial portion of investigations concerning the symmetry analysis of differential equations predominantly adhere to a framework comprising the following key procedures: (i) the derivation of symmetries, (ii) the determination of an optimal system, (iii) the utilization of these symmetries to construct invariants or ...
A. Paliathanasis, S. Moyo, P. G. L. Leach   +2 more
wiley   +1 more source

Gödel's modal interpretation of intuitionistic logic and its proof theory. [PDF]

Mon Hefte Math
von Plato J.
europepmc   +1 more source

An algebraic formulation of cut-elimination theorem

Journal of the Mathematical Society of Japan, 1965
openaire   +2 more sources

Investigating Tuberculosis Dynamics Under Various Control Strategies: A Comprehensive Analysis Using Real Statistical Data

Mathematical Methods in the Applied Sciences, EarlyView.
ABSTRACT In the present investigation, a mathematical model with vaccination, treatment, and environmental impact under real data is presented. Initially, we present the model without any interventions, followed by an examination of its equilibrium points.
Bashir Al‐Hdaibat, Mahmoud H. DarAssi, Irfan Ahmad, Muhammad Altaf Khan, Reem Algethamie   +4 more
wiley   +1 more source