Věda a výzkum

2020

  • MARTIN Eleanor, JAROŠ Jiří a TREEBY Bradley E. Experimental Validation of k-Wave: Nonlinear Wave Propagation in Layered, Absorbing Fluid Media. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, roč. 67, č. 1, s. 81-91. ISSN 1525-8955. Detail
  • MLÍCH Jozef, KOPLÍK Karel, HRADIŠ Michal a ZEMČÍK Pavel. Fire Segmentation in Still Images. In: Springer International Publishing. Lecture Notes in Computer Science. Auckland: Springer International Publishing, 2020. Detail
  • KEKELY Michal, KEKELY Lukáš a KOŘENEK Jan. General memory efficient packet matching FPGA architecture for future high-speed networks. Microprocessors and Microsystems, roč. 73, č. 3, s. 1-12. ISSN 0141-9331. Detail
  • ANSARI Mohammad S., MRÁZEK Vojtěch, COCKBURN Bruce F., SEKANINA Lukáš, VAŠÍČEK Zdeněk a HAN Jie. Improving the Accuracy and Hardware Efficiency of Neural Networks Using Approximate Multipliers. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, roč. 99, č. 99, s. 1-12. ISSN 1063-8210. Detail
  • MARCISIO Alberto, MRÁZEK Vojtěch, HANIF Muhammad A. a SHAFIQUE Muhammad. ReD-CaNe: A Systematic Methodology for Resilience Analysis and Design of Capsule Networks under Approximations. In: Grenoble, 2020. Detail
  • STRNADEL Josef. Statistical Model Checking of Approximate Circuits: Challenges and Opportunities. In: Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble: IEEE Computer Society, 2020, s. 1-4. Detail
  • VAVERKA Filip, MRÁZEK Vojtěch, VAŠÍČEK Zdeněk a SEKANINA Lukáš. TFApprox: Towards a Fast Emulation of DNN Approximate Hardware Accelerators on GPU. In: Grenoble, 2020. Detail

2019

  • SEHNALOVÁ Pavla a ŠÁTEK Václav. 35 Years of Taylor-Kunovsky Simulation Language. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, s. 1-4. ISSN 0094-243X. Detail
  • ZEINALI Hossein, ČERNOCKÝ Jan a BURGET Lukáš. A multi purpose and large scale speech corpus in Persian and English for speaker and speech Recognition: the DeepMine database. In: Proceedings of ASRU 2019. Sentosa, Singapore: IEEE Signal Processing Society, 2019, s. 397-402. ISBN 978-1-72810-306-8. Detail
  • CARTAS Alejandro, KOCOUR Martin, RAMAN Aravindh, LEONTIADIS Ilias, LUQUE Jordi, SASTRY Nishanth, NUNEZ-MARTINEZ Leon, PERINO Diego a PERALES Carlos Segura. A Reality Check on Inference at Mobile Networks Edge. In: Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking. Dressden: Association for Computing Machinery, 2019, s. 54-59. ISBN 978-1-4503-6275-7. Detail
  • LETAVAY Viliam, PLUSKAL Jan a RYŠAVÝ Ondřej. A Scalable Architecture for Network Traffic Forensics. In: The Fifteenth International Conference on Networking and Services ICNS 2019. Athens: The International Academy, Research and Industry Association, 2019, s. 32-36. ISBN 978-1-61208-711-5. Detail
  • ALAM Jahangir, BOULIANNE Gilles, GLEMBEK Ondřej, LOZANO Díez Alicia, MATĚJKA Pavel, MIZERA Petr, MONTEIRO Joao, MOŠNER Ladislav, NOVOTNÝ Ondřej, PLCHOT Oldřich, ROHDIN Johan A., SILNOVA Anna, SLAVÍČEK Josef, STAFYLAKIS Themos, WANG Shuai a ZEINALI Hossein. ABC NIST SRE 2019 CTS System Description. In: Proceedings of NIST. Sentosa, Singapore: United States Department of Commerce, National Institute of Standards and Technology, 2019, s. 1-6. Detail
  • ALAM Jahangir, BOULIANNE Gilles, BURGET Lukáš, GLEMBEK Ondřej, LOZANO Díez Alicia, MATĚJKA Pavel, MIZERA Petr, MOŠNER Ladislav, NOVOTNÝ Ondřej, PLCHOT Oldřich, ROHDIN Johan A., SILNOVA Anna, SLAVÍČEK Josef, STAFYLAKIS Themos, WANG Shuai, ZEINALI Hossein, DAHMANE Mohamed, ST-CHARLES Pierre-Luc, LALONDE Marc, NOISEUX Cédric a MONTEIRO Joao. ABC System Description for NIST Multimedia Speaker Recognition Evaluation 2019. In: Proceedings of NIST 2019 SRE Workshop. Sentosa, Singapore: United States Department of Commerce, National Institute of Standards and Technology, 2019, s. 1-7. Detail
  • KUKA Mário, VOJANEC Kamil, KUČERA Jan a BENÁČEK Pavel. Accelerated DDoS Attacks Mitigation using Programmable Data Plane. In: 2019 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS). Cambridge: Institute of Electrical and Electronics Engineers, 2019, s. 1-3. ISBN 978-1-72814-387-3. Detail
  • VRÁNA Roman a KOŘENEK Jan. Acceleration of Feature Extraction for Real-Time Analysis of Encrypted Network Traffic. In: 2019 22nd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Cluj-Napoca: Institute of Electrical and Electronics Engineers, 2019, s. 1-6. ISBN 978-1-72810-073-9. Detail
  • JAROŠ Marta, TREEBY Bradley E. a JAROŠ Jiří. Adaptive Execution Planning in Biomedical Workflow Management Systems. Ostrava, 2019. Detail
  • JAROŠ Marta, JAROŠ Jiří a TREEBY Bradley E. Adaptive Execution Planning in Workflow Management Systems. Denver, 2019. Detail
  • JAROŠ Marta. Adaptive Execution Planning in Workflow Management Systems. In: Počítačové architektury a diagnostika 2019. Doksy: Academic and Medical Conference Agency, 2019, s. 23-26. ISBN 978-80-88214-20-5. Detail
  • DRAHOŠOVÁ Michaela, SEKANINA Lukáš a WIGLASZ Michal. Adaptive Fitness Predictors in Coevolutionary Cartesian Genetic Programming. Evolutionary Computation, roč. 27, č. 3, s. 497-523. ISSN 1063-6560. Detail
  • BIDLO Michal. Advances in the Evolution of Complex Cellular Automata. Computational Intelligence. International Joint Conference, IJCCI 2016 Porto, Portugal, November 9-11, 2016 Revised Selected Papers. Cham: Springer International Publishing, 2019, s. 123-146. ISBN 978-3-319-99282-2. Detail
  • ZBOŘIL František, ROZMAN Jaroslav a KOČÍ Radek. Algorithmic creation of genealogical models. In: Proceedings of ISDA 2018. Advances in Intelligent Systems and Computing, roč. 941. Los Alamitos: Springer International Publishing, 2019, s. 650-658. ISBN 978-3-030-16659-5. ISSN 2194-5357. Detail
  • MRÁZEK Vojtěch, VAŠÍČEK Zdeněk, SEKANINA Lukáš, HANIF Muhammad A. a SHAFIQUE Muhammad. ALWANN: Automatic Layer-Wise Approximation of Deep Neural Network Accelerators without Retraining. In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design. Denver: Institute of Electrical and Electronics Engineers, 2019, s. 1-8. ISBN 978-1-72812-350-9. Detail
  • HYRŠ Martin a SCHWARZ Josef. An Analysis of Control Parameters of Copula-based EDA Algorithm with Model Migration. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. Praha: Association for Computing Machinery, 2019, s. 259-260. ISBN 978-1-4503-6748-6. Detail
  • RYŠAVÝ Ondřej. An IPFIX Extension for MQTT Protocol Monitoring. FIT-TR-2019-01, Brno: Fakulta informačních technologií VUT v Brně, 2019. Detail
  • MATĚJKA Pavel, PLCHOT Oldřich, ZEINALI Hossein, MOŠNER Ladislav, SILNOVA Anna, BURGET Lukáš, NOVOTNÝ Ondřej a GLEMBEK Ondřej. Analysis of BUT Submission in Far-Field Scenarios of VOiCES 2019 Challenge. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, s. 2448-2452. ISSN 1990-9772. Detail
  • NOVOTNÝ Ondřej, PLCHOT Oldřich, GLEMBEK Ondřej, ČERNOCKÝ Jan a BURGET Lukáš. Analysis of DNN Speech Signal Enhancement for Robust Speaker Recognition. Computer Speech and Language, roč. 2019, č. 58, s. 403-421. ISSN 0885-2308. Detail
  • KARAFIÁT Martin, BASKAR Murali K., WATANABE Shinji, HORI Takaaki, WIESNER Matthew a ČERNOCKÝ Jan. Analysis of Multilingual Sequence-to-Sequence Speech Recognition Systems. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, s. 2220-2224. ISSN 1990-9772. Detail
  • DIEZ Sánchez Mireia, BURGET Lukáš, LANDINI Federico Nicolás a ČERNOCKÝ Jan. Analysis of Speaker Diarization based on Bayesian HMM with Eigenvoice Priors. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, roč. 2019, č. 28, s. 355-368. ISSN 2329-9290. Detail
  • ŠPAŇHEL Jakub, JURÁNEK Roman, HEROUT Adam, NOVÁK Jan a HAVRÁNEK Pavel. Analysis of Vehicle Trajectories for Determining Cross-Sectional Load Density Based on Computer Vision. In: 2019 22th International Conference on Intelligenet Transportation Systems (ITSC). Auckland: Institute of Electrical and Electronics Engineers, 2019, s. 1001-1006. ISBN 978-1-5386-7024-8. Detail
  • BIDLO Michal a KORGO Jakub. Ant Colony Optimisation for Performing Computational Task in Cellular Automata. MENDEL Soft Computing Journal, roč. 2019, č. 1, s. 147-156. ISSN 1803-3814. Detail
  • HRUŠKA Tomáš, RUDNITCKAIA Julia a kol. Applying Process Mining to the Ship Handling Process at Oil Terminal. In: Conference on Industrial Cyber Physical Systems. IEEEXplore. Taipei: Institute of Electrical and Electronics Engineers, 2019, s. 552-557. ISBN 978-1-5386-8500-6. Detail
  • ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. International Journal on Software Tools for Technology Transfer, roč. 2019, č. 1, s. 1-17. ISSN 1433-2779. Detail
  • MRÁZEK Vojtěch, HANIF Muhammad A., VAŠÍČEK Zdeněk, SEKANINA Lukáš a SHAFIQUE Muhammad. autoAx: An Automatic Design Space Exploration and Circuit Building Methodology utilizing Libraries of Approximate Components. In: The 56th Annual Design Automation Conference 2019 (DAC '19). Las Vegas: Association for Computing Machinery, 2019, s. 1-6. ISBN 978-1-4503-6725-7. Detail
  • HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. In: Proceedings of 27th International Conference on Automated Deduction (CADE-27). Natal: Springer Verlag, 2019, s. 300-318. ISSN 0302-9743. Detail
  • HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca, 2019. Detail
  • VAŠÍČEK Zdeněk, MRÁZEK Vojtěch a SEKANINA Lukáš. Automated Circuit Approximation Method Driven by Data Distribution. In: Design, Automation and Test in Europe Conference. Florence: European Design and Automation Association, 2019, s. 96-101. ISBN 978-3-9819263-2-3. Detail
  • SEKANINA Lukáš, VAŠÍČEK Zdeněk a MRÁZEK Vojtěch. Automated Search-Based Functional Approximation for Digital Circuits. Approximate Circuits - Methodologies and CAD. Heidelberg: Springer International Publishing, 2019, s. 175-203. ISBN 978-3-319-99322-5. Detail
  • HOLKOVIČ Martin, RYŠAVÝ Ondřej a DUDEK Jindřich. Automating Network Security Analysis at Packet-level by using Rule-based Engine. In: Proceedings of the Sixth European Conference on the Engineering of Computer-Based Systems. Bucharest: Association for Computing Machinery, 2019, s. 1-8. Detail
  • DIEZ Sánchez Mireia, BURGET Lukáš, WANG Shuai, ROHDIN Johan A. a ČERNOCKÝ Jan. Bayesian HMM based x-vector clustering for Speaker Diarization. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, s. 346-350. ISSN 1990-9772. Detail
  • ONDEL Lucas, VYDANA Hari K., BURGET Lukáš a ČERNOCKÝ Jan. Bayesian Subspace Hidden Markov Model for Acoustic Unit Discovery. In: Proceedings of Interspeech 2019. Graz: International Speech Communication Association, 2019, s. 261-265. ISSN 1990-9772. Detail
  • JEŘÁBEK Kamil. Big Data cluster založený na kontejnerech. FIT-TR-2019-04, Brno: Fakulta informačních technologií VUT v Brně, 2019. Detail
  • JEŘÁBEK Kamil a RYŠAVÝ Ondřej. Big Data Network Flow Processing Using Apache Spark. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bukurešť: Association for Computing Machinery, 2019, s. 1-9. ISBN 978-1-4503-7636-5. Detail
  • DRAHANSKÝ Martin, KANICH Ondřej, GOLDMANN Tomáš a DVOŘÁK Michal. Biometrické systémy - aktuální stav a bezpečnost. Útvar polic. vzdělávání a služební přípravy, Policie ČR, Brno, 2019. Detail
  • SZŐKE Igor, SKÁCEL Miroslav, MOŠNER Ladislav, PALIESEK Jakub a ČERNOCKÝ Jan. Building and Evaluation of a Real Room Impulse Response Dataset. IEEE Journal of Selected Topics in Signal Processing, roč. 13, č. 4, s. 863-876. ISSN 1932-4553. Detail
  • FAJČÍK Martin, BURGET Lukáš a SMRŽ Pavel. BUT-FIT at SemEval-2019 Task 7: Determining the Rumour Stance with Pre-Trained Deep Bidirectional Transformers. In: Proceedings of the 13th International Workshop on Semantic Evaluation. Minneapolis, Minnesota: Association for Computational Linguistics, 2019, s. 1097-1104. ISBN 978-1-950737-06-2. Detail
  • KONČAL Ondřej a SEKANINA Lukáš. Cartesian Genetic Programming as an Optimizer of Programs Evolved with Geometric Semantic Genetic Programming. In: Genetic Programming 22nd European Conference, EuroGP 2019. Cham: Springer International Publishing, 2019, s. 98-113. ISBN 978-3-030-16669-4. Detail
  • MUSIL Petr, JURÁNEK Roman, MUSIL Martin a ZEMČÍK Pavel. Cascaded Stripe Memory Engines for Multi-Scale Object Detection in FPGA. IEEE Transactions on Circuits and Systems for Video Technology, roč. 2020, č. 1, s. 267-280. ISSN 1051-8215. Detail
  • SZURMAN Karel a KOTÁSEK Zdeněk. Coarse-Grained TMR Soft-Core Processor Fault Tolerance Methods and State Synchronization for Run-Time Fault Recovery. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019, s. 32-35. ISBN 978-1-72811-755-3. Detail
  • BAMBUŠEK Daniel, MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav a SMRŽ Pavel. Combining Interactive Spatial Augmented Reality with Head-Mounted Display for End-User Collaborative Robot Programming. In: 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). New Delhi: Institute of Electrical and Electronics Engineers, 2019, s. 1-9. ISBN 978-1-7281-2622-7. Detail
  • DELCROIX Marc, ŽMOLÍKOVÁ Kateřina, OCHIAI Tsubasa, KINOSHITA Keisuke, ARAKI Shoko a NAKATANI Tomohiro. Compact Network for Speakerbeam Target Speaker Extraction. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, s. 6965-6969. ISBN 978-1-5386-4658-8. Detail
  • BIDLO Michal. Comparison of Evolutionary Development of Cellular Automata Using Various Representations. MENDEL Soft Computing Journal, roč. 2019, č. 1, s. 95-102. ISSN 1803-3814. Detail
  • HUSA Jakub. Comparison of Genetic Programming Methods on Design of Cryptographic Boolean Functions. In: Genetic Programming 22st European Conference, EuroGP 2019, Proceedings. Cham: Springer International Publishing, 2019, s. 228-244. ISBN 978-3-030-14811-9. Detail
  • PASTUSHENKO Olena a HRUŠKA Tomáš. Conceptual Learning of Electric and Electronic Circuits With Gamification. In: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion. Extended Abstracts. Barcelona: Association for Computing Machinery, 2019, s. 589-596. ISBN 978-1-4503-6871-1. Detail
  • ČEŠKA Milan, HENSE Christian, JUNGES Sebastian a KATOEN Joost-Pieter. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In: Proceedings of the 23rd International Symposium on Formal Methods.. Lecture Notes of Computer Science. Porto: Springer International Publishing, 2019, s. 101-120. ISBN 978-3-030-30941-1. Detail
  • ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, KOŘENEK Jan, LENGÁL Ondřej, MATOUŠEK Denis, MATOUŠEK Jiří, SEMRIČ Jakub a VOJNAR Tomáš. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. In: Proceedings of the 27th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM). San Diego, CA: Institute of Electrical and Electronics Engineers, 2019, s. 109-117. ISBN 978-1-72811-132-2. Detail
  • ONDEL Lucas, LI Ruizhi, SELL Gregory a HEŘMANSKÝ Hynek. Deriving Spectro-temporal Properties of Hearing from Speech Data. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, s. 411-415. ISBN 978-1-5386-4658-8. Detail
  • ŽÁK Marek, ROZMAN Jaroslav a ZBOŘIL František V. Design of Omni-directional Hexapod Robot with Horizontal Coxa Joint. In: 2019 IEEE 15th International Scientific Conference on Informatics. Poprad: Fakulta elektrotechniky a informatiky, Technická univerzita v Košiciach, 2019, s. 473-477. ISBN 978-1-7281-3178-8. Detail
  • HUSA Jakub. Designing Correlation Immune Boolean Functions With Minimal Hamming Weight Using Various Genetic Programming Methods. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York: Association for Computing Machinery, 2019, s. 342-343. ISBN 978-1-4503-6748-6. Detail
  • KRČMA Martin a KOTÁSEK Zdeněk. Detecting hard synapses faults in artificial neural networks. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago de Chile: IEEE Computer Society, 2019, s. 1-6. ISBN 978-1-72811-755-3. Detail
  • ZEINALI Hossein, STAFYLAKIS Themos, ATHANASOPOULOU Georgia, ROHDIN Johan A., GKINIS Ioanis, BURGET Lukáš a ČERNOCKÝ Jan. Detecting Spoofing Attacks Using VGG and SincNet: BUT-Omilia Submission to ASVspoof 2019 Challenge. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, s. 1073-1077. ISSN 1990-9772. Detail
  • GOLDMANN Tomáš, KANICH Ondřej a DRAHANSKÝ Martin. Detection of facial key points. Brno, 2019. Detail
  • KANICH Ondřej, DRAHANSKÝ Martin a GOLDMANN Tomáš. Detekce chodců z výšky pomocí neuronových sítí. Brno, 2019. Detail
  • NOVOTNÝ Ondřej, PLCHOT Oldřich, GLEMBEK Ondřej, BURGET Lukáš a MATĚJKA Pavel. Discriminatively Re-trained i-Vector Extractor For Speaker Recognition. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, s. 6031-6035. ISBN 978-1-5386-4658-8. Detail
  • HRANICKÝ Radek, ZOBAL Lukáš, RYŠAVÝ Ondřej a KOLÁŘ Dušan. Distributed password cracking with BOINC and hashcat. Digital Investigation, roč. 2019, č. 30, s. 161-172. ISSN 1742-2876. Detail
  • KOCNOVÁ Jitka a VAŠÍČEK Zdeněk. EA-based refactoring of mapped logic circuits. In: 2019 IEEE International Symposium on Circuits and Systems (ISCAS). Red Hook, NY: IEEE Computer Society Press, 2019, s. 1-5. ISBN 978-1-72810-397-6. Detail
  • KEKELY Lukáš, CABAL Jakub a KOŘENEK Jan. Effective FPGA Architecture for General CRC. In: Architecture of Computing Systems - ARCS 2019. Neuvedeno: Springer International Publishing, 2019, s. 211-223. ISBN 978-3-030-18655-5. Detail
  • SEDLMAJER Kamil, BAMBUŠEK Daniel a BERAN Vítězslav. Effective Remote Drone Control Using Augmented Virtuality. In: Proceedings of the 3rd International Conference on Computer-Human Interaction Research and Applications 2019. Vienna: SciTePress - Science and Technology Publications, 2019, s. 177-182. ISBN 978-989-758-376-6. Detail
  • MRÁZEK Vojtěch, SEKANINA Lukáš, DOBAI Roland, SÝS Marek a ŠVENDA Petr. Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, roč. 27, č. 12, s. 2734-2744. ISSN 1063-8210. Detail
  • ROHDIN Johan A., SILNOVA Anna, DIEZ Sánchez Mireia, PLCHOT Oldřich, MATĚJKA Pavel, BURGET Lukáš a GLEMBEK Ondřej. End-to-end DNN based text-independent speaker recognition for long and short utterances. Computer Speech and Language, roč. 2020, č. 59, s. 22-35. ISSN 0885-2308. Detail
  • BAŘINA David, CHLUBNA Tomáš, ŠOLONY Marek, DLABAJA Drahomír a ZEMČÍK Pavel. Evaluation of 4D Light Field Compression Methods. In: International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG), Part I. Computer Science Research Notes (CSRN), roč. 2901. Plzeň: Union Agency, 2019, s. 55-61. ISBN 978-80-86943-37-4. Detail
  • DELCROIX Marc, ŽMOLÍKOVÁ Kateřina, OCHIAI Tsubasa, KINOSHITA Keisuke, ARAKI Shoko a NAKATANI Tomohiro. Evaluation of SpeakerBeam target speech extraction in real noisy and reverberant conditions. THE JOURNAL OF THE ACOUSTICAL SOCIETY OF JAPAN, roč. 2019, č. 2, s. 1-2. ISSN 0369-4232. Detail
  • VAVERKA Filip, TREEBY Bradley E. a JAROŠ Jiří. Evaluation of the Suitability of Intel Xeon Phi Clusters for the Simulation of Ultrasound Wave Propagation using Pseudospectral Methods. In: 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part III. Lecture Notes in Computer Science, volume 11538. Faro: Springer International Publishing, 2019, s. 577-590. ISBN 978-3-030-22743-2. Detail
  • PASTUSHENKO Olena, HYNEK Jiří a HRUŠKA Tomáš. Evaluation of User Interface Design Metrics using Generator of Realistic-Looking Dashboard Samples. Expert Systems, roč. 2019, č. 36, s. 1-19. ISSN 1468-0394. Detail
  • BIDLO Michal. Evolution of Cellular Automata Development Using Various Representations. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. Praha: Association for Computing Machinery, 2019, s. 107-108. ISBN 978-1-4503-6748-6. Detail
  • BIDLO Michal a DOBEŠ Michal. Evolutionary Development of Generic Sorting Networks by Means of Rewriting Systems. IEEE Transactions on Evolutionary Computation, roč. 99, č. 99, s. 1-13. ISSN 1089-778X. Detail
  • PODIVÍNSKÝ Jakub, LOJDA Jakub a KOTÁSEK Zdeněk. Extended Reliability Analysis of Fault-Tolerant FPGA-based Robot Controller. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019, s. 97-100. ISBN 978-1-72811-755-3. Detail
  • MATOUŠEK Petr, RYŠAVÝ Ondřej a BURGETOVÁ Ivana. Extending Networking Curriculum with Applied Artificial Intelligence. In: Proceedings of EAEEIE 2019. Ruse: Institute of Electrical and Electronics Engineers, 2019, s. 11-16. ISBN 978-1-72813-222-8. Detail
  • DRAHANSKÝ Martin. Face and Eye Recognition. Norwegian ID Centre (Norwegian Biometric Forum), Oslo, 2019. Detail
  • DRAHANSKÝ Martin a GOLDMANN Tomáš. Face Recognition in Forensic Applications. Darmstadt, 2019. Detail
  • DRAHANSKÝ Martin a GOLDMANN Tomáš. Faces in forensic applications - processing and generation of 2D and 3D face data in criminal praxis scenarios. INTERPOL, Lyon, 2019. Detail
  • NOVOTNÝ Ondřej, PLCHOT Oldřich, GLEMBEK Ondřej a BURGET Lukáš. Factorization of Discriminatively Trained i-Vector Extractor for Speaker Recognition. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, s. 4330-4334. ISSN 1990-9772. Detail
  • ŠŮSTEK Martin, VÍDEŇSKÝ František, ZBOŘIL František a ZBOŘIL František V. Family Coat of Arms and Armorial Achievement Classification. In: Intelligent Systems Design and Applications. Advances in Intelligent Systems and Computing, vol 941, roč. 2019. Los Alamitos: Springer International Publishing, 2019, s. 650-658. ISSN 2194-5357. Detail
  • SZURMAN Karel a KOTÁSEK Zdeněk. Fault Recovery for Coarse-Grained TMR Soft-Core Processor Using Partial Reconfiguration and State Synchronization. Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy, 2019. Detail
  • RUDNITCKAIA Julia a NIKDO. Finding an Optimal Route of a Consignment in a Seaport. In: 4th International Conference on Intelligent Transportation Engineering (ICITE). IEEEXplore, roč. 2019. Singapore: Institute of Electrical and Electronics Engineers, 2019, s. 29-33. ISBN 978-1-72814-553-2. Detail
  • DRAHANSKÝ Martin a KANICH Ondřej. Fingerprints in forensic applications - processing and generation of diseased, damaged and spoofed fingerprints. INTERPOL, Lyon, 2019. Detail
  • KONEČNÝ Jan. Formal Concept Analysis with Graded Affirmations and Denials. Brno, 2019. Detail
  • VAŠÍČEK Zdeněk. Formal Methods for Exact Analysis of Approximate Circuits. IEEE Access, roč. 7, č. 1, s. 177309-177331. ISSN 2169-3536. Detail
  • DRAHANSKÝ Martin. Foto-Fahndung mit 3D-Modellen. Köln, 2019, s. 1-1. Detail
  • TREEBY Bradley E., JAROŠ Jiří, MARTIN Eleanor a COX Ben T. From Biology to Bytes: Predicting the Path of Ultrasound Waves Through the Human Body. Acoustics Today, roč. 15, č. 2, s. 36-44. ISSN 1557-0223. Detail
  • PASTUSHENKO Olena. Gamification in Assignments: Using Dynamic Difficulty Adjustment and Learning Analytics to Enhance Education. In: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion. Extended Abstracts. Barcelona: Association for Computing Machinery, 2019, s. 47-53. ISBN 978-3-319-77711-5. Detail
  • KOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. General CD Grammar Systems and Their Simplification. Journal of Automata, Languages and Combinatorics, s. 17. ISSN 1430-189X. Detail
  • GOLDMANN Tomáš, KANICH Ondřej a DRAHANSKÝ Martin. Generation and analysis of face data. Brno, 2019. Detail
  • KANICH Ondřej, DVOŘÁK Michal a DRAHANSKÝ Martin. Generátor a detektor modelů zbraní. Brno, 2019. Detail
  • SEKANINA Lukáš, HU Ting, LOURENÇO Nuno, RICHTER Hendrik a GARCÍA-SÁNCHEZ Pablo, ed. Genetic Programming 22nd European Conference. Lecture Notes in Computer Science, roč. 11451. Cham: Springer International Publishing, 2019. ISBN 978-3-030-16669-4. Detail
  • HORÁČEK Petr, MEDUNA Alexander a TOMKO Martin. Handbook of Mathematical Models for Languages and Computation. Stevenage, United Kingdom: The Institution of Engineering and Technology, 2019. ISBN 978-1-78561-659-4. Detail
  • FUKAČ Tomáš a KOŘENEK Jan. Hash-based Pattern Matching for High Speed Networks. In: 2019 22nd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Cluj-Napoca: Institute of Electrical and Electronics Engineers, 2019, s. 1-5. ISBN 978-1-72810-073-9. Detail
  • VESELÝ Vladimír a ŽÁDNÍK Martin. How to detect cryptocurrency miners? By traffic forensics!. Digital Investigation, roč. 2019, č. 31, s. 1-25. ISSN 1742-2876. Detail
  • PLUSKAL Jan, VONDRÁČEK Martin a RYŠAVÝ Ondřej. How to do Network Forensics on GSE OverlayNetworks. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bukurešť: Association for Computing Machinery, 2019, s. 1-10. ISBN 978-1-4503-7636-5. Detail
  • ZEINALI Hossein, BURGET Lukáš, ROHDIN Johan A., STAFYLAKIS Themos a ČERNOCKÝ Jan. How To Improve Your Speaker Embeddings Extractor in Generic Toolkits. In: Proceedings of ICASSP 2019. Brighton: IEEE Signal Processing Society, 2019, s. 6141-6145. ISBN 978-1-5386-4658-8. Detail
  • ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš a JANKŮ Petr. Chain-Free String Constraints. In: Proceedings of ATVA'19. Lecture Notes in Computer Science, roč. 11781. Cham: Springer International Publishing, 2019, s. 277-293. ISBN 978-3-030-31783-6. Detail
  • KOCNOVÁ Jitka a VAŠÍČEK Zdeněk. Impact of subcircuit selection on the efficiency of CGP-based optimization of gate-level circuits. In: GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion. New York: Association for Computing Machinery, 2019, s. 377-378. ISBN 978-1-4503-6748-6. Detail
  • MOŠNER Ladislav, WU Minhua, RAJU Anirudh, PARTHASARATHI Sree Hari Krishnan, KUMATANI Kenichi, SUNDARAM Shiva, MAAS Roland a HOFFMEISTER Björn. Improving Noise Robustness of Automatic Speech Recognition via Parallel Data and Teacher-student Learning. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, s. 6475-6479. ISBN 978-1-5386-4658-8. Detail
  • MALČÍK Dominik a DRAHANSKÝ Martin. Improving the Physical Security of Microchips. International Journal of Security and Its Applications, roč. 3, č. 13, s. 17-28. ISSN 2207-9629. Detail
  • MALČÍK Dominik a DRAHANSKÝ Martin. Improving The Physical Security Of Microchips Against Side-Channel Attacks. International Journal of Advanced Science and Technology, roč. 2019, č. 127, s. 13-24. ISSN 2207-6360. Detail
  • KOČÍ Radek a JANOUŠEK Vladimír. Incorporating Petri Nets into DEVS Formalism for Precise System Modeling. In: ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances. Valencia: Xpert Publishing Services, 2019, s. 184-189. ISBN 978-1-61208-752-8. Detail
  • MATOUŠEK Petr, RYŠAVÝ Ondřej a GRÉGR Matěj. Increasing Visibility of IEC 104 Communication in the Smart Grid. In: 6th International Symposium for ICS & SCADA Cyber Security Research 2019. Swindon: BCS Learning and Development Ltd., 2019, s. 21-30. ISBN 978-1-78017-523-2. Detail
  • VEĽAS Martin, ŠPANĚL Michal a HEROUT Adam. Indoor and Outdoor Backpack Mapping with Calibrated Pair of Velodyne LiDARs. Sensors, roč. 2019, č. 18, s. 1-34. ISSN 1424-8220. Detail
  • DRAHANSKÝ Martin a KANICH Ondřej. Influence of Skin Diseases on Fingerprints. Biometrics under Biomedical Considerations. Singapore: Springer Nature Singapore, 2019, s. 1-39. ISBN 978-981-1311-44-4. Detail
  • HOMOLIAK Ivan. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Computing Surveys, roč. 52, č. 2, s. 1-54. ISSN 0360-0300. Detail
  • BISWAS Sangeeta, ROHDIN Johan A., MŇUK Tomáš a DRAHANSKÝ Martin. Is There Any Similarity Between a Person's Left and Right Retina?. In: Proceedings of the 18th International Conference of the Biometrics Special Interest Group. Lecture Notes in Informatics. Darmstadt: GI - Gesellschaft für Informatik e.V., 2019, s. 71-82. ISBN 978-3-88579-690-9. Detail
  • HOLÍK Lukáš, CHIANG Chang-Yi, CHEN Yu-Fang, KAO Wei-Tsung, LIN Hsin-Hung, VOJNAR Tomáš, WEN Yean-Fu a WU Wei-Cheng. J-ReCoVer: Java Reducer Commutativity Verifier. In: Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Lecture Notes in Computer Science, roč. 11893. Cham: Springer International Publishing, 2019, s. 357-366. ISBN 978-3-030-34174-9. Detail
  • HRANICKÝ Radek, MIKUŠ Dávid a ZOBAL Lukáš. Lámání hesel pomocí pravděpodobnostních gramatik. FIT-TR-2019-03, Brno, 2019. Detail
  • ŠPAŇHEL Jakub, SOCHOR Jakub, JURÁNEK Roman, DOBEŠ Petr, BARTL Vojtěch a HEROUT Adam. Learning Feature Aggregation in Temporal Domain for Re-Identification. Computer Vision and Image Understanding, roč. 2019, č. 11, s. 1-12. ISSN 1077-3142. Detail
  • VEIGEND Petr a ŠÁTEK Václav. Linear system control using the high order method. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, s. 1-4. ISSN 0094-243X. Detail
  • EYSSELT Miloš. Magisterské studijní programy na Fakultě informačních technologií, ak.r. 2019/2020. LITERA Brno: Fakulta informačních technologií VUT v Brně, 2019. Detail
  • ČEŠKA Milan, HENSE Christian, JANSEN Nils, JUNGES Sebastian a KATOEN Joost-Pieter. Model Repair Revamped - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems. Lecture Notes of Computer Science. Cham: Springer International Publishing, 2019, s. 107-125. ISBN 978-3-030-31513-9. Detail
  • BURGET Radek. Model-Based Integration of Unstructured Web Data Sources Using Graph Representation of Document Contents. In: 15th International Conference on Web Information Systems and Technologies. Vienna: SciTePress - Science and Technology Publications, 2019, s. 326-333. ISBN 978-989-758-386-5. Detail
  • PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš a KOTÁSEK Zdeněk. Multidimensional Pareto Frontiers Intersection Determination and Processor Optimization Case Study. In: Proceedings of the 2019 22nd Euromicro Conference on Digital System Design. Kalithea: Institute of Electrical and Electronics Engineers, 2019, s. 597-600. ISBN 978-1-72812-861-0. Detail
  • GOLDMANN Tomáš, KANICH Ondřej a DRAHANSKÝ Martin. Multisensoric board usable on drone. Brno, 2019. Detail
  • MALANÍK Petr, KANICH Ondřej a DRAHANSKÝ Martin. Multisensoric board usable on drone 2. Brno, 2019. Detail
  • FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Nested Antichains for WS1S. Acta Informatica, roč. 56, č. 3, s. 205-228. ISSN 0001-5903. Detail
  • HOLKOVIČ Martin a RYŠAVÝ Ondřej. Network Diagnostics Using Passive Network Monitoring and Packet Analysis. In: ICNS 2019. The Fifteenth International Conference on Networking and Services. Athens: The International Academy, Research and Industry Association, 2019, s. 47-51. ISBN 978-1-61208-711-5. Detail
  • LETAVAY Viliam, PLUSKAL Jan a RYŠAVÝ Ondřej. Network Forensic Analysis for Lawful Enforcementon Steroids, Distributed and Scalable. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems (ECBS 2019), 2019. Bucharest: Association for Computing Machinery, 2019, s. 1-10. ISBN 978-1-4503-7636-5. Detail
  • BARDONEK Petr. Nové metody optimalizace interpretace scénářů portovatelných stimulů. In: Počítačové architektury a diagnostika 2019. Doksy: Academic and Medical Conference Agency, 2019, s. 1-4. ISBN 978-80-88214-20-5. Detail
  • KOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. On Double-Jumping Finite Automata and Their Closure Properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, roč. 52, č. 2, s. 185-199. ISSN 0988-3754. Detail
  • MEDUNA Alexander, KRČMÁŘ Radim, KÖVÁRI Adam a BENÍČKOVÁ Zuzana. On Operations over Language Families. Computer Science Journal of Moldova, roč. 2019, č. 27, s. 255-282. ISSN 1561-4042. Detail
  • HRANICKÝ Radek, LIŠTIAK Filip, MIKUŠ Dávid a RYŠAVÝ Ondřej. On Practical Aspects of PCFG Password Cracking. In: Data and Applications Security and Privacy. Charleston: Springer Verlag, 2019, s. 43-60. ISBN 978-3-030-22478-3. ISSN 0302-9743. Detail
  • BORDOVSKÝ Gabriel a JAROŠ Jiří. On the Complexity of Photoacoustic Tomography: A Trade-off Between Image Quality and Computational Cost. Solaň, 2019. Detail
  • WANG Shuai, ROHDIN Johan A., BURGET Lukáš, PLCHOT Oldřich, QIAN Yanmin, YU Kai a ČERNOCKÝ Jan. On the Usage of Phonetic Information for Text-independent Speaker Embedding Extraction. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, s. 1148-1152. ISSN 1990-9772. Detail
  • DVOŘÁK Michal, DRAHANSKÝ Martin a ABDULLA Barazanchi Waleed H. On-the-fly fingerprint acquisition method. In: Materials Science and Engineering. Praha: Asia Society of Researchers, 2019, s. 1-6. Detail
  • JEŘÁBEK Kamil a VESELÝ Vladimír. One of the Ways How to Make RIB Distributed. In: Proceedings of the 22nd Conference on Innovation in Clouds, Internet and Networks (ICIN 2019). Paříž: IEEE Communications Society, 2019, s. 1-5. ISBN 978-1-5386-3458-5. Detail
  • KUKLIŠ Filip. Optimization of Evolutionary Strategy using Island Model to Design HIFU Treatment Plans. In: Sborník semináře PAD 2019. Doksy: Academic and Medical Conference Agency, 2019, s. 5-8. ISBN 978-80-88214-20-5. Detail
  • BADÁŇ Filip a SEKANINA Lukáš. Optimizing Convolutional Neural Networks for Embedded Systems By Means of Neuroevolution. In: Theory and Practice of Natural Computing. LNCS 11934. Cham: Springer International Publishing, 2019, s. 109-121. ISBN 978-3-030-34499-3. Detail
  • BARTL Vojtěch a HEROUT Adam. OptInOpt: Dual Optimization for Automatic Camera Calibration by Multi-Target Observations. In: 16th IEEE International Conference on Advanced Video and Signal-based Surveillance. Taipei: Institute of Electrical and Electronics Engineers, 2019, s. 1-8. ISBN 978-1-72810-990-9. Detail
  • CRHA Adam, ŠIMEK Václav a RŮŽIČKA Richard. PAIG Rewriting: The Way to Scalable Multifunctional Digital Circuits Synthesis. In: 2019 22nd Euromicro Conference on Digital System Design (DSD). Kallithea, Chalkidiki: Institute of Electrical and Electronics Engineers, 2019, s. 335-342. ISBN 978-1-72812-861-0. Detail
  • NEČASOVÁ Gabriela a ŠÁTEK Václav. Parallel Solution of Telegraph Line. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, s. 1-4. ISSN 0094-243X. Detail
  • BAŘINA David, KULA Michal a ZEMČÍK Pavel. Parallel Wavelet Schemes for Images. Journal of Real-Time Image Processing, roč. 16, č. 5, s. 1365-1381. ISSN 1861-8200. Detail
  • BRZOBOHATÝ Tomáš, JAROŠOVÁ Marta, KUČERA Radek a ŠÁTEK Václav. Path-following interior point method: Theory and applications for the Stokes flow with a stick-slip boundary condition. Advances in Engineering Software, roč. 2019, č. 129, s. 35-43. ISSN 0965-9978. Detail
  • BORDOVSKÝ Gabriel. Photoacoustic Reconstruction with Progressive Grid Refinement. Ostrava, 2019. Detail
  • NEVORAL Jan, ŠIMEK Václav a RŮŽIČKA Richard. PoLibSi: Path Towards Intrinsically Reconfigurable Components. In: 2019 22nd Euromicro Conference on Digital System Design (DSD). Kallithea, Chalkidiki: Institute of Electrical and Electronics Engineers, 2019, s. 328-334. ISBN 978-1-72812-861-0. Detail
  • KOČÍ Radek a JANOUŠEK Vladimír. Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets. International Journal on Advances in Software, roč. 12, č. 3, s. 191-200. ISSN 1942-2628. Detail
  • KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika a VOJNAR Tomáš. PredatorHP Attacks Interval-Sized Regions. Ithaca, 2019. Detail
  • SEMERÁD Lukáš. Processing and generation of retinal images for medical purposes. Berlín, 2019. Detail
  • BASKAR Murali K., BURGET Lukáš, WATANABE Shinji, KARAFIÁT Martin, HORI Takaaki a ČERNOCKÝ Jan. Promising Accurate Prefix Boosting For Sequence-to-sequence ASR. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, s. 5646-5650. ISBN 978-1-5386-4658-8. Detail
  • KANICH Ondřej, KOŠŤÁK David a DRAHANSKÝ Martin. Psoriasis Damage Simulation into Synthetic Fingerprint. In: Proceedings 18th International Conference of the Biometrics Special Interest Group. Lecture Notes in Informatics. Darmstadt: GI - Gesellschaft für Informatik e.V., 2019, s. 205-212. ISBN 978-3-88579-690-9. Detail
  • LOJDA Jakub, PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. Reliability Indicators for Automatic Design and Analysis of Fault-Tolerant FPGA Systems. In: 20th IEEE Latin American Test Symposium (LATS 2019). Santiago: IEEE Computer Society, 2019, s. 93-96. ISBN 978-1-72811-755-3. Detail
  • WISE Elliott S., COX Ben T., JAROŠ Jiří a TREEBY Bradley E. Representing arbitrary acoustic source and sensor distributions in Fourier collocation methods. The Journal of the Acoustical Society of America, roč. 146, č. 1, s. 278-288. ISSN 1520-8524. Detail
  • SEMERÁD Lukáš a DRAHANSKÝ Martin. Retinal Vascular Characteristics. Handbook of Vascular Biometrics. Advances in Computer Vision and Pattern Recognition. Londýn: Springer International Publishing, 2019, s. 309-354. ISBN 978-3-030-27730-7. Detail
  • VESELÝ Vladimír, MAREK Marcel a JEŘÁBEK Kamil. RINASim. EAI/Springer Innovations in Communication and Computing, roč. 2019, č. 1, s. 139-181. ISBN 978-3-030-12842-5. ISSN 2522-8595. Detail
  • SZURMAN Karel a KOTÁSEK Zdeněk. Run-Time Reconfigurable Fault Tolerant Architecture for Soft-Core Processor neo430. In: 22nd International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2019). Cluj-Napoca: IEEE Computer Society, 2019, s. 136-140. ISBN 978-1-72810-072-2. Detail
  • JAROŠ Marta, TREEBY Bradley E. a JAROŠ Jiří. Scientific workflow management framework. Soláň, 2019. Detail
  • MATOUŠEK Petr, RYŠAVÝ Ondřej a GRÉGR Matěj. Security Monitoring of IoT Communication Using Flows. In: Proceedings of the 6th Conference on the Engineering of Computer Based Systems. ECBS '19. New York: Association for Computing Machinery, 2019, s. 1-9. ISBN 978-1-4503-7636-5. Detail
  • HYNEK Jiří a HRUŠKA Tomáš. Segmentation of Dashboard Screen Images: Preparation of Inputs for Object-based Metrics of UI Quality. In: Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Volume 3: IVAPP. Prague: SciTePress - Science and Technology Publications, 2019, s. 199-207. ISBN 978-989-758-354-4. Detail
  • STAFYLAKIS Themos, ROHDIN Johan A., PLCHOT Oldřich, MIZERA Petr a BURGET Lukáš. Self-supervised speaker embeddings. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, s. 2863-2867. ISSN 1990-9772. Detail
  • ČEŠKA Milan a KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In: Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). Lecture Notes of Computer Science. New York: Springer International Publishing, 2019, s. 475-496. ISBN 978-3-030-25540-4. Detail
  • ČEŠKA Milan a KŘETÍNSKÝ Jan. Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). In: Proceedings of the 17th International Conference on Computational Methods in Systems Biology. Lecture Notes in Bioinformatics. Trieste: Springer International Publishing, 2019, s. 337-341. ISBN 978-3-030-31303-6. Detail
  • ČEŠKA Milan a KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). In: Proceedings of the 17th International Conference on Computational Methods in Systems Biology (CMSB'19). To be published in 2019. Trieste: Springer International Publishing, 2019, s. 1-4. Detail
  • BASKAR Murali K., WATANABE Shinji, ASTUDILLO Ramon, HORI Takaaki, BURGET Lukáš a ČERNOCKÝ Jan. Semi-supervised Sequence-to-sequence ASR using Unpaired Speech and Text. In: Proceedings of Interspeech. Graz: International Speech Communication Association, 2019, s. 3790-3794. ISSN 1990-9772. Detail
  • ČEŠKA Milan, JANSEN Nils, JUNGES Sebastian a KATOEN Joost-Pieter. Shepherding Hordes of Markov Chains. In: Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Praha: Springer International Publishing, 2019, s. 172-190. ISBN 978-3-030-17464-4. Detail
  • KOBRTEK Jozef, MILET Tomáš a HEROUT Adam. Silhouette Extraction for Shadow Volumes Using Potentially Visible Sets. In: International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG). Plzeň: Union Agency, 2019, s. 9-16. ISBN 978-80-86943-37-4. Detail
  • HAVLENA Vojtěch, CHEN Yu-Fang a LENGÁL Ondřej. Simulations in Rank-Based Büchi Automata Complementation. In: Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Nusa Dua: Springer International Publishing, 2019, s. 447-467. ISSN 0302-9743. Detail
  • PODIVÍNSKÝ Jakub. Souhrnná výzkumná zpráva k projektu KPB Intra - Nabíječka elektromobilů - 4. etapa. Brno: KPB INTRA s.r.o., 2019. Detail
  • KAPINUS Michal, BERAN Vítězslav, MATERNA Zdeněk a BAMBUŠEK Daniel. Spatially Situated End-User Robot Programming in Augmented Reality. In: 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). New Delhi: Institute of Electrical and Electronics Engineers, 2019, s. 1-9. ISBN 978-1-7281-2622-7. Detail
  • MAGHSOODI Nooshin, SAMETI Hossein, ZEINALI Hossein a STAFYLAKIS Themos. Speaker Recognition With Random Digit Strings Using Uncertainty Normalized HMM-Based i-Vectors. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, roč. 2019, č. 11, s. 1815-1825. ISSN 2329-9290. Detail
  • ROHDIN Johan A., STAFYLAKIS Themos, SILNOVA Anna, ZEINALI Hossein, BURGET Lukáš a PLCHOT Oldřich. Speaker Verification Using End-To-End Adversarial Language Adaptation. In: Proceedings of ICASSP 2019. Brighton: IEEE Signal Processing Society, 2019, s. 6006-6010. ISBN 978-1-5386-4658-8. Detail
  • MOŠNER Ladislav, PLCHOT Oldřich, ROHDIN Johan A., BURGET Lukáš a ČERNOCKÝ Jan. Speaker Verification with Application-Aware Beamforming. In: Proceedings of ASRU 2019. Sentosa, Singapore: IEEE Signal Processing Society, 2019, s. 411-418. ISBN 978-1-72810-306-8. Detail
  • ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, OCHIAI Tsubasa, NAKATANI Tomohiro, BURGET Lukáš a ČERNOCKÝ Jan. SpeakerBeam: Speaker Aware Neural Network for Target Speaker Extraction in Speech Mixtures. IEEE Journal of Selected Topics in Signal Processing, roč. 13, č. 4, s. 800-814. ISSN 1932-4553. Detail
  • HASLINGER Jaroslav, KUČERA Radek a ŠÁTEK Václav. Stokes system with local Coulomb's slip boundary conditions: Analysis of discretized models and implementation. Computers and Mathematics with Applications, roč. 2019, č. 77, s. 1655-1667. ISSN 0898-1221. Detail
  • EYSSELT Miloš. Studijní programy na Fakultě informačních technologií Vysokého učení technického v Brně, Ak.r. 2019/2020. LITERA Brno: Fakulta informačních technologií VUT v Brně, 2019. Detail
  • GRÉGR Matěj. Study on visual representation of IoT diagnostic information. Brno, 2019. Detail
  • BISWAS Sangeeta, ROHDIN Johan A. a DRAHANSKÝ Martin. Suitable Embedding to Find Similarity Between Left and Right Retinas of a Person. In: Proceedings of the 12th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics. Huaqiao: IEEE Computer Society, 2019, s. 1-6. ISBN 978-1-72814-852-6. Detail
  • ŠÁTEK Václav, VEIGEND Petr a NEČASOVÁ Gabriela. Taylor Series Based Integration in Electric Circuits Simulations. Advances in Electrical and Electronic Engineering, roč. 17, č. 3, s. 352-359. ISSN 1804-3119. Detail
  • ČEKAN Ondřej, PODIVÍNSKÝ Jakub, LOJDA Jakub, PÁNEK Richard, KRČMA Martin a KOTÁSEK Zdeněk. Testing Reliability of Smart Electronic Locks: Analysis and the First Steps Towards. In: Proceedings of the 2019 22nd Euromicro Conference on Digital System Design. Kalithea: Institute of Electrical and Electronics Engineers, 2019, s. 506-513. ISBN 978-1-72812-861-0. Detail
  • KUČERA Radek, MOTYČKOVÁ Kristina, ŠÁTEK Václav, HASLINGER Jaroslav a SASSI Taoufik. The Semi-smooth Newton Method for Solving the Stokes Flow Under the Leak Boundary Condition. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes, 2019, s. 1-4. ISSN 0094-243X. Detail
  • HASLINGER Jaroslav, KUČERA Radek a ŠÁTEK Václav. The Semi-smooth Newton Method for Solving the Stokes Flow with Coulomb Slip Boundary Conditions. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, s. 1-4. ISSN 0094-243X. Detail
  • KOCNOVÁ Jitka a VAŠÍČEK Zdeněk. Towards a Scalable EA-based Optimization of Digital Circuits. In: Genetic Programming 22nd European Conference, EuroGP 2019. Cham: Springer International Publishing, 2019, s. 81-97. ISBN 978-3-030-16669-4. Detail
  • YANG Jinyi, ONDEL Lucas, MANOHAR Vimal a HEŘMANSKÝ Hynek. Towards Automatic Methods to Detect Errors in Transcriptions of Speech Recordings. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, s. 3747-3751. ISBN 978-1-5386-4658-8. Detail
  • VAVERKA Filip. Towards Large-scale Ultrasound Simulations in Soft Tissue for Medical Applications. In: PAD 2019. Doksy: Academic and Medical Conference Agency, 2019, s. 64-67. ISBN 978-80-88214-20-5. Detail
  • INAGUMA Hirofumi, CHO Jaejin, BASKAR Murali K., KAWAHARA Tatsuya a WATANABE Shinji. Transfer Learning Of Language-independent End-to-end ASR With Language Model Fusion. In: Proceedings of ICASSP. Brighton: IEEE Signal Processing Society, 2019, s. 6096-6100. ISBN 978-1-5386-4658-8. Detail
  • ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed a RUMMER Philipp. Trau: SMT solver for string constraints. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019, s. 1-5. ISBN 978-0-9835678-8-2. Detail
  • REK Petr a SEKANINA Lukáš. TypeCNN: CNN Development Framework With Flexible Data Types. In: Design, Automation and Test in Europe Conference. Florence: European Design and Automation Association, 2019, s. 292-295. ISBN 978-3-9819263-2-3. Detail
  • BALÁŽ Teodor, KREJČÍ Jaroslav, ŠVEC Miroslav a DRAHANSKÝ Martin. UAV Range Measurement by Impulse Laser Rangefinder. In: Proceedings of the 7th International Conference on Military Technologies 2019. Brno: IEEE Computer Society, 2019, s. 1-7. Detail
  • BENEŠ Karel, IRIE Kazuki, BECK Eugen, SCHLÜTER Ralf a NEY Hermann. Unsupervised Language Model Adaptation for Speech Recognition with no Extra Resources. In: Proceedings of DAGA 2019. Rostock: Deutsche Gesellschaft für Akustik (DEGA), DEGA Head office, 2019, s. 954-957. ISBN 978-3-939296-14-0. Detail
  • HOLKOVIČ Martin, RYŠAVÝ Ondřej a POLČÁK Libor. Using Network Traces to Generate Models for Automatic Network Application Protocols Diagnostics. In: Proceedings of the 16th International Joint Conference on e-Business and Telecommunications Volume 1: DCNET, ICE-B, OPTICS, SIGMAP and WINSYS. Praha: SciTePress - Science and Technology Publications, 2019, s. 43-53. ISBN 978-989-758-378-0. Detail
  • STRNADEL Josef. Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates. In: Design, Automation & Test in Europe Conference & Exhibition (DATE). Florence: IEEE Computer Society, 2019, s. 614-617. ISBN 978-3-9819263-2-3. Detail
  • ŠPAŇHEL Jakub, BARTL Vojtěch, JURÁNEK Roman a HEROUT Adam. Vehicle Re-Identification and Multi-Camera Tracking in Challenging City-Scale Environment. In: 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). AI City. Long Beach: IEEE Computer Society, 2019, s. 150-158. Detail
  • BOBÁK Petr, ČMOLÍK Ladislav a ČADÍK Martin. Video Sequence Boundary Labeling with Temporal Coherence. In: CGI 2019 Proceedings. LNCS, volume 11542, roč. 2019. Calgary: Springer International Publishing, 2019, s. 40-52. ISBN 978-3-030-22514-8. ISSN 0302-9743. Detail
  • JURÁNEK Roman, ŠPAŇHEL Jakub, SOCHOR Jakub, HEROUT Adam a NOVÁK Jan. Visual Analysis of Vehicle Trajectories for Determining Cross-Sectional Load Density. Transactions on Transport Sciences, roč. 2019, č. 10, s. 50-57. ISSN 1802-9876. Detail
  • POLČÁK Libor. Wireless M-Bus: Kdo ví, že perete?. DSM Data Security Management, roč. 2019, č. 4, s. 13-17. ISSN 1211-8737. Detail
Nahoru