Search results
- 1.0522789 - ÚI 2021 RIV CH eng M - Monography Chapter
Lukšan, Ladislav - Matonoha, Ctirad - Vlček, Jan
Numerical Solution of Generalized Minimax Problems.
Numerical Nonsmooth Optimization. Cham: Springer, 2020 - (Bagirov, A.; Gaudioso, M.; Karmitsa, N.; Mäkelä, M.; Taheri, S.), s. 363-414. ISBN 978-3-030-34909-7
Institutional support: RVO:67985807
Keywords : Numerical optimization * nonlinear approximation * nonsmooth optimization * generalized minimax problems * interior point methods * smoothing methods * algorithms * numerical experiments
OECD category: Pure mathematics
https://doi.org/10.1007/978-3-030-34910-3
Permanent Link: http://hdl.handle.net/11104/0307221 - 2.0504615 - ÚI 2020 CZ eng V - Research Report
Lukšan, Ladislav - Matonoha, Ctirad - Vlček, Jan
Hybrid Methods for Nonlinear Least Squares Problems.
Prague: ICS CAS, 2019. 50 s. Technical Report, V-1246.
Institutional support: RVO:67985807
Keywords : numerical optimization * nonlinear least squares * trust region methods * hybrid methods * sparse problems * partially separable problems * numerical experiments
OECD category: Applied mathematics
Permanent Link: http://hdl.handle.net/11104/0296201File Download Size Commentary Version Access 0504615-av1.pdf 33 352.7 KB Verze 05/2019 Other open-access - 3.0502373 - ÚI 2019 RIV CZ eng L4 - Software
Ratschan, Stefan
Barrifier.
Internal code: Barrifier ; 2018
Technical parameters: Barrifier proves safety of dynamical systems using barrier certificates and computes counter-example trajectories using numerical optimization.
Economic parameters: Barrifier is a program for verifying safety of dynamical systems. It supports the design of safe systems by proving that a mathematical system model fulfills the safety requirement of the system. It is available under the GNU Lesser General Public License.
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : safety verification * software * barrier certificates * numerical optimization * Barrifier
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://www.cs.cas.cz/~ratschan/barrifier/
Permanent Link: http://hdl.handle.net/11104/0294315 - 4.0499581 - ÚTIA 2020 RIV US eng J - Journal Article
Kamenický, Jan - Šroubek, Filip - Zitová, Barbara - Hannuksela, J. - Turtinen, M.
Image Restoration in Portable Devices: Algorithms and Optimization.
Journal of Signal Processing Systems for Signal Image and Video Technology. Roč. 91, č. 1 (2019), s. 9-20. ISSN 1939-8018. E-ISSN 1939-8115
R&D Projects: GA ČR GA18-05360S
EU Projects: European Commission(XE) 621439 - ALMARVI
Institutional support: RVO:67985556
Keywords : Image restoration * Denoising * Super-resolution * Numerical optimization * Portable devices
OECD category: Automation and control systems
Impact factor: 1.013, year: 2019
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2019/ZOI/kamenicky-0499581.pdf https://link.springer.com/article/10.1007%2Fs11265-018-1410-7
Permanent Link: http://hdl.handle.net/11104/0292819 - 5.0498354 - ÚT 2019 RIV CZ eng C - Conference Paper (international conference)
Gális, P. - Chlada, Milan
Nonparametric density estimates used for multiple AE source detection.
Stochastic and Physical Monitoring Systems. Praha: Czech Technical University in Prague, 2018 - (Franc, J.; Hobza, T.), s. 11-23. ISBN 978-80-01-06501-3.
[SPMS 2018. Dobřichovice (CZ), 18.06.2018-22.06.2018]
R&D Projects: GA MŠMT LM2015068; GA ČR GA16-09848S
Keywords : material health monitoring * micro-cracks * acoustic emission * density estimation * kernel * numerical optimization
OECD category: Applied mechanics
Permanent Link: http://hdl.handle.net/11104/0291650 - 6.0487355 - ÚI 2018 CZ eng V - Research Report
Lukšan, Ladislav - Matonoha, Ctirad - Vlček, Jan
Numerical solution of generalized minimax problems.
Prague: ICS CAS, 2018. 46 s. Technical Report, V-1255.
Institutional support: RVO:67985807
Keywords : Numerical optimization * nonlinear approximation * nonsmooth optimization * generalized minimax problems * recursive quadratic programming methods * interior point methods * smoothing methods * algorithms * numerical experiments
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0282021File Download Size Commentary Version Access v1255-18.pdf 64 283.6 KB Other open-access - 7.0481078 - ÚI 2018 CZ eng V - Research Report
Lukšan, Ladislav - Tůma, Miroslav - Matonoha, Ctirad - Vlček, Jan - Ramešová, Nina - Šiška, M. - Hartman, J.
UFO 2017. Interactive System for Universal Functional Optimization.
Prague: ICS CAS, 2017. 395 s. Technical Report, V-1252.
Institutional support: RVO:67985807
Keywords : numerical optimization * nonlinear programming * nonlinear approximation * algorithms * software systems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0276687File Download Size Commentary Version Access v1252-17.pdf 14 2.9 MB Other open-access - 8.0448604 - ÚTIA 2016 GB eng V - Research Report
Fiala, J. - Kočvara, Michal - Stingl, M.
PENLAB: A MATLAB solver for nonlinear semidefinite optimization.
Cambridge: Isaac Newton Institute for Mathematical Sciences, 2013. 25 s. Technical Report.
R&D Projects: GA ČR(CZ) GAP201/12/0671
Institutional support: RVO:67985556
Keywords : nonlinear optimization * semidefinite optimization * numerical optimization
Subject RIV: BA - General Mathematics
http://library.utia.cas.cz/separaty/2015/MTR/kocvara-0448604.pdf
Permanent Link: http://hdl.handle.net/11104/0250759File Download Size Commentary Version Access 0448604.pdf 0 244.3 KB Other open-access - 9.0441726 - ÚI 2015 CZ eng V - Research Report
Lukšan, Ladislav - Tůma, Miroslav - Matonoha, Ctirad - Vlček, Jan - Ramešová, Nina - Šiška, M. - Hartman, J.
UFO 2014. Interactive System for Universal Functional Optimization.
Prague: ICS AS CR, 2014. 385 s. Technical Report, V-1218.
Institutional support: RVO:67985807
Keywords : numerical optimization * nonlinear programming * nonlinear approximation * algorithms * software systems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0244677File Download Size Commentary Version Access v1218-14.pdf 26 2.9 MB Other open-access - 10.0427635 - ÚI 2015 CZ eng V - Research Report
Lukšan, Ladislav - Tůma, Miroslav - Vlček, Jan - Ramešová, Nina - Šiška, M. - Matonoha, Ctirad - Hartman, J.
UFO 2013 Interactive System for Universal Functional Optimization..
Prague: ICS AS CR, 2014. 310 s. Technical Report, V-1191.
Institutional support: RVO:67985807
Keywords : numerical optimization * nonlinear programming * nonlinear approximation * algorithms * software systems
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0233134File Download Size Commentary Version Access v1191-13.pdf 27 851.9 KB Other open-access