Výsledky vyhledávání
- 1.0581981 - ÚCHP 2024 GR eng C - Konferenční příspěvek (zahraniční konf.)
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]
Institucionální podpora: RVO:67985858
Klíčová slova: carbon dioxide capture * membrane separation * mathematical programming * energy optimization
Obor OECD: Chemical process engineering
Trvalý link: https://hdl.handle.net/11104/0350119 - 2.0581872 - ÚTIA 2024 RIV DE eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GA22-15524S; GA MŠMT 8J20FR019; GA ČR GF21-06569K
Institucionální podpora: RVO:67985556
Klíčová slova: Topology optimization * Frame structures * Semidefinite programming * Polynomial optimization * Global optimality
Obor OECD: Applied mathematics
Impakt faktor: 3.9, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2024/MTR/tyburec-0581872.pdf https://link.springer.com/article/10.1007/s00158-023-03715-5
Trvalý link: https://hdl.handle.net/11104/0350579 - 3.0581803 - ÚI 2025 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Institucionální podpora: RVO:67985807
Klíčová slova: KRR * Logic Programming * ML: Statistical Relational/Logic Learning
Obor OECD: 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
Trvalý link: https://hdl.handle.net/11104/0349954
Vědecká data: Preprint - ArXiv.org - 4.0575483 - ÚTIA 2024 RIV US eng J - Článek v odborném periodiku
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 ostatní: GA ČR(CZ) GX19-26143X
Institucionální podpora: RVO:67985556
Klíčová slova: integer programming * combinatorial optimization * bounded Wang tiling * heuristics * graph theory
Obor OECD: Applied mathematics
Impakt faktor: 4.6, rok: 2022
Způsob publikování: Open access
http://library.utia.cas.cz/separaty/2023/MTR/tyburec-0575483.pdf https://www.nature.com/articles/s41598-023-31786-3
Trvalý link: https://hdl.handle.net/11104/0345382 - 5.0568867 - ÚTAM 2024 RIV CZ eng L4 - Software
Vopálenský, Michal
ToraDjust Controller - Software tool for controlling micrometric platform.
Interní kód: ToraDjust_SW ; 2023
Technické parametry: Licenci poskytne: Michal Vopálenský, vopalensky@itam.cas.cz, tel: 567 225 343
Ekonomické parametry: nástroj pro ovládání dvouosého motorizovaného stolku
Grant ostatní: AV ČR(CZ) StrategieAV21/23
Program: StrategieAV
Institucionální podpora: RVO:68378297
Klíčová slova: high-resolution X-ray tomography * precise positioning * Python programming language
Obor OECD: Electrical and electronic engineering
https://www.itam.cas.cz/Software/ToraDjust-Controller/index.html
Trvalý link: https://hdl.handle.net/11104/0340133 - 6.0567218 - ÚTIA 2024 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GA19-11062S
Institucionální podpora: RVO:67985556
Klíčová slova: Risk aversion * Dynamic programming * Infinite horizon
Obor OECD: Statistics and probability
Impakt faktor: 1.1, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2023/E/smid-0567218.pdf https://www.sciencedirect.com/science/article/pii/S0167637723000081?via%3Dihub
Trvalý link: https://hdl.handle.net/11104/0340876 - 7.0561586 - ÚI 2023 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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 ostatní: Ministerstvo školství, mládeže a tělovýchovy - GA MŠk(CZ) LM2018140
Institucionální podpora: RVO:67985807
Klíčová slova: graph neural networks * genetic programming * surrogate models
Obor OECD: 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
Trvalý link: https://hdl.handle.net/11104/0334164 - 8.0560679 - ÚI 2023 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: Robot motion * Automation * Algebra * Ordinary differential equations * Programming * Trajectory * Behavioral sciences
Obor OECD: Robotics and automatic control
https://dx.doi.org/10.1109/ICRA46639.2022.9811730
Trvalý link: https://hdl.handle.net/11104/0333539 - 9.0559266 - ÚGN 2023 RIV CH eng J - Článek v odborném periodiku
Pospíšil, L. - Čermák, M. - Horák, David - Kružík, Jakub
Non-Monotone Projected Gradient Method in Linear Elasticity Contact Problems with Given Friction.
Sustainability. Roč. 12, č. 20 (2020), č. článku 8674. E-ISSN 2071-1050
Institucionální podpora: RVO:68145535
Klíčová slova: contact problems * linear elasticity * tresca friction * SPG-QP * quadratic programming
Obor OECD: Applied mathematics
Impakt faktor: 3.251, rok: 2020
Způsob publikování: Open access
https://www.mdpi.com/2071-1050/12/20/8674
Trvalý link: https://hdl.handle.net/11104/0332602Název souboru Staženo Velikost Komentář Verze Přístup UGN_0559266.pdf 1 570.9 KB Jiná vyžádat - 10.0557302 - ÚTIA 2023 RIV NL eng J - Článek v odborném periodiku
Zapletal, F. - Šmíd, Martin - Kozmík, Václav
Multi-stage stochastic optimization of carbon risk management.
Expert Systems With Applications. Roč. 201, č. 1 (2022), č. článku 117021. ISSN 0957-4174. E-ISSN 1873-6793
Grant CEP: GA ČR(CZ) GA21-07494S
Institucionální podpora: RVO:67985556
Klíčová slova: Stochastic programming * Emissions trading * Multi-stage * SDDP * Dominance
Obor OECD: Business and management
Impakt faktor: 8.5, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2022/E/smid-0557302.pdf https://www.sciencedirect.com/science/article/pii/S0957417422004389?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0331507