English
Related papers

Related papers: The Filtration of the split-words process

200 papers

Generalizations of Bell's framework to causal networks have yielded new foundational insights and applications, including the use of interventions to enhance the detection of nonclassicality in scenarios with communication. Such…

Quantum Physics · Physics 2026-01-13 Santiago Zamora , Pedro Lauand , Isadora Veeren , Davide Poderini , Rafael Chaves

This paper presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalisation, and in particular of cut elimination. By considering atoms as self-dual non-commutative…

Logic in Computer Science · Computer Science 2022-07-01 Andrea Aler Tubella , Alessio Guglielmi

We prove that all standard subregular language classes are linearly separable when represented by their deciding predicates. This establishes finite observability and guarantees learnability with simple linear models. Synthetic experiments…

Computation and Language · Computer Science 2026-03-16 Katsuhiko Hayashi , Hidetaka Kamigaito

We consider a discrete-time process adapted to some filtration which lives on a (typically countable) subset of $\mathbb{R}^d$, $d\geq 2$. For this process, we assume that it has uniformly bounded jumps, is uniformly elliptic (can advance…

Probability · Mathematics 2014-04-28 Mikhail Menshikov , Serguei Popov

Separation logic is a substructural logic which has proved to have numerous and fruitful applications to the verification of programs working on dynamic data structures. Recently, Barthe, Hsu and Liao have proposed a new way of giving…

Cryptography and Security · Computer Science 2024-05-21 Ugo Dal Lago , Davide Davoli , Bruce M. Kapron

In this paper, we investigate the distillation of time series reasoning capabilities into small, instruction-tuned language models as a step toward building interpretable time series foundation models. Leveraging a synthetic dataset of…

Computation and Language · Computer Science 2025-07-11 Matthieu Boileau , Philippe Helluy , Jeremy Pawlus , Svitlana Vyetrenko

We consider Lie and Strang splitting for the time integration of constrained partial differential equations with a nonlinear reaction term. Since such systems are known to be sensitive with respect to perturbations, the splitting procedure…

Numerical Analysis · Mathematics 2016-07-27 Robert Altmann , Alexander Ostermann

Can stochastic gradient methods track a moving target? We study the problem of tracking multidimensional time-varying parameters under noisy observations and possible model misspecification. Gradient-based filters update the time-varying…

Methodology · Statistics 2026-05-05 Simon Donker van Heel , Rutger-Jan Lange , Bram van Os , Dick van Dijk

In this paper, an alternative approximation to the innovation method is introduced for the parameter estimation of diffusion processes from partial and noisy observations. This is based on a convergent approximation to the first two…

Optimization and Control · Mathematics 2013-12-19 J. C. Jimenez

The aim of this paper is to provide a variational interpretation of the nonlinear filter in continuous time. A time-stepping procedure is introduced, consisting of successive minimization problems in the space of probability densities. The…

Optimization and Control · Mathematics 2014-12-19 Richard S. Laugesen , Prashant G. Mehta , Sean P. Meyn , Maxim Raginsky

Recent work in dynamic causal inference introduced a class of discrete-time stochastic processes that generalize martingale difference sequences and arrays as follows: the random variates in each sequence have expectation zero given certain…

Statistics Theory · Mathematics 2025-12-05 Walter Dempsey , Easton Huch

This work proposes a general strategy for solving possibly nonlinear problems arising from implicit time discretizations as a sequence of explicit solutions. The resulting sequence may exhibit instabilities similar to those of the base…

Numerical Analysis · Mathematics 2025-10-21 Nicolas A. Barnafi , Felipe Galarce , Pablo Brubeck

A sliding window algorithm receives a stream of symbols and has to output at each time instant a certain value which only depends on the last $n$ symbols. If the algorithm is randomized, then at each time instant it produces an incorrect…

Formal Languages and Automata Theory · Computer Science 2018-02-22 Moses Ganardi , Danny Hucke , Markus Lohrey

In this paper the issue of filtering and smoothing in continuous discrete time is studied when the state variable evolves in some submanifold of Euclidean space, which may not have the usual Lebesgue measure. Formal expressions for…

Optimization and Control · Mathematics 2020-04-22 Filip Tronarp , Simo Särkkä

The separating time for two probability measures on a filtered space is an extended stopping time which captures the phase transition between equivalence and singularity. More specifically, two probability measures are equivalent before…

Probability · Mathematics 2025-02-10 David Criens , Mikhail Urusov

Word embeddings have been demonstrated to benefit NLP tasks impressively. Yet, there is room for improvement in the vector representations, because current word embeddings typically contain unnecessary information, i.e., noise. We propose…

Computation and Language · Computer Science 2016-10-07 Kim Anh Nguyen , Sabine Schulte im Walde , Ngoc Thang Vu

Large Language Models (LLMs) have recently been shown to produce estimates of psycholinguistic norms, such as valence, arousal, or concreteness, for words and multiword expressions, that correlate with human judgments. These estimates are…

Computation and Language · Computer Science 2026-03-13 Thomas Hikaru Clark , Carlos Arriaga , Javier Conde , Gonzalo Martínez , Pedro Reviriego

The aim of this paper is to obtain estimates for the density of the law of a specific nonlinear diffusion process at any positive bounded time. This process is issued from kinetic theory and is called Landau process, by analogy with the…

Probability · Mathematics 2016-08-16 Hélène Guérin , Sylvie Méléard , Eulalia Nualart

Given a regular language $L$, we study the language of words $\mathsf{D}(L)$, that distinguish between pairs of different left-quotients of $L$. We characterize this distinguishability operation, show that its iteration has always a fixed…

Formal Languages and Automata Theory · Computer Science 2014-12-11 Cezar Câmpeanu , Nelma Moreira , Rogério Reis

Time-reversal symmetry breaking is a key feature of nearly all natural sounds, caused by the physics of sound production. While attention has been paid to the response of the auditory system to "natural stimuli," very few psychophysical…

Neurons and Cognition · Quantitative Biology 2013-01-04 Jacob N. Oppenheim , Pavel Isakov , Marcelo O. Magnasco