Publications

New Directions in Relevant Logic

SEDLÁR, Igor, STANDEFER, S., TEDDER, A. <em>New Directions in Relevant Logic</em>. Cham: Springer, 2025. Trends in Logic, 63. ISBN 978-3-031-69940-5<br>Dostupné z: doi:10.1007/978-3-031-69940-5.

Autoři: Igor Sedlár , S. Standefer , A. Tedder

Structural Information and Communication Complexity. 32nd International Colloquium, SIROCCO 2025 Proceedings

SCHMID, U., KUZNETS, Roman. <em>Structural Information and Communication Complexity. 32nd International Colloquium, SIROCCO 2025 Proceedings</em>. Cham: Springer, 2025. Lecture Notes in Computer Science, 15671. ISBN 978-3-031-91735-6. ISSN 0302-9743<br>Dostupné z: doi:10.1007/978-3-031-91736-3.

Autoři: U. Schmid , Roman Kuznets

Konzultační setkání Zvyšování odolnosti městského prostředí vůči extrémnímu horku

GELETIČ, Jan, KVĚTOŇOVÁ, Veronika, KRČ, Pavel. <em>Konzultační setkání Zvyšování odolnosti městského prostředí vůči extrémnímu horku</em>. Praha, Ústav informatiky AV ČR, v. v. i., 5. 11. 2025 - 5. 11. 2025. Workshop. Dostupné z: https://praha.eu/web/portalzp/w/konzult-setk-praha-11-25-zvys-odolnosti-mest-prostredi-vuci-extremnimu-horku

Autoři: Jan Geletič , Veronika Květoňová , Pavel Krč

How Sir Harold Jeffreys would create a belief function based on data

DANIEL, Milan, JIROUŠEK, Radim, KRATOCHVÍL, Václav. How Sir Harold Jeffreys would create a belief function based on data. In: STUDENÝ, Milan, AY, Nihat, CAPOTORTI, Andrea, CSIRMAZ, László, JIROUŠEK, Radim, KLEITER, Gernot D., SHENOY, Prakash P., eds. <em>Proceedings of the 13th Workshop on Uncertainty Processing (WUPES’25)</em>. Prague: MatfyzPress, 2025, S. 92-103. ISBN 978-80-7378-525-3. Dostupné z: http://library.utia.cas.cz/separaty/2025/MTR/jirousek-0636593.pdf

Autoři: Milan Daniel , Radim Jiroušek , Václav Kratochvíl

Praha-Holešovice – tepelné prostředí člověka

GELETIČ, Jan. <em>Praha-Holešovice – tepelné prostředí člověka</em>. Praha, Ústav informatiky AV ČR, v. v. i., 14. 11. 2024 - 14. 11. 2024. Workshop.

Autoři: Jan Geletič

D15 Workshop for public authorities

ESAU, I., MILES, V., GELETIČ, Jan, BELDA, M., RESLER, Jaroslav, KRČ, Pavel. <em>D15 Workshop for public authorities</em>. Bergen, Ålesund, Trondheim, Ústav informatiky AV ČR, v. v. i., 3. 4. 2024 - 5. 4. 2024. Workshop.

Autoři: I. Esau , V. Miles , Jan Geletič , M. Belda , Jaroslav Resler , Pavel Krč

Rusko úporně bojuje i proti nám. A je to válka jiná, než myslíte (komentář)

ČERNÝ, David. <em>Rusko úporně bojuje i proti nám. A je to válka jiná, než myslíte (komentář)</em> Praha: iDnes.cz, 2024. Dostupné z: https://www.idnes.cz/zpravy/zahranicni/rusko-velmoc-informacni-valka-ukrajina-propaganda-dezinformace.A240816_163841_zahranicni_ceve

Autoři: David Černý

Indiscernibles in monadically NIP theories

BRAUNFELD, Samuel Walker, LASKOWSKI, M. <em>Indiscernibles in monadically NIP theories</em>. Cornell: Cornell University, 2024. arXiv.org e-Print archive, arXiv:2409.05223<br>Dostupné z: doi:10.48550/arXiv.2409.05223.

Autoři: Samuel Walker Braunfeld , M. Laskowski

Numerické optimalizační metody

LUKŠAN, Ladislav. <em>Numerické optimalizační metody</em>. Prague: ICS CAS, 2024. Technical Report, V-1296.

Autoři: Ladislav Lukšan