Publications
Total number of publications: 29
Conference proceedings
-
JAK MĚŘIT SOCIÁLNÍ ÚZKOST VE ŠKOLE? ADAPTACE A REVIZE ŠKÁLY SAQ-C
Year: 2025
-
Multiple Mean-Payoff Optimization Under Local Stability Constraints
Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 39 No. 25: AAAI-25 Technical Tracks 25, year: 2025
-
On the Costs and Benefits of Learned Indexing for Dynamic High-Dimensional Data
Big Data Analytics and Knowledge Discovery 27th International Conference, DaWaK 2025, Bangkok, Thailand, August 25–27, 2025, Proceedings, year: 2025
-
Scaling Learned Metric Index to 100M Datasets
SIMILARITY SEARCH AND APPLICATIONS, SISAP 2024, year: 2025
-
Steady-State Strategy Synthesis for Swarms of Autonomous Agents
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, year: 2025
Other applied results
-
GROMACS MetaDump
Year: 2025
-
MeeSign - platforma pro vícestranné podepisování elektronické evidence
Year: 2025
-
On the Costs and Benefits of Learned Indexing for Dynamic High-Dimensional Data: Extended Version
Year: 2025
-
VisioTherapy: Supporting physiotherapy treatments using computer-based movement analysis
Year: 2025