相关论文: Grilliot's trick in Nonstandard Analysis
Trawl processes are a family of continuous-time, infinitely divisible, stationary processes whose correlation structure is entirely characterized by their so-called trawl function. This paper investigates the problem of estimating…
Most stochastic gradient descent algorithms can optimize neural networks that are sub-differentiable in their parameters; however, this implies that the neural network's activation function must exhibit a degree of continuity which limits…
In two recent papers we introduced some new techniques for constructing an extension of a probability-preserving system $T:\mathbb{Z}^d\curvearrowright (X,\mu)$ that enjoys certain desirable properties in connexion with the asymptotic…
In these lecture notes we present an introduction to non-standard analysis especially written for the community of mathematicians, physicists and engineers who do research on J. F. Colombeau' theory of new generalized functions and its…
In the usual Bayesian setting, a full probabilistic model is required to link the data and parameters, and the form of this model and the inference and prediction mechanisms are specified via de Finetti's representation. In general, such a…
We investigate how to learn treatment effects away from the cutoff in multiple-cutoff regression discontinuity designs. Using a microeconomic model, we demonstrate that the parallel-trend type assumption proposed in the literature is…
We obtain the empirical strong law of large numbers, empirical Glivenko-Cantelli theorem, central limit theorem, functional central limit theorem for various nonparametric Bayesian priors which include the Dirichlet process with general…
Martin's Conjecture states that every definable function on the Turing degrees is either constant or increasing, and that every increasing function is an iterate of the Turing jump. This classification has already been corroborated for the…
A quasidiffusion is by definition a time-changed Brownian motion on certain closed subset of $\mathbb{R}$. The aim of this paper is two-fold. On one hand, we will put forward a generation of quasidiffusion, called skip-free Hunt process, by…
The purpose of this paper is to present an algorithm for inferring nondeterministic functional transducers. It has a lot in common with other well known algorithms such has RPNI and OSTIA. Indeed we will argue that this algorithm is a…
We give simple necessary and sufficient conditions for the $\frac{\partial}{\partial t}$-transcendence of the solutions to a parameterized second order linear differential equation of the form \frac{\partial^2 Y}{\partial x^2} - p…
We introduce a family of pairwise stochastic gradient estimators for gradients of expectations, which are related to the log-derivative trick, but involve pairwise interactions between samples. The simplest example of our new estimator,…
A non-parametric diffusion model with an additive fractional Brownian motion noise is considered in this work. The drift is a non-parametric function that will be estimated by two methods. On one hand, we propose a locally linear estimator…
The "qualitative" extension theorem of Demailly guarantees existence of holomorphic extensions of holomorphic sections on some subvariety under certain positive-curvature assumption, but that comes without any estimate of the extensions,…
We develop a practical framework for distinguishing diffusive stochastic processes from deterministic signals using only a single discrete time series. Our approach is based on classical excursion and crossing theorems for continuous…
Estimating function inference is indispensable for many common point process models where the joint intensities are tractable while the likelihood function is not. In this paper we establish asymptotic normality of estimating function…
A nonstandard invariant fourth order operator acting on functions on a manifold equipped with an almost Grassmannian structure with an arbitrary trorsion is found by means of the curved translation principle. This operator can be viewed as…
The theory of noninterference supports the analysis of information leakage and the execution of secure computations in multi-level security systems. Classical equivalence-based approaches to noninterference mainly rely on weak bisimulation…
We study, with the use of numerical integration, a noncommutative extension of a quantum-theoretic model (an alternative to the semiclassical Brillouin function), recently presented by Brody and Hughston and, independently, Slater, for the…
A Turmit is a Turing machine that works over a two-dimensional grid, that is, an agent that moves, reads and writes symbols over the cells of the grid. Its state is an arrow and, depending on the symbol that it reads, it turns to the left…