Search results
- 1.0507646 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
Hladík, M. - Hartman, David
Maximization of a Convex Quadratic Form on a Polytope: Factorization and the Chebyshev Norm Bounds.
Optimization of Complex Systems: Theory, Models, Algorithms and Applications. Cham: Springer, 2020 - (Le Thi, H.; Minh Le, H.; Pham Dinh, T.), s. 119-127. Advances in Intelligent Systems and Computing, 991. ISBN 978-3-030-21802-7.
[WCGO 2019: World Congress on Global Optimization /6./. Metz (FR), 08.07.2019-10.07.2019]
Institutional support: RVO:67985807
Keywords : Convex quadratic form * Relaxation * NP-hardness * Interval computation
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0298623 - 2.0431141 - ÚI 2015 RIV US eng J - Journal Article
Franek, Peter - Ratschan, Stefan
Effective Topological Degree Computation Based on Interval Arithmetic.
Mathematics of Computation. Roč. 84, č. 293 (2015), s. 1265-1290. ISSN 0025-5718. E-ISSN 1088-6842
R&D Projects: GA ČR GCP202/12/J060
Institutional support: RVO:67985807
Keywords : computational topology * interval computation
Subject RIV: BA - General Mathematics
Impact factor: 1.464, year: 2015
http://www.ams.org/journals/mcom/0000-000-00/S0025-5718-2014-02877-9/
Permanent Link: http://hdl.handle.net/11104/0235754File Download Size Commentary Version Access a0431141.pdf 16 373.1 KB Publisher’s postprint require - 3.0430462 - ÚI 2015 RIV CH eng J - Journal Article
Hladík, M. - Ratschan, Stefan
Efficient Solution of a Class of Quantified Constraints with Quantifier Prefix Exists-Forall.
Mathematics in Computer Science. Roč. 8, 3-4 (2014), s. 329-340. ISSN 1661-8289
R&D Projects: GA ČR GCP202/12/J060
Grant - others:GA ČR(CZ) GA13-10660S
Institutional support: RVO:67985807
Keywords : constraint solving * decision procedures * interval computation
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0235395 - 4.0351298 - ÚI 2011 RIV US eng J - Journal Article
Ratschan, Stefan - She, Z.
Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions.
SIAM Journal on Control and Optimization. Roč. 48, č. 7 (2010), s. 4377-4394. ISSN 0363-0129. E-ISSN 1095-7138
R&D Projects: GA ČR GC201/08/J020
Institutional research plan: CEZ:AV0Z10300504
Keywords : basin of attraction * stability * constraint solving * interval computation * algorithms
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.297, year: 2010
Permanent Link: http://hdl.handle.net/11104/0191083