2013

• Automated Cell Counting in Bürker Chamber

  ŠTĚPKA Karel

  Článek ve sborníku

  18th Scandinavian Conference on Image Analysis, SCIA 2013, rok: 2013

• Automatic Detection of Concepts from Problem Solving Times

  PELÁNEK Radek BOROŠ Petr NIŽNAN Juraj ŘIHÁK Jiří

  Článek ve sborníku

  Artificial Intelligence in Education, rok: 2013

• Automatic Verification of Competitive Stochastic Systems

  CHEN Taolue FOREJT Vojtěch KWIATKOWSKA Marta PARKER David SIMAITIS Aistis

  Článek v odborném periodiku

  Formal Methods in System Design, rok: 2013, ročník: 43, vydání: 1, DOI

• Avoiding Anomalies in Data Stream Learning

  GAMA Joao KOSINA Petr ALMEIDA Ezilda

  Článek ve sborníku

  Discovery Science, Proceedings of 16th International Conference DS 2013, rok: 2013

• Bioinformatika v štúdiu genómov a proteómov (ITAT 2013)

  LEXA Matej

  Uspořádání workshopu

  Rok: 2013, druh: Uspořádání workshopu

• Diverse queries and feature type selection for plagiarism discovery: Notebook for PAN at CLEF 2013

  SUCHOMEL Šimon KASPRZAK Jan BRANDEJS Michal

  Článek ve sborníku

  2013 Cross Language Evaluation Forum Conference, CLEF 2013, CEUR Workshop Proceedings Volume 1179, rok: 2013

• Dual World of TeX Math and MathML (TeXperience 2013 talk 27.9.2013, Brejlov, CZ)

  SOJKA Petr

  Další prezentace na konferencích

  Rok: 2013, druh: Další prezentace na konferencích

• Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?

  TSIKERDEKIS Michail

  Článek ve sborníku

  SOFSEM 2013: Theory and Practice of Computer Science, rok: 2013

• Enumerating Cube Tilings

  ASHIK Mathew Kizhakkepallathu PATRIC R. J. Östergard POPA Alexandru

  Článek v odborném periodiku

  Discrete and Computational Geometry, rok: 2013, ročník: 50, vydání: 4, DOI

• Evolutionary Design of Attack Strategies

  KŮR Jiří MATYÁŠ Václav ŠVENDA Petr

  Článek ve sborníku

  Security Protocols XVII - 17th International Workshop, Revised Selected Papers, rok: 2013