• SAVAT: A Tool for Visualizing the Impact of Changes in Microservices

  Publikační výsledkyRok: 2025

  ADAM, R.; KOZÁK, D.; VOJNAR, T.; ČERNÝ, T.; GOULIS, G. SAVAT: A Tool for Visualizing the Impact of Changes in Microservices. In Lecture Notes in Computer Science. Springer, 2025. p. 3-11. ISBN: 978-3-032-04402-0.

• IMPACT OF TEMPERATURE ON TYRE HARDNESS

  Publikační výsledkyRok: 2025

  JELÍNEK, D.; SEMELA, M. IMPACT OF TEMPERATURE ON TYRE HARDNESS. In Acta Polytechnica Ctu Proceedings. Acta Polytechnica CTU Proceedings. Czech Technical University in Prague, 2025. p. 37-42. ISBN: 9788001074459.

• Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals Are Computationally Complete

  Publikační výsledkyRok: 2025

  HAVEL, M.; KŘIVKA, Z.; MEDUNA, A. Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals Are Computationally Complete. In Descriptional Complexity of Formal Systems. Lecture Notes in Computer Science. Loughborough: Springer Verlag, 2025. no. 7, p. 123-136. ISBN: 978-3-031-97099-3.

• The Asteroid Spectral Imager (ASPECT) on the Milani CubeSat

  Publikační výsledkyRok: 2025

  ANTTI, N.; KOHOUT, T.; KAŠPÁREK, T. The Asteroid Spectral Imager (ASPECT) on the Milani CubeSat. Space science reviews, 2025, vol. 2025, no. 221, p. 1-27.

• Automata Size Reduction by Procedure Finding

  Publikační výsledkyRok: 2025

  ŠEDÝ, M.; HOLÍK, L. Automata Size Reduction by Procedure Finding. In Proceedings of NFM'25. Lecture Notes in Computer Science. Williamsburg: Springer Nature Switzerland AG, 2025. no. 15682, p. 421-440.

• Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization

  Publikační výsledkyRok: 2025

  JOBRANOVÁ, S.; LENGÁL, O.; CHEN, Y.; CHEN, T.; JIANG, J. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. In IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. New York: Association for Computing Machinery, 2025. p. 1-9. ISBN: 979-8-4007-1077-3.

• ECG and EEG Analysis of Brain-Heart Interactions During Seizure Episodes

  Publikační výsledkyRok: 2025

  HUSSAIN, Y.; AMNA, R.; MALIK, A. ECG and EEG Analysis of Brain-Heart Interactions During Seizure Episodes. In 2025 IEEE International Instrumentation and Measurement Technology Conference (I2MTC). Chemnitz: IEEE Computer Society, 2025. p. 1-6. ISBN: 979-8-3315-0500-4.

• Verifying Quantum Circuits with Level-Synchronized Tree Automata

  Publikační výsledkyRok: 2025

  ABDULLA, P.; CHEN, Y.; CHEN, Y.; HOLÍK, L.; LENGÁL, O.; LIN, J.; LO, F.; TSAI, W. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages-PACMPL, 2025, vol. 9, no. 1, p. 923-953.

• Orchestration of Music by Grammar Systems

  Publikační výsledkyRok: 2025

  MAKIŠ, J.; MEDUNA, A.; KŘIVKA, Z. Orchestration of Music by Grammar Systems. In Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications. Electronic Proceedings in Theoretical Computer Science, EPTCS. Loughborough: Open Publishing Association, 2025. no. 7, p. 45-58.

• Fabrication and Electrical Characterization of Dot Capacitors for Cold Field Emission Applications

  Publikační výsledkyRok: 2025

  ALSOUD, A.; SHAHEEN, A.; KNÁPEK, A.; AL-BASHAISH, S.; AHMAD, M.; MOUSA, M.; SOBOLA, D. Fabrication and Electrical Characterization of Dot Capacitors for Cold Field Emission Applications. ACS Omega, 2025, vol. 10, no. 11, p. 11108-11118. ISSN: 2470-1343.

• Atomic layer deposited Ir nanostructures on titania nanotube layers for efficient alkaline hydrogen evolution reaction

  Publikační výsledkyRok: 2025

  BAWAB, B.; RODRIGUEZ PEREIRA, J.; MICHALIČKA, J.; POUZAR, M.; HROMÁDKO, L.; ZAZPE MENDIOROZ, R.; MACÁK, J. Atomic layer deposited Ir nanostructures on titania nanotube layers for efficient alkaline hydrogen evolution reaction. ELECTROCHIMICA ACTA, 2025, vol. 535, no. 146607, 9 p. ISSN: 1873-3859.

• Different Grain Sizes of MgAl2O4 Doped Alumina and Its Influence on SPD, CDBD, and APTD

  Publikační výsledkyRok: 2025

  PŘIBYL, R.; LEXMAUL, J.; PAZDERKA, M.; ŠŤASTNÝ, P.; KELAR, J. Different Grain Sizes of MgAl2O4 Doped Alumina and Its Influence on SPD, CDBD, and APTD. Plasma chemistry and plasma processing, 2025, vol. 45, no. 1, p. 69-83. ISSN: 1572-8986.

• RacerF: Lightweight Static Data Race Detection for C Code

  Publikační výsledkyRok: 2025

  DACÍK, T.; VOJNAR, T. RacerF: Lightweight Static Data Race Detection for C Code. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025. p. 37.1 (37.19 p.)ISBN: 978-3-95977-373-7.

• 4-WP11-001: Software for identification of noise sources of mobile systems

  Aplikované výsledkyRok: 2025

  KUČERA, P.; PÍŠTĚK, V.; FRAIT, M.; ŽLÁBEK, P.: 4-WP11-001: Software for identification of noise sources of mobile systems. URL: https://www.fme.vutbr.cz/fakulta/struktura/pracoviste/uadi. (Software)

• Preparation of magnetic fluids based on La0.80Ag0.15MnO3-δ nanoparticles

  Publikační výsledkyRok: 2025

  KOVALIK, M.; JURÍKOVÁ, A.; KUBOVČÍKOVÁ, M.; MIHALIK, M.; ZENTKOVÁ, M.; BALÁŽ, M.; BRIANČIN, J.; BUJŇÁKOVÁ, Z.; VAVRA, M.; LISNICHUK, M.; MAJERNÍK, M.; BOŠKOVIĆ, M.; PEROVIĆ, M.; JENDŽELOVSKÝ, R.; POLČÁK, J.; MARIÁN, M. Preparation of magnetic fluids based on La0.80Ag0.15MnO3-δ nanoparticles. Colloids and surfaces. A, Physicochemical and engineering aspects, 2025, vol. 711, no. 136300, 15 p. ISSN: 1873-4359.

Zobrazeny výsledky 2491 - 2505 z (ze) 10000 výsledků.