Publications [2016]

Total number of titles in 2016: 60

Alphabetical list of 30 titles starting from: 1

Letter A, page 1Letter B, page 1Letter C, page 1Letter D, page 1Letter E, page 1Letter F, page 1Letter G, page 1Letter H, page 1Letter CH, page 2Letter I, page 2Letter J, page 2Letter K, page 2Letter L, page 2Letter M, page 2Letter N, page 2Letter O, page 2Letter P, page 2Letter Q, page 2Letter R, page 2Letter S, page 2Letter T, page 2Letter U, page 2Letter V, page 2Letter W, page 2Letter X, page 2Letter Y, page 2Letter Z, page 2
First pagePrevious page|1|2|Next pageLast page
found: 60 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 : 2016. 6 pp. 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 IEEE/IFIP Network Operations and Management Symposium 2016 (NOMS 2016). Istanbul, Turkey : IEEE Xplore Digital Library, 2016. ISBN 978-1-5090-0222-1, pp. 919-924. 25.4.2016, Istanbul, Turkey.


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 : 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

 

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

 

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

 

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

 

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. PP, no. 99, pp. 1-14.


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. Vyd. To appear. 2016. 8 pp.


more

 

BYDŽOVSKÁ, Hana.
Course Enrollment Recommender System. In Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA : 2016. 6 pp. 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

 

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 Lecture Notes in Computer Science (To Appear). : Springer Berlin Heidelberg, 2016.


more

 

JENSEN, Jonnas F. - LARSEN, Kim G. - SRBA, Jiří - OESTERGAARD, Lars.
Efficient Model Checking of Weighted CTL with Upper-Bound Constraints. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, The Nederlands. ISSN 1433-2779, 2016, vol. 2014, no. december, pp. 1-18.


more

 

PAŘILOVÁ, Tereza - MRVÁŇ, Filip - MIŽÍK, Bruno - HLADKÁ, Eva.
Emerging Technology Enabling Dyslexia Users To Read and Perceive Written Text Correctly. 2016.


more

 

PAŘILOVÁ, Tereza - MRVÁŇ, Filip - MIŽÍK, Bruno - HLADKÁ, Eva.
Emerging Technology Enabling Dyslexia Users To Read and Perceive Written Text Correctly. Research in Computing Science, Special issue: Natural Language Processing and its Applications, Mexiko, Instituto Politécnico Nacional, Mexico. ISSN 1870-4069, 2016, 12 pp.


more

 

SCHELLE, Karel - ŠMÍD, Vladimír.
Evidence nemovitostí. In Encyklopedie českých právních dějin, II. svazek D – J. 1. vydání. Plzeň : Vydavatelství a nakladatelství Aleš Čeněk, s.r.o., 2016. II. svazek D – J, ISBN 978-80-7380-587-6, pp. 375-385.


more

 

SCHELLE, Karel - ŠMÍD, Vladimír - VESELÁ, Renata.
Evidence obyvatel. In Encyklopedie českých právních dějin, II. svazek D – J. 1. vydání. Plzeň : Vydavatelství a nakladatelství Aleš Čeněk, s.r.o., 2016. II. svazek D – J, ISBN 978-80-7380-587-6, pp. 386-409.


more

 

BAKAOUKAS, Anastasios - FLORIN, Coada - LIAROKAPIS, Fotis.
Examining Brain Activity While Playing Computer Games. Journal on Multimodal Interfaces, Springer, Germany. ISSN 1783-7677, 2016, vol. 10/2016, no. 1, pp. 13-29.


more

 

JAKUBÍČEK, Miloš - BAISA, Vít - BUŠTA, Jan - KOVÁŘ, Vojtěch - MICHELFEIT, Jan - RYCHLÝ, Pavel - SUCHOMEL, Vít.
Fifty Shades Between Linguistics and Language Engineering. 2016.


more

 

GRUSKA, Jozef - QIU, Daowen - ZHENG, Shenggen.
Generalizations of the distributed Deutsch-Jozsa promise problem. Mathematical Structures in Computer Science, Cambridge University Press, Great Britain. ISSN 0960-1295, 2016, vol. Neuveden, no. first online, pp. 1-21.


more

 

KREJČÍ, Adam - HUPP, TR - LEXA, Matej - VOJTĚŠEK, Bořivoj - MÜLLER, Petr.
Hammock: a hidden Markov model-based peptide clustering algorithm to identify protein-interaction consensus motifs in large datasets. Bioinformatics, Oxford, Oxford University Press, Great Britain. ISSN 1367-4803, 2016, vol. 32, no. 1, pp. 9-16.


more

 

KABÁT, Milan - DAVID, Vojtěch - HOLUB, Petr - PULEC, Martin.
High-performance forward error correction: Enabling multi-gigabit flows and beyond on commodity GPU and CPU hardware in presence of packet loss. Future Generation Computer Systems, Amsterdam, The Netherlands, Elsevier Science. ISSN 0167-739X, 2016, vol. 54, no. 1, pp. 326 - 335.


more

 

SITOVÁ, Zdeňka - ŠEDĚNKA, Jaroslav - YANG, Qing - PENG, Ge - ZHOU, Gang - GASTI, Paolo - BALAGANI, Kiran.
HMOG: New Behavioral Biometric Features for Continuous Authentication of Smartphone Users. IEEE Transactions on Information Forensics and Security, USA. ISSN 1556-6013, 2016, vol. 2016, no. 10.1109/TIFS.2015.2506542, pp. 877 - 892.


more

 

TELEC, Ivo.
Hraniční jev práva duševního vlastnictví: přírodní léčitelství. In Košické dni súkromného práva I. Vyd. 1. Košice : Univerzita Pavla Jozefa Šafárika, 2016. ISBN 978-80-8152-400-4, pp. 493-504. 21.4.2016, Košice.


more

 

HUSÁK, Martin - ČERMÁK, Milan - JIRSÍK, Tomáš - ČELEDA, Pavel.
HTTPS Traffic Analysis and Client Identification Using Passive SSL/TLS Fingerprinting. EURASIP Journal on Information Security, Germany. ISSN 1687-417X, 2016, vol. 2016, no. 1, pp. 1-14.


more

 

ABBADI, Ahmad - MATOUSEK, Radomil.
Hybrid rule-based motion planner for mobile robot in cluttered workspace. Soft computing, Springer. ISSN 1432-7643, 2016, p. 1--17.


more

 
First pagePrevious page|1|2|Next pageLast page
found: 60 records, displayed 1 - 30