English
Related papers

Related papers: Constant RMR Recoverable Mutex under System-wide C…

200 papers

Mutually connected components (MCCs) play an important role as a measure of resilience in the study of interdependent networks. Despite their importance, an efficient algorithm to obtain the statistics of all MCCs during the removal of…

Statistical Mechanics · Physics 2015-02-25 S. Hwang , S. Choi , Deokjae Lee , B. Kahng

In this paper, we present novel randomized algorithms for solving saddle point problems whose dual feasible region is given by the direct product of many convex sets. Our algorithms can achieve an ${\cal O}(1/N)$ and ${\cal O}(1/N^2)$ rate…

Optimization and Control · Mathematics 2015-11-16 Cong Dang , Guanghui Lan

Constrained decision-making is essential for designing safe policies in real-world control systems, yet simulated environments often fail to capture real-world adversities. We consider the problem of learning a policy that will maximize the…

Machine Learning · Computer Science 2026-02-10 Sourav Ganguly , Kishan Panaganti , Arnob Ghosh , Adam Wierman

Among the hardest tasks for humans are those found in competitive programming where problems require sophisticated algorithmic thinking, puzzle solving, and the creation of effective code. As a domain to assess language models (LMs), it has…

Computation and Language · Computer Science 2025-09-03 Md Tanzib Hosain , Md Kishor Morol

Automated driving functions at high levels of autonomy operate without driver supervision. The system itself must provide suitable responses in case of hardware element failures. This requires fault-tolerant approaches using domain ECUs and…

Computers and Society · Computer Science 2022-10-11 Tim Maurice Julitz , Antoine Tordeux , Manuel Löwer

We present $O(\log\log n)$-round algorithms in the Massively Parallel Computation (MPC) model, with $\tilde{O}(n)$ memory per machine, that compute a maximal independent set, a $1+\epsilon$ approximation of maximum matching, and a…

Data Structures and Algorithms · Computer Science 2022-03-21 Mohsen Ghaffari , Themis Gouleakis , Christian Konrad , Slobodan Mitrović , Ronitt Rubinfeld

Large language models (LLMs) have demonstrated impressive capabilities in code generation, where the natural language prompt plays a crucial role in conveying user intent to the model. However, prior studies have shown that LLMs are highly…

Software Engineering · Computer Science 2025-12-11 Shuhan Liu , Xing Hu , Kerui Huang , Xiaohu Yang , David Lo , Xin Xia

In recent years, the random vector functional link (RVFL) network has gained significant popularity in hyperspectral image (HSI) classification due to its simplicity, speed, and strong generalization performance. However, despite these…

Machine Learning · Computer Science 2025-03-11 A. Quadir , M. Tanveer

We introduce a new approach for designing Random-order Contention Resolution Schemes (RCRS) via exact solution in continuous time. Given a function $c(y):[0,1] \rightarrow [0,1]$, we show how to select each element which arrives at time $y…

Data Structures and Algorithms · Computer Science 2023-12-14 Calum MacRury , Will Ma

Model predictive control (MPC) has become a hot cake technology for various applications due to its ability to handle multi-input multi-output systems with physical constraints. The optimization solvers require considerable time, limiting…

Systems and Control · Electrical Eng. & Systems 2022-01-11 Abhijith Sharma , Chaitanya Jugade , Shreya Yawalkar , Vaishali Patne , Deepak Ingole , Dayaram Sonawane

The problem of robustly reconstructing an integer vector from its erroneous remainders appears in many applications in the field of multidimensional (MD) signal processing. To address this problem, a robust MD Chinese remainder theorem…

Signal Processing · Electrical Eng. & Systems 2023-11-21 Li Xiao , Haiye Huo , Xiang-Gen Xia

The Massively Parallel Computation (MPC) model serves as a common abstraction of many modern large-scale parallel computation frameworks and has recently gained a lot of importance, especially in the context of classic graph problems.…

Data Structures and Algorithms · Computer Science 2018-07-20 Sebastian Brandt , Manuela Fischer , Jara Uitto

We introduce MiniMax-M1, the world's first open-weight, large-scale hybrid-attention reasoning model. MiniMax-M1 is powered by a hybrid Mixture-of-Experts (MoE) architecture combined with a lightning attention mechanism. The model is…

Computation and Language · Computer Science 2025-06-17 MiniMax , : , Aili Chen , Aonian Li , Bangwei Gong , Binyang Jiang , Bo Fei , Bo Yang , Boji Shan , Changqing Yu , Chao Wang , Cheng Zhu , Chengjun Xiao , Chengyu Du , Chi Zhang , Chu Qiao , Chunhao Zhang , Chunhui Du , Congchao Guo , Da Chen , Deming Ding , Dianjun Sun , Dong Li , Enwei Jiao , Haigang Zhou , Haimo Zhang , Han Ding , Haohai Sun , Haoyu Feng , Huaiguang Cai , Haichao Zhu , Jian Sun , Jiaqi Zhuang , Jiaren Cai , Jiayuan Song , Jin Zhu , Jingyang Li , Jinhao Tian , Jinli Liu , Junhao Xu , Junjie Yan , Junteng Liu , Junxian He , Kaiyi Feng , Ke Yang , Kecheng Xiao , Le Han , Leyang Wang , Lianfei Yu , Liheng Feng , Lin Li , Lin Zheng , Linge Du , Lingyu Yang , Lunbin Zeng , Minghui Yu , Mingliang Tao , Mingyuan Chi , Mozhi Zhang , Mujie Lin , Nan Hu , Nongyu Di , Peng Gao , Pengfei Li , Pengyu Zhao , Qibing Ren , Qidi Xu , Qile Li , Qin Wang , Rong Tian , Ruitao Leng , Shaoxiang Chen , Shaoyu Chen , Shengmin Shi , Shitong Weng , Shuchang Guan , Shuqi Yu , Sichen Li , Songquan Zhu , Tengfei Li , Tianchi Cai , Tianrun Liang , Weiyu Cheng , Weize Kong , Wenkai Li , Xiancai Chen , Xiangjun Song , Xiao Luo , Xiao Su , Xiaobo Li , Xiaodong Han , Xinzhu Hou , Xuan Lu , Xun Zou , Xuyang Shen , Yan Gong , Yan Ma , Yang Wang , Yiqi Shi , Yiran Zhong , Yonghong Duan , Yongxiang Fu , Yongyi Hu , Yu Gao , Yuanxiang Fan , Yufeng Yang , Yuhao Li , Yulin Hu , Yunan Huang , Yunji Li , Yunzhi Xu , Yuxin Mao , Yuxuan Shi , Yuze Wenren , Zehan Li , Zelin Li , Zhanxu Tian , Zhengmao Zhu , Zhenhua Fan , Zhenzhen Wu , Zhichao Xu , Zhihang Yu , Zhiheng Lyu , Zhuo Jiang , Zibo Gao , Zijia Wu , Zijian Song , Zijun Sun

Deadlock detection in recursive programs that admit dynamic resource creation is extremely complex and solutions either give imprecise answers or do not scale. We define an algorithm for detecting deadlocks of "linear recursive programs" of…

Programming Languages · Computer Science 2013-10-29 Elena Giachino , Cosimo Laneve

Large Language Models (LLMs) typically generate outputs token by token using a fixed compute budget, leading to inefficient resource utilization. To address this shortcoming, recent advancements in mixture of expert (MoE) models,…

While Large Language Models (LLMs) achieve high performance on standard mathematical benchmarks, their problem-solving abilities depend on the context and textual formatting. We introduce the Robust Reasoning Benchmark (RRB), a pipeline of…

Machine Learning · Computer Science 2026-05-22 Pavel Golikov , Evgenii Opryshko , Gennady Pekhimenko , Mark C. Jeffrey

Block coherence of matrices plays an important role in analyzing the performance of block compressed sensing recovery algorithms (Bajwa and Mixon, 2012). In this paper, we characterize two block coherence metrics: worst-case and average…

Information Theory · Computer Science 2014-02-24 Robert Calderbank , Andrew Thompson , Yao Xie

We present a robust adaptive beamforming algorithm based on the worst-case criterion and the constrained constant modulus approach, which exploits the constant modulus property of the desired signal. Similarly to the existing worst-case…

Information Theory · Computer Science 2013-10-02 L. Landau , R. C. de Lamare , M. Haardt

This paper presents an efficient algorithm for the approximation of the rank-one convex hull in the context of nonlinear solid mechanics. It is based on hierarchical rank-one sequences and simultaneously provides first and second derivative…

Computational Engineering, Finance, and Science · Computer Science 2024-05-28 Maximilian Köhler , Timo Neumeier , Malte. A. Peter , Daniel Peterseim , Daniel Balzani

Despite the increasing prevalence of vector observations, computation of optimal experimental design for multi-response models has received limited attention. To address this problem within the framework of approximate designs, we introduce…

Computation · Statistics 2026-02-13 Pál Somogyi , Samuel Rosa , Radoslav Harman