Science and Research

Author Title (all words) Keywords (any word) Year Years Publication Type

2019

SEHNALOVÁ Pavla and ŠÁ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, pp. 1-4. ISSN 0094-243X. Detail
KOCOUR Martin, LUQUE Jordi and 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, pp. 54-59. ISBN 978-1-4503-6275-7. Detail
LETAVAY Viliam, PLUSKAL Jan and RYŠAVÝ Ondřej. A Scalable Architecture for Network Traffic Forensics. In: The Fifteenth International Conference on Networking and Services ICNS 2019. Athens, 2019, pp. 1-2. Detail
VRÁNA Roman and 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, pp. 1-6. ISBN 978-1-72810-073-9. 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, pp. 23-26. ISBN 978-80-88214-20-5. Detail
DRAHOŠOVÁ Michaela, SEKANINA Lukáš and WIGLASZ Michal. Adaptive Fitness Predictors in Coevolutionary Cartesian Genetic Programming. Evolutionary Computation, vol. 27, no. 3, pp. 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, pp. 123-146. ISBN 978-3-319-99282-2. Detail
ZBOŘIL František, ROZMAN Jaroslav and KOČÍ Radek. Algorithmic creation of genealogical models. In: Proceedings of ISDA 2018. Advances in Intelligent Systems and Computing, vol. 941. Los Alamitos: Springer International Publishing, 2019, pp. 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. and 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, 2019, pp. 1-8. Detail
HYRŠ Martin and 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, pp. 259-260. ISBN 978-1-4503-6748-6. Detail
NOVOTNÝ Ondřej, PLCHOT Oldřich, GLEMBEK Ondřej, ČERNOCKÝ Jan and BURGET Lukáš. Analysis of DNN Speech Signal Enhancement for Robust Speaker Recognition. Computer Speech and Language, vol. 2019, no. 58, pp. 403-421. ISSN 0885-2308. Detail
BIDLO Michal and KORGO Jakub. Ant Colony Optimisation for Performing Computational Task in Cellular Automata. MENDEL Soft Computing Journal, vol. 2019, no. 1, pp. 147-156. ISSN 1803-3814. Detail
HRUŠKA Tomáš, RUDNITCKAIA Julia et al. 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, pp. 552-557. ISBN 978-1-5386-8500-6. Detail
ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. International Journal on Software Tools for Technology Transfer, vol. 2019, no. 1, pp. 1-17. ISSN 1433-2779. Detail
MRÁZEK Vojtěch, HANIF Muhammad A., VAŠÍČEK Zdeněk, SEKANINA Lukáš and 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, pp. 1-6. ISBN 978-1-4503-6725-7. Detail
HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and 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, pp. 295-311. ISSN 0302-9743. Detail
HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca, 2019. Detail
VAŠÍČEK Zdeněk, MRÁZEK Vojtěch and 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, pp. 96-101. ISBN 978-3-9819263-2-3. Detail
SEKANINA Lukáš, VAŠÍČEK Zdeněk and MRÁZEK Vojtěch. Automated Search-Based Functional Approximation for Digital Circuits. Approximate Circuits - Methodologies and CAD. Heidelberg: Springer International Publishing, 2019, pp. 175-203. ISBN 978-3-319-99322-5. Detail
DRAHANSKÝ Martin, KANICH Ondřej, GOLDMANN Tomáš and 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 and ČERNOCKÝ Jan. Building and Evaluation of a Real Room Impulse Response Dataset. IEEE Journal of Selected Topics in Signal Processing, vol. 13, no. 4, pp. 863-876. ISSN 1932-4553. Detail
FAJČÍK Martin, BURGET Lukáš and 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, pp. 1097-1104. ISBN 978-1-950737-06-2. Detail
KONČAL Ondřej and 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, pp. 98-113. ISBN 978-3-030-16669-4. Detail
MUSIL Petr, JURÁNEK Roman, MUSIL Martin and ZEMČÍK Pavel. Cascaded Stripe Memory Engines for Multi-Scale Object Detection in FPGA. IEEE Transactions on Circuits and Systems for Video Technology, vol. 2019, no. 1, pp. 1-13. ISSN 1051-8215. Detail
SZURMAN Karel and 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, pp. 32-35. ISBN 978-1-72811-755-3. Detail
BAMBUŠEK Daniel, MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav and SMRŽ Pavel. Combining Interactive Spatial Augmented Reality with Head-Mounted Display for End-User Collaborative Robot Programming. In: Robot and Human Interactive Communication (RO-MAN). New Delhi, 2019, pp. 1-9. Detail
BIDLO Michal. Comparison of Evolutionary Development of Cellular Automata Using Various Representations. MENDEL Soft Computing Journal, vol. 2019, no. 1, pp. 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, pp. 228-244. ISBN 978-3-030-14811-9. Detail
ČEŠKA Milan, HENSE Christian, JUNGES Sebastian and KATOEN Joost-Pieter. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In: Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019. Porto: Springer International Publishing, 2019, pp. 1-19. 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 and 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, pp. 109-117. ISBN 978-1-72811-132-2. Detail
KRČMA Martin and 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, pp. 1-6. ISBN 978-1-72811-755-3. Detail
KOCNOVÁ Jitka and 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, pp. 1-5. ISBN 978-1-72810-397-6. Detail
KEKELY Lukáš, CABAL Jakub and KOŘENEK Jan. Effective FPGA Architecture for General CRC. In: Architecture of Computing Systems - ARCS 2019. Neuvedeno: Springer International Publishing, 2019, pp. 211-223. ISBN 978-3-030-18655-5. Detail
SEDLMAJER Kamil, BAMBUŠEK Daniel and 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, 2019, pp. 1-7. Detail
MRÁZEK Vojtěch, SEKANINA Lukáš, DOBAI Roland, SÝS Marek and ŠVENDA Petr. Efficient On-Chip Randomness Testing Utilizing Machine Learning Techniques. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 99, no. 99, pp. 1-11. ISSN 1063-8210. Detail
ROHDIN Johan A., SILNOVA Anna, DIEZ Sánchez Mireia, PLCHOT Oldřich, MATĚJKA Pavel, BURGET Lukáš and GLEMBEK Ondřej. End-to-end DNN based text-independent speaker recognition for long and short utterances. Computer Speech and Language, vol. 2020, no. 59, pp. 22-35. ISSN 0885-2308. Detail
VAVERKA Filip, TREEBY Bradley E. and 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, pp. 577-590. ISBN 978-3-030-22743-2. Detail
PASTUSHENKO Olena, HYNEK Jiří and HRUŠKA Tomáš. Evaluation of User Interface Design Metrics using Generator of Realistic-Looking Dashboard Samples. Expert Systems, vol. 2019, no. 36, pp. 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, pp. 107-108. ISBN 978-1-4503-6748-6. Detail
BIDLO Michal and DOBEŠ Michal. Evolutionary Development of Generic Sorting Networks by Means of Rewriting Systems. IEEE Transactions on Evolutionary Computation, vol. 99, no. 99, pp. 1-13. ISSN 1089-778X. Detail
PODIVÍNSKÝ Jakub, LOJDA Jakub and 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, pp. 97-100. ISBN 978-1-72811-755-3. Detail
MATOUŠEK Petr, RYŠAVÝ Ondřej and BURGETOVÁ Ivana. Extending Networking Curriculum with Applied Artificial Intelligence. In: Proceedings of EAEEAE 2019. Ruse: Institute of Electrical and Electronics Engineers, 2019, pp. 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 and GOLDMANN Tomáš. Face Recognition in Forensic Applications. Darmstadt, 2019. Detail
ŠŮSTEK Martin, VÍDEŇSKÝ František, ZBOŘIL František and 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, vol. 2019. Los Alamitos: Springer International Publishing, 2019, pp. 650-658. ISSN 2194-5357. Detail
SZURMAN Karel and 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
KONEČNÝ Jan. Formal Concept Analysis with Graded Affirmations and Denials. Brno, 2019. Detail
TREEBY Bradley E., JAROŠ Jiří, MARTIN Eleanor and COX Ben T. From Biology to Bytes: Predicting the Path of Ultrasound Waves Through the Human Body. Acoustics Today, vol. 15, no. 2, pp. 36-44. ISSN 1557-0223. Detail
GOLDMANN Tomáš, KANICH Ondřej and DRAHANSKÝ Martin. Generation and analysis of face data. Brno, 2019. Detail
KANICH Ondřej, DVOŘÁK Michal and DRAHANSKÝ Martin. Generátor a detektor modelů zbraní. Brno, 2019. Detail
SEKANINA Lukáš, HU Ting, LOURENÇO Nuno, RICHTER Hendrik and GARCÍA-SÁNCHEZ Pablo, ed. Genetic Programming 22nd European Conference. Lecture Notes in Computer Science, vol. 11451. Cham: Springer International Publishing, 2019. ISBN 978-3-030-16669-4. Detail
HORÁČEK Petr, MEDUNA Alexander and 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áš and 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, pp. 1-5. ISBN 978-1-72810-073-9. Detail
VESELÝ Vladimír and ŽÁDNÍK Martin. How to detect cryptocurrency miners? By traffic forensics!. Digital Investigation, vol. 2019, no. 31, pp. 1-25. ISSN 1742-2876. Detail
PLUSKAL Jan, VONDRÁČEK Martin and RYŠAVÝ Ondřej. How to do Network Forensics on GSE OverlayNetworks. In: xx. xx. xx, 2019, pp. 1-10. Detail
ZEINALI Hossein, BURGET Lukáš, ROHDIN Johan A., STAFYLAKIS Themos and ČERNOCKÝ Jan. How To Improve Your Speaker Embeddings Extractor in Generic Toolkits. In: Proceedings of ICASSP 2019. Brighton: IEEE Signal Processing Society, 2019, pp. 6141-6145. ISBN 978-1-5386-4658-8. Detail
KOCNOVÁ Jitka and 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, pp. 377-378. ISBN 978-1-4503-6748-6. Detail
ANSARI Mohammad S., MRÁZEK Vojtěch, COCKBURN Bruce F., SEKANINA Lukáš, VAŠÍČEK Zdeněk and HAN Jie. Improving the Accuracy and Hardware Efficiency of Neural Networks Using Approximate Multipliers. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 99, no. 99, p. 12. ISSN 1063-8210. Detail
MALČÍK Dominik and DRAHANSKÝ Martin. Improving The Physical Security Of Microchips Against Side-Channel Attacks. International Journal of Advanced Science and Technology, vol. 2019, no. 127, pp. 13-24. ISSN 2207-6360. Detail
MATOUŠEK Petr, RYŠAVÝ Ondřej and 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, pp. 21-30. ISBN 978-1-78017-523-2. Detail
VEĽAS Martin, ŠPANĚL Michal and HEROUT Adam. Indoor and Outdoor Backpack Mapping with Calibrated Pair of Velodyne LiDARs. Sensors, vol. 2019, no. 1, pp. 1-34. ISSN 1424-8220. Detail
DRAHANSKÝ Martin and KANICH Ondřej. Influence of skin diseases on fingerprints. Biometrics under Biomedical Considerations. Singapore: Springer Nature Singapore, 2019, pp. 1-39. ISBN 978-981-1311-43-7. Detail
HOMOLIAK Ivan. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Computing Surveys, vol. 52, no. 2, pp. 1-54. ISSN 0360-0300. Detail
VEIGEND Petr and ŠÁ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, pp. 1-4. ISSN 0094-243X. 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, 2019, pp. 1-7. Detail
PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš and 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, pp. 597-600. ISBN 978-1-72812-861-0. Detail
GOLDMANN Tomáš, KANICH Ondřej and DRAHANSKÝ Martin. Multisensoric board usable on drone. Brno, 2019. Detail
FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Nested Antichains for WS1S. Acta Informatica, vol. 56, no. 3, pp. 205-228. ISSN 0001-5903. Detail
HOLKOVIČ Martin and 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, pp. 47-51. ISBN 978-1-61208-711-5. Detail
LETAVAY Viliam, PLUSKAL Jan and RYŠAVÝ Ondřej. Network Forensic Analysis for Lawful Enforcementon Steroids, Distributed and Scalable. In: xxx. Bucharest, 2019, pp. 1-10. 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, pp. 1-4. ISBN 978-80-88214-20-5. Detail
KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata and Their Closure Properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, vol. 52, no. 2, pp. 185-199. ISSN 0988-3754. Detail
HRANICKÝ Radek, LIŠTIAK Filip, MIKUŠ Dávid and RYŠAVÝ Ondřej. On Practical Aspects of PCFG Password Cracking. In: Data and Applications Security and Privacy. Charleston: Springer Verlag, 2019, pp. 43-60. ISBN 978-3-030-22478-3. ISSN 0302-9743. Detail
JEŘÁBEK Kamil and 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, pp. 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, 2019, pp. 5-8. Detail
CRHA Adam, ŠIMEK Václav and 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, pp. 335-342. ISBN 978-1-72812-861-0. Detail
NEČASOVÁ Gabriela and ŠÁTEK Václav. Parallel Solution of Telegraph Line. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, pp. 1-4. ISSN 0094-243X. Detail
BRZOBOHATÝ Tomáš, JAROŠOVÁ Marta, KUČERA Radek and ŠÁ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, vol. 2019, no. 129, pp. 35-43. ISSN 0965-9978. Detail
NEVORAL Jan, ŠIMEK Václav and 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, pp. 328-334. ISBN 978-1-72812-861-0. Detail
KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika and 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
KANICH Ondřej, KOŠŤÁK David and 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 - Group for computer science, 2019, pp. 205-212. ISBN 978-3-88579-690-9. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub and 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, pp. 93-96. ISBN 978-1-72811-755-3. Detail
WISE Elliott S., COX Ben T., JAROŠ Jiří and TREEBY Bradley E. Representing arbitrary acoustic source and sensor distributions in Fourier collocation methods. The Journal of the Acoustical Society of America, vol. 146, no. 1, pp. 278-288. ISSN 1520-8524. Detail
VESELÝ Vladimír, MAREK Marcel and JEŘÁBEK Kamil. RINASim. EAI/Springer Innovations in Communication and Computing, vol. 2019, no. 1, pp. 139-181. ISBN 978-3-030-12842-5. ISSN 2522-8595. Detail
SZURMAN Karel and 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, pp. 136-140. ISBN 978-1-72810-072-2. Detail
MATOUŠEK Petr, RYŠAVÝ Ondřej and 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, pp. 1-9. ISBN 978-1-4503-7636-5. Detail
HYNEK Jiří and 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, pp. 199-207. ISBN 978-989-758-354-4. Detail
ČEŠKA Milan and 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, pp. 475-496. ISBN 978-3-030-25540-4. Detail
ČEŠKA Milan and 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, pp. 1-4. Detail
ČEŠKA Milan, JANSEN Nils, JUNGES Sebastian and 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, pp. 172-190. ISBN 978-3-030-17464-4. 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 and BAMBUŠEK Daniel. Spatially Situated End-User Robot Programming in Augmented Reality. In: Robot and Human Interactive Communication (RO-MAN). New Delhi, 2019, pp. 1-9. Detail
MAGHSOODI Nooshin, SAMETI Hossein, ZEINALI Hossein and STAFYLAKIS Themos. Speaker Recognition With Random Digit Strings Using Uncertainty Normalized HMM-Based i-Vectors. IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH AND LANGUAGE PROCESSING, vol. 2019, no. 11, pp. 1815-1825. ISSN 2329-9290. Detail
ROHDIN Johan A., STAFYLAKIS Themos, SILNOVA Anna, ZEINALI Hossein, BURGET Lukáš and PLCHOT Oldřich. Speaker Verification Using End-To-End Adversarial Language Adaptation. In: Proceedings of ICASSP 2019. Brighton: IEEE Signal Processing Society, 2019, pp. 6006-6010. ISBN 978-1-5386-4658-8. Detail
HASLINGER Jaroslav, KUČERA Radek and ŠÁTEK Václav. Stokes system with local Coulomb's slip boundary conditions: Analysis of discretized models and implementation. Computers and Mathematics with Applications, vol. 2019, no. 77, pp. 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: Faculty of Information Technology BUT, 2019. Detail
ČEKAN Ondřej, PODIVÍNSKÝ Jakub, LOJDA Jakub, PÁNEK Richard, KRČMA Martin and 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, pp. 506-513. ISBN 978-1-72812-861-0. Detail
KOCNOVÁ Jitka and 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, pp. 81-97. ISBN 978-3-030-16669-4. Detail
VAVERKA Filip. Towards Large-scale Ultrasound Simulations in Soft Tissue for Medical Applications. In: PAD 2019. Doksy, 2019, pp. 64-67. Detail
ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed and 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, pp. 1-5. ISBN 978-0-9835678-8-2. Detail
REK Petr and 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, pp. 292-295. ISBN 978-3-9819263-2-3. Detail
BALÁŽ Teodor, KREJČÍ Jaroslav, ŠVEC Miroslav and 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, pp. 1-7. Detail
HOLKOVIČ Martin, RYŠAVÝ Ondřej and 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, pp. 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, pp. 614-617. ISBN 978-3-9819263-2-3. Detail
BOBÁK Petr, ČMOLÍK Ladislav and ČADÍK Martin. Video Sequence Boundary Labeling with Temporal Coherence. In: CGI 2019 Proceedings. LNCS, volume 11542, vol. 2019. Calgary: Springer International Publishing, 2019, pp. 40-52. ISBN 978-3-030-22514-8. ISSN 0302-9743. Detail

2018

CASTELLI Mauro, SEKANINA Lukáš, ZHANG Mengjie, CAGNONI Stefano and GARCÍA-SÁNCHEZ Pablo, ed. 21st European Conference on Genetic Programming. Lecture Notes in Computer Science, vol. 10781. Berlin: Springer International Publishing, 2018. ISBN 978-3-319-77552-4. Detail
MALÍK Viktor, MARTIČEK Štefan, SCHRAMMEL Peter, SRIVAS Mandayam, VOJNAR Tomáš and WAHLANG Johanan. 2LS: Memory Safety and Non-termination (Competition Contribution). In: Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science, vol. 10806. Thessaloniki: Springer International Publishing, 2018, pp. 417-421. ISBN 978-3-319-89962-6. Detail
DVOŘÁK Michal and DRAHANSKÝ Martin. 3D Hand Geometry Recognition. Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018, pp. 103-123. ISBN 978-3-319-98733-0. Detail
KODYM Oldřich and ŠPANĚL Michal. 3D Image Segmentation using Graph-Cut and Random Forests Learned from Partial Annotations. In: Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 2: BIOIMAGING. Funchal: Institute for Systems and Technologies of Information, Control and Communication, 2018, pp. 124-131. ISBN 978-989-758-278-3. Detail
KAZZAZ M. Mohanned and RYCHLÝ Marek. A Case Study: Mobile Service Migration Based Traffic Jam Detection. International Journal of Systems and Service-Oriented Engineering, vol. 8, no. 1, pp. 44-57. ISSN 1947-3052. Detail
HUSA Jakub and KALKREUTH Roman. A Comparative Study on Crossover in Cartesian Genetic Programming. In: Genetic Programming 21st European Conference, EuroGP 2018, Proceedings. Cham: Springer International Publishing, 2018, pp. 203-219. ISBN 978-3-319-77553-1. Detail
KOCMAN Radim, NAGY Benedek, KŘIVKA Zbyněk and MEDUNA Alexander. A Jumping 5'->3' Watson-Crick Finite Automata Model. In: Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018). books@ocg.at 332. Wien: Austrian Computer Society, 2018, pp. 117-132. ISBN 978-3-903035-21-8. Detail
PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš and KOTÁSEK Zdeněk. A Framework for Optimizing a Processor to Selected Application. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 564-574. ISBN 978-1-5386-5709-6. Detail
CHARVÁT Lucie and MEDUNA Alexander. A Reduction of Finitely Expandable Deep Pushdown Automata. Schedae Informaticae, vol. 2017, no. 26, pp. 61-68. ISSN 0860-0295. Detail
ALAM Jahangir, BHATTACHARYA Gautam, BRUMMER Niko, BURGET Lukáš, DIEZ Sánchez Mireia, GLEMBEK Ondřej, KENNY Patrick, KLČO Michal, LANDINI Federico Nicolás, LOZANO Díez Alicia, MATĚJKA Pavel, MONTEIRO Joao, MOŠNER Ladislav, NOVOTNÝ Ondřej, PLCHOT Oldřich, PROFANT Ján, ROHDIN Johan A., SILNOVA Anna, SLAVÍČEK Josef, STAFYLAKIS Themos and ZEINALI Hossein. ABC NIST SRE 2018 SYSTEM DESCRIPTION. In: Proceedings of 2018 NIST SRE Workshop. Athens: National Institute of Standards and Technology, 2018, pp. 1-10. Detail
ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. ADAC: Automated Design of Approximate Circuits. In: Proceedings of 30th International Conference on Computer Aided Verification (CAV'18). Oxford, UK: Springer International Publishing, 2018, pp. 612-620. ISBN 978-3-319-96145-3. Detail
VLK Jan and CHUDÝ Peter. Adaptive Augmentation of an Unmanned Aerial Vehicle's Flight Control System. In: Proceedings of 37th Digital Avionics System Conference. London, UK: IEEE Computer Society, 2018, pp. 633-641. ISBN 978-1-5386-4112-5. Detail
HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondřej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea and ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, pp. 135-150. ISBN 978-1-4503-5698-5. Detail
DYTRYCH Jaroslav and SMRŽ Pavel. Advanced User Interfaces for Semantic Annotation of Complex Relations in Text. Lecture Notes in Computer Science, vol. 2017, no. 10839, pp. 205-221. ISBN 978-3-319-93581-2. ISSN 0302-9743. Detail
FIEDOR Jan, MUŽIKOVSKÁ Monika, SMRČKA Aleš, VAŠÍČEK Ondřej and VOJNAR Tomáš. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In: Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018, pp. 356-359. ISBN 978-1-4503-5699-2. Detail
PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdeněk. An Experimental Evaluation of Fault-Tolerant FPGA-based Robot Controller. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 63-69. ISBN 978-1-5386-5709-6. Detail
PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej, CUMANI Sandro, LOZANO Díez Alicia, SLAVÍČEK Josef, DIEZ Sánchez Mireia, GRÉZL František, GLEMBEK Ondřej, KAMSALI Veera Mounika, SILNOVA Anna, BURGET Lukáš, ONDEL Lucas, KESIRAJU Santosh and ROHDIN Johan A. Analysis of BUT-PT Submission for NIST LRE 2017. In: Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 47-53. ISSN 2312-2846. Detail
LOZANO Díez Alicia, PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej and GONZALEZ-RODRIGUEZ Joaquin. Analysis of DNN-based Embeddings for Language Recognition on the NIST LRE 2017. In: Proceedings of Odyssey 2018 The Speaker and Language Recognition Workshop. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 39-46. ISSN 2312-2846. Detail
KARAFIÁT Martin, BASKAR Murali K., VESELÝ Karel, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. Analysis of Multilingual BLSTM Acoustic Model on Lowand High Resource Languages. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5789-5793. ISBN 978-1-5386-4658-8. Detail
HEIDARI Mona, GOLDMANN Tomáš, DVOŘÁK Michal and DRAHANSKÝ Martin. Antispoofing and multispectral (optical) methods in hand-based biometrics. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 337-365. ISBN 978-1-78561-224-4. Detail
HYNEK Jiří and HRUŠKA Tomáš. Application of Object-Based Metrics for Recognition of Well-Designed Dashboards. International Journal of Human-Computer Interaction, vol. 35, no. 13, pp. 1203-1215. ISSN 1044-7318. Detail
SEKANINA Lukáš. Approximate Computing: An Old Job for Cartesian Genetic Programming?. Inspired by Nature. Emergence, Complexity and Computation, Vol. 28. Cham: Springer International Publishing, 2018, pp. 195-212. ISBN 978-3-319-67996-9. Detail
ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In: Proceedings of TACAS'18. Thessaloniki: Springer Verlag, 2018, pp. 155-175. ISSN 0302-9743. Detail
HLOSTA Martin, ZDRÁHAL Zdeněk and ZENDULKA Jaroslav. Are we meeting a deadline? classification goal achievement in time in the presence of imbalanced data. Knowledge-Based Systems, vol. 2018, no. 160, pp. 278-295. ISSN 0950-7051. Detail
VONDRÁČEK Martin, PLUSKAL Jan and RYŠAVÝ Ondřej. Automated Man-in-the-Middle Attack Against Wi-Fi Networks. The Journal of Digital Forensics, Security and Law, vol. 2018, no. 13, pp. 59-80. ISSN 1558-7215. Detail
ČADÍK Martin, SÝKORA Daniel and LEE Sungkil. Automated outdoor depth-map generation and alignment. Computers and Graphics, vol. 74, no. 3, pp. 109-118. ISSN 0097-8493. Detail
GOLDMANN Tomáš, MARŠÁNOVÁ Lucie, NĚMCOVÁ Andrea, SMÍŠEK Radovan, SMITAL Lukáš and VÍTEK Martin. Automatic detection of P wave in ECG during ventricular extrasystoles. In: IFMBE Proceedings. Singapore: Springer International Publishing, 2018, pp. 381-385. ISBN 978-981-10-9037-0. ISSN 1680-0737. Detail
LOJDA Jakub and KOTÁSEK Zdeněk. Automatizace návrhu spolehlivých systémů a její dílčí komponenty. In: Počítačové architektury & diagnostika 2018. Stachy: University of West Bohemia in Pilsen, 2018, pp. 5-8. ISBN 978-80-261-0814-6. Detail
ONDEL Lucas, GODARD Pierre, BESACIER Laurent, LARSEN Elin, HASEGAWA-JOHNSON Mark, SCHARENBORG Odette, DUPOUX Emmanuel, BURGET Lukáš, YVON Francois and KHUDANPUR Sanjeev. Bayesian Models for Unit Discovery on a Very Low Resource Language. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5939-5943. ISBN 978-1-5386-4658-8. Detail
RYCHLÝ Marek and RYŠAVÝ Ondřej. Big Data Security Analysis with TARZAN Platform. Journal of Cyber Security and Mobility, vol. 8, no. 2, pp. 165-188. ISSN 2245-1439. Detail
DRAHANSKÝ Martin. Biometrics - Liveness Detection on Fingers, Recognition of Finger Veins, 3D Hand, Eye Iris and Retina and 3D Face. FI MU, Brno, 2018. Detail
SOCHOR Jakub, ŠPAŇHEL Jakub and HEROUT Adam. BoxCars: Improving Fine-Grained Recognition of Vehicles using 3-D Bounding Boxes in Traffic Surveillance. IEEE Transactions on Intelligent Transportation Systems, vol. 2019, no. 1, pp. 97-108. ISSN 1524-9050. Detail
VAŠÍČEK Zdeněk. Bridging the Gap Between Evolvable Hardware and Industry Using Cartesian Genetic Programming. Inspired by Nature. Emergence, Complexity and Computation, Vol. 28. Cham: Springer International Publishing, 2018, pp. 39-55. ISBN 978-3-319-67996-9. Detail
KARAFIÁT Martin, BASKAR Murali K., SZŐKE Igor, MALENOVSKÝ Vladimír, VESELÝ Karel, GRÉZL František, BURGET Lukáš and ČERNOCKÝ Jan. BUT OpenSAT 2017 speech recognition system. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2638-2642. ISSN 1990-9772. Detail
DIEZ Sánchez Mireia, LANDINI Federico Nicolás, BURGET Lukáš, ROHDIN Johan A., SILNOVA Anna, ŽMOLÍKOVÁ Kateřina, NOVOTNÝ Ondřej, VESELÝ Karel, GLEMBEK Ondřej, PLCHOT Oldřich, MOŠNER Ladislav and MATĚJKA Pavel. BUT system for DIHARD Speech Diarization Challenge 2018. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2798-2802. ISSN 1990-9772. Detail
PULUGUNDLA Bhargav, BASKAR Murali K., KESIRAJU Santosh, EGOROVA Ekaterina, KARAFIÁT Martin, BURGET Lukáš and ČERNOCKÝ Jan. BUT system for low resource Indian language ASR. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 3182-3186. ISSN 1990-9772. Detail
SILNOVA Anna, MATĚJKA Pavel, GLEMBEK Ondřej, PLCHOT Oldřich, NOVOTNÝ Ondřej, GRÉZL František, SCHWARZ Petr and ČERNOCKÝ Jan. BUT/Phonexia Bottleneck Feature Extractor. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 283-287. ISSN 2312-2846. Detail
BREJCHA Jan and ČADÍK Martin. Camera Orientation Estimation in Natural Scenes Using Semantic Cues. In: 2018 International Conference on 3D Vision. Verona: IEEE Computer Society, 2018, pp. 208-217. ISBN 978-1-5386-2610-8. Detail
ŠLAPAL Josef. Categorical aspects of inducing closure operators on graphs by sets of walks. Journal of Computer and System Sciences, vol. 2018, no. 95, pp. 143-150. ISSN 0022-0000. Detail
ŠLAPAL Josef. Closure operators on graphs for modeling connectedness in digital spaces. FILOMAT, vol. 2018, no. 14, pp. 5011-5021. ISSN 0354-5180. Detail
HOLGATE David and ŠLAPAL Josef. Closure, interior and neighbourhood in a category. Hacettepe Journal of Mathematics and Statistics, vol. 2018, no. 6, pp. 1512-1520. ISSN 1303-5010. Detail
NEVORAL Jan, RŮŽIČKA Richard and ŠIMEK Václav. CMOS Gates with Second Function. In: 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). Hong Kong: IEEE Computer Society, 2018, pp. 82-87. ISBN 978-1-5386-7099-6. Detail
VEĽAS Martin, ŠPANĚL Michal, HRADIŠ Michal and HEROUT Adam. CNN for IMU Assisted Odometry Estimation using Velodyne LiDAR. In: Proceedings of IEEE International Conference on Autonomous Robot Systems and Competitions. Torres Vedras: Institute of Electrical and Electronics Engineers, 2018, pp. 71-77. ISBN 978-1-5386-5221-3. Detail
VEĽAS Martin, ŠPANĚL Michal, HRADIŠ Michal and HEROUT Adam. CNN for Very Fast Ground Segmentation in Velodyne LiDAR Data. In: Proceedings of IEEE International Conference on Autonomous Robot Systems and Competitions. Torres Vedras: Institute of Electrical and Electronics Engineers, 2018, pp. 97-103. ISBN 978-1-5386-5221-3. Detail
POLČÁK Libor. Co skrývá síť BitTorrent?. FIT-TR-2018-05, Brno, 2018. Detail
NOSKO Svetozár, MUSIL Martin, ZEMČÍK Pavel and JURÁNEK Roman. Color HDR video processing architecture for smart camera. Journal of Real-Time Image Processing, vol. 2018, no. 1, pp. 1-12. ISSN 1861-8200. Detail
SOCHOR Jakub, JURÁNEK Roman, ŠPAŇHEL Jakub, MARŠÍK Lukáš, ŠIROKÝ Adam, HEROUT Adam and ZEMČÍK Pavel. Comprehensive Data Set for Automatic Single Camera Visual Speed Measurement. IEEE Transactions on Intelligent Transportation Systems, vol. 2018, no. 99, pp. 1-11. ISSN 1524-9050. Detail
MUSIL Miloš, KONEGGER Hannes, HON Jiří, BEDNÁŘ David and DAMBORSKÝ Jiří. Computational Design of Stable and Soluble Biocatalysts. ACS Catalysis, vol. 2019, no. 9, pp. 1033-1054. ISSN 2155-5435. Detail
VÍDEŇSKÝ František and ZBOŘIL František. Computer Aided Recognition and Classification of Coats of Arms. In: Proceedings ISDA 2017. Advances in Intelligent Systems and Computing, vol 736, vol. 2018. Los Alamitos: Springer International Publishing, 2018, pp. 63-73. ISBN 978-3-319-76347-7. ISSN 2194-5357. Detail
CABAL Jakub, BENÁČEK Pavel, KEKELY Lukáš, KEKELY Michal, PUŠ Viktor and KOŘENEK Jan. Configurable FPGA Packet Parser for Terabit Networks with Guaranteed Wire-Speed Throughput. In: Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. New York: Association for Computing Machinery, 2018, pp. 249-258. ISBN 978-1-4503-5614-5. Detail
ZEINALI Hossein, BURGET Lukáš and ČERNOCKÝ Jan. Convolutional Neural Networks and X-Vector Embedding for DCASE2018 Acoustic Scene Classification Challenge. In: Proceedings of DCASE 2018 Workshop. Surrey: Tampere University of Technology, 2018, pp. 1-5. ISBN 978-952-15-4262-6. Detail
WIGLASZ Michal and SEKANINA Lukáš. Cooperative Coevolutionary Approximation in HOG-based Human Detection Embedded System. In: 2018 IEEE Symposium Series on Computational Intelligence (SSCI 2018). Bengaluru: Institute of Electrical and Electronics Engineers, 2018, pp. 1313-1320. ISBN 978-1-5386-9276-9. Detail
VESELÝ Vladimír. Cryptocurrency Forensics Utilizing a Multi-currency Blockchain Explorer. Praha, 2018. Detail
ZENDULKA Jaroslav, BIELIKOVÁ Mária, BURGET Radek and KŘIVKA Zbyněk, ed. Data a Znalosti & WIKT 2018. Brno: Brno University of Technology, 2018. ISBN 978-80-214-5679-2. Detail
MOŠNER Ladislav, MATĚJKA Pavel, NOVOTNÝ Ondřej and ČERNOCKÝ Jan. Dereverberation and Beamforming in Far-Field Speaker Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5254-5258. ISBN 978-1-5386-4658-8. Detail
MOŠNER Ladislav, PLCHOT Oldřich, MATĚJKA Pavel, NOVOTNÝ Ondřej and ČERNOCKÝ Jan. Dereverberation and Beamforming in Robust Far-Field Speaker Recognition. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 1334-1338. ISSN 1990-9772. Detail
MATOUŠEK Petr. Description of IEC 61850 Communication. FIT-TR-2018-01, Brno: Faculty of Information Technology BUT, 2018. Detail
JAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Design of HIFU Treatment Plans using an Evolutionary Strategy. Ostrava, 2018. Detail
ČUDOVÁ Marta, TREEBY Bradley E. and JAROŠ Jiří. Design of HIFU Treatment Plans using Evolutionary Strategy. In: GECCO'18 Companion: Genetic and Evolutionary Computation Conference Companion. Kyoto: Association for Computing Machinery, 2018, pp. 1568-1575. ISBN 978-1-4503-5764-7. Detail
MRÁZEK Vojtěch, VAŠÍČEK Zdeněk and SEKANINA Lukáš. Design of Quality-Configurable Approximate Multipliers Suitable for Dynamic Environment. In: Proceedings of the 2018 NASA/ESA Conference on Adaptive Hardware and Systems. Edinburgh: Institute of Electrical and Electronics Engineers, 2018, pp. 264-271. ISBN 978-1-5386-7753-7. Detail
SEKANINA Lukáš, MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Design Space Exploration for Approximate Implementations of Arithmetic Data Path Primitives. In: 25th IEEE International Conference on Electronics Circuits and Systems (ICECS). Bordeaux: IEEE Circuits and Systems Society, 2018, pp. 377-380. ISBN 978-1-5386-9562-3. Detail
CHARVÁT Michal and DRAHANSKÝ Martin. Detecting and Locating People Using Low-Cost Thermal Imaging Camera. In: Beiträge zum Usability Day XVI - Assistenztechnologien in der Arbeitswelt. Dornbirn: Pabst Science Publishers, 2018, pp. 41-51. ISBN 978-3-95853-405-6. Detail
HEIDARI Mona and DRAHANSKÝ Martin. Detection of Ridge Discontinuities in Fingerprint Recognition Influenced by Skin Diseases. International Journal of Advanced Science and Technology, vol. 2018, no. 116, pp. 13-22. ISSN 2005-4238. Detail
ŠPAŇHEL Jakub, SOCHOR Jakub and MAKAROV Aleksej. Detection of Traffic Violations of Road Users Based on Convolutional Neural Networks. In: 2018 14th Symposium on Neural Networks and Applications (NEUREL). Belgrade: IEEE Signal Processing Society, 2018, pp. 1-6. ISBN 978-1-5386-6974-7. Detail
PUTEROVÁ Janka and MARTÍNEK Tomáš. digIS: automated pipeline for detecting distant, novel insertion sequence elements in prokaryotes. In: Data & Knowledge 2018. Brno: Brno University of Technology, 2018, pp. 1-5. ISBN 978-80-214-5679-2. Detail
MATOUŠEK Petr and SCHMIEDECKER Martin. Digital Forensics and Cyber Crime. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Cham: Springer International Publishing, 2018. ISBN 978-3-319-73697-6. Detail
LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav and VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018, pp. 34-60. ISBN 978-3-319-75632-5. Detail
HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch and MÚČKA Matúš. Distribuce výpočtů pro nástroj hashcat. FIT-TR-2018-04, Brno, 2018. Detail
BURGET Radek. Distribuované zpracování a analýza dat ze sociálních sítí - Návrh a implementace distribuované architektury. Brno: Faculty of Information Technology BUT, 2018. Detail
LOZANO Díez Alicia, PLCHOT Oldřich, MATĚJKA Pavel and GONZALEZ-RODRIGUEZ Joaquin. DNN Based Embeddings for Language Recognition. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5184-5188. ISBN 978-1-5386-4658-8. Detail
RICHTA Tomáš, JANOUŠEK Vladimír et al. Domain Specific Modelling for Reconfigurable Distributed Embedded Control Systems. In: ACIIDS 2018. Brno: Faculty of Electrical Engineering, Czech Technical University, 2018, pp. 447-452. ISBN 978-80-214-5543-6. Detail
NEVORAL Jan and RŮŽIČKA Richard. Efficient Implementation of Bi-functional RTL Components - Case Study. In: 2018 New Generation of CAS (NGCAS). Valletta: IEEE Circuits and Systems Society, 2018, pp. 25-28. ISBN 978-1-5386-7680-6. Detail
KLEPÁRNÍK Petr, BAŘINA David, ZEMČÍK Pavel and JAROŠ Jiří. Efficient Low-Resource Compression of HIFU Data. Information, vol. 9, no. 7, pp. 1-14. ISSN 2078-2489. Detail
KUČERA Radek, HASLINGER Jaroslav, ŠÁTEK Václav and JAROŠOVÁ Marta. Efficient methods for solving the Stokes problem with slip boundary conditions. Mathematics and Computers in Simulation, vol. 2018, no. 145, pp. 114-124. ISSN 0378-4754. Detail
CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software, vol. 2018, no. 143, pp. 140-158. ISSN 0164-1212. Detail
ROHDIN Johan A., SILNOVA Anna, DIEZ Sánchez Mireia, PLCHOT Oldřich, MATĚJKA Pavel and BURGET Lukáš. End-to-End DNN Based Speaker Recognition Inspired by i-Vector and PLDA. In: Proceedings of ICASSP. Calgary: IEEE Signal Processing Society, 2018, pp. 4874-4878. ISBN 978-1-5386-4658-8. Detail
RYANT Neville, BERGELSON Elika, CHURCH Kenneth, CRISTIA Alejandrina, DU Jun, GANAPATHY Sriram, KHUDANPUR Sanjeev, KOWALSKI Diana, KRISHNAMOORTHY Mahesh, KULSHRESHTA Rajat, LIBERMAN Mark, LU Yu-Ding, MACIEJEWSKI Matthew, METZE Florian, PROFANT Ján, SUN Lei, TSAO Yu and YU Zhou. Enhancement and Analysis of Conversational Speech: JSALT 2017. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5154-5158. ISBN 978-1-5386-4658-8. Detail
PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej and KOTÁSEK Zdeněk. Evaluation Platform for Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 229-236. ISBN 978-1-5386-7376-8. Detail
BEERENS Koen, MAZURENKO Stanislav, KUNKA Antonín, MARQUES Sergio M., HANSEN Niels, MUSIL Miloš, CHALOUPKOVÁ Radka, WATERMAN Jitka, BREZOVSKÝ Jan, BEDNÁŘ David, PROKOP Zbyněk and DAMBORSKÝ Jiří. Evolutionary Analysis is a Powerful Complement to Energy Calculations Allowing Entropy-Driven Stabilization. ACS Catalysis, vol. 2018, no. 8, pp. 9420-9428. ISSN 2155-5435. Detail
MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Evolutionary Design of Large Approximate Adders Optimized for Various Error Criteria. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO '18). Kyoto: Association for Computing Machinery, 2018, pp. 294-295. ISBN 978-1-4503-5764-7. Detail
MRÁZEK Vojtěch, SÝS Marek, VAŠÍČEK Zdeněk, SEKANINA Lukáš and MATYÁŠ Václav. Evolving Boolean Functions for Fast and Efficient Randomness Testing. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18). Kyoto: Association for Computing Machinery, 2018, pp. 1302-1309. ISBN 978-1-4503-5618-3. Detail
GROCHOL David and SEKANINA Lukáš. Fast Reconfigurable Hash Functions for Network Flow Hashing in FPGAs. In: Proceedings of the 2018 NASA/ESA Conference on Adaptive Hardware and Systems. Edinburgh: Institute of Electrical and Electronics Engineers, 2018, pp. 257-263. ISBN 978-1-5386-7753-7. Detail
SILNOVA Anna, BRUMMER Niko, GARCÍA-ROMERO Daniel, SNYDER David and BURGET Lukáš. Fast variational Bayes for heavy-tailed PLDA applied to i-vectors and x-vectors. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 72-76. ISSN 1990-9772. Detail
LOJDA Jakub and KOTÁSEK Zdeněk. Fault Tolerance in HLS for the Purposes of Reliable System Design Automation. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2018, pp. 31-32. ISBN 978-80-01-06456-6. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Fault Tolerance Properties of Systems Generated with the Use of High-Level Synthesis. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 80-86. ISBN 978-1-5386-5709-6. Detail
CHUDÝ Peter. Final research report for project User interface for robotic platform. Brno: VR Group, a.s., 2018. Detail
HEROUT Adam. Final research report for Rouvy AR 2018. Brno: VirtualTraining s.r.o., 2018. Detail
HEROUT Adam. Final Research Report ONEPROVE 2018. Brno: ONEPROVE s.r.o., 2018. Detail
DRAHANSKÝ Martin, PERNICKÝ Radim and KANICH Ondřej. Fingerprint spoofing. Wiesbaden: Federal Criminal Office, 2018. Detail
MUSIL Miloš, MARTÍNEK Tomáš and ZENDULKA Jaroslav. FireProt: web server for automated design of thermostable proteins. In: DAZ & WIKT 2018 Proceedings. Brno, 2018, pp. 1-4. Detail
KADLUBIAK Kristián, TREEBY Bradley E. and JAROŠ Jiří. Fourth-order Time-stepping Scheme in Simulation of Ultrasound Propagation. Ostrava, 2018. Detail
PODIVÍNSKÝ Jakub, LOJDA Jakub and KOTÁSEK Zdeněk. FPGA-based Robot Controller: An Experimental Evaluation of Fault Tolerance Properties. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť, 2018, pp. 9-12. Detail
NEVORAL Jan, RŮŽIČKA Richard and ŠIMEK Václav. From Ambipolarity to Multifunctionality: Novel Library of Polymorphic Gates Using Double-Gate FETs. In: 2018 21st Euromicro Conference on Digital System Design. Praha: Institute of Electrical and Electronics Engineers, 2018, pp. 657-664. ISBN 978-1-5386-7376-8. Detail
FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš and ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Lecture Notes in Computer Science, vol. 10145. Heidelberg: Springer Verlag, 2018, pp. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, PÁNEK Richard and KOTÁSEK Zdeněk. FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant Systems Design Automation. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 244-251. ISBN 978-1-5386-7376-8. Detail
SUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. and CLEVELAND Robin. Full modelling of high-intensity focused ultrasound and thermal heating in the kidney of realistic patient models. IEEE Transactions on Biomedical Engineering, vol. 2018, no. 65, pp. 2660-2670. ISSN 0018-9294. Detail
ŠLAPAL Josef. Galois connections between sets of paths and closure operators in simple graphs. Open Mathematics, vol. 16, no. 1, pp. 1573-1581. ISSN 2391-5455. Detail
VEIGEND Petr, RAFFAI Peter, NEČASOVÁ Gabriela, ŠÁTEK Václav and KUNOVSKÝ Jiří. Simulation of the Gas Flow Through the Piston Ring Pack. In: 15rd International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
BRUMMER Niko, SILNOVA Anna, BURGET Lukáš and STAFYLAKIS Themos. Gaussian meta-embeddings for efficient scoring of a heavy-tailed PLDA model. In: Proceedings of Odyssey 2018. Les Sables d'Olonne: International Speech Communication Association, 2018, pp. 349-356. ISSN 2312-2846. Detail
KUČERA Jan, KEKELY Lukáš, PIECEK Adam and KOŘENEK Jan. General IDS Acceleration for High-Speed Networks. In: Proceedings of the 36th IEEE International Conference on Computer Design, ICCD 2018. Orlando: Institute of Electrical and Electronics Engineers, 2018, pp. 366-373. ISBN 978-1-5386-8477-1. Detail
UNKNOWN. General introduction. Hand-Based Biometrics: Methods and technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 135-168. ISBN 978-1-78561-224-4. Detail
DRAHANSKÝ Martin and YANUSHKEVICH Svetlana. General introduction. Hand-Based Biometrics: Methods and technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 1-17. ISBN 978-1-78561-224-4. Detail
PASTUSHENKO Olena, HYNEK Jiří and HRUŠKA Tomáš. Generation of Test Samples for Construction of Dashboard Design Guidelines: Impact of Color on Layout Balance. In: Advances in Intelligent Systems and Computing. Trends and Advances in Information Systems and Technologies. Naples: Springer International Publishing, 2018, pp. 980-990. ISBN 978-3-319-77711-5. Detail
ŠPAŇHEL Jakub, SOCHOR Jakub, JURÁNEK Roman and HEROUT Adam. Geometric Alignment by Deep Learning for Recognition of Challenging License Plates. In: 2018 21st International Conference on Intelligent Transportation Systems (ITSC). Lahaina, Maui: IEEE Intelligent Transportation Systems Society, 2018, pp. 3524-3529. ISBN 978-1-72810-321-1. Detail
KADLUBIAK Kristián, JAROŠ Jiří and TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. Frankfurt am Main, 2018. Detail
KADLUBIAK Kristián, JAROŠ Jiří and TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. In: 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans: IEEE Computer Society, 2018, pp. 188-195. ISBN 978-1-5386-7879-4. Detail
SOCHOR Jakub, ŠPAŇHEL Jakub, JURÁNEK Roman, DOBEŠ Petr and HEROUT Adam. Graph@FIT Submission to the NVIDIA AI City Challenge 2018. In: NVIDIA AI City Challenge 2018 (CVPRW). Salt Lake City: IEEE Computer Society, 2018, pp. 77-84. ISBN 978-1-5386-6100-0. Detail
TREFZER Martin A. and SEKANINA Lukáš. Guest Editorial: Bio-inspired Hardware and Evolvable Systems. IET Computers & Digital Techniques, vol. 12, no. 4. ISSN 1751-8601. Detail
DRAHANSKÝ Martin and DVOŘÁK Michal. Hand shape recognition and palm-print recognition using 2D and 3D features. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 283-307. ISBN 978-1-78561-224-4. Detail
DRAHANSKÝ Martin. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018. ISBN 978-1-78561-224-4. Detail
KOŘENEK Jan. Hardware Acceleration in Computer Networks. Brno, 2018. Detail
KUČERA Jan, KEKELY Lukáš, PUŠ Viktor, PIECEK Adam and KOŘENEK Jan. Hardware Acceleration of Intrusion Detection Systems for High-Speed Networks. In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, pp. 177-178. ISBN 978-1-4503-5902-3. Detail
KEKELY Lukáš, CABAL Jakub and KOŘENEK Jan. High-Speed Computation of CRC Codes for FPGAs. In: Proceedings of the 2018 International Conference on Field-Programmable Technology (FPT 2018). Naha: IEEE Computer Society, 2018, pp. 237-240. ISBN 978-1-72810-214-6. Detail
MATOUŠEK Denis, MATOUŠEK Jiří and KOŘENEK Jan. High-speed Regular Expression Matching with Pipelined Memory-based Automata. Proceedings of the 2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines. Boulder, CO: IEEE Computer Society, 2018. ISBN 978-1-5386-5522-1. Detail
SUMBALOVÁ Lenka, ŠTOURAČ Jan, MARTÍNEK Tomáš, BEDNÁŘ David and DAMBORSKÝ Jiří. HotSpot Wizard 3.0: Web Server for Automated Design of Mutations and Smart Libraries based on Sequence Input Information. Nucleic Acids Research, vol. 2018, no. 24, pp. 1-7. ISSN 1362-4962. Detail
KOZUBEK Tomáš, ČERMÁK Martin, TICHÝ Petr, BLAHETA Radim, ŠÍSTEK Jakub, LUKÁŠ Dalibor and JAROŠ Jiří, ed. HPCSE: 3rd International Conference on High Performance Computing in Science and Engineering. Lecture Notes in Computer Science, vol. 11087. Cham: Springer International Publishing, 2018. ISBN 978-3-319-97135-3. Detail
VESELÝ Vladimír. Hunting Down Cryptocurrency Users. Kuala Lumpur, 2018. Detail
BORDOVSKÝ Gabriel. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: University of West Bohemia in Pilsen, 2018, pp. 49-52. ISBN 978-80-261-0814-6. Detail
BENEŠ Karel, KESIRAJU Santosh and BURGET Lukáš. I-vectors in language modeling: An efficient way of domain adaptation for feed-forward models. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 3383-3387. ISSN 1990-9772. Detail
ASGARI Hamid, HAINES Sarah and RYŠAVÝ Ondřej. Identification of Threats and Security Risk Assessments for Recursive Internet Architecture. IEEE Systems Journal, vol. 2018, no. 12, pp. 2437-2448. ISSN 1937-9234. Detail
BREJCHA Jan, LUKÁČ Michal, CHEN Zhili, DIVERDI Stephen and ČADÍK Martin. Immersive Trip Reports. In: Proceedings of the 31st ACM User Interface Software and Technology Symposium. Berlín: Association for Computing Machinery, 2018, pp. 1-14. ISBN 978-1-4503-5948-1. Detail
HOMOLIAK Ivan, TEKNŐS Martin, BREITENBACHER Dominik and HANÁČEK Petr. Improving Network Intrusion Detection Classifiers by Non-payload-Based Exploit-Independent Obfuscations: An Adversarial Approach. EAI Endorsed Transactions on Security and Safety, vol. 5, no. 17, pp. 1-15. ISSN 2032-9393. Detail
UHLÍŘ Václav, ZBOŘIL František and ROZMAN Jaroslav. Improving upon package and food delivery by Semi-autonomous Tag-along Vehicles. In: Intelligent Systems Design and Applications. ISDA 2017: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018, pp. 589-596. ISBN 978-3-319-76347-7. Detail
PASTUSHENKO Olena, HRUŠKA Tomáš and ZENDULKA Jaroslav. Increasing students' motivation by using virtual learning environments based on gamification mechanics. In: ACM International Conference Proceedings Series. Salamanca: Association for Computing Machinery, 2018, pp. 755-760. ISBN 978-1-4503-6518-5. Detail
ČEKAN Ondřej, PÁNEK Richard and KOTÁSEK Zdeněk. Input and Output Generation for the Verification of ALU: a Use Case. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, pp. 331-336. ISBN 978-1-5386-5709-6. Detail
KLÍMA Ondřej, NOVOBILSKÝ Petr, MADEJA Roman, BAŘINA David, CHROMÝ Adam, ŠPANĚL Michal and ZEMČÍK Pavel. Intensity-based non overlapping area registration supporting "drop-outs" in terms of model-based radiostereometric analysis. Journal of Healthcare Engineering, vol. 2018, no. 1, pp. 1-10. ISSN 2040-2295. Detail
MATERNA Zdeněk, KAPINUS Michal, BERAN Vítězslav, SMRŽ Pavel and ZEMČÍK Pavel. Interactive Spatial Augmented Reality in Collaborative Robot Programming: User Experience Evaluation. In: Robot and Human Interactive Communication (RO-MAN). NanJing: Institute of Electrical and Electronics Engineers, 2018, pp. 330-338. ISBN 978-1-5386-7980-7. Detail
MATOUŠEK Petr, RYŠAVÝ Ondřej, JAMES Joshua I. and JANG Yunsik J. Interconnecting Education and Research Through International Partnership: IoT Case Study. In: Proceedings of 28th EAEEIE Annual Conference (EAEEIE). Hafnarfjordur: Institute of Electrical and Electronics Engineers, 2018, pp. 1-6. ISBN 978-1-5386-7711-7. Detail
CHARVÁT Lucie and MEDUNA Alexander. Internally Expandable Pushdown Automata and Their Computational Completeness. Romanian Journal of Information Science and Technology (ROMJIST), vol. 21, no. 3, pp. 232-237. ISSN 1453-8245. Detail
KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal, vol. 62, no. 1, pp. 30-41. ISSN 0010-4620. Detail
VESELÝ Karel, PERALES Carlos Segura, SZŐKE Igor, LUQUE Jordi and ČERNOCKÝ Jan. Lightly supervised vs. semi-supervised training of acoustic model on Luxembourgish for low-resource automatic speech recognition. In: Proceedings of Interspeech 2018. Hyderabad: International Speech Communication Association, 2018, pp. 2883-2887. ISSN 1990-9772. Detail
SCHARENBORG Odette, BESACIER Laurent, BLACK Alan, HASEGAWA-JOHNSON Mark, METZE Florian, NEUBIG Graham, STÜKER Sebastian, GODARD Pierre, MÜLLER Markus, ONDEL Lucas, PALASKAR Shruti, ARTHUR Philip, CIANNELLA Francesco, DU Mingxing, LARSEN Elin, MERKX Danny, RIAD Rachid, WANG Liming and DUPOUX Emmanuel. Linguistic Unit Discovery from Multi-Modal Inputs in Unwritten Languages: Summary of the 'Speaking Rosetta' JSALT 2017 Workshop. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 4980-4984. ISBN 978-1-5386-4658-8. Detail
EYSSELT Miloš. Magisterský studijní program na Fakultě informačních technologií, IT - Informační technologie, ak.r. 2018/2019. Brno: Faculty of Information Technology BUT, 2018. Detail
LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdeněk and KRČMA Martin. Majority Type and Redundancy Level Influences on Redundant Data Types Approach for HLS. In: 2018 16th Biennial Baltic Electronics Conference (BEC). Tallinn: IEEE Computer Society, 2018, pp. 1-4. ISBN 978-1-5386-7311-9. Detail
BARTÍK Vladimír. Mann-Hummel - Odborné konzultace SAP - Souhrnná výzkumná zpráva. Brno: MANN + HUMMEL Service s.r.o., 2018. Detail
KEKELY Michal, KEKELY Lukáš and KOŘENEK Jan. Memory Aware Packet Matching Architecture for High-Speed Networks. In: Proceedings of the 21st Euromicro Conference on Digital Systems Design. Praha: IEEE Computer Society, 2018, pp. 1-9. ISBN 978-1-5386-7376-8. Detail
PÁNEK Richard. Metodika návrhu řadiče rekonfigurace pro Systémy odolné proti poruchám. In: Počítačové architektury & diagnostika 2018. Stachy: University of West Bohemia in Pilsen, 2018, pp. 21-24. ISBN 978-80-261-0814-6. Detail
BUITELAAR Paul, WOOD Ian, NEGI Sapna, ARCAN Mihael, MCCRAE John P., ABELE Andrejs, ROBIN Cécile, ANDRYUSHECHKIN Vladimir, ZIAD Housam, SAGHA Hesam, SCHMITT Maxmilian, SCHULLER Björn W., SÁNCHEZ-RADA J. Fernando, IGLESIAS Carlos A., NAVARRO Carlos, GIEFER Andreas, HEISE Nicolaus, MASUCCI Vincenzo, DANZA Francesco A., CATERINO Ciro, SMRŽ Pavel, HRADIŠ Michal, POVOLNÝ Filip, KLIMEŠ Marek, MATĚJKA Pavel and TUMMARELLO Giovanni. MixedEmotions: An Open-Source Toolbox for Multimodal Emotion Analysis. IEEE Transactions on Multimedia, vol. 20, no. 9, pp. 2454-2465. ISSN 1520-9210. Detail
VEIGEND Petr, ŠÁTEK Václav and NEČASOVÁ Gabriela. Model of the Telegraph line and its Numerical Solution. Open Computer Science, vol. 8, no. 1, pp. 10-17. ISSN 2299-1093. Detail
NEČASOVÁ Gabriela, VEIGEND Petr and ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 2. In: 17th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Horní Lomná: VŠB - Technical University of Ostrava, 2018, pp. 211-220. ISBN 978-80-248-4135-9. Detail
KRÁLÍK Miroslav, KLÍMA Ondřej, POLCEROVÁ Lenka, URBANOVÁ Petra and ČUTA Martin. Morphometric Sex Estimation from the Hip Bone by Means of the HIP 1.1 Software. In: ShapeMI MICCAI 2018: Workshop on Shape in Medical Imaging Proceedings. Lecture Notes in Computer Science, vol. 11167. Granada: Springer Verlag, 2018, pp. 78-89. ISBN 978-3-030-04746-7. ISSN 0302-9743. Detail
GROCHOL David and SEKANINA Lukáš. Multi-Objective Evolution of Ultra-Fast General-Purpose Hash Functions. In: European Conference on Genetic Programming. Lecture Notes in Computer Science, vol. 10781. Berlin: Springer International Publishing, 2018, pp. 187-202. ISBN 978-3-319-77553-1. Detail
DRAHANSKÝ Martin. Nejlepší zabezpečení je vaše sítnice. Praha, 2018, pp. 12-17. Detail
BARTOS Anthony L., CIPR Tomáš, NELSON Douglas J., SCHWARZ Petr, BANOWETZ John and JERABEK Ladislav. Noise-robust speech triage. The Journal of the Acoustical Society of America, vol. 143, no. 4, pp. 2313-2320. ISSN 1520-8524. Detail
HASLINGER Jaroslav, KUČERA Radek, ŠÁTEK Václav and POCHYLÝ František. Numerical Modelling of the Stokes Flow with Coulomb Slip Boundary Conditions. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
ŠŮSTEK Martin and ZBOŘIL František V. Obtaining word embedding from existing classification model. In: Intelligent Systems Design and Applications. ISDA 2017 Intelligent Systems Design and Applications, vol. 2018. Cham: Springer International Publishing, 2018, pp. 540-547. ISBN 978-3-319-76347-7. ISSN 2194-5357. Detail
KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST), vol. 21, no. 3, pp. 278-287. ISSN 1453-8245. Detail
NOVOTNÝ Ondřej, MATĚJKA Pavel, PLCHOT Oldřich and GLEMBEK Ondřej. On the use of DNN Autoencoder for Robust Speaker Recognition. Brno: Faculty of Information Technology BUT, 2018. Detail
NOVOTNÝ Ondřej, PLCHOT Oldřich, MATĚJKA Pavel, MOŠNER Ladislav and GLEMBEK Ondřej. On the use of X-vectors for Robust Speaker Recognition. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 168-175. ISSN 2312-2846. Detail
NIKL Vojtěch, ŘÍHA Lubomír, VYSOCKÝ Ondřej and ZAPLETAL Jan. Optimal Hardware Parameters Prediction for Best Energy-to-Solution of Sparse Matrix Operations Using Machine Learning Techniques. In: INFOCOMP 2018. The Eighth International Conference on Advanced Communications and Computation. Barcelona: International Academy, Research, and Industry Association, 2018, pp. 43-48. ISBN 978-1-61208-655-2. Detail
ŽMOLÍKOVÁ Kateřina, DELCROIX Marc, KINOSHITA Keisuke, HIGUCHI Takuya, NAKATANI Tomohiro and ČERNOCKÝ Jan. Optimization of Speaker-aware Multichannel Speech Extraction with ASR Criterion. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 6702-6706. ISBN 978-1-5386-4658-8. Detail
VAVERKA Filip, ŠPEŤKO Matej, TREEBY Bradley E. and JAROŠ Jiří. Optimization of Ultrasound Simulations on Multi-GPU Servers. Dallas, 2018. Detail
FIŠER Petr and ŠIMEK Václav. Optimum Polymorphic Circuits Synthesis Method. In: 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018, pp. 1-6. ISBN 978-1-5386-5290-9. Detail
EGOROVA Ekaterina and BURGET Lukáš. Out-of-Vocabulary Word Recovery Using FST-Based Subword Unit Clustering in a Hybrid ASR System. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5919-5923. ISBN 978-1-5386-4658-8. Detail
DRAHANSKÝ Martin, DVOŘÁK Michal, HEIDARI Mona and SPURNÝ Martin. Overview of biometric technologies. Brno, 2018. Detail
PÁNEK Richard, LOJDA Jakub, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Partial Dynamic Reconfiguration in an FPGA-based Fault-Tolerant System: Simulation-based Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Kazaň: IEEE Computer Society, 2018, pp. 129-134. ISBN 978-1-5386-5709-6. Detail
TREEBY Bradley E., VAVERKA Filip and JAROŠ Jiří. Performance and Accuracy Analysis of Nonlinear k-Wave Simulations Using Local Domain Decomposition with an 8-GPU Server. Proceedings of Meetings on Acoustics, vol. 34, no. 022002, pp. 1-5. ISSN 1939-800X. Detail
ROZMAN Jaroslav and ZBOŘIL František. Persons Linking in Baptism Records. In: Workshop PAOS2018 and PASSCR2018 of JIST2018 conference. CEUR Workshop Proceedings, vol. 2293. Awaji, 2018, pp. 43-54. ISSN 1613-0073. Detail
BORDOVSKÝ Gabriel, COX Ben T. and JAROŠ Jiří. Photoacoustic Tomography Using the k-Wave Toolbox. Ostrava, 2018. Detail
ZEMČÍK Pavel. Pořízení dat dronem pro projekt eParking. Brno: CAMEA, spol. s r. o., 2018. Detail
ROZMAN Jaroslav, ZBOŘIL František and KOČÍ Radek. Possibilities of Creation of Community Genealogical Database with Semantic Information and Uncertainty. In: Conference on Big Data and Smart Computing (ICBDSC 2018). Casablanca, 2018, pp. 1-5. ISBN 978-1-4503-5438-7. Detail
DRAHANSKÝ Martin. Präsentationsangriffe der Fingerabdrucktechnologie (TTT-AG-Biometrie). Darmstadt, 2018. Detail
STRNADEL Josef. Predictability Analysis of Interruptible Systems by Statistical Model Checking. IEEE Design & Test, vol. 35, no. 2, pp. 57-63. ISSN 2168-2356. Detail
KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel and VOJNAR Tomáš. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II. Las Palmas: Springer International Publishing, 2018, pp. 99-108. ISBN 978-3-319-74726-2. Detail
RUDNITCKAIA Julia and HRUŠKA Tomáš. Prediction of times and delays for ship handling process based on a transition system. In: Int. Conf. on Harbor Maritime and Multimodal Logistics M&S. THE 20TH INTERNATIONAL CONFERENCE ON HARBOR, MARITIME & MULTIMODAL LOGISTICS MODELLING AND SIMULATION. RENDE, 2018, pp. 39-44. ISBN 978-88-85741-05-8. Detail
HEIDARI Mona, KANICH Ondřej and DRAHANSKÝ Martin. Processing of fingerprints influenced by skin diseases. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 135-168. ISBN 978-1-78561-224-4. Detail
ČEKAN Ondřej, PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Program Generation Through a Probabilistic Constrained Grammar. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, pp. 214-220. ISBN 978-1-5386-7376-8. Detail
TOKAN Viktor, PUTEROVÁ Janka, LEXA Matej and KEJNOVSKÝ Eduard. Quadruplex DNA in long terminal repeats in maize LTR retrotransposons inhibits the expression of a reporter gene in yeast. BMC Genomics, vol. 19, no. 1, pp. 1-11. ISSN 1471-2164. Detail
ČEKAN Ondřej and KOTÁSEK Zdeněk. Random Test Generation Through a Probabilistic Constrained Grammar. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť, 2018, pp. 5-8. Detail
TREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří and COX Ben T. Rapid calculation of acoustic fields from arbitrary continuous-wave sources. The Journal of the Acoustical Society of America, vol. 2018, no. 143, pp. 529-537. ISSN 1520-8524. Detail
DRAHANSKÝ Martin. Recognition of Eye Characteristics. Machine Learning and Biometrics. London: InTech - Open Access Publisher, 2018, pp. 7-35. ISBN 978-1-78923-590-6. Detail
HÁJEK Josef and DRAHANSKÝ Martin. Recognition-Based on Eye Biometrics: Iris and Retina. Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018, pp. 37-102. ISBN 978-3-319-98733-0. Detail
MATOUŠEK Denis, KUBIŠ Juraj, MATOUŠEK Jiří and KOŘENEK Jan. Regular Expression Matching with Pipelined Delayed Input DFAs for High-speed Networks. In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, pp. 104-110. ISBN 978-1-4503-5902-3. Detail
ŠLAPAL Josef. Relation-induced connectedness in the digital plane. AEQUATIONESA MATHEMATICAE, vol. 2018, no. 95, pp. 75-90. ISSN 0001-9054. Detail
MRÁZEK Vojtěch, VAŠÍČEK Zdeněk and HRBÁČEK Radek. Role of circuit representation in evolutionary design of energy-efficient approximate circuits. IET Computers & Digital Techniques, vol. 2018, no. 4, pp. 139-149. ISSN 1751-8601. Detail
VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Intel Xeon Phi (KNC) accelerators. Ostrava, 2018. Detail
MRÁZEK Vojtěch, VAŠÍČEK Zdeněk, SEKANINA Lukáš, JIANG Honglan and HAN Jie. Scalable Construction of Approximate Multipliers with Formally Guaranteed Worst-Case Error. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 26, no. 11, pp. 2572-2576. ISSN 1063-8210. Detail
JAROŠ Marta. Scientific Workflows Management. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: University of West Bohemia in Pilsen, 2018, pp. 25-28. ISBN 978-80-261-0814-6. Detail
KODYM Oldřich, ŠPANĚL Michal and HEROUT Adam. Segmentation of Head and Neck Organs at Risk Using CNN with Batch Dice Loss. In: Pattern Recognition, 40th German Conference, GCPR 2018 Proceedings. LNCS, volume 11269, vol. 2018. Stuttgart: Springer International Publishing, 2018, pp. 1-9. ISBN 978-3-030-12939-2. ISSN 0302-9743. Detail
DANTUMA Maura, LUCKA Felix, TREEBY Bradley E., JAROŠ Jiří, COX Ben T. and MANOHAR Srirang. Signal Frequency Content and Appearance of Tumors in Photoacoustic Breast Tomography: A Simulation. Caparica, 2018. Detail
HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata. In: Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2018, pp. 109-125. ISBN 978-3-030-01089-8. ISSN 0302-9743. Detail
HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018. Detail
DELCROIX Marc, ŽMOLÍKOVÁ Kateřina, KINOSHITA Keisuke, OGAWA Atsunori and NAKATANI Tomohiro. Single Channel Target Speaker Extraction and Recognition with Speaker Beam. In: Proceedings of ICASSP 2018. Calgary: IEEE Signal Processing Society, 2018, pp. 5554-5558. ISBN 978-1-5386-4658-8. Detail
HON Jiří, MARUŠIAK Martin, MARTÍNEK Tomáš, ZENDULKA Jaroslav, BEDNÁŘ David and DAMBORSKÝ Jiří. SoluProt: Prediction of Protein Solubility. In: DAZ & WIKT 2018 Proceedings. Brno: Brno University of Technology, 2018, pp. 261-265. ISBN 978-80-214-5679-2. Detail
JURÁNEK Roman. Souhrnná výzkumná zpráva k projektu Detekce referenčních značek v obraze FIB/SEM. Brno: TESCAN Brno, s.r.o., 2018. Detail
ŠPANĚL Michal and VEĽAS Martin. Souhrnná výzkumná zpráva k projektu Geodrom - Analýza nástrojů pro zpracování 3D dat. Brno: GEODROM s.r.o., 2018. Detail
ŠPANĚL Michal and VEĽAS Martin. Souhrnná výzkumná zpráva k projektu Geodrom - Geodrom - Experimentální ověření vlastností přenosného 3D mapovacího systému. Brno: GEODROM s.r.o., 2018. Detail
ROZMAN Jaroslav. Souhrnná výzkumná zpráva k projektu Intemac - Analýza připravenosti firmy Alba Metal pro prediktivní údržbu a Průmysl 4.0. Brno: ALBA - METAL, spol. s r.o., 2018. Detail
PODIVÍNSKÝ Jakub. Souhrnná výzkumná zpráva k projektu KPB Intra - Nabíječka elektromobilů - 2. etapa. Brno: KPB INTRA s.r.o., 2018. Detail
PODIVÍNSKÝ Jakub. Souhrnná výzkumná zpráva k projektu KPB Intra - Nabíječka elektromobilů - 3. etapa. Brno: KPB INTRA s.r.o., 2018. Detail
ZOBAL Lukáš. Souhrnná výzkumná zpráva k projektu Metody pro extrakci a detekci vzorů v programovém kódu. Brno: Avast Software s.r.o., 2018. Detail
KOČÍ Radek. Souhrnná výzkumná zpráva k projektu Nástroj pro tvorbu schémat technologických procesů v oblasti čistíren odpadních vod. Brno: KUNST, spol. s r.o., 2018. Detail
JURÁNEK Roman and MILET Tomáš. Souhrnná výzkumná zpráva k projektu NXP Konzultace Computer Vision 3. Brno: NXP Semiconductors Czech Republic s.r.o., 2018. Detail
KODYM Oldřich. Souhrnná výzkumná zpráva k projektu TESCAN 3DIM - Analýza současných trendů a metod pro zpracování 3D dat. Brno: TESCAN 3DIM, s.r.o., 2018. Detail
DRAŽIL Jan and KOŘENEK Jan. Souhrnná vyzkumná zpráva k projektu Urychlení DNS kolektoru za rok 2018. Brno: CZ.NIC, z.s.p.o., 2018. Detail
VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2018. Brno: Red Hat, 2018. Detail
KOŘENEK Jan. Souhrnná výzkumná zpráva o vývoji elektronických zařízení pro společnost Honeywell za rok 2018. Brno: Honeywell, spol. s r.o., 2018. Detail
PEČIVA Jan. Souhrnná výzkumná zpráva za rok 2018 k projektu Vývoj softwaru v oblasti CAD systémů, 3D grafiky a vizualizace grafických scén. Brno: Cadwork Informatik CI AG, 2018. Detail
ONDRÁČEK Tomáš. Souhrnná zpráva k projektu - Vývoj robotického řízení automobilu a vývoj nové generace asistenčních systémů pro řízení 2018. Brno: ARTIN, spol. s r.o., 2018. Detail
GRÉGR Matěj. Souhrnná zpráva k projektu DDoS ochrana člena sdružení CESNET. Brno: CESNET National Research and Education Network, 2018. Detail
ŽÁDNÍK Martin. Souhrnná zpráva k projektu Implementační, ladící a testovací práce za rok 2018. Brno: CESNET National Research and Education Network, 2018. Detail
SZŐKE Igor. Souhrnná zpráva k výzkumnému projektu "Škoda auto - Digital Minutes". Brno: ŠKODA AUTO a.s., 2018. Detail
MUSIL Martin, MUSIL Petr and ZEMČÍK Pavel. Souhrnná zpráva ke smluvnímu výzkumu - Camea 2018. Brno: CAMEA, spol. s r. o., 2018. Detail
NAJMAN Pavel and ZEMČÍK Pavel. Souhrnná zpráva ke smluvnímu výzkumu Tescan - Ovládání mikroskopu pomocí RGBD kamery. Brno: TESCAN Brno, s.r.o., 2018. Detail
DIEZ Sánchez Mireia, BURGET Lukáš and MATĚJKA Pavel. Speaker Diarization based on Bayesian HMM with Eigenvoice Priors. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 147-154. ISSN 2312-2846. Detail
SEKANINA Lukáš, VAŠÍČEK Zdeněk, BOSIO Alberto, TRAIOLA Marcello, RECH Paolo, OLIVEIRA Daniel, FERNANDES Fernando and DI Carlo Stefano. Special Session: How Approximate Computing impacts Verification, Test and Reliability. 2018 IEEE 36th VLSI Test Symposium. San Francisco: IEEE Computer Society, 2018. ISBN 978-1-5386-3774-6. Detail
ZEINALI Hossein, BURGET Lukáš, SAMETI Hossein and ČERNOCKÝ Jan. Spoken Pass-Phrase Verification in the i-vector Space. In: Proceedings of Odyssey 2018. Les Sables d´Olonne: International Speech Communication Association, 2018, pp. 372-377. ISSN 2312-2846. Detail
DRAHANSKÝ Martin, KANICH Ondřej and DVOŘÁK Michal. Spoofing methods in hand-based biometrics. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 367-398. ISBN 978-1-78561-224-4. Detail
VESELÝ Vladimír and PLUSKAL Jan. SSL/TLS Interception Workshop. Kuala Lumpur, 2018. Detail
KANICH Ondřej and DRAHANSKÝ Martin. State of the art in fingerprint recognition. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 83-110. ISBN 978-1-78561-224-4. Detail
STRNADEL Josef. Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. In: Proceedings of 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Lecture Notes in Computer Science, Vol. 11245. Cham: Springer International Publishing, 2018, pp. 414-429. ISSN 0302-9743. Detail
KRÁLÍK Miroslav, KLÍMA Ondřej, ČUTA Martin and ZEMČÍK Pavel. Statistického prostředky modelování růstových procesů z pohledu současné teorie růstu člověka. Mikulovský Antropologický Mítink (MAM II). Brno: Academy of Sciences of the Czech Republic, 2018. ISBN 978-80-7524-018-7. Detail
HASLINGER Jaroslav, KUČERA Radek, ŠÁTEK Václav and SASSI Taoufik. Stokes system with solution-dependent threshold slip boundary conditions: Analysis, approximation and implementation. Mathematics and Mechanics of Solids, vol. 2018, no. 23, pp. 294-307. ISSN 1081-2865. Detail
HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp and VOJNAR Tomáš. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages, vol. 2018, no. 2, pp. 96-127. ISSN 2475-1421. Detail
VÍDEŇSKÝ František and ZBOŘIL František. Strojové rozpoznávání rodových erbů. Genealogické a heraldické informace, vol. 22, no. 1, pp. 73-82. ISSN 0862-8963. Detail
EYSSELT Miloš. Studijní programy na Fakultě informačních technologií: IT - Informační technologie, Ak.r. 2018/2019. Ing. Vladislav Pokorný - LITERA BRNO: Faculty of Information Technology BUT, 2018. Detail
KÁČERIK Martin. Súhrnná výskumná správa k projektu Škoda auto - Vývoj aplikace VRUT za rok 2018. Brno: ŠKODA AUTO a.s., 2018. Detail
VEIGEND Petr, ŠÁTEK Václav and KUNOVSKÝ Jiří. System Control Using the Modern Taylor Series Method. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
DRAHANSKÝ Martin. Tajemství biometrie 2 - Rozpoznávání obličeje. ABC, vol. 63, no. 7, pp. 18-19. ISSN 1213-8991. Detail
DRAHANSKÝ Martin. Tajemství biometrie 3 - Duhovka a sítnice. ABC, vol. 63, no. 12, pp. 40-41. ISSN 1213-8991. Detail
DRAHANSKÝ Martin. Tajemství biometrie 4 - Lidská ruka. ABC, vol. 63, no. 18, pp. 48-49. ISSN 1213-8991. Detail
DRAHANSKÝ Martin. Tajemství biometrie 5 - Rozpoznávání písma. ABC, vol. 63, no. 22, pp. 22-23. ISSN 1213-8991. Detail
ŠÁTEK Václav, VEIGEND Petr and NEČASOVÁ Gabriela. Taylor Series Based Solution of Nonlinear-quadratic ODE Systems. In: MATHMOD VIENNA 2018 - 9th Vienna International Conference on Mathematical Modelling. Vienna: ARGE Simulation News, 2018, pp. 99-100. ISBN 978-3-901608-91-9. Detail
HRUŠKA Martin, MALÍK Viktor, SCHRAMMEL Peter and VOJNAR Tomáš. Template-Based Verification of Heap-Manipulating Programs. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2018, pp. 103-111. ISBN 978-0-9835678-8-2. Detail
PODIVÍNSKÝ Jakub and KOTÁSEK Zdeněk. Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2018, pp. 33-34. ISBN 978-80-01-06456-6. Detail
POMANTE Luigi, KŘENA Bohuslav, VOJNAR Tomáš, VELJKOVIĆ Filip and MAGNIN Pacôme. The AQUAS ECSEL Project. In: Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018). Praha: Institute of Electrical and Electronics Engineers, 2018, pp. 592-599. ISBN 978-1-5386-7376-8. Detail
HRANICKÝ Radek, ZOBAL Lukáš, VEČEŘA Vojtěch and MÚČKA Matúš. The architecture of Fitcrack distributed password cracking system. FIT-TR-2018-03, Brno, 2018. Detail
SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, SAUNAVAARA Jani, KIVINIEMI Aida and BLANCO Roberto. The Effect of Tissue Physiological Variablity on Transurethral Ultrasound Therapy of the Prostate. In: Proceedings of 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Honolulu, HI: Institute of Electrical and Electronics Engineers, 2018, pp. 5701-5704. ISBN 978-1-5386-3646-6. Detail
AFZAL Wasif, BRUNELIERE Hugo, DI Ruscio Davide, SADOVYKH Andrey, MAZZINI Sylvia, CARIOU Eric, TRUSCAN Dragos, CABOT Jordi, GÓMEZ Abel, GORRONOGOITIA Jesús, POMANTE Luigi and SMRŽ Pavel. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems. Microprocessors and Microsystems, vol. 61, no. 9, pp. 86-95. ISSN 0141-9331. Detail
AFZAL Wasif, BRUNELIERE Hugo, DI Ruscio Davide, SADOVYKH Andrey, MAZZINI Sylvia, CARIOU Eric, TRUSCAN Dragos, CABOT Jordi, FIELD Daniel, POMANTE Luigi and SMRŽ Pavel. The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems. In: Proceedings of the Euromicro Conference on Digital System Design (DSD). Vienna: IEEE Computer Society, 2018, pp. 494-501. ISBN 978-1-5386-2146-2. Detail
PUTEROVÁ Janka, KUBÁT Zdeněk, KEJNOVSKÝ Eduard, JESIONEK Wojciech, ČÍŽKOVÁ Jana, VYSKOT Boris and HOBZA Roman. The slowdown of Y chromosome expansion in dioecious Silene latifolia due to DNA loss and male-specific silencing of retrotransposons. BMC Genomics, vol. 19, no. 153, pp. 1-11. ISSN 1471-2164. Detail
PLUSKAL Jan and VESELÝ Vladimír. TLS/SSL Decryption Workshop. Praha, 2018. Detail
VESELÝ Vladimír. Towards Fully Automated Infinitely Scalable and Maximally Effective Password Cracking of Encrypted Documents. Kuala Lumpur, 2018. Detail
CRHA Adam, ŠIMEK Václav and RŮŽIČKA Richard. Towards novel format for representation of polymorphic circuits. In: 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018, pp. 1-2. ISBN 978-1-5386-5290-9. Detail
HOLÍK Lukáš and TUROŇOVÁ Lenka. Towards Smaller Invariants for Proving Coverability. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2018, pp. 109-116. ISBN 978-3-319-74727-9. Detail
KOČÍ Radek and JANOUŠEK Vladimír. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In: Software Engineering Advances. Nice: Xpert Publishing Services, 2018, pp. 1-6. ISBN 978-1-61208-668-2. Detail
PLUSKAL Jan, LICHTNER Ondrej and RYŠAVÝ Ondřej. Traffic Classification and Application Identification in Network Forensics. In: Fourteenth Annual IFIP WG 11.9 International Conference on Digital Forensics. New Delhi: Springer International Publishing, 2018, pp. 161-181. ISBN 978-3-319-99277-8. Detail
SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, MAKELA Pietari, ANTTINEN Mikael, SAUNAVAARA Jani, SAINIO Teija, KIVINIEMI Aida and BLANCO Roberto. Transurethral ultrasound therapy of the prostate in the presence of calcifications: a simulation study. Journal of Medical Physics, vol. 45, no. 11, pp. 4793-4804. ISSN 0094-2405. Detail
KANICH Ondřej, MÉZL Martin and DRAHANSKÝ Martin. Creative Materials Used for Fingerprint Spoofs. In: 2018 International Workshop on Biometrics and Forensics (IWBF). Sassari: Institute of Electrical and Electronics Engineers, 2018, pp. 1-8. ISBN 978-1-5386-1366-5. Detail
ŠPAŇHEL Jakub, SOCHOR Jakub and MAKAROV Aleksej. Vehicle Fine-grained Recognition Based on Convolutional Neural Networks for Real-world Applications. In: 2018 14th Symposium on Neural Networks and Applications (NEUREL). Belgrade: IEEE Signal Processing Society, 2018, pp. 1-5. ISBN 978-1-5386-6974-7. Detail
KLÍMA Ondřej, MADEJA Roman, ŠPANĚL Michal, ČUTA Martin, ZEMČÍK Pavel, STOKLÁSEK Pavel and MIZERA Aleš. Virtual 2D-3D Fracture Reduction with Bone Length Recovery Using Statistical Shape Models. In: ShapeMI MICCAI 2018: Workshop on Shape in Medical Imaging Proceedings. LNCS. Granada: Springer International Publishing, 2018, pp. 207-219. ISBN 978-3-030-04746-7. ISSN 0302-9743. Detail
KANICH Ondřej and DRAHANSKÝ Martin. Weapon Detection. Report of Project No. VI20172020068 - 2017 - Brno, 2018. Detail

Faculty of Information Technology, BUT

Study Department

Office Hours

Science and Research

2019

2018