Results 51 to 60 of about 5,051 (115)
Optimal Control of the Viscous Wave Equation via the Pontryagin Maximum Principle
Numerical Methods for Partial Differential Equations, Volume 42, Issue 3, May 2026.ABSTRACT A tracking‐type optimal control problem governed by the viscous wave equation with a distributed‐source control and L2$$ {L}^2 $$‐L1$$ {L}^1 $$ control costs is investigated. For this class of PDE‐constrained linear‐convex problems, a Pontryagin maximum principle (PMP) in the PDE setting is derived, and it is shown that the pointwise ...
A. Borzì, S. Roy
wiley +1 more source
A Refutation of Finite-State Language Models through Zipf's Law for Factual Knowledge. [PDF]
Entropy (Basel), 2021 Dębowski Ł.
europepmc +1 more source
Random Structures &Algorithms, Volume 68, Issue 3, May 2026.ABSTRACT Binary search trees (BSTs) are fundamental data structures whose performance is largely governed by tree height. We introduce a block model for constructing BSTs by embedding internal BSTs into the nodes of an external BST—a structure motivated by parallel data architectures—corresponding to composite permutations formed via Kronecker or ...
John Peca‐Medlin, Chenyang Zhong
wiley +1 more source
Exploring Enceladus's Interior Structure Using Electromagnetic Induction
Journal of Geophysical Research: Planets, Volume 131, Issue 5, May 2026.Abstract Electromagnetic (EM) sounding can constrain the electrical structure of Enceladus and, in turn, the salinity of its ocean and the porosity, fluid content, and thermal state of its hydrothermally active core. Here, we assess the feasibility of EM sounding at Enceladus using both global (orbiter) and local (lander) EM induction transfer ...
Alexander Grayver, Joachim Saur
wiley +1 more source
The Fundamental Theorems of Welfare Economics, DSGE and the Theory of Policy - Computable & Constructive Foundations [PDF]
The genesis and the path towards what has come to be called the DSGE model is traced, from its origins in the Arrow-Debreu General Equilibrium model (ADGE), via Scarf's Computable General Equilibrium model (CGE) and its applied version as Applied ...
K. Vela Velupillai
core
Inductive types in the Calculus of Algebraic Constructions [PDF]
, 2005 In a previous work, we proved that an important part of the Calculus of Inductive Constructions (CIC), the basis of the Coq proof assistant, can be seen as a Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions with ...
Blanqui, Frédéric
core +6 more sources
Viscoacoustic Full Wavefield Migration With Tomographic Q Estimation
Geophysical Prospecting, Volume 74, Issue 4, May 2026.ABSTRACT Seismic wave propagation in the Earth's subsurface is influenced by anelastic attenuation, which causes energy loss and waveform distortion, degrading image resolution. This effect, quantified by the quality factor (Qf${{\textit {Q}}_f}$), is particularly pronounced in settings such as carbon capture and storage and near‐surface studies, where
Mohammad Safari, Dirk Jacob Verschuur
wiley +1 more source
The computational origin of representation. [PDF]
Minds Mach (Dordr), 2021 Piantadosi ST.
europepmc +1 more source
The foundations of computable general equilibrium theory [PDF]
general equilibrium theory,CGE models,mathematical economics,computability ...
K. Vela Velupillai
core
Multiple Changepoint Detection for Non‐Gaussian Time Series
Journal of Time Series Analysis, Volume 47, Issue 3, Page 465-484, May 2026.ABSTRACT This article combines methods from existing techniques to identify multiple changepoints in non‐Gaussian autocorrelated time series. A transformation is used to convert a Gaussian series into a non‐Gaussian series, enabling penalized likelihood methods to handle non‐Gaussian scenarios.
Robert Lund +3 more
wiley +1 more source