Publikace
Počet publikací: 3264
Články ve sbornících
-
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures, rok: 2025
-
The importance and therapeutic potential of CBD in veterinary care
Book of Abstracts: International Conference Cannabis and Science X, rok: 2025
-
The Influence of Historical and Political Factors on the Development of Orthodox Architecture in Ukraine (10th–19th Centuries)
DEFINING THE ARCHITECTURAL SPACE ARCHITECTURE AND HISTORY, VOL. 2, 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
-
Towards the Roots of the Negation Problem: A Multilingual NLI Dataset and Model Scaling Analysis
Findings of the Association for Computational Linguistics: EMNLP 2025, rok: 2025