2013

• Fault detection in building management system networks

  KUČERA Adam GLOS Petr PITNER Tomáš

  Článek ve sborníku

  12th IFAC Conference on Programmable Devices and Embedded Systems, PDeS 2013, rok: 2013

• Generovanie simulovaných testovacích dát pre genómové asociačné štúdie

  ŠTEFANIČ Stanislav LEXA Matej

  Článek ve sborníku

  ITAT 2013: Information Technologies - Applications and Theory (Workshops, Posters, and Tutorials), rok: 2013

• Geometry-based Algorithm for Detection of Asymmetric Tunnels in Protein Molecules

  BYŠKA Jan JURČÍK Adam SOCHOR Jiří

  Článek ve sborníku

  TPCG 2013, rok: 2013

• Haloalkane dehalogenases: Biotechnological applications

  KOUDELÁKOVÁ Táňa BIDMANOVÁ Šárka DVOŘÁK Pavel PAVELKA Antonín CHALOUPKOVÁ Radka PROKOP Zbyněk DAMBORSKÝ Jiří

  Článek v odborném periodiku

  Biotechnology Journal, rok: 2013, ročník: 8, vydání: 1, DOI

• In silico search for secondary structures in p53 target genes using R/Bioconductor

  BRÁZDOVÁ Marie MARTÍNEK Tomáš LEXA Matej

  Článek ve sborníku

  ITAT 2013: Information Technologies - Applications and Theory (Workshops, Posters, and Tutorials), rok: 2013

• Incremental Runtime Verification of Probabilistic Systems

  FOREJT Vojtěch KWIATKOWSKA Marta PARKER David QU Hongyang UJMA Mateusz

  Článek ve sborníku

  Runtime Verification, rok: 2013

• Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

  CARETTE Jacques ASPINALL David LANGE Christoph SOJKA Petr WINDSTEIGER Wolfgang

  Editorství tématického sborníku

  Rok: 2013, druh: Editorství tématického sborníku

• Inter-university Cooperation on Plagiarism Detection Systems in Czech Republic

  LUNTER Ľuboš JAKUBÍK Daniel SUCHOMEL Šimon BRANDEJS Michal

  Článek ve sborníku

  Plagiarism Across Europe and Beyond, rok: 2013

• ITAT 2013: Information Technologies - Applications and Theory (Workshops, Posters, and Tutorials)

  VINAŘ Tomáš HOLEŇA Martin LEXA Matej PEŠKA Ladislav VOJTÁŠ Peter

  Editorství tématického sborníku

  Rok: 2013, druh: Editorství tématického sborníku

• Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2013)

  LANGE Christoph ASPINALL David CARETTE Jacques DAVENPORT James KOHLHASE Andrea KOHLHASE Michael LIBBRECHT Paul QUARESMA Pedro RABE Florian SOJKA Petr WHITESIDE Iain WINDSTEIGER Wolfgang

  Editorství tématického sborníku

  Rok: 2013, druh: Editorství tématického sborníku