English
Related papers

Related papers: Accelerated Multiple Precision Direct Method and M…

200 papers

ABCpy is a highly modular scientific library for Approximate Bayesian Computation (ABC) written in Python. The main contribution of this paper is to document a software engineering effort that enables domain scientists to easily apply ABC…

We present a novel approach for accelerating AI performance by leveraging Anderson extrapolation, a vector-to-vector mapping technique based on a window of historical iterations. By identifying the crossover point (Fig. 1) where a mixing…

Machine Learning · Computer Science 2024-12-20 Saleem Abdul Fattah Ahmed Al Dajani , David E. Keyes

Recent development on mixed precision techniques has largely enhanced the performance of various linear algebra solvers, one of which being the solver for the least squares problem $\min_{x}\lVert b-Ax\rVert_{2}$. By transforming least…

Numerical Analysis · Mathematics 2025-09-09 Bowen Gao , Yuxin Ma , Meiyue Shao

This paper discusses the computational resolution and presents numerical results for solving affine combinations of Heaviside composite optimization problems (abbreviated as A-HSCOPs) by a progressive integer programming (abbreviated as…

Optimization and Control · Mathematics 2026-05-08 Ke Zheng , Junyi Liu , Yurui Wang , Jong-Shi Pang

This applied research article explores the application of Mixed-Integer Linear Programming (MILP) to address line-balancing challenges in the garment industry, focusing on optimizing production processes under multiple constraints. By…

Optimization and Control · Mathematics 2025-04-10 Ray Wai Man Kong , Ding Ning , Theodore Ho Tin Kong

Stepwise controllable devices, such as switched capacitors or stepwise controllable loads and generators, transform the nonconvex AC optimal power flow (AC-OPF) problem into a nonconvex mixed-integer (MI) programming problem which is…

Optimization and Control · Mathematics 2025-10-13 Johannes Heid , Nils Bornhorst , Eric Tönges , Philipp Härtel , Denis Mende , Martin Braun

As CMOS scaling reaches its technological limits, a radical departure from traditional von Neumann systems, which involve separate processing and memory units, is needed in order to significantly extend the performance of today's computers.…

The von Mises-Fisher (vMF) is a well-known density model for directional random variables. The recent surge of the deep embedding methodologies for high-dimensional structured data such as images or texts, aimed at extracting salient…

Machine Learning · Computer Science 2021-02-11 Minyoung Kim

Modern computer architectures support low-precision arithmetic, which present opportunities for the adoption of mixed-precision algorithms to achieve high computational throughput and reduce energy consumption. As a growing number of…

Computation · Statistics 2024-12-02 Sahil Bhola , Karthik Duraisamy

In this work we describe an efficient implementation of a hierarchy of algorithms for the decomposition of dense matrices over the field with two elements (GF(2)). Matrix decomposition is an essential building block for solving dense…

Mathematical Software · Computer Science 2010-06-10 Martin R. Albrecht , Clément Pernet

Faults in high-performance systems are expected to be very large in the current exascale computing era. To compensate for a higher failure rate, the standard checkpoint/restart technique would need to create checkpoints at a much higher…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-15 Sarthak Joshi , Sathish Vadhiyar

We present strong mixed-integer programming (MIP) formulations for high-dimensional piecewise linear functions that correspond to trained neural networks. These formulations can be used for a number of important tasks, such as verifying…

Optimization and Control · Mathematics 2020-01-23 Ross Anderson , Joey Huchette , Will Ma , Christian Tjandraatmadja , Juan Pablo Vielma

A multiplier, as a key component in many different applications, is a time-consuming, energy-intensive computation block. Approximate computing is a practical design paradigm that attempts to improve hardware efficacy while keeping…

Hardware Architecture · Computer Science 2023-08-16 Fereshteh Karimi , Reza Faghih Mirzaee , Ali Fakeri-Tabrizi , Arman Roohi

The advent of modern data processing has led to an increasing tendency towards interdisciplinarity, which frequently involves the importation of different technical approaches. Consequently, there is an urgent need for a unified data…

Machine Learning · Computer Science 2024-06-04 Chen Zhang , Lecheng Jia , Wei Zhang , Ning Wen

In this paper, an exact method is proposed to optimize two fractional linear functions over the efficient set of a fractional multiobjective linear problem (MOILFP). This type of problems is encountered when there are two decision makers…

Optimization and Control · Mathematics 2020-03-12 Yacine Chaiblaine , Mustapha Moulaï , Yasmine Cherfaoui

We investigate a family of approximate multi-step proximal point methods, framed as implicit linear discretizations of gradient flow. The resulting methods are multi-step proximal point methods, with similar computational cost in each…

Optimization and Control · Mathematics 2025-01-15 Yushen Huang , Yifan Sun

Most exact algorithms for general partially observable Markov decision processes (POMDPs) use a form of dynamic programming in which a piecewise-linear and convex representation of one value function is transformed into another. We examine…

Artificial Intelligence · Computer Science 2013-02-08 Anthony R. Cassandra , Michael L. Littman , Nevin Lianwen Zhang

Given the importance of floating-point~(FP) performance in numerous domains, several new variants of FP and its alternatives have been proposed (e.g., Bfloat16, TensorFloat32, and Posits). These representations do not have correctly rounded…

Mathematical Software · Computer Science 2020-11-23 Jay P. Lim , Mridul Aanjaneya , John Gustafson , Santosh Nagarakatte

We propose a novel method, namely the accelerated mirror-prox (AMP) method, for computing the weak solutions of a class of deterministic and stochastic monotone variational inequalities (VI). The main idea of this algorithm is to…

Optimization and Control · Mathematics 2014-03-18 Yunmei Chen , Guanghui Lan , Yuyuan Ouyang

High-order solvers for compressible flows are vital in scientific applications. Adaptive mesh refinement (AMR) is a key technique for reducing computational cost by concentrating resolution in regions of interest. In this work, we develop…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-08 Anjiang Wei , Hang Song , Mert Hidayetoglu , Elliott Slaughter , Sanjiva K. Lele , Alex Aiken