Department of Computer Systems

2020

  • KUKLIŠ Filip, JAROŠ Marta and JAROŠ Jiří. Accelerated Design of HIFU Treatment Plans Using Island-based Evolutionary Strategy. In: Applications ofEvolutionary Computation. LNCS 12104. Cham: Springer International Publishing, 2020, pp. 463-478. ISBN 978-3-030-43721-3. Detail
  • PRABAKARAN Bharath S., MRÁZEK Vojtěch, VAŠÍČEK Zdeněk, SEKANINA Lukáš and SHAFIQUE Muhammad. ApproxFPGAs: Embracing ASIC-based Approximate Arithmetic Components for FPGA-Based Systems. In: San Francisco, 2020, p. 6. Detail
  • LOJDA Jakub, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, PÁNEK Richard, KRČMA Martin and KOTÁSEK Zdeněk. Automatic Design of Reliable Systems Based on the Multiple-choice Knapsack Problem. In: 2020 IEEE 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Novi Sad: Institute of Electrical and Electronics Engineers, 2020, pp. 1-4. ISBN 978-1-7281-9938-2. Detail
  • KOCNOVÁ Jitka and VAŠÍČEK Zdeněk. EA-based Resynthesis: An Efficient Tool for Optimization of Digital Circuits. Genetic Programming and Evolvable Machines. ISSN 1389-2576. Detail
  • KUČERA Jan, POPESCU Diana A., WANG Han, MOORE Andrew W., KOŘENEK Jan and ANTICHI Gianni. Enabling Event-Triggered Data Plane Monitoring. In: SOSR 2020 - Proceedings of the 2020 Symposium on SDN Research. San Jose, CA: Association for Computing Machinery, 2020, pp. 14-26. ISBN 978-1-4503-7101-8. Detail
  • PODIVÍNSKÝ Jakub, LOJDA Jakub, PÁNEK Richard, ČEKAN Ondřej, KRČMA Martin and KOTÁSEK Zdeněk. Evaluation Platform For Testing Fault Tolerance: Testing Reliability of Smart Electronic Locks. In: 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS). San José: IEEE Circuits and Systems Society, 2020, pp. 1-4. ISBN 978-1-7281-3427-7. Detail
  • BIDLO Michal and DOBEŠ Michal. Evolutionary Development of Generic Sorting Networks by Means of Rewriting Systems. IEEE Transactions on Evolutionary Computation, vol. 24, no. 2, pp. 232-244. ISSN 1089-778X. Detail
  • MARTIN Eleanor, JAROŠ Jiří and TREEBY Bradley E. Experimental Validation of k-Wave: Nonlinear Wave Propagation in Layered, Absorbing Fluid Media. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, vol. 67, no. 1, pp. 81-91. ISSN 1525-8955. Detail
  • KEKELY Michal, KEKELY Lukáš and KOŘENEK Jan. General memory efficient packet matching FPGA architecture for future high-speed networks. Microprocessors and Microsystems, vol. 73, no. 3, pp. 1-12. ISSN 0141-9331. 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. 28, no. 2, pp. 317-328. ISSN 1063-8210. Detail
  • PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš and KOTÁSEK Zdeněk. Iterative Algorithm for Multidimensional Pareto Frontiers Intersection Determination. In: 2020 IEEE 11th Latin American Symposium on Circuits & Systems (LASCAS). San José: IEEE Circuits and Systems Society, 2020, pp. 1-4. ISBN 978-1-7281-3427-7. Detail
  • CRHA Adam, ŠIMEK Václav and RŮŽIČKA Richard. Multi-output cuts influence on optimization of polymorphic circuits based on PAIG rewriting. In: 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Novi Sad: Institute of Electrical and Electronics Engineers, 2020, pp. 1-6. ISBN 978-1-7281-9938-2. Detail
  • NEVORAL Jan, ŠIMEK Václav and RŮŽIČKA Richard. Power Consumption Analysis of New Generation of Polymorphic Gates. In: 2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Novi Sad: Institute of Electrical and Electronics Engineers, 2020, pp. 1-6. ISBN 978-1-7281-9938-2. Detail
  • LABUDOVÁ Dominika, HON Jiří and LEXA Matej. pqsfinder web: G-quadruplex prediction using optimized pqsfinder algorithm. Bioinformatics, vol. 36, no. 8, pp. 2584-2586. ISSN 1367-4803. Detail
  • MARCISIO Alberto, MRÁZEK Vojtěch, HANIF Muhammad A. and SHAFIQUE Muhammad. ReD-CaNe: A Systematic Methodology for Resilience Analysis and Design of Capsule Networks under Approximations. In: Grenoble, 2020. Detail
  • HODAŇ David, MRÁZEK Vojtěch and VAŠÍČEK Zdeněk. Semantically-Oriented Mutation Operator in Cartesian Genetic Programming for Evolutionary Circuit Design. In: Association for Computing Machinery, 2020, p. 9. ISBN 978-1-4503-7128-5. Detail
  • HU Ting, NICOLAU Miguel and SEKANINA Lukáš. Special issue on highlights of genetic programming 2019 events. Genetic Programming and Evolvable Machines, vol. 2020, no. 99. ISSN 1389-2576. 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, pp. 1-4. Detail
  • VAVERKA Filip, MRÁZEK Vojtěch, VAŠÍČEK Zdeněk and SEKANINA Lukáš. TFApprox: Towards a Fast Emulation of DNN Approximate Hardware Accelerators on GPU. In: Grenoble, 2020. Detail
  • BARDONEK Petr and ZACHARIÁŠOVÁ Marcela. Using Control Logic Drivers for Automated Generation of System-level Portable Models. In: 2020 IEEE 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS). Novi Sad: Institute of Electrical and Electronics Engineers, 2020, pp. 1-4. ISBN 978-1-7281-9938-2. Detail
  • MRÁZEK Vojtěch, SEKANINA Lukáš and VAŠÍČEK Zdeněk. Using Libraries of Approximate Circuits in Design of Hardware Accelerators of Deep Neural Networks. In: 2020, pp. 243-247. ISBN 978-1-7281-4922-6. Detail

2019

  • VRÁNA Roman, KOŘENEK Jan and NOVÁK David. Acceleration of Feature Extraction for Real-Time Analysis of Encrypted Network Traffic. In: Proceedings - 2019 22nd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2019. Cluj-Napoca: Institute of Electrical and Electronics Engineers, 2019, pp. 1-6. ISBN 978-1-7281-0073-9. Detail
  • JAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Adaptive Execution Planning in Biomedical Workflow Management Systems. Ostrava, 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, pp. 23-26. ISBN 978-80-88214-20-5. Detail
  • JAROŠ Marta, JAROŠ Jiří and TREEBY Bradley E. Adaptive Execution Planning in Workflow Management Systems. Denver, 2019. 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
  • MICENKOVÁ Lenka, BOSÁK Juraj, SMATANA Stanislav, NOVOTNÝ Adam, BUDINSKÁ Eva and ŠMAJS David. Administration of the Probiotic Escherichia coli Strain A0 34/86 Resulted in a Stable Colonization of the Human Intestine During the First Year of Life. Probiotics and Antimicrobial Proteins, vol. 2019, no. 11, pp. 1-8. ISSN 1867-1314. Detail
  • VAVERKA Filip, TREEBY Bradley E. and JAROŠ Jiří. Advancements in Ultrasound Simulations Enabled by High-bandwidth GPU Interconnects. Denver, 2019. 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
  • 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: Institute of Electrical and Electronics Engineers, 2019, pp. 1-8. ISBN 978-1-7281-2350-9. 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
  • 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
  • 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
  • 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
  • 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
  • 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-7281-1756-0. 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, 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 - 27th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2019. San Diego, CA: Institute of Electrical and Electronics Engineers, 2019, pp. 109-117. ISBN 978-1-7281-1131-5. 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, pp. 342-343. ISBN 978-1-4503-6748-6. Detail
  • KRČMA Martin, KOTÁSEK Zdeněk and LOJDA Jakub. 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-7281-1756-0. 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-7281-0397-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
  • 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. 27, no. 12, pp. 2734-2744. ISSN 1063-8210. Detail
  • HON Jiří, BORKO Simeon, MARUŠIAK Martin, MARTÍNEK Tomáš, BEDNÁŘ David and DAMBORSKÝ Jiří. EnzymeMiner: Web Server for Automated Mining and Annotation of Soluble Enzymes in Genomic Databases. ISMB/ECCB 2019. Basilej, 2019. 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 on Computational Science 2019, Faro, Portugal, June 12-14, 2019. Lecture Notes in Computer Science, vol. 11538. Faro: Springer International Publishing, 2019, pp. 577-590. ISBN 978-3-030-22743-2. 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
  • 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-7281-1756-0. Detail
  • SZURMAN Karel and KOTÁSEK Zdeněk. Fault Recovery for Coarse-Grained TMR Soft-Core Processor Using Partial Reconfiguration and State Synchronization. In: Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy: Faculty of Information Technology, Czech Technical University, 2019, pp. 6-7. ISBN 978-80-01-06607-2. Detail
  • VAŠÍČEK Zdeněk. Formal Methods for Exact Analysis of Approximate Circuits. IEEE Access, vol. 7, no. 1, pp. 177309-177331. ISSN 2169-3536. 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
  • KUČERA Jan, KEKELY Lukáš, PIECEK Adam and KOŘENEK Jan. General IDS Acceleration for High-Speed Networks. In: Proceedings - 2018 IEEE 36th International Conference on Computer Design, ICCD 2018. Orlando: Institute of Electrical and Electronics Engineers, 2019, pp. 366-373. ISBN 978-1-5386-8477-1. 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
  • FUKAČ Tomáš and KOŘENEK Jan. Hash-based Pattern Matching for High Speed Networks. In: Proceedings - 2019 22nd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2019. Cluj-Napoca: Institute of Electrical and Electronics Engineers, 2019, pp. 1-5. ISBN 978-1-7281-0073-9. Detail
  • VESELÝ Vladimír and ŽÁDNÍK Martin. How to detect cryptocurrency miners? By traffic forensics!. Digital Investigation, vol. 31, no. 31, pp. 1-14. ISSN 1742-2876. 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
  • STAMENKOVIC Zoran, BOSIO Alberto, CSEREY Gyorgy, NOVÁK Ondřej, PLESKACZ Witold, SEKANINA Lukáš, STEININGER Andreas, STOJANOVIC Goran and STOPJAKOVÁ Viera. International Symposium on Design and Diagnostics of Electronic Circuits and Systems. In: 2019 IEEE International Test Conference. Washington, DC: Institute of Electrical and Electronics Engineers, 2019, pp. 1-4. ISBN 978-1-7281-4823-6. Detail
  • WRONA Jan and ŽÁDNÍK Martin. Low Overhead Distributed IP Flow Records Collection and Analysis. In: 2019 IFIP/IEEE International Symposium on Integrated Network Management. Washington DC, 2019, pp. 557-562. ISBN 978-3-903176-15-7. Detail
  • EYSSELT Miloš. Magisterské studijní programy na Fakultě informačních technologií, ak.r. 2019/2020. LITERA Brno: Faculty of Information Technology BUT, 2019. 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-7281-2861-0. Detail
  • PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš and KOTÁSEK Zdeněk. Multidimensional Pareto Frontiers Intersection: Processor Optimization Case Study. In: Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2019, pp. 20-21. ISBN 978-80-01-06607-2. 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
  • BORDOVSKÝ Gabriel and JAROŠ Jiří. On the Complexity of Photoacoustic Tomography: A Trade-off Between Image Quality and Computational Cost. Solaň, 2019. 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, pp. 5-8. ISBN 978-80-88214-20-5. Detail
  • BADÁŇ Filip and 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, pp. 109-121. ISBN 978-3-030-34499-3. 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-7281-2861-0. Detail
  • BORDOVSKÝ Gabriel. Photoacoustic Reconstruction with Progressive Grid Refinement. Ostrava, 2019. 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-7281-2861-0. 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-7281-1756-0. 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
  • 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-7281-0073-9. Detail
  • FIŠER Petr, HÁLEČEK Ivo, SCHMIDT Jan and ŠIMEK Václav. SAT-Based Generation of Optimum Circuits with Polymorphic Behavior Support. Journal of Circuits, Systems and Computers, vol. 28, no. 1, pp. 1-29. ISSN 1793-6454. Detail
  • JAROŠ Marta, TREEBY Bradley E. and JAROŠ Jiří. Scientific workflow management framework. Soláň, 2019. Detail
  • ČEKAN Ondřej, PODIVÍNSKÝ Jakub, LOJDA Jakub, PÁNEK Richard, KRČMA Martin and KOTÁSEK Zdeněk. Smart Electronic Locks and Their Reliability. In: Proceedings of the 7th Prague Embedded Systems Workshop. Roztoky u Prahy: Czech Technical University, 2019, pp. 4-5. ISBN 978-80-01-06607-2. 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
  • 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-7281-2861-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: Academic and Medical Conference Agency, 2019, pp. 64-67. ISBN 978-80-88214-20-5. 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
  • 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
Back to top