Search Results - "branch and prune algorithms"

An autonomic parallel strategy for exhaustive search tree algorithms on shared or heterogeneous systems by Passos, Fernanda G. O., Rebello, Vinod E. F.

“…Summary Backtracking branch‐and‐prune (BP) algorithms and their variants are exhaustive search tree techniques widely employed to solve optimization problems…”
Get full text

Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems by Freihold, Mareile, Hofer, Eberhard

“…Interval arithmetic techniques such as ValEncIA-IVP allow calculating guaranteed enclosures of all reachable states of continuous-time dynamical systems with…”
Get full text

Clifford algebra and discretizable distance geometry by Alves, R., Lavor, C., Souza, C., Souza, M.

“…Protein structure calculations using nuclear magnetic resonance (NMR) experiments are one of the most important applications of distance geometry. The…”
Get full text

Robust Design Optimization of Permanent Magnet Linear Synchronous Motor Based on Quantified Constraint Satisfaction Problem by Dong, Fei, Zhao, Jiwen, Song, Juncai, Zhao, Jing, Yao, Zheng

“…This study focuses on the robust design optimization of permanent magnet linear synchronous motors (PMLSM) considering the effect of uncertainties (noise…”
Get full text

A Branch-and-Prune algorithm for the Molecular Distance Geometry Problem by Liberti, Leo, Lavor, Carlile, Maculan, Nelson

“…The Molecular Distance Geometry Problem consists in finding the positions in of the atoms of a molecule, given some of the inter‐atomic distances. We show that…”
Get full text

An algorithm to enumerate all possible protein conformations verifying a set of distance constraints by Cassioli, Andrea, Bardiaux, Benjamin, Bouvier, Guillaume, Mucherino, Antonio, Alves, Rafael, Liberti, Leo, Nilges, Michael, Lavor, Carlile, Malliavin, Thérèse E

“…Background The determination of protein structures satisfying distance constraints is an important problem in structural biology. Whereas the most common…”
Get full text

Exact algorithms for the feedback length minimisation problem by Shang, Zhen, Zhao, Songzheng, Qian, Yanjun, Lin, Jun

“…Planning the sequence of interrelated activities of production and manufacturing systems has become a challenging issue due to the existence of cyclic…”
Get full text

Partial design space exploration strategies applied in preliminary design by Richard de Latour, Thomas, Chenouard, Raphaël, Granvilliers, Laurent

“…During preliminary phases in product design, on the basis of strong physical hypotheses (e.g. isotherm, steady state), physical and functional requirements can…”
Get full text

A double-decomposition based parallel exact algorithm for the feedback length minimization problem by Shang, Zhen, Hao, Jin-Kao, Ma, Fei

“…Product development projects usually contain many interrelated activities with complex information dependences, which induce activity rework, project delay and…”
Get full text

Oriented Conformal Geometric Algebra and the Molecular Distance Geometry Problem by Lavor, Carlile, Alves, Rafael

“…The problem of 3D protein structure determination using distance information from nuclear magnetic resonance (NMR) experiments is a classical problem in…”
Get full text

Geometric Algebra to Model Uncertainties in the Discretizable Molecular Distance Geometry Problem by Alves, Rafael, Lavor, Carlile

“…The discretizable molecular distance geometry problem (DMDGP) is related to the determination of 3D protein structure using distance information detected by…”
Get full text

A new framework for sharp and efficient resolution of NCSP with manifolds of solutions by Goldsztejn, Alexandre, Granvilliers, Laurent

“…When numerical CSPs are used to solve systems of n equations with n variables, the preconditioned interval Newton operator plays two key roles: First it allows…”
Get full text