Thesis

Usable documentation for certificate validation errors

Michaela Balážová

Usable documentation for certificate validation errors

Case-based reasoning in the diagnosis of cardiovascular diseases

Zuzana Tocimáková

Case-based reasoning in the diagnosis of cardiovascular diseases

Satisfiability of DQBF Using Binary Decision Diagrams

Juraj Síč

Satisfiability of DQBF Using Binary Decision Diagrams

Gene regulation in Clostridium beijerinckii NRRL B-598

Jana Schwarzerová

Gene regulation in Clostridium beijerinckii NRRL B-598

Design of a Hashing Algorithm for Biometric User Signature

František Pártl

Design of a Hashing Algorithm for Biometric User Signature

A Modular and Extensible Tool for Software Fault Localization

Petr Nevyhoštěný

A Modular and Extensible Tool for Software Fault Localization

Mapping the Internet: Modelling Entity Interactions in Complex Heterogeneous Networks

Šimon Mandlík

Mapping the Internet: Modelling Entity Interactions in Complex Heterogeneous Networks

User Identity Verification Based on Behavioral Characteristics

Karolína Kuchyňová

User Identity Verification Based on Behavioral Characteristics

Multi-sensor accelerometer-based gesture recognition

Matej Králik

Multi-sensor accelerometer-based gesture recognition

Analysis and identification of local structures in DNA

Ján Havlík

Analysis and identification of local structures in DNA

1
…
34
35
36
37
38
…
106