English
Related papers

Related papers: On Selective Unboundedness of VASS

200 papers

Vapnik-Chervonenkis (VC) dimension is a fundamental measure of the generalization capacity of learning algorithms. However, apart from a few special cases, it is hard or impossible to calculate analytically. Vapnik et al. [10] proposed a…

Machine Learning · Statistics 2011-11-16 Daniel J. McDonald , Cosma Rohilla Shalizi , Mark Schervish

In this article, we analyze three classes of time-reversal of a Markov process with Gaussian noise on a manifold. We first unveil a commutativity constraint for the most general of these time-reversals to be well defined. Then we give a…

Statistical Mechanics · Physics 2024-08-09 Jérémy O'Byrne , Michael E. Cates

The study of the 2D Euler equation with non Lipschitzian velocity was initiated by Yudovich in [19] where a result of global well-posedness for essentially bounded vorticity is proved. A lot of works have been since dedicated to the…

Analysis of PDEs · Mathematics 2012-04-27 Frederic Bernicot , Sahbi Keraani

With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions…

General Topology · Mathematics 2020-12-01 Hanna Ćmiel , Franz-Viktor Kuhlmann , Katarzyna Kuhlmann

By relating the number of images of a function with finite domain to a certain parameter, we obtain both an upper and lower bound for the image set. Even though the arguments are elementary, the bounds are, in some sense, best possible. The…

Combinatorics · Mathematics 2013-08-29 Robert Coulter , Steven Senger

We show that the following properties are preserved under inverse limits: countable fan-tightness, q+, discrete generation and selective separability. We also present several examples based on inverse limits of countable spaces.

General Topology · Mathematics 2017-09-18 Javier Camargo , Carlos Uzcategui

This paper provides a variational analysis of the unconstrained formulation of the LASSO problem, ubiquitous in statistical learning, signal processing, and inverse problems. In particular, we establish smoothness results for the optimal…

Optimization and Control · Mathematics 2023-06-16 Aaron Berk , Simone Brugiapaglia , Tim Hoheisel

In this paper, we propose criteria for unboundedness of the images of set-valued mappings having closed graphs in Euclidean spaces. We focus on mappings whose domains are non-closed or whose values are connected. These criteria allow us to…

Optimization and Control · Mathematics 2024-09-24 Vu Trung Hieu , Elisabeth Anna Sophia Köbis , Markus Arthur Köbis , Paul Hugo Schmölling

How can we perform efficient inference and learning in directed probabilistic models, in the presence of continuous latent variables with intractable posterior distributions, and large datasets? We introduce a stochastic variational…

Machine Learning · Statistics 2022-12-13 Diederik P Kingma , Max Welling

A framework to boost the efficiency of Bayesian inference in probabilistic programs is introduced by embedding a sampler inside a variational posterior approximation. We call it the refined variational approximation. Its strength lies both…

Machine Learning · Computer Science 2020-02-25 Victor Gallego , David Rios Insua

Stability and error analysis remain challenging for problems that lack regularity properties near solutions, are subject to large perturbations, and might be infinite dimensional. We consider nonconvex optimization and generalized equations…

Optimization and Control · Mathematics 2020-02-25 Johannes O. Royset

We study the geometry of reachability sets of continuous vector addition systems with states (VASS). In particular we establish that they are almost Minkowski sums of convex cones and zonotopes generated by the vectors labelling the…

Logic in Computer Science · Computer Science 2022-11-15 Shaull Almagor , Arka Ghosh , Tim Leys , Guillermo A. Perez

We consider embedding a predictive machine-learning model within a prescriptive optimization problem. In this setting, called constraint learning, we study the concept of a validity domain, i.e., a constraint added to the feasible set,…

Optimization and Control · Mathematics 2025-05-30 Yilin Zhu , Samuel Burer

Variational Bayes (VB) has become a widely-used tool for Bayesian inference in statistics and machine learning. Nonetheless, the development of the existing VB algorithms is so far generally restricted to the case where the variational…

Machine Learning · Computer Science 2021-08-04 Minh-Ngoc Tran , Dang H. Nguyen , Duy Nguyen

In Statistical Learning, the Vapnik-Chervonenkis (VC) dimension is an important combinatorial property of classifiers. To our knowledge, no theoretical results yet exist for the VC dimension of edited nearest-neighbour (1NN) classifiers…

Machine Learning · Computer Science 2019-02-08 Iain A. D. Gunn , Ludmila I. Kuncheva

We obtain a exponential large deviation upper bound for continuous observables on suspension semiflows over a non-uniformly expanding base transformation with non-flat singularities and/or discontinuities, where the roof function defining…

Dynamical Systems · Mathematics 2019-05-21 Vitor Araujo , Andressa Souza , Edvan Trindade

Spatial perception is the backbone of many robotics applications, and spans a broad range of research problems, including localization and mapping, point cloud alignment, and relative pose estimation from camera images. Robust spatial…

Machine Learning · Statistics 2019-07-31 Vasileios Tzoumas , Pasquale Antonante , Luca Carlone

In this work, we extend undecidability of language equivalence for two-dimensional Vector Addition System with States (VASS) accepting by coverability condition. We show that the problem is undecidable even when one of the two-dimensional…

Formal Languages and Automata Theory · Computer Science 2025-10-27 Wojciech Czerwiński , Łukasz Orlikowski

Let $\Om$ be a unbounded domain in a Banach space. In this work, we wish to impose {\it local conditions} on boundary point of $\Om$ (including the point at infinity) that guarantee complete hyperbolic of $\Om.$ We also search for local…

Complex Variables · Mathematics 2016-10-28 Nguyen Quang Dieu , Nguyen Van Khiem , Le Thanh Hung

An inverse problem of finding an obstacle and the boundary condition on its surface from the fixed-energy scattering data is studied. A new method is developed for a proof of the uniqueness results. The method does not use the discreteness…

Mathematical Physics · Physics 2007-05-23 A. G. Ramm
‹ Prev 1 4 5 6 7 8 10 Next ›