Search Results - numerical constraint solving algorithm

Refine Results
  1. 1

    A Comprehensive Evaluation of the DFP Method for Geometric Constraint Solving Algorithm Using PlaneGCS

    Authors: Sun, Yunlei Li, Yucong Liu, Kangping

    Source: Tehnički Vjesnik, Vol 30, Iss 6, Pp 2026-2035 (2023)
    Tehnički vjesnik
    Volume 30
    Issue 6

    Subject Terms: algorithm testing, open-source geometric constraint solver, DFP method, numerical constraint solving algorithm, TA1-2040, Engineering (General). Civil engineering (General)

    File Description: application/pdf

    Access URL: https://doaj.org/article/2c76a82e7e4a4783aa7303095e78d33a
    https://hrcak.srce.hr/309254
    https://hrcak.srce.hr/file/446424
    https://doi.org/10.17559/TV-20230518000644
    https://hrcak.srce.hr/309254
    https://doi.org/10.17559/tv-20230518000644

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    A Comprehensive Evaluation of the DFP Method for Geometric Constraint Solving Algorithm Using PlaneGCS

    Authors: Yunlei Sun Yucong Li Kangping Liu

    Source: Tehnički Vjesnik, Vol 30, Iss 6, Pp 2026-2035 (2023)

    Subject Terms: algorithm testing, DFP method, numerical constraint solving algorithm, open-source geometric constraint solver, Engineering (General). Civil engineering (General), TA1-2040

    Relation: https://hrcak.srce.hr/file/446424; https://doaj.org/toc/1330-3651; https://doaj.org/toc/1848-6339; https://doaj.org/article/889c001250d94fdfb14f13888fea968b

    Availability: https://doaj.org/article/889c001250d94fdfb14f13888fea968b

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Numerical Techniques for Solving Estimation Problems on Robust Bayesian Networks

    Source: Lecture Notes-Monograph Series, 1996 Jan 01. 29, 315-329.

    Access URL: https://www.jstor.org/stable/4355926

    Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    On temporal logic constraint solving for analyzing numerical data time series

    Authors: François Fages Aurélien Rizk

    Source: Theoretical Computer Science. 408:55-65

    Subject Terms: Model-checking, 0202 electrical engineering, electronic engineering, information engineering, Data time series, Temporal logic, 0102 computer and information sciences, 02 engineering and technology, Constraint solving, Systems biology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    Branch-and-prune search strategies for numerical constraint solving

    Authors: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud et al.

    Contributors: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud et al.

    Source: http://arxiv.org/pdf/cs/0512045v2.pdf.

    Subject Terms: Categories and Subject Descriptors, F.4.1 [Theory of Computation, Mathematical Logic and Formal Languages—Logic and Constraint Programming, I.2.8 [Computing Methodologies, Artificial Intelligence—Problem Solving, Control Methods, and Search General Terms, Algorithms, Theory, Computation Additional Key Words and Phrases, Constraint Progr

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392; http://arxiv.org/pdf/cs/0512045v2.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392
    http://arxiv.org/pdf/cs/0512045v2.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    Interval propagation and search on directed acyclic graphs for numerical constraint solving

    Authors: Vu, Xuan-Ha Schichl, Hermann Sam-Haroud, Djamila

    URL: http://doc.rero.ch/record/310708/files/10898_2008_Article_9386.pdf

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    Fast image processing with constraints by solving linear PDEs

    Authors: Kusnezow, Witali Horn, Wilfried Würtz, Rolf P.

    Source: ELCVIA: electronic letters on computer vision and image analysis; 2007: Vol.: 6 Núm.: 2; p. 22-36

    File Description: application/pdf

    Relation: https://www.raco.cat/index.php/ELCVIA/article/view/85551/391802

    Access URL: https://www.raco.cat/index.php/ELCVIA/article/view/85551

    View record in RACO Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    Development of efficient solution algorithms based on sensitivity analysis for network design problems with user equilibrium constraints

    Authors: 段, 開峰 内田, 賢悦 吉井, 稔雄 et al.

    Contributors: 段, 開峰 内田, 賢悦 吉井, 稔雄 et al.

    File Description: application/pdf

    Access URL: https://ndlsearch.ndl.go.jp/books/R100000039-I14364265

    Degree: 博士(工学) -- 北海道大学

    View record at National Diet Library Digital Collections
    Save to List
  9. 9

    The Cassowary Linear Arithmetic Constraint Solving Algorithm

    Authors: Greg J. Badros Alan Borning Peter Stuckey et al.

    Contributors: Greg J. Badros Alan Borning Peter Stuckey et al.

    Source: http://www.cs.mu.oz.au/~pjs/papers/cassowary.ps.gz.

    Subject Terms: Categories and Subject Descriptors, D.1.6 [Software, Logic Programming, D.2.2 [Software, Tools and Techniques, G.1.3 [Mathematics of Computing, Numerical Linear Algebra, G.1.6 [Mathematics of Computing, Optimization General Terms, Constraints, User Interface Additional Key Words and Phrases, Cassowary, constraint-solving toolkit

    File Description: application/postscript

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.4739; http://www.cs.mu.oz.au/~pjs/papers/cassowary.ps.gz

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.4739
    http://www.cs.mu.oz.au/~pjs/papers/cassowary.ps.gz

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    Direct tree decomposition of geometric constraint graphs

    Authors: Tarrés Puertas, Marta Isabel

    Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació

    Thesis Advisors: Joan Arinyo, Robert, Vila Marta, Sebastià

    Source: TDX (Tesis Doctorals en Xarxa)

    File Description: application/pdf

    Access URL: http://hdl.handle.net/10803/285011
    https://dx.doi.org/10.5821/dissertation-2117-95581

    View record in TDX
    Save to List
  11. 11

    A parallel algorithm for deformable contact problems

    Authors: Rivero, Matias Ignacio

    Contributors: University/Department: Universitat Politècnica de Catalunya. Escola Tècnica Superior d'Enginyers de Camins, Canals i Ports de Barcelona

    Thesis Advisors: Vázquez, Mariano

    Source: TDX (Tesis Doctorals en Xarxa)

    Subject Terms: Àrees temàtiques de la UPC::Informàtica

    File Description: application/pdf

    Access URL: http://hdl.handle.net/10803/565438
    https://dx.doi.org/10.5821/dissertation-2117-117640

    View record in TDX
    Save to List
  12. 12

    Branch-and-Prune Search Strategies for Numerical Constraint Solving

    Authors: Vu, Xuan-Ha Silaghi, Marius-Calin Sam-Haroud, Djamila et al.

    Index Terms: Computer Science - Artificial Intelligence, F.4.1, I.2.8, text

    URL: http://arxiv.org/abs/cs/0512045

    View this record from OAIster Nájsť tento článok vo Web of Science
    Save to List
  13. 13

    Circumspect Descent Prevails in Solving Random Constraint Satisfaction Problems

    Authors: Alava, Mikko Ardelius, John Aurell, Erik et al.

    Source: Proceedings of the National Academy of Sciences of the United States of America, 2008 Oct 01. 105(40), 15253-15257.

    Access URL: https://www.jstor.org/stable/25464398

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    Solving Convex Programs by Means of Ordinary Differential Equations

    Authors: Flåm, Sjur D.

    Source: Mathematics of Operations Research, 1992 May 01. 17(2), 290-302.

    Access URL: https://www.jstor.org/stable/3689958

    Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    Interval propagation and search on directed acyclic graphs for numerical constraint solving

    Authors: Vu, Xuan-Ha Schichl, Hermann Sam-Haroud, Djamila

    Source: Journal of Global Optimization. 45:499-531

    Subject Terms: 1010 Mathematics, 1010 Mathematik, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

    Access URL: https://infoscience.epfl.ch/record/159250/files/10898_2008_Article_9386.pdf
    https://ucrisportal.univie.ac.at/de/publications/9e4edd41-0b93-43c9-ac0e-548a02866d76
    https://link.springer.com/content/pdf/10.1007%2Fs10898-008-9386-7.pdf
    https://link.springer.com/article/10.1007%2Fs10898-008-9386-7
    https://infoscience.epfl.ch/record/159250
    https://dblp.uni-trier.de/db/journals/jgo/jgo45.html#VuSS09
    http://doc.rero.ch/record/310708/files/10898_2008_Article_9386.pdf

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

    Authors: Angelo Oddi François Fages Francesca Rossi

    Resource Type: eBook.

    Subjects: Software engineering, Artificial intelligence, Compilers (Computer programs), Computer science, Algorithms, Numerical analysis

    Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Numerical Analysis

    Save to List
  17. 17

    Two-dimensional modeling and inversion of the controlled-source electromagnetic and magnetotelluric methods using finite elements and full-space PDE-constrained optimization strategies

    Authors: Galiana Blanch, Savitri

    Contributors: University/Department: Universitat de Barcelona. Facultat de Geologia

    Thesis Advisors: Garcia, Xavier, Queralt, Pilar

    Source: TDX (Tesis Doctorals en Xarxa)

    Subject Terms: Geofísica, Geophysics, Anàlisi numèrica, Análisis numérico, Numerical analysis, Ciències Experimentals i Matemàtiques

    File Description: application/pdf

    Access URL: http://hdl.handle.net/10803/400616

    View record in TDX
    Save to List
  18. 18

    INTERIOR POINT METHODS IN OPTIMAL CONTROL PROBLEMS OF AFFINE SYSTEMS: CONVERGENCE RESULTS AND SOLVING ALGORITHMS.

    Authors: MALISANI, PAUL1 paul.malisani@ifpen.fr

    Source: SIAM Journal on Control & Optimization. 2023, Vol. 61 Issue 6, p3390-3414. 25p.

    Subject Terms: *OPTIMAL control theory, *ALGORITHMS, *DIFFERENTIAL equations, INTERIOR-point methods, BOUNDARY value problems, COST functions, ALGEBRAIC equations

    Nájsť tento článok vo Web of Science
    Save to List
  19. 19

    Hierarchical Parallelization of Rigid Body Simulation with Soft Blocking Method on GPU.

    Authors: Tomii, Rikuya Narumi, Tetsu

    Source: Computation; Nov2025, Vol. 13 Issue 11, p250, 26p

    Subject Terms: RIGID body mechanics, PARALLEL processing, CONSTRAINT programming, MATHEMATICAL optimization, LOAD balancing (Computer networks), HIERARCHICAL clustering (Cluster analysis)

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  20. 20

    A NEW SQP-FILTER METHOD FOR SOLVING NONLINEAR PROGRAMMING PROBLEMS

    Authors: Li, Duoquan

    Source: Journal of Computational Mathematics, 2006 Sep 01. 24(5), 609-634.

    Access URL: https://www.jstor.org/stable/43693321

    Nájsť tento článok vo Web of Science
    Save to List

Search Tools: