AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs
publikaceRok: 2025
LENGÁL, O.; CHEN, Y.; LIN, J.; TSAI, W.; HSIEH, M.; HUANG, W.; CHUNG, K. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. In Proceedings of TACAS'25. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2025.
p. 87-108. ISSN: 0302-9743.TS-SUPERB: A Target Speech Processing Benchmark for Speech Self-Supervised Learning Models
publikaceRok: 2025
PENG, J.; ASHIHARA, T.; DELCROIX, M.; OCHIAI, T.; PLCHOT, O.; ARAKI, S.; ČERNOCKÝ, J. TS-SUPERB: A Target Speech Processing Benchmark for Speech Self-Supervised Learning Models. Proceedings of ICASSP 2025. Hyderabad: IEEE Biometric Council, 2025.
p. 1-5. ISBN: 979-8-3503-6874-1.Barriers of knowledge base creation in the context of Microsoft Project application
publikaceRok: 2025
DOSKOČIL, R. Barriers of knowledge base creation in the context of Microsoft Project application. Management Journal of Contemporary Management Issuer, 2025, vol. 30, no. 1,
p. 141-157. ISSN: 1331-0194.Efficient Manipulation of Control Flow Models in Evolving Software
publikaceRok: 2025
FIEDOR, T.; PAVELA, J.; ROGALEWICZ, A.; VOJNAR, T. Efficient Manipulation of Control Flow Models in Evolving Software. Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2025.
p. 412-427. ISBN: 978-3-031-82949-9.Differentiated Slip Casting: Producing Variable Thickness Ceramic Tiles with Functionally Graded Plaster Moulds
publikaceRok: 2025
PALMA, M.; KAFTAN, M.; Baseta E.; heher F.; Konegger T. Differentiated Slip Casting: Producing Variable Thickness Ceramic Tiles with Functionally Graded Plaster Moulds. Ceramics-Switzerland, 2025, vol. 8, no. 1,
p. 1-13. ISSN: 2571-6131.Langevin Monte Carlo Beyond Lipschitz Gradient Continuity
publikaceRok: 2025
BENKO, M.; CHLEBICKA, I.; MIASOJEDOW, B.; ENDAL, J. Langevin Monte Carlo Beyond Lipschitz Gradient Continuity. In Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence. Philadelphia: Association for the Advancement of Artificial Intelligence, 2025.
p. 15541-15549. ISBN: 978-1-57735-897-8.Využití GNSS metod při mapování regionálních tektonických struktur
publikaceRok: 2024
ŠVÁBENSKÝ, O.; POSPÍŠIL, L. Využití GNSS metod při mapování regionálních tektonických struktur. Družicové metody v teorii a praxi. 1. Brno: Econ publishing, s r.o., 2024.
s. 38-43. ISBN: 978-80-86433-84-4.Biomechanical performance of dental implants inserted in different mandible locations and at different angles: A finite element study
publikaceRok: 2024
THOMKOVÁ, B.; MARCIÁN, P.; BORÁK, L.; JOUKAL, M.; WOLFF, J. Biomechanical performance of dental implants inserted in different mandible locations and at different angles: A finite element study. JOURNAL OF PROSTHETIC DENTISTRY, 2024, vol. 131, no. 1,
p. 128.e1 (128.e10 p.) ISSN: 0022-3913.Inter-instrument comparison of diffraction analysers for the determination of soil grain size fractions
publikaceRok: 2024
TOMÁŠOVÁ, G.; PASEKA, S. Inter-instrument comparison of diffraction analysers for the determination of soil grain size fractions. 6th International Symposium of Soil Physics. Praha: Czech University of Life Sciences Prague, 2024.
p. 46-46. ISBN: 978-80-213-3355-0.An approach for the creep-curve assessment using a new rail tribometer
publikaceRok: 2024
VALENA, M.; OMASTA, M.; KVARDA, D.; GALAS, R.; KŘUPKA, I.; HARTL, M. An approach for the creep-curve assessment using a new rail tribometer. Tribology International, 2024, vol. 191, no. March, ISSN: 0301-679X.
Experimental determination of fracture mechanical properties of cement-fibre boards reinforced with cellulose and PVA fibres for FE analysis
publikaceRok: 2024
VANĚK, V.; NESPĚŠNÝ, O.; VYSTRČIL, J.; BEČKOVSKÝ, D.; VAJKAY, F.; PĚNČÍK, J. Experimental determination of fracture mechanical properties of cement-fibre boards reinforced with cellulose and PVA fibres for FE analysis. Construction and building materials, 2024, vol. 411, no. 134622,
p. 1-9. ISSN: 0950-0618.Likvidace kondenzátu z komínů kotlů na pevná paliva
publikaceRok: 2024
VRÁNA, J., LYČKA, Z. Likvidace kondenzátu z komínů kotlů na pevná paliva. Topenářství, 2024, roč. 2024, č. 1,
s. 18-18. ISSN: 1211-0906.Odvádění kondenzátů z klimatizačních jednotek, vzduchotechnických potrubí, kondenzačních kotlů a jejich spalinových cest
publikaceRok: 2024
VRÁNA, J., MAŇAS, J. Odvádění kondenzátů z klimatizačních jednotek, vzduchotechnických potrubí, kondenzačních kotlů a jejich spalinových cest. Topenářství, 2024, roč. 2024, č. 1,
s. 74-76. ISSN: 1211-0906.Uncertainty quantification in the strain response of prestressed reinforced concrete structures using fractile based sampling
publikaceRok: 2024
WANG, X.; STRAUSS, A.; RANDL, N.; BOCCHINI, P. Uncertainty quantification in the strain response of prestressed reinforced concrete structures using fractile based sampling. Structure & Infrastructure Engineering - Online, 2024, vol. 20, no. 5,
p. 771-789. ISSN: 1744-8980.Moderní přístupy v diagnostice technických systémů
publikaceRok: 2024
HAMMER, M.;HÁJKOVÁ, A. Moderní přístupy v diagnostice technických systémů. "DIAGO 2024" Technická diagnostika strojů a výrobních zařízení, sborník 41. mezinárodní vědecké konference. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, 2024.
s. 26-31. ISBN: 978-80-248-4721-4.
Zobrazeny výsledky 451 - 465 z (ze) 10000 výsledků.
Odpovědnost: Ing. Marek Strakoš