Výsledky vyhledávání
- 1.0507646 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Institucionální podpora: RVO:67985807
Klíčová slova: Convex quadratic form * Relaxation * NP-hardness * Interval computation
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0298623 - 2.0431141 - ÚI 2015 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: computational topology * interval computation
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.464, rok: 2015
http://www.ams.org/journals/mcom/0000-000-00/S0025-5718-2014-02877-9/
Trvalý link: http://hdl.handle.net/11104/0235754Název souboru Staženo Velikost Komentář Verze Přístup a0431141.pdf 16 373.1 KB Vydavatelský postprint vyžádat - 3.0430462 - ÚI 2015 RIV CH eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GCP202/12/J060
Grant ostatní: GA ČR(CZ) GA13-10660S
Institucionální podpora: RVO:67985807
Klíčová slova: constraint solving * decision procedures * interval computation
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0235395 - 4.0351298 - ÚI 2011 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GC201/08/J020
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: basin of attraction * stability * constraint solving * interval computation * algorithms
Kód oboru RIV: IN - Informatika
Impakt faktor: 1.297, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0191083