Related papers: Practical Boundary Degeneracy and Reverse-Martinga…
In this paper we are concerned with one-dimensional backward stochastic differential equations (BSDE in short) of the following type: \[Y_t=\xi -\int_{t\wedge \tau}^{\tau}Y_r|Y_r|^q dr-\int_{t\wedge \tau}^{\tau}Z_r dB_r,\qquad t\geq 0,\]…
Existential rules, long known as tuple-generating dependencies in database theory, have been intensively studied in the last decade as a powerful formalism to represent ontological knowledge in the context of ontology-based query answering.…
Semimartingale reflecting Brownian motions (SRBMs) are diffusion processes with state space the d-dimensional nonnegative orthant, in the interior of which the processes evolve according to a Brownian motion, and that reflect against the…
We demonstrate the existence of an open set of data which exhibits \textit{reversal} and \textit{recirculation} for the stationary Prandtl equations (data is taken in an appropriately defined product space due to the simultaneous forward…
Given a positive random variable $X$, $X\ge0$ a.s., a null hypothesis $H_0:E(X)\le\mu$ and a random sample of infinite size of $X$, we construct test supermartingales for $H_0$, i.e. positive processes that are supermartingale if the null…
Deciding termination is a fundamental problem in the analysis of probabilistic imperative programs. We consider the qualitative and quantitative probabilistic termination problems for an imperative programming model with discrete…
In this work we establish conditions which guarantee the existence of (strictly) positive steady states of a nonlinear structured population model. In our framework the steady state formulation amounts to recasting the nonlinear problem as…
This paper is concerned with a complete asymptoticanalysis as $\mathfrak{E} \to 0$ of the stationary Munk equation $\partial\_x\psi-\mathfrak{E} \Delta^2 \psi=\tau$ in a domain $\Omega\subset \mathbf{R}^2$, supplemented with…
In this paper, we study the almost sure boundedness and the convergence of the stochastic approximation (SA) algorithm. At present, most available convergence proofs are based on the ODE method, and the almost sure boundedness of the…
In 2004 Podelski and Rybalchenko expressed the termination of transition-based programs as a property of well-founded relations. The classical proof by Podelski and Rybalchenko requires Ramsey's Theorem for pairs which is a purely classical…
This paper presents a framework for binary autoregressive time series in which each observation is a Bernoulli variable whose success probability evolves with past outcomes and probabilities, in the spirit of GARCH-type dynamics,…
We present a novel approach to estimating discrete distributions with (potentially) infinite support in the total variation metric. In a departure from the established paradigm, we make no structural assumptions whatsoever on the sampling…
Recursive learning -- where models are trained on data generated by previous versions of themselves -- is increasingly common in large language models, autonomous agents, and self-supervised systems. However, standard performance metrics…
We establish boundary estimates for non-negative solutions to the p-parabolic equation in the degenerate range $p>2$. Our main results include new parabolic intrinsic Harnack chains in cylindrical NTA-domains together with sharp boundary…
This paper investigates the boundary controllability and stabilizability of a Timoshenko beam subject to degeneracy at one end, while control is applied at the opposite boundary. Degeneracy in this context is measured by the real parameters…
This paper considers real-time control and learning problems for finite-dimensional linear systems under binary-valued and randomly disturbed output observations. This has long been regarded as an open problem because the exact values of…
Motivated by investigating spatio-temporal patterns of the distribution of continuous variables, we consider describing the conditional distribution function of the response variable incorporating spatio-temporal components given…
We study safety verification for multithreaded programs with recursive parallelism (i.e. unbounded thread creation and recursion) as well as unbounded integer variables. Since the threads in each program configuration are structured in a…
We study the dynamics of the boundary dilaton gravity coupled to N massles scalars. We rederive the boundary conditions of [1] and [3] in a way which makes the requirement of reparametrization invariance and role of conformal anomaly…
Termination is one of the basic liveness properties, and we study the termination problem for probabilistic programs with real-valued variables. Previous works focused on the qualitative problem that asks whether an input program terminates…