Browse theses

On this page you can browse the uploaded theses and filter them to any criteria.

Results

1297 results.Export to Excel

Model-based validation of Matlab Simulink systems

Dr. Horváth Ákos (MIT)
Búr Márton (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Formal verification of MagicDraw statecharts

Farkas Rebeka Krisztina (MIT)
Gáti László Dávid (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

High level test specification language for PIL tests

Dr. Sujbert László (MIT)
Smikál Csanád (BSc degree, electrical engineering programme, 2016-2017 Autumn)

Reinforcement Learning based on visual information

Engedy István Tamás (MIT)
Kincses Gergő Márk (MSc degree, computer science and engineering programme, 2016-2017 Spring)

Verification of Schematics Diagrams at High Level

Szántó Péter (MIT)
Lippai Dániel (MSc degree, electrical engineering programme, 2016-2017 Spring)

Editing support for high level models in the PetriDotNet 2.0 framework

Dr. Vörös András (MIT)
Vincze Márton (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Analysis of breast tomosynthesis images

Dr. Horváth Gábor (MIT)
Gurbán András (BSc degree, computer science and engineering programme, 2013-2014 Spring)

Explanation generation using probabilistic graphical models

Dr. Antal Péter (MIT)
Hajdók Bence (BSc degree, computer science and engineering programme, 2017-2018 Autumn)

Using HLS synthesis to design FPGA based video processing core

Szántó Péter (MIT)
Zay János (MSc degree, electrical engineering programme, 2014-2015 Spring)

Reinforcement learning for multiplayer computer game balancing

Engedy István Tamás (MIT)
Székely Miklós György (BSc degree, computer science and engineering programme, 2014-2015 Spring)

Development of a Master JTAG unit

Dr. Fehér Béla (MIT)
Juhász Attila Zsolt (MSc degree, electrical engineering programme, 2016-2017 Autumn)

Investigation of reinforcement learning methods

Engedy István Tamás (MIT)
Kincses Gergő Márk (BSc degree, computer science and engineering programme, 2014-2015 Autumn)

Joint analysis of mammographic images

Dr. Horváth Gábor (MIT)
Farkas Gábor Imre (MSc degree, computer science and engineering programme, 2010-2011 Autumn)

Markov blanket based feature subset selection algorithms

Dr. Hullám Gábor István (MIT)
Kovács Róbert Dániel (BSc degree, computer science and engineering programme, 2011-2012 Autumn)

Improving MCMC algorithms with distributed, parallel-access memory management

Dr. Hullám Gábor István (MIT)
Trosztel Mátyás (BSc degree, computer science and engineering programme, 2011-2012 Autumn)

Explanation generation for deep neural network based classification

Dr. Hullám Gábor István (MIT)
Bánóczi Dávid (BSc degree, computer science and engineering programme, 2018-2019 Autumn)

Developing a Ground Control Station with dependable communication for a UAV

Dr. Vörös András (MIT)
Böjti Paszkál Dávid (BSc degree, computer science and engineering programme, 2013-2014 Autumn)

Converting MATLAB programs to hardware description language

Kovács Dániel László (MIT)
Dajka Attila Norbert (BSc degree, electrical engineering programme, 2010-2011 Autumn)