Best projects 2020

1. place

Mapping the Internet: Modelling Entity Interactions in Complex Heterogeneous Networks

Mapping the Internet: Modelling Entity Interactions in Complex Heterogeneous Networks

Author

Šimon Mandlík
Czech Technical University in Prague, Faculty of Electrical Engineering

Supervisor

doc. Ing. Tomáš Pevný, Ph.D.

About the project

2. place

Satisfiability of DQBF Using Binary Decision Diagrams

Satisfiability of DQBF Using Binary Decision Diagrams

Author

Juraj Síč

Supervisor

doc. RNDr. Jan Strejček, Ph.D.

About the project

3. place

Automated generation of planar geometry olympiad problems

Automated generation of planar geometry olympiad problems

Author

Patrik Bak

Supervisor

Prof. RNDr. Stanislav Krajči, PhD.

About the project

People’s Choice Award

An award given to one of the finalists based on a public vote on the competition website.

Case-based reasoning in the diagnosis of cardiovascular diseases

Case-based reasoning in the diagnosis of cardiovascular diseases

Author

Zuzana Tocimáková

Supervisor

prof. Ing. Ján Paralič, PhD.

Other finalists of 2020

Petr Nevyhoštěný A Modular and Extensible Tool for Software Fault Localization

A Modular and Extensible Tool for Software Fault Localization

Czech Technical University in Prague, Faculty of Information Technology

Supervisor

Ing. Petr Máj

About the project

Roman Andriushchenko Computer-Aided Synthesis of Probabilistic Models

Computer-Aided Synthesis of Probabilistic Models

Supervisor

RNDr. Milan Češka, Ph.D.

About the project

František Pártl Design of a Hashing Algorithm for Biometric User Signature

Design of a Hashing Algorithm for Biometric User Signature

Supervisor

Ing. Kamil Ekštein, Ph.D.

About the project

Matej Králik Multi-sensor accelerometer-based gesture recognition

Multi-sensor accelerometer-based gesture recognition

Comenius University in Bratislava

Supervisor

Mgr. Vladimír Boža, PhD.

About the project

Tomáš Anlauf Multivariate Network Analysis

Multivariate Network Analysis

Supervisor

doc. Mgr. Miloš Kudělka, Ph.D.

About the project

Karolína Kuchyňová User Identity Verification Based on Behavioral Characteristics

User Identity Verification Based on Behavioral Characteristics

Supervisor

prof. RNDr. Tomáš Skopal, Ph.D.

About the project

Semifinalists

Analysis and identification of local structures in DNA

Analysis and identification of local structures in DNA

Author

Ján Havlík
Mendel University in Brno

Supervisor

prof. RNDr. Ing. Jiří Šťastný, CSc

About the project

Application of Reinforcement Learning for Selected Problem

Application of Reinforcement Learning for Selected Problem

Author

Miloš Foltán
Faculty of Management Science and Informatics

Supervisor

Ing. Lukáš Falát, PhD.

About the project

DBpedia linkage analysis leveraging on entity semantics

DBpedia linkage analysis leveraging on entity semantics

Author

David Fuchs

Supervisor

prof. Ing. Vojtěch Svátek, Dr.

About the project

Gene regulation in Clostridium beijerinckii NRRL B-598

Gene regulation in Clostridium beijerinckii NRRL B-598

Author

Jana Schwarzerová

Supervisor

Mgr. Ing. Karel Sedlář Ph.D.

About the project