Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic
publicationsYear: 2024
HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O.; HABERMEHL, P. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. Proceedings of CAV'24. Lecture Notes in Computer Science. Montreal: Springer Verlag, 2024.
p. 42-67. ISSN: 0302-9743.Co-expression analysis of small RNAs and untranslated regions in Rhodospirillum rubrum
publicationsYear: 2024
HEŘMÁNKOVÁ, K.; SEDLÁŘ, K. Co-expression analysis of small RNAs and untranslated regions in Rhodospirillum rubrum. Proceedings I of the 30 th Conference STUDENT EEICT 2024. 1. 2024.
p. 113-116. ISBN: 978-80-214-6231-1.Study of dynamic behaviour via Taylor anvil test and structure observation of M300 maraging steel fabricated by the selective laser melting method
publicationsYear: 2024
KOLOMÝ, Š.; JOPEK, M.; SEDLÁK, J.; BENČ, M.; ZOUHAR, J. Study of dynamic behaviour via Taylor anvil test and structure observation of M300 maraging steel fabricated by the selective laser melting method. Journal of Manufacturing Processes, 2024, vol. 125, no. 9,
p. 283-294. ISSN: 2212-4616.Imaging the elemental distribution within human malignant melanomas using Laser-Induced Breakdown Spectroscopy
publicationsYear: 2024
KOPŘIVOVÁ, H.; KISS, K.; KRBAL, L.; STEJSKAL, V.; BUDAY, J.; POŘÍZKA, P.; KAŠKA, M.; RYŠKA, A.; KAISER, J. Imaging the elemental distribution within human malignant melanomas using Laser-Induced Breakdown Spectroscopy. Analytica Chimica Acta, 2024, vol. 1310, no. 6,
p. 1-8. ISSN: 1873-4324.Enzyme-Based Impedimetric Biosensor dotted with gold nanoparticles
publicationsYear: 2024
KOŠELOVÁ, Z.; FOHLEROVÁ, Z. Enzyme-Based Impedimetric Biosensor dotted with gold nanoparticles. In Proceedings II of the 30 th Conference STUDENT EEICT 2024. Proceedings II of the Conference STUDENT EEICT. 1. Brno: Brno University of Technology, Faculty of Electrical Engineering, 2024.
p. 202-206. ISBN: 978-80-214-6230-4. ISSN: 2788-1334.Exploring Speech Profiles in Parkinson's Disease Patients on Long - Term Dopaminergic Medication
publicationsYear: 2024
KOVÁČ, D.; NOVOTNÝ, K.; MEKYSKA, J.; BRABENEC, L.; KOŠŤÁLOVÁ, M.; REKTOROVÁ, I. Exploring Speech Profiles in Parkinson's Disease Patients on Long - Term Dopaminergic Medication. In 2024 47th International Conference on Telecommunications and Signal Processing (TSP). IEEE, 2024.
p. 270-273. ISBN: 979-8-3503-6559-7.Indikátor výbojů pro kabelové soubory a plynem izolované rozváděče
patentYear: 2024
KRBAL, M.; KRAJSA, O.; WASSERBAUER, V.; HANÁK, P.; MLÝNEK, P.; TOMAN, P.; PTÁČEK, M.; POSPÍCHAL, L.; SOUČEK, J.; ŽENOŽIČKA, F.; Vysoké učení technické v Brně, Brno, Veveří MEgA - Měřící Energetické Aparáty, a.s., Česká: Indikátor výbojů pro kabelové soubory a plynem izolované rozváděče. 37966, užitný vzor. (2024)
Chatter mitigation in reaming: exploring effective tool holder design
publicationsYear: 2024
LÁNC, K.; FIALA, Z. Chatter mitigation in reaming: exploring effective tool holder design. MM Science Journal, 2024, no. JUN 2024,
p. 7357-7365. ISSN: 1803-1269.Effective acoustic absorption of ETFE membranes and cushions
publicationsYear: 2024
LAVASANI, M.; SLUYTS, Y.; JUN, D.; CHMELÍK, V.; RYCHTÁRIKOVÁ, M.; GLORIEUX, C. Effective acoustic absorption of ETFE membranes and cushions. In Proceedings of Forum Acusticum 2023. Proceedings of Forum Acusticum. Turin: European Acoustics Association, 2024.
p. 5341-5346. ISBN: 978-88-88942-67-4. ISSN: 2221-3767.Training Scenario for Security Testing of the Kerberos Protocol
publicationsYear: 2024
LAZAROV, W.; BOHAČÍK, A.; KOHOUT, D.; FUJDIAK, R. Training Scenario for Security Testing of the Kerberos Protocol. In Advances and Trends in Artificial Intelligence. Theory and Applications. Singapore: Springer, 2024.
p. 56-67. ISBN: 978-981-97-4677-4.Event-based Data Collection and Analysis in the Cyber Range Environment
publicationsYear: 2024
LAZAROV, W.; JANEK, S.; MARTINÁSEK, Z.; FUJDIAK, R. Event-based Data Collection and Analysis in the Cyber Range Environment. In ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security. New York, NY, USA: Association for Computing Machinery, 2024.
p. 1-8. ISBN: 979-8-4007-1718-5.Unveiling vertebrate development dynamics in frog Xenopus laevis using micro-CT imaging
publicationsYear: 2024
LAZNOVSKY, J.; KAVKOVA, M.; REIS, A.H.; ROBOVSKA-HAVELKOVA, P.; MAIA, L.A.; KRIVANEK, J.; ZIKMUND, T.; KAISER, J.; BUCHTOVA, M.; HARNOS, J. Unveiling vertebrate development dynamics in frog Xenopus laevis using micro-CT imaging. GigaScience, 2024, vol. 13, no. 1, ISSN: 2047-217X.
Soft computing methods in the solution of an inverse heat transfer problem with phase change: A comparative study
publicationsYear: 2024
MAUDER, T.; KŮDELA, J.; KLIMEŠ, L.; ZÁLEŠÁK, M.; CHARVÁT, P. Soft computing methods in the solution of an inverse heat transfer problem with phase change: A comparative study. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2024, vol. 133, no. B,
p. 108229 ( p.) ISSN: 1873-6769.Mechanizace v zalesňování
publicationsYear: 2024
MERGL, V. Mechanizace v zalesňování. Hradec Králové: VEGA s.r.o., 2024.
Vliv kombinace vysokoteplotního a fluidního popílku na mechanické parametry cementových malt
publicationsYear: 2024
MERUŇKA, M.; ŤAŽKÝ, M.; HELA, R. Vliv kombinace vysokoteplotního a fluidního popílku na mechanické parametry cementových malt. TZB-info, 2024, roč. x, č. x, ISSN: 1801-4399.
Showing results 931 - 945 of 10000 results.