中文
相关论文

相关论文: Improving Convergence Rate Of IC3

200 篇论文

Iterative Learning Control (ILC) can achieve perfect tracking performance for mechatronic systems. The aim of this paper is to present an ILC design tutorial for industrial mechatronic systems. First, a preliminary analysis reveals the…

系统与控制 · 电气工程与系统科学 2020-05-05 Tom Oomen

A quantum trajectory describes the evolution of a quantum system undergoing indirect measurement. In the discrete-time setting, the state of the system is updated by applying Kraus operators according to the measurement results. From an…

量子物理 · 物理学 2022-04-04 Maël Bompais , Nina H. Amini , Clément Pellegrini

In this paper we propose a new iterative algorithm to solve the fair PCA (FPCA) problem. We start with the max-min fair PCA formulation originally proposed in [1] and derive a simple and efficient iterative algorithm which is based on the…

机器学习 · 统计学 2023-05-11 Prabhu Babu , Petre Stoica

In dimensionality reduction problems, the adopted technique may produce disparities between the representation errors of different groups. For instance, in the projected space, a specific class can be better represented in comparison with…

We develop a family of reformulations of an arbitrary consistent linear system into a stochastic problem. The reformulations are governed by two user-defined parameters: a positive definite matrix defining a norm, and an arbitrary discrete…

数值分析 · 数学 2020-01-27 Peter Richtárik , Martin Takáč

In diffusion based molecular communication, the intersymbol interference (ISI) is an important reason for system performance degradation, which is caused by the random movement, out-of-order arrival and indistinguishability of the…

信息论 · 计算机科学 2019-01-01 Hui Li , Qingchao Li

Cyclic coordinate descent is a classic optimization method that has witnessed a resurgence of interest in machine learning. Reasons for this include its simplicity, speed and stability, as well as its competitive performance on $\ell_1$…

机器学习 · 计算机科学 2015-03-17 Ankan Saha , Ambuj Tewari

An intriguing property of the Transformer is its ability to perform in-context learning (ICL), where the Transformer can solve different inference tasks without parameter updating based on the contextual information provided by the…

机器学习 · 计算机科学 2025-11-18 Renpu Liu , Ruida Zhou , Cong Shen , Jing Yang

In this paper, we demonstrate that in many NP-complete variants of the stable matching problem, such as the Stable Hypergraph Matching problem, the Stable Multicommodity Flow problem, and the College Admission problem with common quotas, a…

计算机科学与博弈论 · 计算机科学 2025-02-11 Gergely Csáji

This paper is concerned with convergence analysis for the mirror descent (MD) method, a well-known algorithm in convex optimization. An analysis framework via integral quadratic constraints (IQCs) is constructed to analyze the convergence…

最优化与控制 · 数学 2022-09-12 Mengmou Li , Khaled Laib , Ioannis Lestas

Principal component analysis (PCA), a ubiquitous dimensionality reduction technique in signal processing, searches for a projection matrix that minimizes the mean squared error between the reduced dataset and the original one. Since…

机器学习 · 计算机科学 2022-08-25 Guilherme Dean Pelegrina , Leonardo Tomazeli Duarte

Autonomous systems use extensively learning-enabled components such as deep neural networks (DNNs) for prediction and decision making. In this paper, we utilize a feedback loop between learning-enabled components used for classification and…

机器学习 · 计算机科学 2021-10-08 Dimitrios Boursinos , Xenofon Koutsoukos

A quasi one--dimensional system of trapped, repulsively interacting atoms (e.g., an ion chain) exhibits a structural phase transition from a linear chain to a zigzag structure, tuned by reducing the transverse trap potential or increasing…

统计力学 · 物理学 2011-04-11 Efrat Shimshoni , Giovanna Morigi , Shmuel Fishman

This study investigates a powerful model, targeted to subjective assessments, based on pairwise comparisons. It provides a proof that a distance-based inconsistency reduction transforms an inconsistent pairwise comparisons (PC) matrix into…

离散数学 · 计算机科学 2015-05-08 Waldemar W. Koczkodaj , Jacek Szybowski

Convergence problems in coupled-cluster iterations are discussed, and a new iteration scheme is proposed. Whereas the Jacobi method inverts only the diagonal part of the large matrix of equation coefficients, we invert a matrix which also…

化学物理 · 物理学 2009-11-06 N. Mosyagin , E. Eliav , U. Kaldor

The realization of fault-tolerant quantum computers hinges on the construction of high-speed, high-accuracy, real-time decoding systems. The persistent challenge lies in the fundamental trade-off between speed and accuracy: efforts to…

量子物理 · 物理学 2025-10-30 Riki Toshio , Kaito Kishi , Jun Fujisaki , Hirotaka Oshima , Shintaro Sato , Keisuke Fujii

Iterative hard thresholding (IHT) has gained in popularity over the past decades in large-scale optimization. However, convergence properties of this method have only been explored recently in non-convex settings. In matrix completion,…

最优化与控制 · 数学 2023-01-11 Trung Vu , Evgenia Chunikhina , Raviv Raich

Many optimization problems of interest are known to be intractable, and while there are often heuristics that are known to work on typical instances, it is usually not easy to determine a posteriori whether the optimal solution was found.…

最优化与控制 · 数学 2015-09-03 Afonso S. Bandeira

Data replication is essential to ensure reliability, availability and fault-tolerance of massive distributed applications over large scale systems such as the Internet. However, these systems are prone to partitioning, which by Brewer's CAP…

分布式、并行与集群计算 · 计算机科学 2015-01-12 Matthieu Perrin , Achour Mostéfaoui , Claude Jard

In this article we address the problem of automatic answer checking in interactive learning systems that support mathematical notation. This problem consists of the problem of establishing identities in formal mathematical systems and hence…

其他计算机科学 · 计算机科学 2016-02-02 Vladimir G. Danilov , Ilya S. Turuntaev