Publikace
Počet publikací: 2115
Články ve sbornících
-
PCTL Satisfiability for Infinite Binary Trees
Principles of Formal Quantitative Analysis : Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, rok: 2026, DOI
-
Playing with Data: A Systematic Review of Games for Visualization Literacy
Proceedings of the 21th International Conference on the Foundations of Digital Games, rok: 2026
-
PRÁVNÍ ASPEKTY PŘÍSTUPU K BROWNFIELDŮM Z POHLEDU OBCE
Publicy 2025 II. - Zborník príspevkov z medzinárodnej vedeckej konferencie, rok: 2026
-
Project-based Education as an Educational Method in the Science Teacher’s Education in the Czech Republic
Project-Based Education and Other Student-Activation Strategies and Issues in STE(A)M Education. Practical contributions, rok: 2026
-
Představuje diabetes významný rizikový faktor pro rozvoj syndromu frailty?
Rok: 2026
-
Přezkoumatelnost jako lidské právo a algoritmické rozhodování
Human Rights And Freedoms Under Pressure From Algorithms: International and National AI Challenges, rok: 2026, DOI
-
Real-Time Monitoring and Analysis of Rehabilitation Exercises from a Smartphone Camera Video Stream
16th ACM International Conference on Multimedia Retrieval (ICMR), rok: 2026, DOI
-
Rebelòt: Datasets and Token-Level Language Identification for Lombard-Italian-English Code-Mixing
Proceedings of the SIGUL 2026 Joint Workshop with ELE, EURALI, and DCLRL "Towards Inclusivity and Equality: Language Resources and Technologies for Under-Resourced and Endangered Languages, rok: 2026, DOI
-
Recovering Graph ANN Search on Attention-Derived Workloads via a Query-Agnostic Spherical Transformation
Proceedings of the 35th ACM International Conference on Information and Knowledge Management (CIKM '26), rok: 2026, DOI
-
Reshaping Commercial Justice in the EU: Challenges in Creating a European Commercial Court
ERAZ 2025 International Scientific Conference - Conference Proceedings, rok: 2026