Search Results - "branch and prune algorithms"

Optimal centers in branch-and-prune algorithms for univariate global optimization

Authors: T. N. Grapsa D. G. Sotiropoulos

Source: Applied Mathematics and Computation. 169:247-277

Subject Terms: optimal centers, numerical examples, global optimization, 0211 other engineering and technologies, 02 engineering and technology, 01 natural sciences, Numerical mathematical programming methods, Nonlinear programming, Polyhedral combinatorics, branch-and-bound, branch-and-cut, branch-and-bound, branch-and-prune algorithm, 0101 mathematics, optimal mean value form, pruning steps

File Description: application/xml

An autonomic parallel strategy for exhaustive search tree algorithms on shared or heterogeneous systems

Authors: Gonçalves de Oliveira Passos, Fernanda Rebello, Vinod E. F. RCIPL

Contributors: Gonçalves de Oliveira Passos, Fernanda Rebello, Vinod E. F. RCIPL

Subject Terms: Autonomic computing, Heterogeneous distributed systems, Parallel branch-and-prune algorithms, Search tree algorithms, Self-configuring parallel algorithms

File Description: application/pdf

Relation: 1532-0626

Availability: http://hdl.handle.net/10400.21/21984

Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms

Authors: Ruiz de Angulo García, Vicente Torras, Carme Ministerio de Educación y Ciencia (España) et al.

Contributors: Ruiz de Angulo García, Vicente Torras, Carme Ministerio de Educación y Ciencia (España) et al.

Source: Lecture Notes in Computer Science ISBN: 9783540749691
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)
instname
Recercat. Dipósit de la Recerca de Catalunya
Universitat Jaume I

Subject Terms: Informàtica::Automàtica i control [Àrees temàtiques de la UPC], Automation::Robots::Robot kinematics [Classificació INSPEC], Àrees temàtiques de la UPC::Informàtica::Robòtica, Classificació INSPEC::Automation, Robots -- Kinematics, Robots: Kinematics, Kinematics [Robots], 0211 other engineering and technologies, 02 engineering and technology, Cinemàtica, Robot kinematics, Automation, Classificació INSPEC::Automation::Robots::Robot kinematics, Àrees temàtiques de la UPC::Informàtica::Automàtica i control, 0202 electrical engineering, electronic engineering, information engineering, Automation [Classificació INSPEC], Informàtica::Robòtica [Àrees temàtiques de la UPC], Robots, Automatització

File Description: application/pdf; p. 864 - 871

Access URL: http://www.iri.upc.edu/people/ruiz/articulos/cp07.pdf
http://hdl.handle.net/10261/30340
http://hdl.handle.net/2117/2674
https://hdl.handle.net/2117/2674
https://upcommons.upc.edu/bitstream/2117/191176/1/poster%20%281%29.pdf
https://link.springer.com/chapter/10.1007%2F978-3-540-74970-7_65
https://www.iri.upc.edu/files/scidoc/poster.pdf
https://upcommons.upc.edu/bitstream/handle/2117/2674/doc1.pdf;sequence=1
https://rd.springer.com/chapter/10.1007/978-3-540-74970-7_65
https://digital.csic.es/handle/10261/30340

Exploiting single-cycle symmetries in branch-and-prune algorithms

Authors: Institut de Robòtica i Informàtica Industrial Universitat Politècnica de Catalunya. KRD - Cinemàtica i Disseny de Robots Universitat Politècnica de Catalunya. ROBiri - Grup de Robòtica de l'IRI et al.

Index Terms: Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Àrees temàtiques de la UPC::Informàtica::Robòtica, Automation, Robot kinematics, Classificació INSPEC::Automation::Robots::Robot kinematics, Conference report

URL: http://hdl.handle.net/2117/191176
https://link.springer.com/chapter/10.1007%2F978-3-540-74970-7_65
https://link.springer.com/chapter/10.1007%2F978-3-540-74970-7_65
info:eu-repo/grantAgreement/MEC//DPI2007-60858/ES/ANALISIS Y PLANIFICACION DEL MOVIMIENTO EN SISTEMAS ROBOTIZADOS COMPLEJOS

Exploiting single-cycle symmetries in branch-and-prune algorithms

Authors: Ministerio de Educación y Ciencia (España) Ruiz de Angulo, Vicente Torras, Carme

Index Terms: Automation, Robots: Kinematics, comunicación de congreso

URL: http://hdl.handle.net/10261/30340
Lecture Notes in Computer Science 4741
http://dx.doi.org/10.1007/978-3-540-74970-7_65

Optimal centers in branch-and-prune algorithms for univariate global optimization

Authors: D. G. Sotiropoulos T. N. Grapsa The Pennsylvania State University CiteSeerX Archives

Contributors: D. G. Sotiropoulos T. N. Grapsa The Pennsylvania State University CiteSeerX Archives

Source: http://www.math.upatras.gr/~dgs/04/ocbp_GO.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8614; http://www.math.upatras.gr/~dgs/04/ocbp_GO.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8614
http://www.math.upatras.gr/~dgs/04/ocbp_GO.pdf

A fast branch-and-prune algorithm for the position analysis of spherical mechanisms

Authors: Shabani, Arya Sarabandi, Soheil Porta Pleite, Josep Maria et al.

Contributors: Shabani, Arya Sarabandi, Soheil Porta Pleite, Josep Maria et al.

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Multi-affine polynomials, Parallel spherical robots, Forward kinematics, Position analysis, Branch-and-prune algorithms, Classificació INSPEC::Automation::Robots::Robot kinematics

File Description: 10 p.; application/pdf

Relation: https://link.springer.com/chapter/10.1007%2F978-3-030-20131-9_55; http://hdl.handle.net/2117/180995

Availability: http://hdl.handle.net/2117/180995
https://doi.org/10.1007/978-3-030-20131-9_55

Efficient and Safe Global Constraints for Handling Numerical Constraint Systems: Efficient and safe global constraints for handling numerical constraint systems

Authors: Lebbah, Yahia Michel, Claude Rueher, Michel et al.

Contributors: Lebbah, Yahia Michel, Claude Rueher, Michel et al.

Source: SIAM Journal on Numerical Analysis. 42:2076-2097

Subject Terms: constraint programming, global constraint, reformulation linearization technique, General methods in interval analysis, [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], Numerical computation of solutions to systems of equations, 0211 other engineering and technologies, 02 engineering and technology, interval arithmetic, Global methods, including homotopy approaches to the numerical solution of nonlinear equations, safe rounding, Numerical mathematical programming methods, Nonlinear programming, branch and prune algorithms, systems of equations and inequalities

File Description: application/xml

Access URL: http://www.ens-lyon.fr/LIP/Arenaire/SYMB/teams/coprin/coprin1.pdf
https://epubs.siam.org/doi/10.1137/S0036142903436174
https://hal.inria.fr/hal-00907765
https://www.i3s.unice.fr/~cpjm/papers/siam.pdf
https://locus.siam.org/doi/abs/10.1137/S0036142903436174
https://dialnet.unirioja.es/servlet/articulo?codigo=1297371
https://www-sop.inria.fr/coprin/PDF/siam2005.pdf

Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems

Authors: Freihold, Mareile Hofer, Eberhard P. Rauh, Andreas - ed. et al.

Contributors: Freihold, Mareile Hofer, Eberhard P. Rauh, Andreas - ed. et al.

Source: International Journal of Applied Mathematics and Computer Science. 19:485-499

Subject Terms: 0209 industrial biotechnology, branch and prune algorithms, identification of dynamical constraints, VALENCIA-IVP, 02 engineering and technology, Hamiltonian systems, 0101 mathematics, 01 natural sciences, consistency tests for the reduction of overestimation

Access URL: https://eudml.org/doc/207950
https://oparu.uni-ulm.de/xmlui/handle/123456789/39759?show=full
http://matwbn.icm.edu.pl/ksiazki/amc/amc19/amc1939.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.bwnjournal-article-amcv19i3p485bwm
https://dblp.uni-trier.de/db/journals/amcs/amcs19.html#FreiholdH09

Exploiting single-cycle symmetries in Branch-and-Prune algorithms

Authors: Vicente Ruiz De Angulo Carme Torras The Pennsylvania State University CiteSeerX Archives

Contributors: Vicente Ruiz De Angulo Carme Torras The Pennsylvania State University CiteSeerX Archives

Source: http://www.iri.upc.edu/people/ruiz/articulos/cp07.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.6811; http://www.iri.upc.edu/people/ruiz/articulos/cp07.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.6811
http://www.iri.upc.edu/people/ruiz/articulos/cp07.pdf

Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms.

Authors: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Source: Principles & Practice of Constraint Programming - CP 2007; 2007, p864-871, 8p

Dividindo e conquistando com simetrias em geometria de distâncias

Divinding and conquering with symmetries in distance geometry

Authors: Fidalgo, Felipe Delfini Caetano, 1987

Thesis Advisors: UNIVERSIDADE ESTADUAL DE CAMPINAS, Lavor, Carlile Campos, 1968, Costa, Sueli Irene Rodrigues, Miqueles, Eduardo Xavier Silva, Guardia, Giuliano Gadioli La, Bonates, Tibérius de Oliveira e

Source: Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.

Subject Terms: Geometria de distâncias, Simetria (Matemática), Estrutura molecular, Algoritmos branch-and-prune, Distance geometry, Symmetry (Mathematics), Molecular structure, Branch-and-prune algorithms

File Description: 168 p. : il.; application/pdf

Availability: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306799

Explorando a dualidade em geometria de distâncias

Exploring the duality on distance geometry

Authors: Rezende, Germano Abud de, 1977

Thesis Advisors: UNIVERSIDADE ESTADUAL DE CAMPINAS, Lavor, Carlile Campos, 1968, Martínez Pérez, José Mario, Tomei, Carlos, Lodwick, Weldon Alexandre, Mucherino, Antonio

Source: Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.

Subject Terms: Geometria de distâncias, Estrutura molecular, Distância euclidiana, Algoritmos branch-and-prune, Distance geometry, Molecular structure, Euclidean distance, Branch-and-prune algorithms

File Description: 85 p. : il.; application/pdf

Availability: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306801

On distance graph coloring problems.

Authors: de Freitas, Rosiane Dias, Bruno Maculan, Nelson et al.

Source: International Transactions in Operational Research; May2021, Vol. 28 Issue 3, p1213-1241, 29p, 1 Color Photograph, 13 Charts, 12 Graphs

Subject Terms: GRAPH coloring, GRAPH theory, COMBINATORIAL optimization, DISTANCES, GEOMETRIC modeling

A new optimal weapon target assignment method using an artificial fish swarm algorithm with survival evolution.

Authors: Xu, Ningjun Sun, Miaomiao Shi, Zhangsong et al.

Source: Engineering Computations; 2025, Vol. 42 Issue 7, p2694-2711, 18p

Subject Terms: MATHEMATICAL optimization, OPTIMIZATION algorithms, MILITARY planning, EVOLUTIONARY algorithms, MILITARY strategy

Workspace Analysis and Dynamic Modeling of 6-DoF Multi-Pattern Cable-Driven Hybrid Mobile Robot.

Authors: Song, Jiahao Wang, Meiqi Wu, Jiabao et al.

Source: Machines; Aug2025, Vol. 13 Issue 8, p659, 17p

Subject Terms: ROBOTS, MOBILE robots, TRAJECTORIES (Mechanics), SPATIAL analysis (Statistics), DYNAMIC models

Feasibility check for the distance geometry problem: an application to molecular conformations.

Authors: Agra, Agostinho Figueiredo, Rosa Lavor, Carlile et al.

Source: International Transactions in Operational Research; Sep2017, Vol. 24 Issue 5, p1023-1040, 18p, 1 Diagram, 3 Charts

Subject Terms: FEASIBILITY studies, DISTANCE geometry, MOLECULAR conformation, INTEGER programming, CONSTRAINT programming

New Free Distance Bounds and Design Techniques for Joint Source-Channel Variable-Length Codes.

Authors: Diallo, Amadou Weidmann, Claudio Kieffer, Michel

Source: IEEE Transactions on Communications; Oct2012, Vol. 60 Issue 10, p3080-3090, 11p

Subject Terms: MATHEMATICAL bounds, ALGORITHMS, COMPUTATIONAL complexity, MANGANESE, FINITE state machines, VECTORS (Calculus), MATHEMATICAL variables

Interval-Analysis-Based Determination of the Wrench-Feasible Workspace of Parallel Cable-Driven Robots.

Authors: Gouttefarde, Marc Daney, David Merlet, Jean-Pierre

Source: IEEE Transactions on Robotics; 02/01/2011, Vol. 27 Issue 1, p1-13, 13p

Subject Terms: PARALLEL robots, LINEAR systems, MOBILE communication systems, INTERVAL analysis, DEGREES of freedom, MOBILE robots, CABLES, ALGORITHMS

Propositional Satisfiability and Constraint Programming: A Comparative Survey.

Authors: Bordeaux, Lucas Hamadi, Youssef Zhang, Lintao

Source: ACM Computing Surveys; Dec2006, Vol. 38 Issue 4, p1-54, 54p

Subject Terms: SATISFACTION, CONSTRAINT programming, COMPUTER programming, COMPUTER science, COMPUTERS, PROBLEM solving, ALGORITHMS, TECHNOLOGICAL innovations, DECISION making