Year 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íč
Masaryk University in Brno, Faculty of Informatics

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
Pavol Jozef Šafárik University in Košice, Faculty of Science

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á
Technical University of Košice, Faculty of Electrical Engineering and Informatics

Supervisor

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

Other finalists of 2020

A Modular and Extensible Tool for Software Fault Localization

A Modular and Extensible Tool for Software Fault Localization

Author

Petr Nevyhoštěný
Czech Technical University in Prague, Faculty of Information Technology

Supervisor

Ing. Petr Máj

About the project

Computer-Aided Synthesis of Probabilistic Models

Computer-Aided Synthesis of Probabilistic Models

Author

Roman Andriushchenko
Brno University of Technology, Faculty of Information Technology

Supervisor

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

About the project

Design of a Hashing Algorithm for Biometric User Signature

Design of a Hashing Algorithm for Biometric User Signature

Author

František Pártl
University of West Bohemia in Pilsen, Faculty of Applied Sciences

Supervisor

Ing. Kamil Ekštein, Ph.D.

About the project

Multi-sensor accelerometer-based gesture recognition

Multi-sensor accelerometer-based gesture recognition

Author

Matej Králik
Comenius University in Bratislava, Comenius University in Bratislava, Fakulta matematiky, fyziky a informatiky

Supervisor

Mgr. Vladimír Boža, PhD.

About the project

Multivariate Network Analysis

Multivariate Network Analysis

Author

Tomáš Anlauf
VSB – Technical University of Ostrava, Faculty of Electrical Engineering and Computer Science

Supervisor

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

About the project

User Identity Verification Based on Behavioral Characteristics

User Identity Verification Based on Behavioral Characteristics

Author

Karolína Kuchyňová
Charles University in Prague, Matematicko-fyzikální fakulta

Supervisor

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

About the project

Semifinalists and other participants

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, Mendel University in Brno, Faculty of Economics and Administration

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, 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
Prague University of Economics and Business, Fakulta informatiky a statistiky

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á
Brno University of Technology, Faculty of Electrical Engineering and Communication

Supervisor

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

About the project