English
Related papers

Related papers: When can forward stable algorithms be composed sta…

200 papers

To understand the empirical success of approximate MAP inference, recent work (Lang et al., 2018) has shown that some popular approximation algorithms perform very well when the input instance is stable. The simplest stability condition…

Machine Learning · Statistics 2020-11-16 Hunter Lang , David Sontag , Aravindan Vijayaraghavan

We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than the trivial bound of O(m 2^n), where m is the size of an input program…

Logic in Computer Science · Computer Science 2007-05-23 Zbigniew Lonc , Miroslaw Truszczynski

In the theory of the moduli-stacks of n-pointed stable curves, there are two fundamental functors, contraction and stabilization. These functors are constructed in [4], where they are used to show that the various \bar{M_{g,n}}'s are…

Algebraic Geometry · Mathematics 2016-11-25 Finn F. Knudsen

The development of finite/fixed-time stable optimization algorithms typically involves study of specific problem instances. The lack of a unified framework hinders understanding of more sophisticated algorithms, e.g., primal-dual gradient…

Optimization and Control · Mathematics 2024-09-19 Ibrahim K. Ozaslan , Mihailo R. Jovanović

A real harmonizable multifractional stable process is defined, its H\"older continuity and localizability are proved. The existence of local time is shown and its regularity is established.

Probability · Mathematics 2012-06-28 Marco Dozzi , Georgiy Shevchenko

We establish stability criterion for a two-class retrial system with Poisson inputs, general class-dependent service times and class-dependent constant retrial rates. We also characterise an interesting phenomenon of partial stability when…

Probability · Mathematics 2021-10-20 Konstantin Avrachenkov , Evsey Morozov , Ruslana Nekrasova

This paper focuses on two-sided matching where one side (a hospital or firm) is matched to the other side (a doctor or worker) so as to maximize a cardinal objective under general feasibility constraints. In a standard model, even though…

Computer Science and Game Theory · Computer Science 2019-07-10 Yasushi Kawase , Atsushi Iwasaki

We consider a model of stable edge sets (``matchings'') in a bipartite graph $G=(V,E)$ in which the preferences for vertices of one side (``firms'') are given via choice functions subject to standard axioms of consistency, substitutability…

Combinatorics · Mathematics 2025-01-28 Alexander V. Karzanov

The aim of this note is to prove a result of effective stability for a non-autonomous perturbation of an integrable Hamiltonian system, provided that the perturbation depends slowly on time. Then we use this result to clarify and extend a…

Dynamical Systems · Mathematics 2013-03-21 Abed Bounemoura

A fundamental property of choice functions is stability, which, loosely speaking, prescribes that choice sets are invariant under adding and removing unchosen alternatives. We provide several structural insights that improve our…

Theoretical Economics · Economics 2020-04-06 Felix Brandt , Markus Brill , Hans Georg Seedig , Warut Suksompong

We consider the problem of stable matching with dynamic preference lists. At each time step, the preference list of some player may change by swapping random adjacent members. The goal of a central agency (algorithm) is to maintain an…

Computer Science and Game Theory · Computer Science 2016-06-29 Varun Kanade , Nikos Leonardos , Frédéric Magniez

A population protocol stably computes a relation R(x,y) if its output always stabilizes and R(x,y) holds if and only if y is a possible output for input x. Alternatively, a population protocol computes a predicate R(<x,y>) on pairs <x,y> if…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-04 James Aspnes

In this paper, we consider one-to-one matchings between two disjoint groups of agents. Each agent has a preference over a subset of the agents in the other group, and these preferences may contain ties. Strong stability is one of the…

Computer Science and Game Theory · Computer Science 2024-01-08 Naoyuki Kamiyama

Understanding the structural evolution of granular systems is a long-standing problem. A recently proposed theory for such dynamics in two dimensions predicts that steady states of very dense systems satisfy detailed-balance. We analyse…

Soft Condensed Matter · Physics 2023-08-16 Alex D. C. Myhill , Raphael Blumenfeld

The purpose of this paper is to give a sufficient condition for (strong) stability of non-proper smooth functions (with respect to the Whitney $C^\infty$-topology). We show that a Morse function is stable if it is end-trivial at any point…

Geometric Topology · Mathematics 2021-04-19 Kenta Hayano

This article contains a self-contained proof of the stability under convolution of the space of resurgent functions associated with a closed discrete subset of the complex plane (the set of possible singularities), under the assumption that…

Dynamical Systems · Mathematics 2014-06-27 David Sauzin

It is proved that one cannot approximate stably the first derivative of a smooth function given noisy values of this function and a bound on this function and its first derivative. Such an approximation is shown to be possible if an a…

Mathematical Physics · Physics 2007-05-23 A. G. Ramm

Research on bias in machine learning algorithms has generally been concerned with the impact of bias on predictive accuracy. We believe that there are other factors that should also play a role in the evaluation of bias. One such factor is…

Machine Learning · Computer Science 2007-05-23 Peter D. Turney

The problem of robustly, asymptotically stabilizing a point (or a set) with two output-feedback hybrid controllers is considered. These control laws may have different objectives, e.g., the closed-loop systems resulting with each controller…

Systems and Control · Computer Science 2013-08-20 Ricardo G. Sanfelice , Christophe Prieur

We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using…

Systems and Control · Computer Science 2014-06-05 Sicun Gao , Soonho Kong , Edmund Clarke
‹ Prev 1 3 4 5 6 7 10 Next ›