English
Related papers

Related papers: On the Error Resilience of Ordered Binary Decision…

200 papers

The distributed operating room (OR) scheduling problem aims to find an assignment of surgeries to ORs across collaborating hospitals that share their waiting lists and ORs. We propose a stochastic extension of this problem where surgery…

Optimization and Control · Mathematics 2020-10-06 Cheng Guo , Merve Bodur , Dionne M. Aleman , David R. Urbach

Ensuring reliable performance in situations outside the Operational Design Domain (ODD) remains a primary challenge in devising resilient autonomous systems. We explore this challenge by introducing an approach for adapting probabilistic…

Logic in Computer Science · Computer Science 2026-04-10 Gricel Vázquez , Calum Imrie , Sepeedeh Shahbeigi , Nawshin Mannan Proma , Tian Gan , Victoria J Hodge , John Molloy , Simos Gerasimou

Nonsmooth composite optimization with orthogonality constraints has a wide range of applications in statistical learning and data science. However, this problem is challenging due to its nonsmooth objective and computationally expensive…

Optimization and Control · Mathematics 2026-05-15 Ganzhao Yuan

In this paper, we study distributed storage problems over unidirectional ring networks. A lower bound on the reconstructing bandwidth to recover total original data for each user is proposed, and it is achievable for arbitrary parameters.…

Information Theory · Computer Science 2014-01-22 Jiyong Lu , Xuan Guang , Fang-Wei Fu

A number of problems in relational Artificial Intelligence can be viewed as Stochastic Constraint Optimization Problems (SCOPs). These are constraint optimization problems that involve objectives or constraints with a stochastic component.…

Artificial Intelligence · Computer Science 2018-07-04 Anna L. D. Latour , Behrouz Babaki , Siegfried Nijssen

A robust positioning pattern is a large array that allows a mobile device to locate its position by reading a possibly corrupted small window around it. In this paper, we provide constructions of binary positioning patterns, equipped with…

Information Theory · Computer Science 2020-01-01 Yeow Meng Chee , Duc Tu Dao , Han Mao Kiah , San Ling , Hengjia Wei

An adaptive scheme to generate reduced-order models for parametric nonlinear dynamical systems is proposed. It aims to automatize the POD-Greedy algorithm combined with empirical interpolation. At each iteration, it is able to adaptively…

Numerical Analysis · Mathematics 2021-10-13 Sridhar Chellappa , Lihong Feng , Peter Benner

Neural networks are universal approximators and are studied for their use in solving differential equations. However, a major criticism is the lack of error bounds for obtained solutions. This paper proposes a technique to rigorously…

Computational Engineering, Finance, and Science · Computer Science 2023-06-07 Shuheng Liu , Xiyue Huang , Pavlos Protopapas

Storage systems have a strong need for substantially improving their error correction capabilities, especially for long-term storage where the accumulating errors can exceed the decoding threshold of error-correcting codes (ECCs). In this…

Information Theory · Computer Science 2018-11-12 Pulakesh Upadhyaya , Anxiao , Jiang

In this paper, we propose a pre-configured error pattern ordered statistics decoding (PEPOSD) algorithm and discuss its application to short cyclic redundancy check (CRC)-polar codes. Unlike the traditional OSD that changes the most…

Information Theory · Computer Science 2023-09-26 Xuanyu Li , Kai Niu , Yuxin Han , Jincheng Dai , Zhiyuan Tan , Zhiheng Guo

Regenerating codes are efficient methods for distributed storage in storage networks, where node failures are common. They guarantee low cost data reconstruction and repair through accessing only a predefined number of arbitrarily chosen…

Information Theory · Computer Science 2017-11-09 Kaveh Mahdaviani , Ashish Khisti , Soheil Mohajer

Deep neural networks are a family of computational models that are naturally suited to the analysis of hierarchical data such as, for instance, sequential data with the use of recurrent neural networks. In the other hand, ordinal regression…

Machine Learning · Statistics 2021-01-08 Louis Falissard , Karim Bounebache , Grégoire Rey

In this paper we study complexity of an extension of ordered binary decision diagrams (OBDDs) called $c$-OBDDs on CNFs of bounded (primal graph) treewidth. In particular, we show that for each $k$ there is a class of CNFs of treewidth $k…

Computational Complexity · Computer Science 2015-10-13 Igor Razgon

We follow up on the idea of Lars Arge to rephrase the Reduce and Apply procedures of Binary Decision Diagrams (BDDs) as iterative I/O-efficient algorithms. We identify multiple avenues to simplify and improve the performance of his proposed…

Data Structures and Algorithms · Computer Science 2026-03-25 Steffan Christ Sølvsten , Jaco van de Pol , Anna Blume Jakobsen , Mathias Weller Berg Thomasen

When evaluating the performance of a pre-trained model transferred to a downstream task, it is imperative to assess not only the in-distribution (ID) accuracy of the downstream model but also its capacity to generalize and identify…

Machine Learning · Computer Science 2024-04-02 Andrew Geng , Pin-Yu Chen

Computing the reliability of a time-varying network, taking into account its dynamic nature, is crucial for networks that change over time, such as space networks, vehicular ad-hoc networks, and drone networks. These networks are modeled…

Data Structures and Algorithms · Computer Science 2025-04-03 Yu Nakahata , Shun Arizono , Shoji Kasahara

We consider optimal experimental design (OED) for Bayesian inverse problems, where the experimental design variables have a certain multiway structure. Given $d$ different experimental variables with $m_i$ choices per design variable $1 \le…

Numerical Analysis · Mathematics 2025-06-03 Hugo Díaz , Arvind K. Saibaba , Srinivas Eswar , Vishwas Rao , Zichao Wendy Di

Neural ordinary differential equations (ODEs) have been attracting increasing attention in various research domains recently. There have been some works studying optimization issues and approximation capabilities of neural ODEs, but their…

Machine Learning · Computer Science 2022-03-04 Hanshu Yan , Jiawei Du , Vincent Y. F. Tan , Jiashi Feng

The structure of the reconstruction algorithm OPED permits a natural way to generate additional data, while still preserving the essential feature of the algorithm. This provides a method for image reconstruction for limited angel problems.…

Numerical Analysis · Mathematics 2008-11-04 Yuan Xu , Oleg Tischenko

Mixed integer sets have a strong modeling capacity to describe practical systems. Nevertheless, incorporating a mixed integer set often renders an optimization formulation drastically more challenging to compute. In this paper, we study how…

Optimization and Control · Mathematics 2023-12-22 Wei Wang , Bo Zeng