Publications
Total number of publications: 3180
Conference proceedings
-
Řecké a latinské lékařské názvosloví v díle Nomenclator Quadrilinguis Daniela Adama z Veleslavína
Tuto čti pilně. Sborník příspěvků k 60. narozeninám Aleny M. Černé, year: 2024
-
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming
Proceedings of the AAAI Conference on Artificial Intelligence, year: 2024
-
Scaling Learned Metric Index to 100M Datasets
17th International Conference on Similarity Search and Applications (SISAP 2024), year: 2024
-
Self-training Language Models for Arithmetic Reasoning
Findings of the 2024 Conference on Empirical Methods in Natural Language Processing, year: 2024
-
Setkávání sakrálního a profánního v poezii Herty Wićazec
Slavica Iuvenum XXV : Kolektivní monografie, year: 2024
-
Simpsonovo pravidlo ve školské matematice
Matematika, informační technologie a aplikované vědy (MITAV 2024), year: 2024
-
Skye: An Expanding PRF based Fast KDF and its Applications
Proceedings of the 19th ACM Asia Conference on Computer and Communications Security (ASIA CCS '24), year: 2024
-
Socìolìnhvìstyčnyj kontekst dìjal’nostì Jana Husa (analìz fìl’mu «Jan Hus», ekranìzacjiji odnoìmennoho romanu Evy Kanturkovoji)
Year: 2024
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, year: 2024
-
Sovremennaja belorusskaja tjuremnaja proza (na primere proizvedenij M. Znaka, I. Olineviča, N. Dedka
Year: 2024