Search results
- 1.0586292 - ÚTIA 2025 RIV US eng J - Journal Article
Henrion, D. - Korda, M. - Kružík, Martin - Rios-Zertuche, R.
Occupation Measure Relaxations in Variational Problems: The Role of Convexity.
SIAM Journal on Optimization. Roč. 34, č. 2 (2024), s. 1708-1731. ISSN 1052-6234. E-ISSN 1095-7189
R&D Projects: GA MŠMT 8J20FR019
Grant - others:GAČR(CZ) GX19-26143X
Institutional support: RVO:67985556
Keywords : optimization * calculus of variations * occupation measures * polynomial optimization * semidefinite programming
OECD category: Pure mathematics
Impact factor: 3.1, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2024/MTR/kruzik-0586292.pdf https://epubs.siam.org/doi/abs/10.1137/23M1557088
Permanent Link: https://hdl.handle.net/11104/0353845 - 2.0586074 - FGÚ 2025 RIV NL eng J - Journal Article
Klöppel, Eduardo - Cruz, L. L. - Prado-Souza, L. F. L. - Eckhardt, Adam - Corrente, J. E. - dos Santos, D. C. - Justulin, L. A. - Rodrigues, T. - Volpato, G. T. - Damasceno, D. C.
Insulin signaling and mitochondrial phenotype of skeletal muscle are programmed in utero by maternal diabetes.
Molecular and Cellular Endocrinology. Roč. 588, 1 July (2024), č. článku 112199. ISSN 0303-7207. E-ISSN 1872-8057
Institutional support: RVO:67985823
Keywords : skeletal muscle * insulin resistance * hyperglycemia * mitochondria * fetal programming * rat
OECD category: Endocrinology and metabolism (including diabetes, hormones)
Impact factor: 4.1, year: 2022
https://doi.org/10.1016/j.mce.2024.112199
Permanent Link: https://hdl.handle.net/11104/0353772 - 3.0581981 - ÚCHP 2024 GR eng C - Conference Paper (international conference)
Pluskal, J. - Šomplák, R. - Zach, Boleslav
Design and Optimization of Membrane-based Carbon Capture System.
Book of Abstracts. Volos: Department of Mechanical Engineering, University of Thessaly, 2023 - (Heraklion, G.), s. 23. ISSN 2653-8911.
[International Conference on "Energy, Sustainability and Climate Crisis" ESCC 2023 /10./. Heraklion (GR), 05.06.2023-09.06.2023]
Institutional support: RVO:67985858
Keywords : carbon dioxide capture * membrane separation * mathematical programming * energy optimization
OECD category: Chemical process engineering
Permanent Link: https://hdl.handle.net/11104/0350119 - 4.0581872 - ÚTIA 2024 RIV DE eng J - Journal Article
Tyburec, Marek - Kočvara, Michal - Kružík, Martin
Global weight optimization of frame structures with polynomial programming.
Structural and Multidisciplinary Optimization. Roč. 66, č. 12 (2023), č. článku 257. ISSN 1615-147X. E-ISSN 1615-1488
R&D Projects: GA ČR(CZ) GA22-15524S; GA MŠMT 8J20FR019; GA ČR GF21-06569K
Institutional support: RVO:67985556
Keywords : Topology optimization * Frame structures * Semidefinite programming * Polynomial optimization * Global optimality
OECD category: Applied mathematics
Impact factor: 3.9, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2024/MTR/tyburec-0581872.pdf https://link.springer.com/article/10.1007/s00158-023-03715-5
Permanent Link: https://hdl.handle.net/11104/0350579 - 5.0581803 - ÚI 2025 RIV US eng C - Conference Paper (international conference)
Cerna, David M. - Cropper, A.
Generalisation through Negation and Predicate Invention.
Proceedings of the 38th AAAI Conference on Artificial Intelligence. Washington, DC: AAAI Press, 2024, s. 10467-10475. ISBN 978-1-57735-887-9. ISSN 2159-5399.
[AAAI 2024: The Annual Conference on Artificial Intelligence /38./. Vancouver (CA), 20.02.2024-27.02.2024]
Institutional support: RVO:67985807
Keywords : KRR * Logic Programming * ML: Statistical Relational/Logic Learning
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1609/aaai.v38i9.28915
Permanent Link: https://hdl.handle.net/11104/0349954
Research data: Preprint - ArXiv.org - 6.0575483 - ÚTIA 2024 RIV US eng J - Journal Article
Tyburec, Marek - Zeman, J.
Bounded Wang tilings with integer programming and graph-based heuristics.
Scientific Reports. Roč. 13, č. 1 (2023), č. článku 4865. ISSN 2045-2322. E-ISSN 2045-2322
Grant - others:GA ČR(CZ) GX19-26143X
Institutional support: RVO:67985556
Keywords : integer programming * combinatorial optimization * bounded Wang tiling * heuristics * graph theory
OECD category: Applied mathematics
Impact factor: 4.6, year: 2022
Method of publishing: Open access
http://library.utia.cas.cz/separaty/2023/MTR/tyburec-0575483.pdf https://www.nature.com/articles/s41598-023-31786-3
Permanent Link: https://hdl.handle.net/11104/0345382 - 7.0568867 - ÚTAM 2024 RIV CZ eng L4 - Software
Vopálenský, Michal
ToraDjust Controller - Software tool for controlling micrometric platform.
Internal code: ToraDjust_SW ; 2023
Technical parameters: Licenci poskytne: Michal Vopálenský, vopalensky@itam.cas.cz, tel: 567 225 343
Economic parameters: nástroj pro ovládání dvouosého motorizovaného stolku
Grant - others:AV ČR(CZ) StrategieAV21/23
Program: StrategieAV
Institutional support: RVO:68378297
Keywords : high-resolution X-ray tomography * precise positioning * Python programming language
OECD category: Electrical and electronic engineering
https://www.itam.cas.cz/Software/ToraDjust-Controller/index.html
Permanent Link: https://hdl.handle.net/11104/0340133 - 8.0567218 - ÚTIA 2024 RIV NL eng J - Journal Article
Kopa, M. - Šmíd, Martin
Contractivity of Bellman operator in risk averse dynamic programming with infinite horizon.
Operations Research Letters. Roč. 51, č. 2 (2023), s. 133-136. ISSN 0167-6377. E-ISSN 1872-7468
R&D Projects: GA ČR(CZ) GA19-11062S
Institutional support: RVO:67985556
Keywords : Risk aversion * Dynamic programming * Infinite horizon
OECD category: Statistics and probability
Impact factor: 1.1, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2023/E/smid-0567218.pdf https://www.sciencedirect.com/science/article/pii/S0167637723000081?via%3Dihub
Permanent Link: https://hdl.handle.net/11104/0340876 - 9.0561586 - ÚI 2023 RIV US eng C - Conference Paper (international conference)
Pilát, M. - Suchopárová, Gabriela
Using graph neural networks as surrogate models in genetic programming.
GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference. New York: ACM, 2022 - (Fieldsend, J.), s. 582-585. ISBN 978-1-4503-9268-6.
[GECCO 2022: Genetic and Evolutionary Computation Conference. Boston (US), 09.07.2022-13.07.2022]
Grant - others:Ministerstvo školství, mládeže a tělovýchovy - GA MŠk(CZ) LM2018140
Institutional support: RVO:67985807
Keywords : graph neural networks * genetic programming * surrogate models
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1145/3520304.3529024
Permanent Link: https://hdl.handle.net/11104/0334164 - 10.0560679 - ÚI 2023 RIV US eng C - Conference Paper (international conference)
Fejlek, Jiří - Ratschan, Stefan
Computing Funnels Using Numerical Optimization Based Falsifiers.
2022 International Conference on Robotics and Automation (ICRA). Proceedings. Piscataway: IEEE, 2022 - (O'Malley, M.), s. 4318-4324. ISBN 978-1-7281-9682-4.
[ICRA 2022: IEEE International Conference on Robotics and Automation. Philadelphia (US), 23.05.2022-27.05.2022]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : Robot motion * Automation * Algebra * Ordinary differential equations * Programming * Trajectory * Behavioral sciences
OECD category: Robotics and automatic control
https://dx.doi.org/10.1109/ICRA46639.2022.9811730
Permanent Link: https://hdl.handle.net/11104/0333539