Results 191 to 200 of about 349,803 (277)

Energy-dissipative adaptive-step L1 discretisation for the Caputo time-fractional incompressible magnetohydrodynamic system. [PDF]

Sci Rep
Abidin MZ.
europepmc   +1 more source

Automated theorem proving

Deliver an automated reasoning system, as an extension to Vampire/Deepire, that can reason over the CoreSense HOL ontology and is optimized for it. This will include machine learning extensions and optimized strategies for higher-order Vampire, as well as extensions for reasoning with the closed world assumption and various modal logic and temporal ...
openaire   +1 more source

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

Any Topological Recursion on a Rational Spectral Curve is KP Integrable. [PDF]

Commun Math Phys
Alexandrov A, Bychkov B, Dunin-Barkowski P, Kazarian M, Shadrin S.   +4 more
europepmc   +1 more source

Shape Derivatives of the Eigenvalues of the De Rham Complex for Lipschitz Deformations and Variable Coefficients: Part I

Mathematical Methods in the Applied Sciences, EarlyView.
ABSTRACT We study eigenvalue problems for the de Rham complex on varying three‐dimensional domains. Our analysis includes the Helmholtz equation as well as the Maxwell system with mixed boundary conditions and non‐constant coefficients. We provide Hadamard‐type formulas for the shape derivatives under weak regularity assumptions on the domain and its ...
Pier Domenico Lamberti, Dirk Pauly, Michele Zaccaron   +2 more
wiley   +1 more source

Varifold solutions to volume-preserving mean curvature flow: existence and weak-strong uniqueness. [PDF]

Math Ann
Poiatti A.
europepmc   +1 more source

Asymptotics for the Spectrum of the Laplacian in Thin Bars with Varying Cross Sections

Mathematical Methods in the Applied Sciences, EarlyView.
ABSTRACT We consider spectral problems for the Laplace operator in 3D rod structures with a small cross section of diameter O(ε)$$ O\left(\varepsilon \right) $$, ε$$ \varepsilon $$ being a positive parameter. The boundary conditions are Dirichlet (Neumann, respectively) on the bases of this structure, and Neumann on the lateral boundary.
Pablo Benavent‐Ocejo, Delfina Gómez, Maria‐Eugenia Pérez‐Martínez   +2 more
wiley   +1 more source

Discrete stochastic maximal regularity. [PDF]

Math Ann
Evangelopoulos-Ntemiris F, Veraar M.
europepmc   +1 more source

Existence Analysis of a Three‐Species Memristor Drift‐Diffusion System Coupled to Electric Networks

Mathematical Methods in the Applied Sciences, EarlyView.
ABSTRACT The existence of global weak solutions to a partial‐differential‐algebraic system is proved. The system consists of the drift‐diffusion equations for the electron, hole, and oxide vacancy densities in a memristor device, the Poisson equation for the electric potential, and the differential‐algebraic equations for an electric network.
Ansgar Jüngel, Tuấn Tùng Nguyến
wiley   +1 more source

Existence of Solutions of Semilinear Wave Equations With Time‐Dependent Propagation Speed and Time Derivative Nonlinearity

Mathematical Methods in the Applied Sciences, EarlyView.
ABSTRACT Consider wave equations with time derivative nonlinearity and time‐dependent propagation speed which are generalized versions of the wave equations in the Friedmann–Lemaître–Robertson–Walker (FLRW) spacetime, the de Sitter spacetime and the anti‐de Sitter space time.
Kimitoshi Tsutaya, Yuta Wakasugi
wiley   +1 more source