Publications [2016]

Total number of titles in 2016: 134

Alphabetical list of 30 titles starting from: 1

Letter A, page 1Letter B, page 1Letter C, page 1Letter D, page 1Letter E, page 2Letter F, page 2Letter G, page 2Letter H, page 2Letter CH, page 3Letter I, page 3Letter J, page 3Letter K, page 3Letter L, page 3Letter M, page 3Letter N, page 3Letter O, page 3Letter P, page 3Letter Q, page 4Letter R, page 4Letter S, page 4Letter T, page 4Letter U, page 5Letter V, page 5Letter W, page 5Letter X, page 5Letter Y, page 5Letter Z, page 5
First pagePrevious page|1|2|3|4|5|Next pageLast page
found: 134 records, displayed 1 - 30

 

BYDŽOVSKÁ, Hana.
A Comparative Analysis of Techniques for Predicting Student Performance. In Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA : International Educational Data Mining Society, 2016. pp. 306-311. 2016, Raleigh, NC, USA.


more

 

ČERMÁK, Milan - TOVARŇÁK, Daniel - LAŠTOVIČKA, Martin - ČELEDA, Pavel.
A Performance Benchmark of NetFlow Data Analysis on Distributed Stream Processing Systems. In NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium. Istanbul, Turkey : IEEE Xplore Digital Library, 2016. ISBN 978-1-5090-0222-1, pp. 919-924. 25.4.2016, Istanbul, Turkey.


more

 

ZAVŘEL, Tomáš - KNOOP, Hening - STEUER, Ralf - PATRIK, Jones - ČERVENÝ, Jan - TRTÍLEK, Martin.
A quantitative evaluation of ethylene production in the recombinant cyanobacterium Synechocystis sp. PCC 6803 harboring the ethylene-forming enzyme by membrane inlet mass spectrometry. Bioresource Technology. 2016, vol. 202, p. 142–151.


more

 

JURČÍK, Adam - PARULEK, Julius - SOCHOR, Jiří - KOZLÍKOVÁ, Barbora.
Accelerated Visualization of Transparent Molecular Surfaces in Molecular Dynamics. In IEEE Pacific Visualization Symposium 2016. Taipei, Taiwan : IEEE, 2016. pp. 112-119. 19.4.2016, Taipei, Taiwan.


more

 

BAUCH, Petr - HAVEL, Vojtěch - BARNAT, Jiří.
Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories. Software Quality Journal, Springer, USA. ISSN 0963-9314, 2016, vol. 24, no. 1, pp. 37-63.


more

 

FRANEK, Michal - SUCHÁNKOVÁ, Jana - ŘEZNÍČKOVÁ-PODLOUČKOVÁ, Petra - KREJČÍ, Jana - LEGARTOVÁ, Soňa - KOZUBEK, Stanislav - VEČEŘA, J - SOROKIN, Dmitry - BÁRTOVÁ, Eva.
Advanced Image Acquisition and Analytical Techniques for Studies of Living Cells and Tissue Sections. Microscopy and Microanalysis, Saarbrücken, Cambridge University Press. ISSN 1431-9276, 2016, vol. 22, no. 2, pp. 326-341.


more

 

BARNAT, Jiří - BAUCH, Petr - BENEŠ, Nikola - BRIM, Luboš - BERAN, Jan - KRATOCHVÍLA, Tomáš.
Analysing Sanity of Requirements for Avionics Systems. Formal Aspects of Computing, USA. ISSN 0934-5043, 2016, vol. 28, no. 1, pp. 45-63.


more

 

BYŠKA, Jan - MUZIC, Mathieu Le - GRÖLLER, Eduard - VIOLA, Ivan - KOZLÍKOVÁ, Barbora.
AnimoAminoMiner: Exploration of Protein Tunnels and their Properties in Molecular Dynamics. IEEE Transactions on Visualization and Computer Graphics, IEEE, USA. ISSN 1077-2626, 2016, vol. 22, no. 1, pp. 747-756.


more

 

ROSSI, Bruno - CHREN, Stanislav - BÜHNOVÁ, Barbora - PITNER, Tomáš.
Anomaly Detection in Smart Grid Data: An Experience Report. In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016). Budapest : IEEE, 2016. 6 pp. 9.10.2016, Budapest.


more

 

VONÁSEK, Vojtěch - KOZLÍKOVÁ, Barbora.
Application of Sampling-based Path Planning for Tunnel Detection in Dynamic Protein Structures. In MMAR: 21st International Conference on Methods and Models in Automation and Robotics. : 2016. 29.8.0206, Międzyzdroje, Poland.


more

 

GANIAN, Robert - HLINĚNÝ, Petr - OBDRŽÁLEK, Jan - KNEIS, Joachim - MEISTER, Daniel - SIKDAR, Somnath - ROSSMANITH, Peter.
Are there any good digraph width measures?. Journal of Combinatorial Theory, Ser B, Academic Press, India. ISSN 0095-8956, 2016, vol. 116, no. 1, pp. 250-286.


more

 

GEŠVINDR, David - BÜHNOVÁ, Barbora.
Architectural Tactics for the Design of Efficient PaaS Cloud Applications. In 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA). Neuveden : IEEE, 2016. ISBN 978-1-5090-2131-4, pp. 158-167. 5.4.2016, Venice, Italy.


more

 

VALČÍK, Jakub - SEDMIDUBSKÝ, Jan - ZEZULA, Pavel.
Assessing similarity models for human-motion retrieval applications. Computer Animation and Virtual Worlds, John Wiley & Sons Ltd. ISSN 1546-427X, 2016.


more

 

DEDÍK, Václav - ROSSI, Bruno.
Automated Bug Triaging in an Industrial Context. In Automated Bug Triaging in an Industrial Context. : IEEE, 2016.


more

 

VLACHYNSKÁ, Alžběta - ČERVENÝ, Jan - ČMIEL, V. - TUREČEK, T..
Automatic Image-Based Method for Quantitative Analysis of Photosynthetic Cell Cultures. , Berlin, Heidelberg, Springer Berlin Heidelberg. ISSN 0302-9743, 2016, vol. 7209, p. 402–413.


more

 

KOMENDA, Martin - KAROLYI, Matěj - POKORNÁ, Andrea - VÍTA, Martin - KRÍŽ, Vincent.
Automatic Keyword Extraction from Medical and Healthcare Curriculum. Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, Poland, Poland. 2016.


more

 

MAYRHOFER, Michaela Th. - HOLUB, Petr - WUTTE, Andrea - LITTON, Jan-Eric.
BBMRI-ERIC: the novel gateway to biobanks. Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz. ISSN 1437-1588, 2016, vol. 2016, p. 1-6.


more

 

ŠEVČÍK, Jonáš.
Bluetooth Beacon Network Suitability for Crisis Management. In iEMSs 2016. : 2016. 2016, Toulouse.


more

 

PAVELKA, Antonín - ŠEBESTOVÁ, Eva - KOZLÍKOVÁ, Barbora - BREZOVSKÝ, Jan - SOCHOR, Jiří - DAMBORSKÝ, Jiří.
CAVER: Algorithms for Analyzing Dynamics of Tunnels in Macromolecules. IEEE/ACM Transactions on Computational Biology and Bioinformatics, IEEE Computer Society, USA. ISSN 1545-5963, 2016, vol. 13, no. 3, pp. 505 - 517.


more

 

VÝTVAROVÁ, Eva - MAREČEK, Radek - FOUSEK, Jan - REKTOR, Ivan.
Combining network and partial least square analyses: epilepsy case study. 2016.


more

 

KOCINCOVÁ, Lucia - JAREŠOVÁ, Miroslava - BYŠKA, Jan - PARULEK, Julius - HAUSER, Helwig - KOZLÍKOVÁ, Barbora.
Comparative Visualization of Protein Secondary Structures. In BioVis. : 2016. 2016, Baltimore, USA.


more

 

BLAHOUDEK, František - HEIZMANN, Matthias - SCHEWE, Sven - STREJČEK, Jan - TSAI, Ming-Hsien.
Complementing Semi-deterministic Büchi Automata. In Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016. Berlin : Springer Berlin Heidelberg, 2016. ISBN 978-3-662-49673-2, pp. 770-787. 2.4.2016, Eindhoven.


more

 

BAUCH, Petr - HAVEL, Vojtěch - BARNAT, Jiří.
Control Explicit-Data Symbolic Model Checking. ACM Transactions on Software Engineering and Methodology, USA. ISSN 1049-331X, 2016, vol. 25, no. 2, pp. 15-62.


more

 

RUSŇÁK, Vít - TROUBIL, Pavel - HLADKÁ, Eva - DAXNEROVÁ, Desana - KAJABA, Pavel - MINÁRIK, Matej - ONDRA, Svatoslav - SKLENÁK, Tomáš.
CoUnSiL: A Videoconferencing Environment for Interpretation of Sign Language. In 15th International Conference on Information Technology Based Higher Education and Training. Vyd. To appear. 2016. 2016, Istanbul, Turkey.


more

 

RUSŇÁK, Vít - TROUBIL, Pavel - ONDRA, Svatoslav - SKLENÁK, Tomáš - DAXNEROVÁ, Desana - HLADKÁ, Eva - KAJABA, Pavel - MINÁRIK, Matej - NOVÁK, Peter - DAMM, Christoph.
CoUnSiL: Collaborative Universe for Remote Interpreting of Sign Language in Higher Education. Springer International Publishing, 2016. ISBN 978-3-319-41267-2, pp. 392-399. 2016, Linz, Austria.


more

 

BYDŽOVSKÁ, Hana.
Course Enrollment Recommender System. In Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA : International Educational Data Mining Society, 2016. pp. 312-317. 2016, Raleigh, NC, USA.


more

 

RAMBOUSEK, Adam - HORÁK, Aleš.
DEBVisDic: Instant Wordnet Building. In Proceedings of the Eighth Global WordNet Conference. Bucharest, Romania : Romanian Academy, 2016. ISBN 978-973-0-20728-6, pp. 317-321. 27.1.2016, Bucharest, Romania.


more

 

ŠKORPÍKOVÁ, Lucie - ILGOVÁ, Jana - POTĚŠIL, David - ZDRÁHAL, Zbyněk - DEMKO, Martin - OPPELT, Jan - GELNAR, Milan - KAŠNÝ, Martin.
Deep insight into secretome and transcriptome of Trichinella spiralis and Trichinela pseudospiralis. 2016.


more

 

PAŘILOVÁ, Tereza - HLADKÁ, Eva - BAYER, Jaroslav.
Defining Formal Letter Similarity for Purposes of Accessing Web Information by Users with Dyslexia and Other Reading Disorders. International Journal of Computer Theory and Engineering, Singapore. ISSN 1793-8201, 2016, vol. 8, no. 6, pp. 16-19.


more

 

ČERMÁK, Milan - ČELEDA, Pavel.
Detecting Advanced Network Threats Using a Similarity Search. In Management and Security in the Age of Hyperconnectivity. Vyd. 9701. Munich, Germany : Springer International Publishing, 2016. ISBN 978-3-319-39813-6, pp. 137-141. 20.6.2016, Munich, Germany.


more

 
First pagePrevious page|1|2|3|4|5|Next pageLast page
found: 134 records, displayed 1 - 30