English
Related papers

Related papers: New heuristic to choose a cylindrical algebraic de…

200 papers

By Emerging huge databases and the need to efficient learning algorithms on these datasets, new problems have appeared and some methods have been proposed to solve these problems by selecting efficient features. Feature selection is a…

Computer Vision and Pattern Recognition · Computer Science 2016-01-21 Mitra Montazeri , Mahdieh Soleymani Baghshah , Aliakbar Niknafs

Constraint programming (CP) is a powerful technique for solving constraint satisfaction and optimization problems. In CP solvers, the variable ordering strategy used to select which variable to explore first in the solving process has a…

Artificial Intelligence · Computer Science 2023-04-13 Yuan Sun , Su Nguyen , Dhananjay Thiruvady , Xiaodong Li , Andreas T. Ernst , Uwe Aickelin

We investigate learning heuristics for domain-specific planning. Prior work framed learning a heuristic as an ordinary regression problem. However, in a greedy best-first search, the ordering of states induced by a heuristic is more…

Artificial Intelligence · Computer Science 2016-08-04 Caelan Reed Garrett , Leslie Pack Kaelbling , Tomas Lozano-Perez

Network operation relies on heuristics to solve many tasks rapidly and efficiently across the protocol stack. These heuristics are the result of thorough human-driven design rooted in expert knowledge of the target system and problem.…

Networking and Internet Architecture · Computer Science 2026-05-28 Reza Namvar , José Gallego , Jose A. Ayala-Romero , Livia Elena Chatzieleftheriou , Andres Garcia-Saavedra , Albert Banchs , Marco Fiore

We show that the algorithm to extract diverse M -solutions from a Conditional Random Field (called divMbest [1]) takes exactly the form of a Herding procedure [2], i.e. a deterministic dynamical system that produces a sequence of hypotheses…

Computer Vision and Pattern Recognition · Computer Science 2017-01-31 Ece Ozkan , Gemma Roig , Orcun Goksel , Xavier Boix

Heuristic algorithms have shown a good ability to solve a variety of optimization problems. Stockpile blending problem as an important component of the mine scheduling problem is an optimization problem with continuous search space…

Neural and Evolutionary Computing · Computer Science 2021-02-11 Yue Xie , Aneta Neumann , Frank Neumann

The way heuristic optimizers are designed has evolved over the decades, as computing power has increased. Such has been the case for the Linear Ordering Problem (LOP), a field in which trajectory-based strategies led the way during the…

Neural and Evolutionary Computing · Computer Science 2024-10-15 Lázaro Lugo , Carlos Segura , Gara Miranda

Component-Based Development (CBD) is a popular approach to mitigating the costs of creating software systems. However, it is not clear to what extent the core component selection and adaptation activities of CBD can be implemented to…

Software Engineering · Computer Science 2022-05-11 Todd Wareham , Marieke Sweers

We propose an algorithm for the computational homogenization of locally periodic hyperelastic structures undergoing large deformations due to external quasi-static loading. The algorithm performs clustering of macroscopic deformations into…

Numerical Analysis · Mathematics 2026-02-26 Vladimír Lukeš , Eduard Rohan

An improved neighbor list algorithm is proposed to reduce unnecessary interatomic distance calculations in molecular simulations. It combines the advantages of Verlet table and cell linked list algorithms by using cell decomposition…

Computational Physics · Physics 2009-11-10 Zhenhua Yao , Jian-Sheng Wang , Gui-Rong Liu , Min Cheng

Chordal and factor-width decomposition methods for semidefinite programming and polynomial optimization have recently enabled the analysis and control of large-scale linear systems and medium-scale nonlinear systems. Chordal decomposition…

Optimization and Control · Mathematics 2021-11-23 Yang Zheng , Giovanni Fantuzzi , Antonis Papachristodoulou

The emergence of Big Data has enabled new research perspectives in the discrete choice community. While the techniques to estimate Machine Learning models on a massive amount of data are well established, these have not yet been fully…

Optimization and Control · Mathematics 2020-12-23 Gael Lederrey , Virginie Lurkin , Tim Hillel , Michel Bierlaire

Simulations of large scale dynamical systems in multi-query or real-time contexts require efficient surrogate modelling techniques, as e.g. achieved via Model Order Reduction (MOR). Recently, symplectic methods like the complex singular…

Numerical Analysis · Mathematics 2023-03-08 Robin Herkert , Patrick Buchfink , Bernard Haasdonk , Johannes Rettberg , Jörg Fehr

In this paper, a new method for dynamic balancing of double four-bar crank slider mechanism by meta- heuristic-based optimization algorithms is proposed. For this purpose, a proper objective function which is necessary for balancing of this…

Artificial Intelligence · Computer Science 2013-10-09 Habib Emdadi , Mahsa Yazdanian , Mir Mohammad Ettefagh , Mohammad-Reza Feizi-Derakhshi

Due to the emergence of highly dynamic multimedia applications there is a need for flexible platforms and run-time scheduling support for embedded systems. Dynamic Reconfigurable Hardware (DRHW) is a promising candidate to provide this…

Hardware Architecture · Computer Science 2011-11-09 Javier Resano , Daniel Mozos , Francky Catthoor

Feedback motion planning over cell decompositions provides a robust method for generating collision-free robot motion with formal guarantees. However, existing algorithms often produce paths with unnecessary bending, leading to slower…

Robotics · Computer Science 2026-04-16 Aref Amiri , Steven M. LaValle

We introduce high-order dynamical decoupling strategies for open system adiabatic quantum computation. Our numerical results demonstrate that a judicious choice of high-order dynamical decoupling method, in conjunction with an encoding…

Quantum Physics · Physics 2013-04-23 Gregory Quiroz , Daniel A. Lidar

Sparse matrix ordering is a vital optimization technique often employed for solving large-scale sparse matrices. Its goal is to minimize the matrix bandwidth by reorganizing its rows and columns, thus enhancing efficiency. Conventional…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-14 Tao Tang , Youfu Jiang , Yingbo Cui , Jianbin Fang , Peng Zhang , Lin Peng , Chun Huang

Safety is extremely important for urban flights of autonomous Unmanned Aerial Vehicles (UAVs). Risk-aware path planning is one of the most effective methods to guarantee the safety of UAVs. This type of planning can be represented as a…

Robotics · Computer Science 2024-11-22 Jun Xiang , Jun Chen

This research investigates a multi-product capacitated lot-sizing and scheduling problem incorporating a novel learning effect, namely the period-based learning effect. This is inspired by a real case in a core analysis laboratory under a…

Optimization and Control · Mathematics 2025-01-10 Mohammad Rohaninejad , Behdin Vahedi-Nouri , Reza Tavakkoli-Moghaddam , Zdeněk Hanzálek