English
Related papers

Related papers: Branch-and-Bound Method for Just-in-Time Optimizat…

200 papers

When statistical inversion of a lag profile is used to determine an incoherent scatter target, the posterior variance of the estimated target can be used to determine how well a certain set of transmission codes perform. In this work we…

Data Analysis, Statistics and Probability · Physics 2015-05-13 Juha Vierinen , Markku S. Lehtinen , Mikko Orispaa , Ilkka I. Virtanen

The problem of constrained coverage path planning involves a robot trying to cover maximum area of an environment under some constraints that appear as obstacles in the map. Out of the several coverage path planning methods, we consider…

Robotics · Computer Science 2017-08-11 Ankit Manerikar , Debasmit Das , Pranay Banerjee

One powerful technique to solve NP-hard optimization problems in practice is branch-and-reduce search---which is branch-and-bound that intermixes branching with reductions to decrease the input size. While this technique is known to be very…

Data Structures and Algorithms · Computer Science 2018-10-26 Sebastian Lamm , Christian Schulz , Darren Strash , Robert Williger , Huashuo Zhang

Linear regression is a fundamental modeling tool in statistics and related fields. In this paper, we study an important variant of linear regression in which the predictor-response pairs are partially mismatched. We use an optimization…

Optimization and Control · Mathematics 2022-11-01 Rahul Mazumder , Haoyue Wang

When solving numerical constraints such as nonlinear equations and inequalities, solvers often exploit pruning techniques, which remove redundant value combinations from the domains of variables, at pruning steps. To find the complete…

Artificial Intelligence · Computer Science 2007-05-23 Xuan-Ha Vu , Marius-Calin Silaghi , Djamila Sam-Haroud , Boi Faltings

In this paper, we present a novel nonlinear programming-based approach to fine-tune pre-trained neural networks to improve robustness against adversarial attacks while maintaining high accuracy on clean data. Our method introduces…

Machine Learning · Computer Science 2024-10-28 Shudian Zhao , Jan Kronqvist

Many fixed-parameter tractable algorithms using a bounded search tree have been repeatedly improved, often by describing a larger number of branching rules involving an increasingly complex case analysis. We introduce a novel and general…

Discrete Mathematics · Computer Science 2015-05-19 James Nastos , Yong Gao

Antenna arrays are widely used in wireless communication, radar systems, radio astronomy, and military defense to enhance signal strength, directivity, and interference suppression. We introduce a deep learning-based optimization approach…

Machine Learning · Computer Science 2025-04-25 David Lu , Lior Maman , Jackson Earls , Amir Boag , Pierre Baldi

The demand for high-performance computing in machine learning and artificial intelligence has led to the development of specialized hardware accelerators like Tensor Processing Units (TPUs), Graphics Processing Units (GPUs), and…

Machine Learning · Computer Science 2025-09-08 Thore Gerlach , Nico Piatkowski

We consider the elastic scattering problem by multiple disjoint arcs or \emph{cracks} in two spatial dimensions. A key aspect of our approach lies in the parametric description of each arc's shape, which is controlled by a potentially…

Numerical Analysis · Mathematics 2024-03-19 Fernando Henríquez , José Pinto

This paper presents theoretical and practical results for the bin packing problem with scenarios, a generalization of the classical bin packing problem which considers the presence of uncertain scenarios, of which only one is realized. For…

Robust 3D object detection in adverse weather is highly challenging due to the varying reliability of different sensors. While existing LiDAR-4D radar fusion methods improve robustness, they predominantly rely on fixed or weakly adaptive…

Computer Vision and Pattern Recognition · Computer Science 2026-04-08 Hongsheng Li , Lingfeng Zhang , Zexian Yang , Liang Li , Rong Yin , Xiaoshuai Hao , Wenbo Ding

The submodular knapsack problem (SKP), which seeks to maximize a submodular set function by selecting a subset of elements within a given budget, is an important discrete optimization problem. The majority of existing approaches to solving…

Data Structures and Algorithms · Computer Science 2025-07-16 Yimin Hao , Yi Zhou , Chao Xu , Zhang-Hua Fu

The beam alignment (BA) problem consists in accurately aligning the transmitter and receiver beams to establish a reliable communication link in wireless communication systems. Existing BA methods search the entire beam space to identify…

Information Theory · Computer Science 2022-10-25 Yi Wei , Zixin Zhong , Vincent Y. F. Tan

In this thesis, I explore the possibilities of conducting Bayesian optimization techniques in high dimensional domains. Although high dimensional domains can be defined to be between hundreds and thousands of dimensions, we will primarily…

Machine Learning · Computer Science 2020-10-09 David Yenicelik

Background: In the Nearest-Neighbor Thermodynamic Model, a standard approach for RNA secondary structure prediction, the energy of the multiloops is modeled using a linear entropic penalty governed by three branching parameters. Although…

Biomolecules · Quantitative Biology 2025-10-15 Svetlana Poznanović , Owen Cardwell , Christine Heitsch

A linear program with linear complementarity constraints (LPCC) requires the minimization of a linear objective over a set of linear constraints together with additional linear complementarity constraints. This class has emerged as a…

Optimization and Control · Mathematics 2018-02-09 Bin Yu , John E. Mitchell , Jong-Shi Pang

Given a parametrized family of finite frames, we consider the optimization problem of finding the member of this family whose coefficient space most closely contains a given data vector. This nonlinear least squares problem arises naturally…

Functional Analysis · Mathematics 2012-02-06 Matthew Fickus , Dustin G. Mixon

Phase unwrapping is a key problem in many coherent imaging systems, such as synthetic aperture radar (SAR) interferometry. A general formulation for redundant integration of finite differences for phase unwrapping (Costantini et al., 2010)…

Other Computer Science · Computer Science 2018-05-04 Ravi Lanka

We address the problem of structured covariance matrix estimation for radar space-time adaptive processing (STAP). A priori knowledge of the interference environment has been exploited in many previous works to enable accurate estimators…

Methodology · Statistics 2016-02-18 Bosung Kang , Vishal Monga , Muralidhar Rangaswamy , Yuri I. Abramovich