Results 141 to 150 of about 23,253 (274)
, 2008 Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results concerning this scheme of bar recursion and its relations to well-known ...
Paulo Oliva, Ulrich Berger
core
Dasar-Dasar Pemrograman 2 - Recursion
, 2019 <p>Recursion is recursion.</p ...
Darari, Fariz
core +1 more source
Measured‐State Conditioned Recursive Feasibility for Stochastic Model Predictive Control
International Journal of Robust and Nonlinear Control, Volume 36, Issue 11, Page 5964-5981, 25 July 2026.ABSTRACT In this paper, we address the problem of designing stochastic model predictive control (SMPC) schemes for linear systems affected by unbounded disturbances. The contribution of the paper is rooted in a measured‐state initialization strategy. First, due to the nonzero probability of violating chance‐constraints in the case of unbounded noise ...
Mirko Fiacchini +2 more
wiley +1 more source
Recursive functions defined by ordinal recursions [PDF]
Proceedings of the American Mathematical Society, 1969 Fabian, R. J., Kent, C. F.
openaire +1 more source
Exact Solutions for the Moving Firefighter Problem on Trees
Networks, Volume 88, Issue 1, Page 42-58, July 2026.ABSTRACT The moving firefighter problem (MFP) is a more realistic variant of the classic firefighter problem (FP), where firefighters require time for both travel and defense. Unfortunately, the only known exact solution for the MFP does not scale. In this paper, we establish that the MFP is NP‐complete on trees of maximum degree three and present four
Mauro A. Montenegro‐Meza +4 more
wiley +1 more source
Primary invariants of Hurwitz Frobenius manifolds
, 2018 Hurwitz spaces parameterizing covers of the Riemann sphere can be equipped with a Frobenius structure. In this review, we recall the construction of such Hurwitz Frobenius manifolds as well as the correspondence between semisimple Frobenius manifolds and
Orantin, N., +4 more
core
Is It Easier to Count Communities Than Find Them?
Random Structures &Algorithms, Volume 68, Issue 4, July 2026.ABSTRACT Random graph models with community structure have been studied extensively in the literature. For both the problems of detecting and recovering community structure, an interesting landscape of statistical and computational phase transitions has emerged. A natural unanswered question is: Might it be possible to infer properties of the community
Cynthia Rush +3 more
wiley +1 more source
Topological recursion for hyperbolic string field theory
Journal of High Energy PhysicsWe derive an analog of Mirzakhani’s recursion relation for hyperbolic string vertices and investigate its implications for closed string field theory.
Atakan Hilmi Fırat, Nico Valdes-Meller
doaj +1 more source
On Exponential‐Family INGARCH Models
Journal of Time Series Analysis, Volume 47, Issue 4, Page 912-918, July 2026.ABSTRACT A range of integer‐valued generalised autoregressive conditional heteroscedastic (INGARCH) models have been proposed in the literature, including those based on conditional Poisson, negative binomial and Conway‐Maxwell‐Poisson distributions. This note considers a larger class of exponential‐family INGARCH models, showing that maximum empirical
Alan Huang +3 more
wiley +1 more source
Mathematical Finance, Volume 36, Issue 3, Page 595-619, July 2026.ABSTRACT We introduce a dynamic and stochastic interbank model with an endogenous notion of distress contagion, arising from rational worries about future defaults and ensuing losses. This entails a mark‐to‐market valuation adjustment for interbank claims, leading to a forward‐backward approach to the equilibrium dynamics whereby future default ...
Zachary Feinstein, Andreas Søjmark
wiley +1 more source