English
Related papers

Related papers: Initial Version of State Transition Algorithm

200 papers

The study of multi-task learning has drawn great attention from the community. Despite the remarkable progress, the challenge of optimally learning different tasks simultaneously remains to be explored. Previous works attempt to modify the…

Computer Vision and Pattern Recognition · Computer Science 2022-03-08 Yuanze Li , Yiwen Guo , Qizhang Li , Hongzhi Zhang , Wangmeng Zuo

Stochastic optimization problems often involve data distributions that change in reaction to the decision variables. This is the case for example when members of the population respond to a deployed classifier by manipulating their features…

Optimization and Control · Mathematics 2020-12-15 Dmitriy Drusvyatskiy , Lin Xiao

This paper introduces a new algorithm for the induction if complex finite state automata from samples of behavior. The algorithm is based on information theoretic principles. The algorithm reduces the search space by many orders of…

Artificial Intelligence · Computer Science 2013-02-08 Matthew S. Collins , Jonathan Oliver

The goal of partial-order methods is to accelerate the exploration of concurrent systems by examining only a representative subset of all possible runs. The stateful approach builds a transition system with representative runs, while the…

Logic in Computer Science · Computer Science 2024-11-27 Frédéric Herbreteau , Sarah Larroze-Jardiné , Gérald Point , Igor Walukiewicz

Sorting is one of the most used and well investigated algorithmic problem [1]. Traditional postulation supposes the sorting data archived, and the elementary operation as comparisons of two numbers. In a view of appearance of new processors…

Data Structures and Algorithms · Computer Science 2011-07-22 Hakob Aslanyan

This paper presents the first step of a wider research effort to apply tree automata completion to the static analysis of functional programs. Tree Automata Completion is a family of techniques for computing or approximating the set of…

Logic in Computer Science · Computer Science 2014-10-14 Thomas Genet

One central issue in the formal design and analysis of reactive systems is the notion of refinement that asks whether all behaviors of the implementation is allowed by the specification. The local interpretation of behavior leads to the…

Logic in Computer Science · Computer Science 2012-06-22 Krishnendu Chatterjee , Siddhesh Chaubal , Pritish Kamath

We introduce the concept of knowledge states; many well-known algorithms can be viewed as knowledge state algorithms. The knowledge state approach can be used to to construct competitive randomized online algorithms and study the tradeoff…

Data Structures and Algorithms · Computer Science 2007-05-23 Wolfgang Bein , Lawrence L. Larmore , Rüdiger Reischuk

Shortcuts to adiabaticity (STA) are fast routes to the final results of slow, adiabatic changes of the controlling parameters of a system. The shortcuts are designed by a set of analytical and numerical methods suitable for different…

Quantum Physics · Physics 2019-11-11 D. Guéry-Odelin , A. Ruschhaupt , A. Kiely , E. Torrontegui , S. Martínez-Garaot , J. G. Muga

Network topology has significant impacts on operational performance of power systems. While extensive research efforts have been devoted to optimization of network topology for improving various system performances, the problem of how to…

Systems and Control · Electrical Eng. & Systems 2022-08-23 Tong Han , David J. Hill , Yue Song

This paper presents a novel method for transient stability analysis (TSA) that circumvents the limitations of sequential numerical integration and energy functions. The proposed method begins by constructing a trajectory-dependent stability…

Systems and Control · Electrical Eng. & Systems 2025-11-18 Wenhao Wu , Dan Wu , Bin Wang , Jiabing Hu

This paper proposes several algorithms and their Cellular Automata Machine (CAM) for drawing the State Transition Diagram (STD) of an arbitrary Cellular Automata (CA) Rule (any neighborhood, uniform/ hybrid and null/ periodic boundary) and…

Cellular Automata and Lattice Gases · Physics 2008-11-11 Sudhakar Sahoo , Pabitra Pal Choudhury

A novel class of hybrid quantum-classical algorithms based on the variational approach have recently emerged from separate proposals addressing, for example, quantum chemistry and combinatorial problems. These algorithms provide an…

Quantum Physics · Physics 2017-01-09 Gian Giacomo Guerreschi , Mikhail Smelyanskiy

Statistical static timing analysis (SSTA) is studied from the point of view of mathematical optimization. We present two formulations of the problem of finding the critical path delay distribution that were not known before: (i) a…

Optimization and Control · Mathematics 2023-10-03 Adam Bosak , Dmytro Mishagli , Jakub Marecek

This paper provides a new way of developing the fast iterative shrinkage/thresholding algorithm (FISTA) that is widely used for minimizing composite convex functions with a nonsmooth term such as the $\ell_1$ regularizer. In particular,…

Optimization and Control · Mathematics 2019-06-14 Donghwan Kim , Jeffrey A. Fessler

Algorithmic stability is a central concept in statistics and learning theory that measures how sensitive an algorithm's output is to small changes in the training data. Stability plays a crucial role in understanding generalization,…

Statistics Theory · Mathematics 2026-01-21 Abhinav Chakraborty , Yuetian Luo , Rina Foygel Barber

The ``fast iterative shrinkage-thresholding algorithm'', a.k.a. FISTA, is one of the most widely used algorithms in the literature. However, despite its optimal theoretical $O(1/k^2)$ convergence rate guarantee, oftentimes in practice its…

Optimization and Control · Mathematics 2018-07-12 Jingwei Liang , Carola-Bibiane Schönlieb

Non-differentiable and constrained optimization play a key role in machine learning, signal and image processing, communications, and beyond. For high-dimensional minimization problems involving large datasets or many unknowns, the…

Numerical Analysis · Computer Science 2016-12-30 Tom Goldstein , Christoph Studer , Richard Baraniuk

Recently, it has been recognized that phase transitions play an important role in the probabilistic analysis of combinatorial optimization problems. However, there are in fact many other relations that lead to close ties between computer…

Statistical Mechanics · Physics 2007-05-23 O. C. Martin , R. Monasson , R. Zecchina

Mutation is one of the most important stages of the genetic algorithm because of its impact on the exploration of global optima, and to overcome premature convergence. There are many types of mutation, and the problem lies in selection of…