(1044 MB) ... Software Reliability Engineering: from Software Reliability Models to Software Resilience

(202 KB) ... What Can We Expect From Code Performance Optimization?

(1181 MB) ... How Sequence Repeats in Genomes Complicate Life - Solutions Out in the Wild, in Biology and Bioinformatics

(516 MB) ... Static Analysis of Termination and Safety Properties in Probabilistic Programs

(1154 MM) ... Interactive Environments for Cybersecurity Training

(124 MB) ... A Journey in Biomedical Discovery Informatics: From Ontology Learning to Knowledge Graph Embeddings

(1222 MB) ... Action Recognition in Human Motion Data

(1456 MB) ... The Fundamentals of Cell Tracking

(355 KB) ... Expressivity and complexity of partially ordered automata

(1157 MB) … Computer-Aided Systems Biology

(1301 MB) … What is the Best Timeout?

(1399 MB) … Machine Learning in Verification

(1192 MB) … Analyzis and Use of RSA Keypair Generation Bias

(1266 MB) … Semantic Data Modeling - Conceptual View

(327 MB) … Recommender System Research in E-Commerce

(1030 MB) ... Case studies in multimodal biomarker discovery

(1554 MB) ... Digraph With Measures

(1008 MB) ... Quality-Driven Software Architecture Design

(1351 MB) ... Visualization of Molecular Structures – Currently Used Methods and Future Challenges

(1069 MB) ... Konvoluce a její význam ve zpracování obrazu

(1604 MB) ... Formální koncepty jako nové atributy pro machine learning

(1997 MB) ...Augmented Reality Environments

(1430 MB) ... Teoretická informatika v kvantovém světě

(1789 MB) ... Proč potřebujeme stále větší textové korpusy

(773 MB) ... Traffic Analysis of Embedded Network Devices

(1091 MB) ... Image Compression on Massively Parallel Architectures

(1166 MB) ... Analýza her s čítači

(399 MB) ... Keeping Homologous Recombination at Bay

(430 MB) ... Paradigm of Systemic Machine Learning and It's Role in Knowledge Innovation and Knowledge Discovery

(450 MB) ... High-content screening z pohledu analýzy obrazu

(390 MB) ... Měření vzdálenosti v digitálních mřížkách

(486 MB) ... Symbolická exekuce a její praktická použití.

(433 MB) ... Projekt KYOTO - slovníky, wordnety a ontologie

(455 MB) ... Podobnostní vyhledávání a jeho aplikace

(457MB) ... Model checking v prostředí s ditribuovanou pamětí

(411 MB) ... Rozvrhování krok za krokem

(380 MB) ... Complexity of Physics, Physics of Complexity

(443 MB) ... From Minds to Pixels and Back

Prezentace k přednášce - Web 2.0 - Core Concepts, Applications and Implications

(351 MB) ... Web 2.0 - Core Concepts, Applications and Implications

(412 MB) ... Skupinová komunikace a její podpora

(516 MB) ... Syntaktická a logická analýza češtiny v analyzátoru synt