Publikace
Počet publikací: 3445
Články ve sbornících
-
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
VMCAI 2025, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, rok: 2025
-
A Dynamic Two-Stage DEA Assessment of Energy Transition Progress in the European Union
Proceedings of the 43rd International Conference on Mathematical Methods in Economic, rok: 2025
-
A non-Boolean analysis of conjunction in additive numerals : A mereotopological approach
Proceedings of Sinn und Bedeutung 29, rok: 2025
-
Adolf Nowak (1847–1903)
Osobnosti uměleckoprůmyslového muzejnictví, rok: 2025
-
Advanced Computational Modeling and Simulation for Immersive Virtual Reality Experiences: Preserving Hong Kong's Traditional Handicrafts
Intelligent Human Systems Integration (IHSI 2025): Integrating People and Intelligent Systems. AHFE (2025) International Conference., rok: 2025
-
ADVANCED DCSBD-BASED PLASMA TECHNOLOGIES FOR SURFACE MODIFICATIONS AND BIO-APPLICATIONS
Book of Contributed Papers: 25th Symposium on Application of Plasma Processes and 14th EU-Japan Joint Symposium on Plasma Processing, Štrbské Pleso, Slovakia, 31 January – 5 February 2025., rok: 2025
-
Advancing the PAM Algorithm to Semi-Supervised k-Medoids Clustering
17th International Conference on Similarity Search and Applications (SISAP), rok: 2025
-
AEON 2025: Robust Control of Partially-Specified Boolean Networks
AEON 2025: Robust Control of Partially-Specified Boolean Networks, rok: 2025
-
Agresivní formy retinopatie nedonošených - A ROP
Folia Strabologica et neuroophthalmologica, rok: 2025
-
Aktivní povinnosti jako nový fenomén práva informačních technologií
XXXII. Karlovarské právnické dny, rok: 2025