Publications [2016]

Total number of titles in 2016: 171

Alphabetical list of 30 titles starting from: 1

Letter A, page 1Letter B, page 1Letter C, page 1Letter D, page 2Letter E, page 2Letter F, page 2Letter G, page 2Letter H, page 3Letter CH, page 3Letter I, page 3Letter J, page 3Letter K, page 3Letter L, page 3Letter M, page 3Letter N, page 4Letter O, page 4Letter P, page 4Letter Q, page 5Letter R, page 5Letter S, page 5Letter T, page 5Letter U, page 6Letter V, page 6Letter W, page 6Letter X, page 6Letter Y, page 6Letter Z, page 6
First pagePrevious page|1|2|3|4|5|6|Next pageLast page
found: 171 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

 

GHAFIR, Ibrahim - PŘENOSIL, Václav - SVOBODA, Jakub - HAMMOUDEH, Mohammad.
A Survey on Network Security Monitoring Systems. In Proceedings of International Conference on Future Internet of Things and Cloud. Vienna, Austria : IEEE Xplore Digital Library, 2016. ISBN 978-1-5090-3946-3, pp. 77-82. 22.8.2016, Vienna, Austria.


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

 

STUPKA, Václav.
AMM and Legal Implications for the Electricity Market. In BIR 2016 Workshops and Doctoral Consortium. Vyd. 1684. CEUR-WS.org, 2016.


more

 

PIVOLUSKA, Matej - PLESCH, Martin.
An explicit classical strategy for winning a CHSHq game. New Journal of Physics, IOP publishing, Great Britain. ISSN 1367-2630, 2016, vol. 18, no. FEB 11 2016, nestránkováno-10 pp.


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

 

RYCHLÝ, Pavel - SUCHOMEL, Vít.
Annotated Amharic Corpora. In Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings. Switzerland : Springer International Publishing, 2016. ISBN 978-3-319-45509-9, pp. 295-302. 12.9.2016, Brno.


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

 

MEDVEĎ, Marek - HORÁK, Aleš.
AQA: Automatic Question Answering System for Czech. In Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings. Switzerland : Springer International Publishing, 2016. ISBN 978-3-319-45510-5, pp. 270-278. 12.9.2016, Brno.


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

 

ŠVEC, Ján - RYGL, Jan.
Building Corpora for Stylometric Research. In Text, Speech, and Dialogue - 19th International Conference. Germany : Springer International Publishing, 2016. ISBN 978-3-319-45510-5, pp. 19-26. 2016, Brno.


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. ISBN 978-1-5090-0777-6. 2016, Istanbul, Turkey.


more

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