English
Related papers

Related papers: A Note on a Recent Attempt to Improve the Pin-Fran…

200 papers

Quantum hypothesis testing concerns the discrimination between quantum states. This paper introduces a novel lower bound for asymmetric quantum hypothesis testing that is based on the Nussbaum-Szko{\l}a mapping. The lower bound provides a…

Quantum Physics · Physics 2026-05-21 Jorge Lizarribar-Carrillo , Gonzalo Vazquez-Vilar , Tobias Koch

We present improved approximation bounds for the Moore-Penrose inverses of banded matrices, where the bandedness is induced by a metric on the index set. We show that the pseudoinverse of a banded matrix can be approximated by another…

Optimization and Control · Mathematics 2026-01-12 Sungho Shin , Wallace Gian Yion Tan , Mihai Anitescu

The present paper studies a feedback regulation problem, which may be interpreted as an adaptive control problem, but has not yet been studied in the control literature. The problem, which arises in at least two different biological…

Optimization and Control · Mathematics 2007-05-23 Luc Moreau , Eduardo Sontag , Murat Arcak

Studies of writing revisions rarely focus on revision quality. To address this issue, we introduce a corpus of between-draft revisions of student argumentative essays, annotated as to whether each revision improves essay quality. We…

Computation and Language · Computer Science 2019-09-13 Tazin Afrin , Diane Litman

We propose a novel constrained reinforcement learning method for finding optimal policies in Markov Decision Processes while satisfying temporal logic constraints with a desired probability throughout the learning process. An…

Robotics · Computer Science 2021-09-07 Derya Aksaray , Yasin Yazicioglu , Ahmet Semi Asarkaya

One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the…

Commutative Algebra · Mathematics 2017-11-13 Richard Gustavson , Omar León Sánchez

In this Letter, we derive a sufficient condition of synchronizing limit sets (attractors and repellers) by using the linear feedback control technique proposed here. There examples are included. The numerical simulations and computer…

Chaotic Dynamics · Physics 2007-05-23 Changpin Li , Weihua Deng

Cellular automata are widely used to model natural or artificial systems. Classically they are run with perfect synchrony, i.e., the local rule is applied to each cell at each time step. A possible modification of the updating scheme…

Cellular Automata and Lattice Gases · Physics 2008-02-13 Nazim A. Fatès

In this short note, we discuss the Barndorff-Nielsen lemma, which is a generalization of well-known Borel-Cantelli lemma. Although the result stated in the Barndorff-Nielsen lemma is correct, it does not follow from the argument proposed in…

Probability · Mathematics 2023-01-16 Narayanaswamy Balakrishnan , Alexei Stepanov

Computing the probability of evidence even with known error bounds is NP-hard. In this paper we address this hard problem by settling on an easier problem. We propose an approximation which provides high confidence lower bounds on…

Artificial Intelligence · Computer Science 2012-06-26 Vibhav Gogate , Bozhena Bidyuk , Rina Dechter

The goal of this note is to announce certain results in orbit equivalence theory, especially concerning the approximation of p.m.p. standard equivalence relations by increasing sequence of sub-relations, with applications to the behavior of…

Group Theory · Mathematics 2015-09-02 Damien Gaboriau , Robin Tucker-Drob

In this note, we establish a new exact worst-case linear convergence rate of the proximal gradient method in terms of the proximal gradient norm, which complements the recent results in [1] and implies a refined descent lemma.descent lemma.…

Optimization and Control · Mathematics 2019-03-13 Xiaoya Zhang , Hui Zhang

A popular method for solving reachability in timed automata proceeds by enumerating reachable sets of valuations represented as zones. A na\"ive enumeration of zones does not terminate. Various termination mechanisms have been studied over…

Formal Languages and Automata Theory · Computer Science 2019-04-19 Paul Gastin , Sayan Mukherjee , B Srivathsan

This article presents new alternatives to the similarity function for the TextRank algorithm for automatic summarization of texts. We describe the generalities of the algorithm and the different functions we propose. Some of these variants…

Computation and Language · Computer Science 2019-06-06 Federico Barrios , Federico López , Luis Argerich , Rosa Wachenchauzer

We explore different ways of implementing temporal constraints expressed in an extension of Answer Set Programming (ASP) with language constructs from dynamic logic. Foremost, we investigate how automata can be used for enforcing such…

Artificial Intelligence · Computer Science 2021-09-07 Pedro Cabalar , Martín Diéguez , Susana Hahn , Torsten Schaub

The model we consider consists in a double pendulum set, where the pivot points are free to shift along a horizontal line. Moreover, the two pendula are coupled by means of a spring whose extremities connect two points of each pendulum, at…

Classical Physics · Physics 2018-02-15 Federico Talamucci

Counterfactual estimation using synthetic controls is one of the most successful recent methodological developments in causal inference. Despite its popularity, the current description only considers time series aligned across units and…

Machine Learning · Statistics 2021-02-03 Alexis Bellot , Mihaela van der Schaar

Unfortunately, the article "A Comparative Study to Benchmark Cross-project Defect Prediction Approaches" has a problem in the statistical analysis which was pointed out almost immediately after the pre-print of the article appeared online.…

Software Engineering · Computer Science 2017-07-31 Steffen Herbold , Alexander Trautsch , Jens Grabowski

This note corrects some technical inaccuracies in a recently published paper on predefined-time convergence (Automatica 112 (2020) 108710) and discusses implementation issues of the presented control algorithm.

Systems and Control · Electrical Eng. & Systems 2020-07-16 Michael Basin

It has become a common pattern in our field: One group introduces a language task, exemplified by a dataset, which they argue is challenging enough to serve as a benchmark. They also provide a baseline model for it, which then soon is…

Computation and Language · Computer Science 2020-07-10 David Schlangen
‹ Prev 1 8 9 10 Next ›