English
Related papers

Related papers: Efficient Algorithms for Checking Fast Termination…

200 papers

The field of discrete event simulation and optimization techniques motivates researchers to adjust classic ranking and selection (R&S) procedures to the settings where the number of populations is large. We use insights from extreme value…

Statistics Theory · Mathematics 2017-11-27 Royi Jacobovic , Or Zuk

The paper suggests a generalization of the Sign-Perturbed Sums (SPS) finite sample system identification method for the identification of closed-loop observable stochastic linear systems in state-space form. The solution builds on the…

Systems and Control · Electrical Eng. & Systems 2024-06-11 Szabolcs Szentpéteri , Balázs Csanád Csáji

Voice activity detection (VAD) is an essential pre-processing step for tasks such as automatic speech recognition (ASR) and speaker recognition. A basic goal is to remove silent segments within an audio, while a more general VAD system…

Audio and Speech Processing · Electrical Eng. & Systems 2020-09-22 Yefei Chen , Shuai Wang , Yanmin Qian , Kai Yu

The paper investigates the asymptotic behavior of a 2D overhead crane with input delays in the boundary control. A linear boundary control is proposed. The main feature of such a control lies in the facts that it solely depends on the…

Analysis of PDEs · Mathematics 2017-02-24 Fadhel Al-Musallam , Kaïs Ammari , Boumdiène Chentouf

The subject of the article is linear systems of wave equations on cosmological backgrounds with convergent asymptotics. The condition of convergence corresponds to the requirement that the second fundamental form, when suitably normalised,…

General Relativity and Quantum Cosmology · Physics 2021-01-14 Hans Ringström

Voice timbre attribute detection (vTAD) is the task of determining the relative intensity of timbre attributes between speech utterances. Voice timbre is a crucial yet inherently complex component of speech perception. While deep neural…

Audio and Speech Processing · Electrical Eng. & Systems 2026-03-06 Aemon Yat Fei Chiu , Yujia Xiao , Qiuqiang Kong , Tan Lee

Deep neural networks (DNNs) enable high performance across domains but remain vulnerable to adversarial perturbations, limiting their use in safety-critical settings. Here, we introduce two quantum-optimization-based models for robust…

Machine Learning · Computer Science 2026-03-03 Wenxin Li , Wenchao Liu , Chuan Wang , Qi Gao , Yin Ma , Hai Wei , Kai Wen

We propose a general method for constructing confidence intervals and statistical tests for single or low-dimensional components of a large parameter vector in a high-dimensional model. It can be easily adjusted for multiplicity taking…

Statistics Theory · Mathematics 2014-06-24 Sara van de Geer , Peter Bühlmann , Ya'acov Ritov , Ruben Dezeure

Automatic Speaker Verification (ASV) system is a type of bio-metric authentication. It can be attacked by an intruder, who falsifies data in order to get access to protected information. Countermeasures (CM) are special algorithms that…

Sound · Computer Science 2022-04-01 Petr Grinberg , Vladislav Shikhov

In compressed sensing, measurements are typically contaminated by additive noise, and therefore, information about the noise variance is often needed to design algorithms. In this paper, we propose a method for estimating the unknown noise…

Signal Processing · Electrical Eng. & Systems 2025-03-24 Ryo Hayakawa

Breathing is an essential part of human survival, which carries information about a person's physiological and psychological state. Generally, breath boundaries are marked by experts before using for any task. An unsupervised algorithm for…

Audio and Speech Processing · Electrical Eng. & Systems 2023-04-10 Shivani Yadav , Dipanjan Gope , Uma Maheswari K. , Prasanta Kumar Ghosh

During the last years, asymptotic (or sequential) constraint qualifications, which postulate upper semicontinuity of certain set-valued mappings and provide a natural companion of asymptotic stationarity conditions, have been shown to be…

Optimization and Control · Mathematics 2023-02-10 Matúš Benko , Patrick Mehlitz

We study the problem of solving strongly convex and smooth unconstrained optimization problems using stochastic first-order algorithms. We devise a novel algorithm, referred to as Recursive One-Over-T SGD (ROOT-SGD), based on an easily…

Optimization and Control · Mathematics 2024-09-19 Chris Junchi Li , Wenlong Mou , Martin J. Wainwright , Michael I. Jordan

Asymptotic theories on record values and times, including central limit theorems, make sense only if the sequence of records values (and of record times) is infinite. If not, such theories could not even be an option. In this paper, we give…

Probability · Mathematics 2019-09-19 Gane Samb Lo , Harouna Sangaré , Mamadou Cherif Traoré , Mohammad Ahsanullah

In this paper, we study initial-boundary value problems for the Cahn--Hilliard system with convection and nonconvex potential, where dynamic boundary conditions are assumed for both the associated order parameter and the corresponding…

Optimization and Control · Mathematics 2018-03-15 Gianni Gilardi , Jürgen Sprekels

Ordinary differential equations (ODEs) are commonly used to model dynamic behavior of a system. Because many parameters are unknown and have to be estimated from the observed data, there is growing interest in statistics to develop…

Statistics Theory · Mathematics 2010-01-13 Xin Qi , Hongyu Zhao

We study an optimal-control problem of polling systems with large switchover times, when a holding cost is incurred on the queues. In particular, we consider a stochastic network with a single server that switches between several buffers…

Probability · Mathematics 2020-09-01 Yue Hu , Jing Dong , Ohad Perry

Learning of continuous exponential family distributions with unbounded support remains an important area of research for both theory and applications in high-dimensional statistics. In recent years, score matching has become a widely used…

Machine Learning · Computer Science 2026-05-15 Devin Smedira , Abhijith Jayakumar , Sidhant Misra , Marc Vuffray , Andrey Y. Lokhov

The number of times that we can access a system to extract information via quantum metrology is always finite, and possibly small, and realistic amounts of prior knowledge tend to be moderate. Thus theoretical consistency demands a…

Quantum Physics · Physics 2021-12-02 Jesús Rubio

Standard variational methods tend to obtain upper bounds on the ground state energy of quantum many-body systems. Here we study a complementary method that determines lower bounds on the ground state energy in a systematic fashion, scales…

Quantum Physics · Physics 2015-05-28 Tillmann Baumgratz , Martin B. Plenio