Publikace
Počet publikací: 3377
Články ve sbornících
-
Světové výstavy v 2. polovině 19. století, jejich význam, dopad na rozvoj technického muzejnictví (1851–1900)
Kapitoly z dějin uměleckoprůmyslového muzejnictví, rok: 2025
-
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures, rok: 2025
-
Tělesné sebepojetí jako součást utváření identity: Eva Kmentová, Alina Szapocznikow & Hannah Wilke
Stopy Evy Kmentové – lokální a světový kontext, rok: 2025
-
The importance and therapeutic potential of CBD in veterinary care
Book of Abstracts: International Conference Cannabis and Science X, rok: 2025
-
The Next Step in Global Connectivity: Legal Challenges in the Shift from Subsea Cables to Satellites
17th International Conference on Cyber Conflict:The Next Step, rok: 2025
-
The Resilmesh Architecture: Situation Aware Enabled Cyber Resilience for Dispersed, Heterogenous Cyber Systems
2025 IEEE 11th International Conference on Network Softwarization (NetSoft), rok: 2025
-
The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic Are Highly Undecidable
52nd International Colloquium on Automata, Languages, and Programming, rok: 2025
-
The Theory of Genre Worlds in Case of Russian Popular Fiction
Současná srbská a česká slavistická bádání II, rok: 2025
-
Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence and Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence and Fifteenth Symposium on Educational Advances in Artificial Intelligence, rok: 2025
-
Towards Personalized Similarity Search for Vector Databases
17th International Conference on Similarity Search and Applications (SISAP 2024), rok: 2025