English
Related papers

Related papers: Approximating Weak Bisimilarity of Basic Parallel …

200 papers

We extend the work of Narasimhan and Bilmes [30] for minimizing set functions representable as a difference between submodular functions. Similar to [30], our new algorithms are guaranteed to monotonically reduce the objective function at…

Data Structures and Algorithms · Computer Science 2013-08-27 Rishabh Iyer , Jeff Bilmes

Deep learning has revolutionized the last decade, being at the forefront of extraordinary advances in a wide range of tasks including computer vision, natural language processing, and reinforcement learning, to name but a few. However, it…

Machine Learning · Computer Science 2024-01-24 Sebastian W. Ober

We study weakest precondition reasoning about the (co)variance of outcomes and the variance of run-times of probabilistic programs with conditioning. For outcomes, we show that approximating (co)variances is computationally more difficult…

Logic in Computer Science · Computer Science 2016-06-28 Benjamin Lucien Kaminski , Joost-Pieter Katoen , Christoph Matheja

We consider an estimator $\hbbeta_n(t)$ defined as the element $\bphi\in\bPhi$ minimizing a contrast process $\pencontrast(\bphi, t)$ for each t. We give some general results for deriving the weak convergence of $\sqrt{n}(\hbbeta_n-\bbeta)$…

Statistics Theory · Mathematics 2009-06-10 Jean-François Germain , François Roueff

This article studies the weak convergence and associated Central Limit Theorem for blurring and nonblurring processes. Then, they are applied to the estimation of location parameter. Simulation studies show that the location estimation…

Statistics Theory · Mathematics 2015-01-28 Ting-Li Chen , Hironori Fujisawa , Su-Yun Huang , Chii-Ruey Hwang

We study the approximation of stationary processes by a simple class of purely deterministic signals. This has an analytic counterpart in the approximation of symmetric positive definite Toeplitz matrices by submatrices of finite rank. We…

Probability · Mathematics 2020-09-15 Giorgio Picci , Bin Zhu

This article investigates weak convergence of the sequential $d$-dimensional empirical process under strong mixing. Weak convergence is established for mixing rates $\alpha_n = O(n^{-a})$, where $a>1$, which slightly improves upon existing…

Probability · Mathematics 2013-04-19 Axel Bücher

We extend the definition of weak symmetric continuity to be applicable for functions defined on any nonempty subset of $\R$. Then we investigate basic properties of weakly symmetrically continuous functions and compare them with those of…

Classical Analysis and ODEs · Mathematics 2014-05-29 Prapanpong Pongsriiam , Teraporn Thongsiri

Many binary classification problems minimize misclassification above (or below) a threshold. We show that instances of ranking problems, accuracy at the top or hypothesis testing may be written in this form. We propose a general framework…

Machine Learning · Computer Science 2020-02-26 Lukáš Adam , Václav Mácha , Václav Šmídl , Tomáš Pevný

Submodular function minimization is well studied, and existing algorithms solve it exactly or up to arbitrary accuracy. However, in many applications, such as structured sparse learning or batch Bayesian optimization, the objective function…

Machine Learning · Computer Science 2022-03-10 Marwa El Halabi , Stefanie Jegelka

The purpose of this paper is to study the approximation of vector valued mappings defined on a subset of a normed space. We investigate Korovkin-type conditions under which a given sequence of linear operators becomes a so-called…

Functional Analysis · Mathematics 2007-05-23 Lorenzo D'Ambrosio

Motivated by problems in contact mechanics, we propose a duality approach for computing approximations and associated a posteriori error bounds to solutions of variational inequalities of the first kind. The proposed approach improves upon…

Numerical Analysis · Mathematics 2014-10-09 Zhenying Zhang , Eduard Bader , Karen Veroy

We present two approximate versions of the proximal subgradient method for minimizing the sum of two convex functions (not necessarily differentiable). The algorithms involve, at each iteration, inexact evaluations of the proximal operator…

Optimization and Control · Mathematics 2019-07-12 Reinier Díaz Millán , Majela Pentón Machado

Herein, a methodology is developed to replicate functions, measures and stochastic processes onto a compact metric space. Many results are easily established for the replica objects and then transferred back to the original ones. Two…

Probability · Mathematics 2020-11-03 Chi Dong , Michael A. Kouritzin

We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to almost-surely terminating programs -- as is the case for existing rules -- and can be used to establish…

Logic in Computer Science · Computer Science 2023-02-14 Shenghua Feng , Mingshuai Chen , Han Su , Benjamin Lucien Kaminski , Joost-Pieter Katoen , Naijun Zhan

In this paper, we consider a modified version of a well-known submartingale condition fortheweak convergence of probabilitymeasures, adapted to the semi-Markov case. In this setting, it is convenient to work with an embedded Markov chain…

Probability · Mathematics 2025-12-30 Vitaliy Golomoziy

Let $\Omega_1,\Omega_2$ be functions of homogeneous of degree $0$ and $\vec\Omega=(\Omega_1,\Omega_2)\in L\log L(\mathbb{S}^{n-1})\times L\log L(\mathbb{S}^{n-1})$. In this paper, we investigate the limiting weak-type behavior for bilinear…

Classical Analysis and ODEs · Mathematics 2020-12-17 Moyan Qin , Huoxiong Wu , Qingying Xue

This paper considers the approximation of the continuous time filtering equation for the case of a multiple timescale (slow-intermediate, and fast scales) that may have correlation between the slow-intermediate process and the observation…

Probability · Mathematics 2020-11-02 Ryne Beeson , N. Sri Namachchivaya , Nicolas Perkowski

Reversible systems feature both forward computations and backward computations, where the latter undo the effects of the former in a causally consistent manner. The compositionality properties and equational characterizations of strong and…

Logic in Computer Science · Computer Science 2023-10-03 Marco Bernardo , Andrea Esposito

This paper considers deep neural networks for learning weakly dependent processes in a general framework that includes, for instance, regression estimation, time series prediction, time series classification. The $\psi$-weak dependence…

Machine Learning · Statistics 2023-02-16 William Kengne