|
|---|
| Výborné bakalárske práce obhájené na Katedre informatiky
|
|---|
|
|---|
| Meno | Priezvisko | Názov | Vedúci | Rok | Kľúčové slová |
|---|
| Peter | Ambrož | Práca procesorov i386 v chránenom režime | RNDr. Jaroslav Janáček
| 2007
| Chránený režim, systémové programovanie
|
| Maroš | Bajtoš | Metrické vlastnosti náhodne indukovaných podgrafov n-rozmernej hyperkocky | doc. RNDr. Eduard Toman, CSc.
| 2008
| náhodné grafy, vrcholové pokrytie, boolovské funkcie
|
| Miroslav | Baláž | Algoritmy pre vizualizáciu zložených grafov | Mgr. Jana Katreniakova
| 2007
| Grafy, Zložené grafy, Vizualizácia, Feedback Arc Set
|
| Andrej | Baláž | Sequence based classification of bacteriophages | Mgr. Jaroslav Budiš
| 2018
| bacteriophage, bioinformatics, host prediction
|
| Eduard | Batmendijn | Identifikácia variantov v dátach nanopórového sekvenovania | doc. Mgr. Tomáš Vinař, PhD.
| 2018
| sekvenovanie DNA, varianty, MinION
|
| Ladislav | Bačo | Short Distance non-GPS-based Localization of Mobile Devices | RNDr. Tomáš Kulich, PhD.
| 2013
| localization, smartphone, sound, Fourier transform, Android
|
| Tomáš | Belan | Type checker for the Yon language | RNDr. Peter Borovanský, PhD.
| 2013
| programming languages, type system, subtyping, polymorphism
|
| Pavol | Beluško | Prehľad metód image-based renderingu | Doc. RNDr. Andrej Ferko, Phd.
| 2007
| image-based, rendering, ibr
|
| Andrej | Borsuk | Atomic commit protocol | RNDr. Tomáš Plachetka
| 2009
| databázy, distribuované systémy, protokol
|
| Vladimír | Boža | Knižnica štandardných algoritmov pre kompilátor FreePascal | RNDr. Michal Forišek PhD.
| 2011
| FreePascal, generics, algoritmy a dátové štruktúry
|
| Michal | Bubnár | OpenGL knižnica pre časticové systémy | RNDr. Martin Samuelčík
| 2012
| Časticový systém, OpenGL, GPU, Shader, Transform Feedback, Rendering
|
| Truc Lam | Bui | Gradient-based learning in Deep Neural Networks | RNDr. Kristína Malinovská, PhD.
| 2018
| artificial neural networks, deep learning, machine learning
|
| Kamil | Bulko | Niektoré vlastnosti signovaných grafov | RNDr. Edita Rollová, PhD.
| 2013
| graf, signovaný graf, izomorfizmus, algoritmus
|
| Michal | Burger | Virtual Operating System in C# | RNDr. Richard Ostertág
| 2008
| ComOS, virtual operating system, PostSharp
|
| Martina | Bátorová | Učebnica informatiky pre stredné školy | RNDr. Andrej Blaho
| 2007
| aktivity, úlohy, vyučovanie, učebné texty, kurikulárna transformácia
|
| Barbora | Candráková | Cirkulárny chromatický index Szekeresovych snarkov | Mgr. Ján Mazák
| 2009
| cirkulárny chromatický index, r-farbenie, hranové farbenie, Szekeresov snark
|
| Michal | Chládek | Všeobecná reprezentácia CSG objektov | RNDr. Tomáš Plachetka, PhD.
| 2008
| ray tracing, Rothov diagram, serializácia
|
| Bruno | Cuc | Systém na distribuovanie výpočtov pomocou internetového prehliadača | RNDr. Michal Rjaško, PhD.
| 2013
| javascript, volunteer computing
|
| Juraj | Danko | Trusted Path Execution v prostredí MS Windows | Mgr. Peter Košinár
| 2010
| Trusted Path Execution, Whitelist, Windows API
|
| Milan | Darjanin | Tutorial to Compass and Sass | RNDr. Tomáš Kulich, PhD.
| 2013
| sass, compass, css, tutorial
|
| Adam | Dej | Design and implementation of embedded components of an RFID access control system | RNDr. Richard Ostertág, PhD.
| 2018
| access control, embedded devices design, network protocol design
|
| Peter | Dolák | Visualization tool for teaching The Principles of Compilers | RNDr. Richard Ostertág, PhD.
| 2014
| compilers, syntax analysis, parsing, algorithm visualization
|
| Anna | Dresslerová | Generovanie vzorov na vyšívanie | RNDr. Michal Forišek, PhD.
| 2014
| krížikové vyšívanie, digitalne spracovanie obrazu, dithering
|
| Matej | Duník | Kempe ekvivalentné farbenia grafov | RNDr. Edita Máčajová PhD.
| 2009
| teória grafov, grafy farbení, Kempe-ekvivalencia grafov
|
| Richard | Dvorský | Inteligentné vyhľadávanie v systéme na evidenciu skautských družinových hier | RNDr. Michal Rjaško PhD.
| 2014
| generátor družinoviek, inteligentné vyhľadávanie, PHP, JavaScript
|
| Eduard | Eiben | Extendability of matchings in graphs on surfaces | Mgr. Michal Kotrbčík
| 2012
| graph, graph embedding, genus, matching, equimatchable graph, surface.
|
| Stanislav | Fecko | Animácia postáv pomocou kostry | RNDr. Martin Samuelčík
| 2010
| grafika v reálnom čase, OpenGL, animácia postáv, kostra
|
| Matúš | Fedák | Vzdialenosti na stromoch | Prof. RNDr. Branislav Rovan, PhD.
| 2009
| Editačná vzdialenosť stromov, Obmedzená editačná vzdialenosť stromov
|
| Marek | Fedák | Užívateľské rozhranie vo virtuálnej realite | Mgr. Andrej Mihálik, PhD.
| 2019
| virtuálna realita, užívateľské prostredie, kurzor, gesto, vzor
|
| Dominika | Fedáková | Aplikované využitie neurónových sietí | Mgr. Ing. Michal Šefara
| 2011
| Neurónová sieť, Back-propagation algoritmus, Levenberg-Marquardt, Resilient propagation
|
| Michal | Ferko | Shadow Mapping for Large Virtual Environments | RNDr. Martin Samuelčík
| 2010
| OpenGL, Real-time Rendering, Shadow Mapping, Parallel-Split Shadow Mapping
|
| Peter | Fulla | Automatický hráč hry Dominion | RNDr. Michal Forišek, PhD.
| 2012
| Dominion, umelá inteligencia, evolučné algoritmy
|
| Peter | Galiovský | Spracovanie viet jazyka pomocou neurónovej siete s echo stavmi | doc. Ing. Igor Farkaš, PhD.
| 2008
| rekurentná neurónová sieť, echo stavy, systematickosť, predikcia nasledujúceho slova
|
| Peter | Gatial | PostScript podpora pre pdfTeX | Mgr. Vladimír Koutný
| 2007
| PostScript, PDF, pdfTeX, pdfTricks, PSTricks
|
| Peter | Gazdík | Implementácia prehľadávania v dúhových tabuľkách | RNDr. Martin Stanek, PhD.
| 2007
| kryptoanalýza, dátová štruktúra, implementácia
|
| František | Gerčak | Portal for betting and tipping | RNDr. Tomáš Kulich, PhD.
| 2013
| web application, portal, betting and tiping, MVC, analyses
|
| Peter | Glaus | Minimálne hranové rezy v hyperkockách | Doc. RNDr. Rastislav Kráľovič, PhD.
| 2007
| delenie grafu na k častí, minimálny rez hyperkocky, heuristika, distribuované výpočty
|
| Adrián | Goga | Reinforcement learning in 2048 game | prof. Ing. Igor Farkaš, Dr.
| 2018
| Učenie posilňovaním, Umelá inteligencia, Dopredné neurónové siete, Logické hry
|
| František | Hajnovič | Hľadanie Imúnnych podgrafov | doc. RNDr. Rastislav Královič, PhD.
| 2010
| väčšinové hlasovanie, imúnne podgrafy
|
| Osama | Hassanein | Trénovanie agenta pre makromanažment v real-time strategických hrách pomocou učenia posilňovaním | Mgr. Viliam Dillinger
| 2014
| Učenie posilňovaním, Advantage learning, Dopredné neurónové siete, Real-time stratégie, Makromanažment, Starcraft: Brood War, Cannon Rush
|
| Lucia | Haviarová | Čiastočné boolovské funkcie | doc. RNDr. Eduard Toman, CSc.
| 2009
| čiastočná boolovská funkcia, disjunktívna normálna forma, Karnaughova mapa, techniky minimalizácie, lokálny algoritmus
|
| Albert | Herencsár | Kryptografická mena Bitcoin | RNDr. Peter Gaži, PhD.
| 2012
| Bitcoin, transakcia, blok, ťažba Bitcoinov, bloková reťaz, anonymita, bezpečnosť, zraniteľnosť
|
| Lukáš | Hlavička | Bezznalostné dôkazy | doc. RNDr. Martin Stanek PhD.
| 2008
| zero-knowledge, interaktívny dôkaz, Arthur-Merlin games
|
| Jana | Hlinková | Modeling Bidirectional Scattering Distribution Function | Dr. Tomáš Plachetka
| 2007
| BSDF, bidirectional scattering distribution funcion, Monte Carlo path tracing
|
| Marián | Horňák | Knižnica pre výučbu programovania v Pythone | RNDr. Michal Forišek, PhD.
| 2015
| výučba programovania, počítačová hra, Python
|
| Miroslav | Hoták | Aplikácie konečných transformácií | Prof. RNDr. Branislav Rovan, PhD.
| 2009
| formát, transformácia, transformačný predpis, Grafické uživateľské rozhranie
|
| Michal | Hozza | Ovládanie počítačových aplikácií pomocou gest ruky | RNDr. Marek Nagy, PhD.
| 2012
| neurónové siete, umelá inteligencia, počítačové videnie, rozpoznávanie gest, rozpoznávanie ruky
|
| Ján | Hozza | Rekonštrukcia duplikačných histórií pomocou pravdepodobnostného modelu | Mgr. Tomáš Vinař, PhD.
| 2014
| duplikačná história, rekonštrukcia, pravdepodobnostný model, skórovanie
|
| Zuzana | Hromcová | Elektronické doklady o vzdelaní na Univerzite Komenského | doc. RNDr. Daniel Olejár, PhD.
| 2017
| vzdelanie, e-Government, elektronické dokumenty, Univerzita Komenského
|
| Michal | Hudek | Virtuálne múzeum, Považské múzeum | Doc. RNDr. Andrej Ferko PhD
| 2007
| virualne muzeum, vrml model
|
| Ivana | Hudáková | Zložitostné aspekty konečných automatov | prof. Branislav Rovan
| 2007
| konečné automaty, popisná zložitosť, algoritmy
|
| Martin | Ivančík | Sledovanie volaní v .NET aplikáciach | RNDr. Richard Ostertág, PhD.
| 2016
| metadáta, signatúry, profilovanie, COM objekt, hook, common language runtime
|
| Jakub | Jančina | Rýchle testy prvočíselnosti pre obmedzený rozsah vstupov | RNDr. Michal Forišek, PhD.
| 2014
| rýchly test prvočíselnosti, prvočísla, Rabin-Millerov test
|
| Ondrej | Jariabka | A method for objects extraction from recorded lectures. | RNDr. Zuzana Černeková, PhD.
| 2016
| whiteboard, blackboards, lecture, generation of images, slides, e-learning, video presentation perceptual hashes, board extraction, key frame generation, slide generation
|
| Peter | Juhász | Preklad logických formúl do Datalogu | Dr. Tomáš Plachetka
| 2008
| Datalog, relačný kalkul, prekladač
|
| Matúš | Juran | Supplementary Information and Transducers | prof. RNDr. Branislav Rovan, PhD.
| 2019
| supplementary information, transducers, state complexity, regular languages
|
| Jakub | Jursa | Implementácia distribuovaného monitorovacieho systému | RNDr. Michal Rjaško
| 2012
| monitorovanie, voľba koordinátora, ruby, Linux
|
| Martin | Jurčík | Using SELinux to Enforce Two-Dimensional Labelled Security Model with Partially Trusted Subjects | RNDr. Jaroslav Janáček
| 2010
| information flow policy, security model, SELinux policy
|
| Lukáš | Jusko | Monitorovanie a riadenie aplikácií v systéme MS Windows | Mgr. Peter Košinár
| 2011
| MS Windows, Aplikácia, Monitorovanie, Riadenie
|
| Dominik | Kapišinský | Motion Graphs in combination with Blender | RNDr. Jana Dadová
| 2012
| Štruktúra Motion Graph, Animácia, Blender, Python
|
| Barbora | Klembarová | Simulácia dynamických 3D atmosférických javov | RNDr. Peter Borovanský, PhD.
| 2015
| strih vetra, microburst, simulácia, pravdepodobnosť detekcie, radar, lidar
|
| Michal | Klempa | Využitie princípu MDL v strojovom učení | Mgr. Ľuboš Steskal
| 2009
| MDL, ad-hoc coding, clustering, pitch contour
|
| Mária | Klimová | Rozklad prismy kubického grafu na hamiltonovské kružnice | RNDr. Edita Máčajová, PhD.
| 2009
| prisma, hamiltonovský rozklad, kubické grafy, zovšeobecnené Petersenove grafy
|
| Martin | Kolínek | Implementation of selected routing algorithms for navigation | RNDr. Richard Ostertág, PhD.
| 2012
| navigácia, plánovanie trasy, OpenStreetMap
|
| Kristína | Komanová | Náročnosť riešenia maľovaných krížoviek | RNDr. Michal Forišek, PhD.
| 2016
| maľované krížovky, NP-úplné problémy, riešenie človekom, lineárna regresia
|
| Rafael | Korbaš | Stavová zložitosť deterministických a nedeterministických konečných automatov | Mgr. Marek Zeman
| 2014
| konečný automat, minimálny NKA, minimálny DKA, stavová zlo-žitosť, enumerácia regulárnych jazykov
|
| Peter | Koscelanský | Neuniformné výpočtové modely - branching programy a rozhodovacie stromy | RNDr. Andrej Bebják
| 2009
| branching programy, neuniformné výpočtové modely, dolné odhady zložitosti, natural proofs
|
| Peter | Kostolányi | Rovnomerné využívanie prechodov v konečných automatoch | prof. RNDr. Branislav Rovan, PhD.
| 2011
| deterministický konečný automat, prechodová vyváženosť, prechodovo vyvážený automat, prísne prechodovo vyvážený automat, slabo prechodovo vyvážený automat, rovnomerné využívanie prostriedkov
|
| Katarína | Kotrlová | Vizualizácia háld a intervalových stromov | Mgr. Jakub Kováč
| 2012
| dátové štruktúry, vizualizácia, intervalové stromy, zlúčiteľné prioritné fronty
|
| Marián | Kovanič | Portál na evidenciu osobnej zbierky filmov | RNDr. Mária Pastorová
| 2012
| portál, webová aplikácia, databáza filmov, evidencia, skupinové zdieľanie
|
| Anton | Kovaľ | Spektrálna teória grafov | doc. RNDr. Martin Mačaj, PhD.
| 2013
| spektrálna teória grafov, silne regulárne grafy
|
| Kubo | Kováč | Vyhľadávacie stromy a ich vizualizácia | Mgr. Janka Katreniaková
| 2007
| dátové štruktúry, vizualizácia, vyhľadávacie stromy,
vyvážené stromy
|
| Ivan | Kováč | O využívaní stavov v konečných automatoch | prof. RNDr. Branislav Rovan, PhD.
| 2008
| deterministické konečné automaty, využívanie stavov, minimálny automat
|
| Michal | Kováč | Metódy merania fraktálnej dimenzie prírodných javov | Mgr. Ľuboš Steskal
| 2009
| Fraktál, Dimenzia, Fraktálna dimenzia, Meranie fraktálnej dimenzie
|
| Peter | Kováč | Implementácia externých zdrojov dát v hľadaní génov | Mgr. Bronislava Brejová, PhD.
| 2010
| gén, hľadanie génov, skrytý Markovov model, ExonHunter
|
| Ján | Kováč | Dekompozícia kompletných grafov na kružnice | Robert Lukoťka
| 2010
| dekompozícia na kružnice, všeobecné kompletné grafy, orientované kompletné grafy
|
| Alena | Košinárová | Vizualizácia základných grafových algoritmov | RNDr. Jana Katreniaková, PhD
| 2011
| grafové algoritmy, grafy, vzdelávanie
|
| Marek | Košta | Algoritmus Quadratic Sieve | RNDr. Jaroslav Guričan, CSc.
| 2009
| Quadratic Sieve, faktorizácia celých čísel, kongruencia štvorcov, prvočíslo, konečné pole, binárna matica
|
| Andrej | Krajči | Lokalizácia pomocou WiFi signálu | RNDr. Michal Forišek, PhD.
| 2013
| Lokalizácia, WiFi, Delaunayova triangulácia, Android, Barycentrické koordináty, lineárna interpolácia, šírenie WiFi signálu
|
| Martin | Kravec | Analýza TETRISu ako hry dvoch hráčov. | Mgr. Ľuboš Steskal
| 2009
| tetris, stratégia, heuristická funkcia
|
| Martin | Králik | Security Assessment of blog.matfyz.sk | RNDr. Jozef Šiška
| 2009
| security, cross site scripting, query injection, XQuery, cross site request forgery
|
| Matej | Králik | A computer game with computer-assisted human players | Dominik Csiba, Bc.
| 2018
| games, game design, artificial intelligence
|
| Petra | Kubincová | Mapping between Genomes | Mgr. Bronislava Brejová, PhD.
| 2014
| alignment, whole-genome alignment, region mapping, rank, select, range minimum query problem
|
| Tomáš | Kubla | Použitie honey-pot-u na analýzu prihlasovacích údajov používaných pri útokoch | RNDr. Jaroslav Janáček PhD.
| 2015
| honeypot, slovníkový útok, PAM, ELK stack, oclHashcat
|
| Kamil | Kuboň | Autentifikácia jednorázovými heslamigenerovanými pomocou mobilného telefónu | RNDr. Jaroslav Janáček
| 2008
| jednorázové heslo, autentifikácia, mobilný telefón, Linux
|
| Marcel | Kucharík | Automatizácia riešenia substitučných šifier | Mgr. Tomáš Kulich
| 2009
| substitučná šifra, riešenie šifier, frekvenčná analýza, kryptoanalýza
|
| Matúš | Kukan | Využitie SAT-solverov pri riešení ťažkých úloh | Mgr. Richard Štefanec
| 2011
| SAT-solver, redukcia na SAT, NP-úplný problém
|
| Olívia | Kunertová | Analýza a rozpoznávanie vzorov v 3D/4D dátach | RNDr. Peter Borovanský, PhD.
| 2015
| microburst, vizualizácia, detekcia
|
| Tomáš | Kuzma | Vektorizácia rastrového obrázka použitím evolučných algoritmov | RNDr. Michal Forišek, PhD.
| 2012
| vektorizácia obrazu, stochastický hill-climbing, evolučné algoritmy
|
| Tamara | Kuštárová | Miery podobnosti reťazcov | RNDr. Forišek
| 2008
| porovnanie reťazcov, metrika, porovnanie textov
|
| Pavel | Labath | Rozpoznávanie regulárnych výrazov | RNDr. Michal Forišek
| 2008
| regulárne výrazy, konečné automaty, algoritmy, vyhľadávanie, zložitosť
|
| Ivan | Labáth | Automatické generovanie logických úloh s využitím SAT solvera | Michal Forišek
| 2010
| logické hry, SAT, SAT-solver, sudoku, chaos, hamilton snake
|
| Peter | Laca | Statická analýza Java kódu | RNDr. Peter Borovanský, PhD.
| 2012
| statická analýza, závislosti v java projekte, eclipse zásuvný modul
|
| Rastislav | Lenhardt | Composite mathematical games | Doc. RNDr. Rastislav Kráľovič, PhD.
| 2007
| Dots and Boxes, composite games, w-numbers
|
| Peter | Lenčéš | Kolmogorovská zložitosť | Doc. RNDr. Dana Pardubská PhD.
| 2008
| Kolmogorovská zložitosť, metóda nestlačiteľnosti, formálne jazyky, triediace algoritmy, grafy
|
| Mário | Lipovský | Approximate Abundance Histograms and Their Use for Genome Size Estimation | Mgr. Bronislava Brejová, PhD.
| 2017
| histogram počtov k-tic, Kmerlight, odhad dĺžky genómu, CovEst
|
| Igor | Liška | Ochrana PDF súborov proti kopírovaniu textu | RNDr. Jaroslav Janáček, PhD.
| 2012
| PDF, TeX, LaTeX, kopírovanie
|
| Marek | Ludha | Implementácia algoritmov pre projekt Boost | Mgr. Peter Košinár
| 2007
| externé algoritmy, grafové algoritmy, I/O zložitosť, generické programovanie
|
| Juraj | Macháč | Modernizácia portálu lekar.sk | RNDr. Tomáš Kulich, PhD.
| 2014
| optimalizácia, AJAX, vyhľadávacie nástroje
|
| Tomáš | Malík | Analýza rekurentných sietí s echo stavmi pri generovaní trajektórií | doc. Ing. Igor Farkaš, PhD.
| 2009
| rekurentná sieť s echo stavmi, dynamický rezervoár, generovanie signálov
|
| Filip | Marek | Vývoj aplikácií v prostredí Spring Framework | Mgr. Jaroslav Budiš
| 2013
| Java, framework, Spring, Maven
|
| Ladislav | Maršík | Aplikácia na tréning sluchovej analýzy | Mgr. Martin Ilčík
| 2010
| sluchová analýza, intonácia, hudobná teória, interval, akord, súzvuk, hudobný sluch, absolútny sluch, relatívny sluch, konsonancia, disonancia, vizualizácia, parsovanie
|
| Adrián | Matejov | Inteligentný monitorovací systém práce študentov v Linuxovom termináli | RNDr. Marek Nagy, PhD.
| 2018
| monitorovanie, Node.js, Linux, K-means
|
| Filip | Matušák | Farbenia kubických grafov Steinerovskými konfiguráciami | prof. RNDr. Martin Škoviera, PhD.
| 2017
| Steinerovský systém trojíc, farbenie, snark, programový systém na vyhľadávanie farbení
|
| Lejla | Metohajrová | Biologically inspired predictive model of proprioceptive body representations | prof. Ing. Igor Farkaš, Dr.
| 2016
| body schema, somatosensory, iCub, predictive model, population coding
|
| Juraj | Mešťánek | Jadro rozvrhovacieho systému | RNDr. Mária Pastorová
| 2008
| podpora rozvrhovania, Spring framework, PostgreSQL
|
| Milan | Mikula | Anotácia zhlukov génov | Mgr. Tomáš Vinař, PhD.
| 2011
| anotácia, zarovnanie, gén, genóm
|
| Ondrej | Mikuláš | PageRank algortimus | RNDr. Martin Sleziak, PhD
| 2010
| PageRank algoritmus, lineárna algebra, vlastný vektor, konvergencia
|
| Filip | Mišún | Alternating Weighted Automata over Commutative Semirings | RNDr. Peter Kostolányi
| 2017
| alternujúci automat s váhami, alternácia, formálny mocninový rad, komutatívny polokruh
|
| Marek | Mrva | Princípy práce FPU súčasných osobných počítačov | Peter Tomcsányi
| 2010
| FPU, x87, IEEE 754, Simulácia
|
| Martin | Námešný | Aproximačné algoritmy na určenie priesečníkového čísla grafov | doc. RNDr. Rastislav Královič, PhD
| 2008
| lineárne priesečníkové číslo, fixované lineárne priesečníkové číslo, heuristiky, aproximácie
|
| Michal | Nánási | Vzdialenosti jazykov | Prof. RNDr. Branislav Rovan, PhD.
| 2008
| Editačná vzdialenosť, $\Delta$-podobnosť, vzdialenosť jazykov
|
| Pavol | Panák | Vzťah veľkosti minimálnych deterministických a nedeterministických konečných automatov | RNDr. Michal Forišek
| 2009
| FSA, NFSA, konečné automaty, minimalizácia, zložité automaty
|
| Tomáš | Paulík | Útok na digitálne elektronické kľúče pomocou časového postranného kanálu | RNDr. Richard Ostertág, PhD.
| 2015
| iButton, Arduino, RAK DEK, časový postranný kanál
|
| Ondrej | Pašuth | Testovanie prvočíselnosti | RNDr. Martin Sleziak, PhD.
| 2009
| prvočísla, pseudoprvočísla, testy na overovanie pseudoprvočísel, Lucasova postupnosť, Malá Fermatova veta, zvyškové triedy, pravdepodobnostný test, Frobeniov automorfizmus
|
| Peter | Perešíni | Fourierova transformácia a jej použitie | RNDr. Michal Forišek
| 2009
| Fourierova transformácia, vlastnosti, aplikácie, DCT, DFT
|
| Michal | Petrucha | Data Structures for Whole-Genome Alignments | Mgr. Bronislava Brejová, PhD.
| 2012
| zarovnanie, celogenómové zarovnanie, mapovanie pozícií, mapovanie regiónov, rank, select
|
| Jaroslav | Petrucha | Efektívna reprezentácia množiny krátkych reťazcov | Mgr. Tomáš Vinař, PhD.
| 2016
| čítania, nadslovo, index čítaní, DeBruijnov graf
|
| Zuzana | Petruchová | Enumerácia jednoducho popísateľných regulárnych jazykov | RNDr. Michal Forišek
| 2009
| konečný automat, hashovanie, minimálny automat, Hopcroftov algoritmus
|
| Alena | Pisarčíková | Náhodné grafy | doc. RNDr. Eduard Toman, CSc.
| 2014
| náhodné grafy, reprezentačná matica
|
| Dušan | Plavák | Renderovací systém pre streamované dáta pre Ogre | RNDr. Jaroslav Janáček, PhD.
| 2014
| ogre, grafický engine, grafická scéna, synchronizácia scény, synchroni- zácia po sieti
|
| Milan | Plžík | Analýza a implementácia podpory pre WPA firmware pre at76c503 | RNDr. Jaroslav Janáček
| 2008
| mac80211, wifi, USB, at76, WPA, WEP, linux, wireless, IEEE 802.11
|
| Mikuláš | Polák | Možnosti a charakterisitika skenera CRUSE a využitie lokálnych tieňov na analýzu skenovaných objektov | RNDr. Róbert Bohdal, PhD.
| 2019
| digitálna fotografia, skenovanie, spracovanie obrazu, 3D rekonštrukcia
|
| Lukáš | Poláček | Softvér na organizáciu pretekov v orientačnom behu | Michal Forišek
| 2007
| orientačný beh, softvérový návrh
|
| Michal | Porubský | Comovement between cryptocurrencies | RNDr. Ing. Peter Molnár PhD.
| 2019
| comovement, cryptocurrencies, cointegration, pairs trading, high frequency
|
| Juraj | Prievalský | Webová aplikácia - Tvorba internetového obchodu | RNDr. Mária Pastorová
| 2007
| internetový obchod, framework, templatový systém, jazykové verzie
|
| Ladislav | Pápay | Cache-oblivious algoritmy a ich vizualizácia | Mgr. Jakub Kováč, PhD.
| 2014
| dátové štruktúry, pamäťová analýza, cache, cache-oblivious, vizualizácia
|
| Rastislav | Rabatin | Alignment of Nanopore Sequencing Reads | Mgr. Tomáš Vinař,PhD.
| 2016
| hidden Markov models, nanopore sequencing, alignment of reads
|
| Jozef | Rajník | Decomposition of Small Snarks | RNDr. Ján Mazák, PhD.
| 2017
| snark, ireducibilný, cyklická súvislosť, Taitovo zafarbenie, tok
|
| Ladislav | Rampášek | RNA motif search in genomic sequences | Mgr. Tomáš Vinař, PhD.
| 2010
| RNAMot2, RNA motif search, dynamic programming, RNABob, RNAMot, insertions, deletions, elements
|
| Ján | Rosina | Nedeterminizmus v konečných automatoch | prof. RNDr. Branislav Rovan, PhD.
| 2018
| nedeterministický konečný automat, deterministický konečný automat, jazyky definované podslovom, jazyky nad unárnou abecedou, ohraničené jazyky
|
| Martin | Roško | Probatur - online testovanie študentov | RNDr. Richard Ostertág
| 2007
| online testovanie šrudentov, PHP, SQL
|
| Ján | Ruhalovský | Použitie LabanXML v kombinácii s Blenderom | RNDr. Jana Dadová
| 2012
| LabanXML, animácia, pohyb, Labanova notácia, Blender, Python
|
| Adam | Saleh | Virtuálne Stroje | RNDr. Richard Ostertág PhD.
| 2011
| Plná virtualizácia, Zásady bezpečnosti, Virtuálne zariadenia, Open-Source
|
| Martin | Sarvaš | Editor zložených grafov | RNDr. Jana Katreniaková, PhD
| 2010
| editor, zložený graf, digraf, GraphML, zobrazovací algoritmus
|
| Marcel | Schichman | Zarovnávanie sekvenovacích dát s vysokým počtom chýb | Mgr. Vladimír Boža
| 2015
| mapovanie sekvencií, PacBio, dynamické programovanie, heuristiky
|
| Peter | Schmidt | Algoritmické vlastnosti vnorení grafov do plôch | Mgr. Michal Kotrbčík
| 2012
| vnorenie grafu, rod grafu, kompletný graf, kompletný bipartitný graf, snark, distribúcia rodov grafu, probabilistické vzorkovanie, priemerný rod
|
| Ivana | Selečéniová | Game of Life na šesťuholníkovej mriežke | RNDr. Michal Forišek
| 2009
| bunkové automaty, šesťuholníková mriežka, Game of Life, vesmírne lode
|
| Andrej | Skok | Bezpečnostné aspekty inteligentných televízorov | RNDr. Richard Ostertág, PhD.
| 2014
| informačná bezpečnosť, inteligentný televízor
|
| Samuel | Sládek | Analýza odolnosti Stellar konsenzus protokolu voči Byzantínskym chybám | RNDr. Tomáš Kulich, PhD.
| 2019
| Stellar, konsenzus, byzantínske chyby, kvórum, bezpečnosť, odolnosť siete
|
| Róbert | Smetana | Overview of Reflectance Models Focused on Car Paint Simulation | doc. RNDr. Roman Ďurikovič, PhD.
| 2008
| BRDF, reflectance models, car paint, appearance parameters, black box model
|
| Rudolf | Starovský | Cyklická hranová súvislosť kubických grafov | RNDr. Edita Máčajová, PhD.
| 2008
| cyklická hranová súvislosť, cyklický hranový rez, snarky
|
| Martin | Sucha | Ext2 Filesystem Support for HelenOS | RNDr. Jaroslav Janáček, PhD.
| 2011
| HelenOS, ext2, filesystem
|
| Pavol | Szórád | Vizualizácia základných algoritmov | doc. RNDr. Juraj Procházka, CSc.
| 2007
| Vizualizácia. Algoritmy. Dátové štruktúry.
|
| Slavomír | Takáč | Asymptotická analýza rekurencií | doc. RNDr. Martin Stanek, PhD
| 2009
| lineárna rekurencia, rozdeľuj a panuj, master theorem, akra-bazzi, bazzi-mitter
|
| György | Tomcsányi | Distribuované hashovacie tabuľky | doc. RNDr. Rastislav Královič, PhD.
| 2010
| distribuované algoritmy, hashovanie, chord, kademlia, simulácie
|
| Viktor | Tomkovič | Vizualizácia stromových dátových štruktúr | Jakub Kováč
| 2012
| vizualizácia, ADŠ, algoritmy a dátové štruktúry, union-find, stringológia, lexikografický strom, trie, sufixový strom
|
| Lenka | Trojaková | Určovanie prahových funkcií podgrafov niektorých tried grafov | doc. RNDr. Eduard Toman CSc.
| 2009
| Enumerácia označených objektov, náhodné grafy, prahové funkcie, maximálna k-rozmerná podkocka
|
| Tomáš | Trungel | Rozšírenie systému VizzA na generovanie vizualizácií algoritmov | RNDr. Jana Katreniaková, PhD.
| 2014
| VizzA, vizualizácia, smerník
|
| Tatiana | Tóthová | Moderné regulárne výrazy | RNDr. Michal Forišek, PhD.
| 2013
| regulárne výrazy, pozitívny a negatívny lookaround, spätné referencie, regex.
|
| Jakub | Uhrík | Návrh a vývoj internetovej aplikácie pre správu rezervácií | RNDr. Tomáš Kulich, PhD.
| 2012
| internetová aplikácia, rezervácie, portál, MVC
|
| Mária | Vajdová | Rozoznávanie orientácie riasiniek | RNDr. Michal Forišek, PhD.
| 2015
| riasinka, detekcia orientácie, spracovanie obrazu
|
| András | Varga | Rekurentné postupnosti | RNDr. Martin Sleziak, PhD.
| 2011
| Fibonacciho postupnosť, Rekurentné postupnosti druhého rádu, Výpočet n-tého člena postupnosti, Efektívne algoritmy, Dynamické programovanie, Výpočet celočíselnej druhej odmocniny pomocou binárneho vyhľadávania, Umocňovanie matíc, Príslušnosť k rekurentnej postupnosti
|
| Rastislav | Vaško | Captcha - Rozpoznávanie ľudí a počítačov na webe | RNDr. Richard Ostertág
| 2008
| captcha, world wide web, umelá inteligencia
|
| Peter | Vašut | Bezpečnostný konvertor e-mailov | RNDr. Jaroslav Janáček, PhD.
| 2017
| e-mail, proxy, bezpečnosť
|
| Martin | Veselý | Silné hranové farbenia regulárnych grafov | RNDr. Edita Máčajová, PhD.
| 2009
| Teória grafov, silné hranové farbenie, silný chromatický index, Regulárne grafy
|
| Boris | Vida | Multi-head automata | prof. RNDr. Pavol Ďuriš, CSc.
| 2013
| multihead automata, computational complexity, language classes, data-independence
|
| Martin | Višňovec | Implementácia kryptografických útokov v paralelnom výpočtovom prostredí grafických kariet | Mgr. Michal Rjaško
| 2011
| prúdové šifry, algebraické útoky, Cube attack, Toyocrypt, Trivium, Cuda
|
| Filip | Vojtko | Tvorba interaktívnych webových aplikácií - prístupy, nástroje, demonštrácia | Dr. Tomáš Plachetka
| 2010
| webová aplikácia, návrh architektúry, bezpečnosť, vývoj aplikácií, nástroje, tímová práca
|
| Tomáš | Váňa | Silné pseudoprvočísla | RNDr.Martin Mačaj, PhD.
| 2007
| pseudoprvočíslo, Riemannova hypotéza, Miller-Rabinov test, Fermatova veta
|
| David | Zachar | Distribuované kódovanie MP3 | Doc. RNDr. Rastislav Kráľovič, PhD.
| 2008
| mp3, bladeenc, parallel bladeenc, distribuovaný bladeenc, distribuované programovanie
|
| Marek | Zeman | Súvis rekurzívnych funkcií a programovacích jazykov | RNDr. Michal Forišek
| 2008
| rekurzívne funkcie, primitívna rekurzia, programovacie jazyky, Pascal
|
| Martin | Škorupa | Vizualizácia súborového systému | Mgr. Matej Novotný
| 2007
| vizualizácia, súborový systém, interring
|
| Mária | Šormanová | User Profile Module for matfyz.sk Portal | doc. RNDr. Zuzana Kubincová, PhD.
| 2014
| centalizácia, užívateľské dáta, single sign-on, gamifikácia
|
| Lukáš | Špalek | Rozšírenia a semirozšírenia cyklov v kubických grafoch | RNDr. Edita Máčajová PhD.
| 2008
| semirozšírenie, dvojité pokrytie cyklami, CDCC, SCDCC, 5-CDC
|
| Ján | Špaček | Procedurálny model ruky so zameraním na deformáciu geometrie a vytváranie vrások | Mgr. Jana Dadová
| 2011
| Procedurálne modelovanie, Vrásky, Animácia, Modelovanie, Model ruky
|
| Martin | Šrámek | SAT Solving Algorithms | RNDr. Tomáš Kulich, PhD.
| 2012
| SAT, SAT algorithms, SAT benchmarking
|
| Richard | Štefanec | Toky v sieťach | Mgr Michal Forišek
| 2007
| toky v sieťach, maximálny tok, Ford-Fulkerson, grafové algoritmy
|
| Ján | Šutara | Modelovanie 3D objektov vo virtuálnom meste | RNDr. Peter Borovský
| 2007
| virtuálna realita, VRML, geometrické modelovanie objektov
|
| Michal | Švirec | HDR Images from Photos of Car Paint with Sparkling Effect | doc. RNDr. Roman Ďurikovič, PhD.
| 2008
| HDR, tone mapping operator, sparkling effect, car paint
|
| Gabriel | Ščerbák | Modelom riadený vývoj softvéru | Ing. Peter Grec
| 2009
| softvérové inžinierstvo, modelom riadený vývoj softvéru, doménovo špecifické jazyky, aspektovo orientované programovanie, inžinierstvo produktových línií
|
| Tomáš | Žubrietovský | Automatická kryptoanalýza súčtu dvoch otvorených textov | doc. RNDr. Martin Stanek PhD.
| 2008
| Vernamova šifra, One-time Pad, Two-time pad problém, XOR
|
| Martin | Červeň | Deobfuskácia kódu generovaného programom Obfuscator-LLVM | RNDr. Richard Ostertág, PhD.
| 2016
| obfuskácia, deobfuskácia, Obfuscator-LLVM, miasm framework, deobfuskátor
|
| František | Ďuriš | Infinite series: Convergence tests | doc. RNDr. Zbyněk Kubáček, CSc.
| 2009
| Infinite series, convergence, divergence, Kummer, Gauss, Bertrand, Raabe.
|
| Marcel | Ďuriš | Distribuovaný zálohovací systém | doc. RNDr. Rastislav Královič, PhD.
| 2010
| záloha, Reed-Solomonov kód, informačná bezpečnosť
|
| Juraj | Ďuďák | Visualization of tagspace | RNDr. Martin Homola
| 2009
| tags, relational tagcloud, graph layout
|
|
|---|
| Ostatné bakalárske práce obhájené na Katedre
informatiky |
|---|
|
|---|
| Meno | Priezvisko | Názov | Vedúci | Rok | Kľúčové
slová |
|---|
| Jaroslava | Kokavcová | Vizualizácia chromozomálnych zmien počas evolúcie | doc. Mgr. Bronislava Brejová, PhD.
| 2019
| evolučná história, translokácia, vizualizácia, minimalizácia krížení
|
| Peter | Balko | Preklad Datalogu do SQL | Dr. Tomáš Plachetka
| 2010
| Datalog, SQL, prekladač.
|
| Dušan | Baník | Aplikácia pre experimentovanie s formálnymi automatmi a gramatikami | RNDr. Dana Pardubská, PhD.
| 2007
| Formálne jazyky a automaty, gramatiky, simulátor, GRASIM, vizualizácia gramatík, ...
|
| Dávid | Barbora | Multiple Alignment and Visualization of Nanopore Sequencing Signals | doc. Mgr. Tomáš Vinař, PhD.
| 2018
| nanopore sequencing, dynamic time warping, multiple alignment
|
| Juraj | Barič | Možnosti rozhodovacích agentov hrajúcich hracie karty | doc. RNDr. Mária Markošová , PhD.
| 2009
| umela inteligencia
|
| Peter | Bažík | Systém pre podporu práce s automatmi | prof. RNDr. Branislav Rovan, PhD.
| 2019
| systém, automaty, algoritmy, výučba, vizualizácia
|
| Peter | Becza | Vizualizácia vlastností grafov bez násobných hrán a slučiek | doc. RNDr. Andrej Ferko, PhD.
| 2016
| graf, generovanie grafov, vizualizácia, mapovanie, farbenie grafov, spracovanie dát
|
| Martin | Bielik | Wikinavigátor | RNDr. Jana Katreniaková
| 2011
| Wikinavigátor, Mozilla Firefox, Doplnky, Rozšírenia
|
| Martin | Bies | Aplikácia na monitorovanie prípravy obhajoby dizertácie | doc. RNDr. Pavol Ďuriš, Csc.
| 2008
| monitor, PHP, MYSQL
|
| Jozef | Brandys | Analýza rodín internetových robotov | Mgr. Martin Jurčík
| 2015
| botnet, bot, bankové botnety, malwér, škodlivý kód
|
| Michal | Bujdák | Plánovač úloh | Mgr.Tibor Hegedus
| 2008
| plánovanie úloh, spúšťanie úloh, príkazy v cmd
|
| Stanislav | Buštor | Evolučné stratégie v RPG systémoch | Michal Forišek
| 2008
| genetické algoritmy, MMORPG, hra, umelá inteligencia, Lua
|
| Tamás | Bögi | Optimalizácia SOAP klienta pre Python | RNDr. Tomáš Kulich, PhD
| 2016
| Webové služby, WSDL, SOAP
|
| Radoslav | Chládek | Vizualizácia evolučných histórií genómov s viacerými chromozómami | doc. Mgr. Bronislava Brejová, PhD.
| 2017
| vizualizácia, evolučná história, minimalizácia počtu krížení
|
| Lukáš | Chripko | Coordinates ordering in parallel coordinates views | Mgr. Martin Florek
| 2011
| Parallel coordinates, visualization, multidimensional, principal component analysis, clutter based analysis, coordinates ordering
|
| Peter | Cieker | Generovanie stabilných modelov logických programov využívaním CUDA technológie | Michal Čertický
| 2010
| groundovanie logických programov, generovanie stabilných modelov, CUDA
|
| Peter | Csiba | Anonymita v počítačových sieťach s využitím Onion routingu. | RNDr. Peter Gaži PhD.
| 2012
| anonymná komunikácia, počítačové siete, analýza prenosu, Onion routing, Tor, mix
|
| Alena | Damková | Correcting read count bias in aneuploidy prediction | Mgr. Jaroslav Budiš
| 2015
| aneuploidy prediction, trisomy 21, GC correction, Loess correction, within-sample correction
|
| Viliam | Dillinger | Trénovanie neurónových sietí s echo stavmi pomocou posilňovania | doc. Ing. Igor Farkaš, PhD.
| 2009
| neurónová sieť s echo stavmi, učenie sa posilňovaním, sekvenčné problémy, čiastočne pozorovateľné prostredie
|
| Jakub | Dobšovič | Generovanie a Zobrazovanie Animovanej Oblohy | RNDr. Martin Samuelčík, PhD.
| 2011
| animovaná obloha, skybox, generovanie oblakov
|
| Tomáš | Duras | Stereoskopia v počíťačovej grafike | RNDr. Peter Borovský
| 2010
| stereoskopia, stereogram, stereofotografia, stereo, 3D, priestorové videnie, retinálna disparita, paralaxa, počítačová grafika, ľudský zrak, svetlo
|
| Peter | Eliáš | Súborový manažér | RNDr. Richard Ostertág, PhD.
| 2011
| Súborový manažér, GUI, dizajn, NET, C#, WPF
|
| Andrej | Feješ | Detekcia voľných parkovacích miest | RNDr. Zuzana Černeková, PhD.
| 2017
| detekcia voľných parkovacích miest, detekcia hrán, odčítanie histogramov, support vector machines
|
| Jozef | Fekiač | Dospelé jazyky k Lindenmayerovým systémom | RNDr. Mária Pastorová
| 2012
| L-systémy, dospelé jazyky
|
| Ladislav | Feldsam | Infračervený ovládač pre Android zariadenia | RNDr. Peter Borovanský, PhD.
| 2017
| Android, hardvér, infračervený signál, ovládač
|
| Michal | Fikar | Server pre systém na detekciu indikátorov kompromitácie | RNDr. Jaroslav Janáček PhD.
| 2016
| indikátory, kompromitácie, IOC, server
|
| Martin | Filek | Vizuálna podpora dokazovania správnosti programov pomocou Floydovej metódy | RNDr. Jana Katreniaková PhD.
| 2014
| Floydova metóda, správnosť programov, vizualizácia
|
| Júlia | Froncová | Finite Automata with Input Transformations | RNDr. Peter Kostolányi, PhD.
| 2019
| finite automaton, input transformation, computational power
|
| Askar | Gafurov | Image-based steganography using a mobile phone | RNDr. Michal Forišek, PhD.
| 2016
| steganografia, Android, open-source, JPEG, komplementárne vkládanie
|
| František | Grega | Malé cyklové pokrytia v grafoch | prof. RNDr. Martin Škoviera, PhD.
| 2009
| CDC, SCDC, PPDC, cyklus, kružnica, pokrytie cyklami
|
| Filip | Gschwandtner | Java a Navrhove vzory | RnDr. Richard Ostertag
| 2007
| navrhove vzory, Eclipse, plugin
|
| Michal | Hajdin | Automatické dešifrovanie Fleissnerovej mriežky | RNDr. Michal Forišek, PhD.
| 2012
| Fleissnerova otočná mriežka, šifrovanie, ohodnocovanie textu, slovník, n-gramy, BruteForce, Hill-climbing
|
| Anna | Hanulová | Algoritmy na vyhľadávanie vzorky v texte | Mgr. Michal Foríšek
| 2007
| vzorka, text, vyhľadávanie, reťazec, Boyer-Moore, KMP, Apostolico-Giancarlo
|
| Jakub | Havelka | Alignment of Nanopore Sequencing Squiggles | doc. Mgr. Tomáš Vinař, PhD.
| 2017
| nanopore sequencing, dynamic time warping, alignment
|
| Peter | Havlíček | Prostredie pre podporu výučby predmetu Formálne jazyky a automaty | RNDr. Dana Pardubská, PhD.
| 2007
| simulácia gramatík, simulácia automatov, pedagogický softvér
|
| Peter | Herman | Grafické prostredie na editovanie RNA motívov | Mgr. Bronislava Brejová, PhD.
| 2010
| grafické prostredie, RNABob, RNA gény, sekundárna štruktúra, štrukturálne motívy
|
| Jozef | Horváth | Automatické generovanie bludísk a podzemných priestorov | RNDr. Michal Forišek, PhD.
| 2019
| bludisko, podzemie, implementácia
|
| Peter | Hraška | Analýza kvality cestnej siete | RNDr. Tomáš Kulich, PhD.
| 2016
| grafové algoritmy, cestné siete, OpenStreetMap
|
| Michal | Hrobár | Nástroj na tvorbu stereogramov | Doc. RNDr. Roman Ďuríkovič, PhD.
| 2007
| Stereogram, Anaglyf, Hĺbková mapa
|
| Roman | Hudec | Interakcia medzi telefónom s OS Android a počítačom s OS Linux | RNDr. Jaroslav Janáček, PhD.
| 2015
| android, fuse, prenos súborov, dáta zo senzorov, QR kód
|
| Jakub | Husár | Programový systém na monitorovanie prípravy obhajoby dizertácie | doc. RNDr. Pavol Ďuriš, PhD.
| 2009
| monitor prípravy obhajoby dizertácie, webová aplikácia, PHP, SQL
|
| Ondrej | Husár | Frakčné chromatické číslo grafov | RNDr. Robert Lukoťka, PhD.
| 2012
| frakčné farbenia, dištančné grafy, množina uzavretá na rozdiel
|
| Filip | Husár | Cestová a stromová šírka kubických grafov | doc. RNDr. Robert Lukoťka, PhD.
| 2019
| grafy, cestová dekompozícia, cestová šírka, približná bisekcia grafu
|
| Lukáš | Ivan | Riešenie problému distribuovaného nákupu | RNDr. Michal Forišek, PhD.
| 2017
| problém distribuovaného nákupu, optimalizácia, úloha lineárneho programovania, predajné portály
|
| Richard | Ižip | Image Detection Applied in Mobile Application Development | RNDr. Tomáš Kulich, PhD.
| 2016
| Image processing, linear regression, ordinary least-squares, opencv
|
| Filip | Janitor | Systém na správu periodických časových radov | RNDr. Robert Lukoťka, PhD.
| 2017
| časové rady, databáza časových radov, noSQL
|
| Michal | Janáčik | Vrcholovo-disjunktné cykly v grafoch. | Mgr. Michal Kotrbčík
| 2013
| vrcholovo-disjunktné cykly, karteziánsky súčin, tenzorový súčin, silný súčin, lexikografický súčin, ko-normálny súčin, spojenie, decyklačné číslo
|
| Marek | Jančuška | Implementácia algoritmu
na simuláciu plynu na atomárnej úrovni | Mgr. Jana Katreniaková
| 2007
| simulácia, ideálny plyn
|
| Dušan | Javorek | Rozpoznanie fontu v dokumentoch | RNDr. Elena Šikudová, PhD.
| 2017
| Visual Font Recognition Problem, Canny-SURF, Detekcia fontu
|
| Matej | Juračka | Numerická simulácia rastúcej siete | doc. RNDr. Mária Markošová, PhD.
| 2008
| Rastúce siete, Jazyková siet, Numerické simulácie
|
| Juraj | Kerhát | Informačný systém pre základné a stredné školy | RNDr. Mária Pastorová
| 2007
| internetová aplikácia, informačný systém
|
| Michal | Kevický | Útoky na kryptograficky silné hashovacie funkcie | Mgr. Peter Košinár
| 2008
| informačná bezpečnosť, kompresné funkcie, kryptograficky silné hashovacie funkcie, kolízie, útoky
|
| Lukaš | Kiss | Elektronický podpis v informačných systémoch Univerzity Komenského | doc. RNDr. Daniel Olejár, PhD.
| 2018
| elektronický podpis, občiansky preukaz s čipom, webové rozšírenie
|
| Ján | Kliman | Verifikácia programov | RNDr. Borislav Šuster, Csc.
| 2007
| správnosť programov, verifikácia programov, Hoareova metóda
|
| Adrián | Kocúrek | Paralelné výpočtové spracovanie spektroskopických dát | Mgr. Pavel Petrovič, PhD.
| 2018
| CUDA, spektroskopia, GPU, LabVIEW
|
| Jakub | Končok | Golayove Páry | RNDr. Martin Sleziak PhD.
| 2011
| Golayove páry, Acyklická autokorelácia, Autokorelácia, Implementácia, Hľadanie
|
| Jan | Kosa | Animácia fraktálov pri spojitej zmene exponentu | Martin Samuelčík
| 2008
| fraktál, exponent, animácia, Mandelbrotova množina, Júliove množiny
|
| Peter | Kovács | Webovské rozhranie pre bezpečné zdieľanie dokumentov v cloude | RNDr. Michal Rjaško, PhD.
| 2015
| web aplikácia, cloud, bezpečné zdieľanie dát
|
| Jakub | Kováč | Kompresia genómu za pomoci skrytých Markovovských modelov | Mgr. Tomáš Vinař, PhD.
| 2012
| kompresia, DNA, HMM, aritmetické kódovanie, genóm
|
| Frederik | Koľbík | Ukladanie hesiel v open-source programoch | doc. RNDr. Martin Stanek, PhD.
| 2016
| heslo, hašovacia funkcia, bcrypt, PBKDF2, soľ, bezpečnosť
|
| Matej | Krajčovič | Superstrict mód pre Javascript | RNDr. Tomáš Kulich, PhD.
| 2016
| Javascript, ECMAScript, Babel.js, striktný mód
|
| Milutín | Krištofič | Modulárna implementácia hier v Answer Set Programovaní | Mgr.Jozef Šiška
| 2007
| logický program, answer set, modularizácia, počítačová hra, umelá inteligencia
|
| Rudolf | Krumpál | Porovnanie ohodnocovacích funkcií pri simulovanom žíhaní na ťažkých problémoch | RNDr. Tomáš Kulich, PhD.
| 2014
| simulované žíhanie, ohodnocovacie funkcie, generovanie susedných konfigurácií , pentomíno
|
| Michal | Kubica | Detekcia anomálií | Mgr. Lukáš Polesňák
| 2016
| anomália, Hadoop, Cloudera, k-means, Apache Spark
|
| Martin | Kuchyňár | Informačný systém pre športový klub | doc. RNDr. Andrej Ferko, PhD.
| 2013
| Informačný systém, user-centered Design, user experience (UX)
|
| Mariana | Kuchyňárová | Hra pre virtuálne múzeum v prostredí COLLADA | doc. RNDr. Andrej Ferko, PhD.
| 2007
| COLLADA, počítačová hra
|
| Peter | Laubert | Systém pre podporu vyučovania aritmetiky na základných školách | doc. RNDr. Daniel Olejar, PhD.
| 2007
| systém pre podporu vyučovania aritmetiky, web technológie, proces tvorby softvéru
|
| Marek | Luley | Organizácia Literatúry | RNDr. Jana Katreniaková, PhD
| 2011
| BibTeX , Bibliografia , organizovanie literatúry , .bib
|
| Marek | Luley | Organizovanie literatúry | RNDr. Jana Katreniakova PhD
| 2010
| BibTeX , Bibliografia , organizovanie literatúry , .bib
|
| Vladimír | Macko | Dolovanie súvisiacich patentov k~vedeckým článkom | Mgr. Vladimír Boža
| 2016
| patent, vyhľadávanie, článok, relevantný, LSA, TFIDF, biomedicína
|
| Milan | Mandák | Podpora implementácie GWT klienta | Mgr. Martin Jaška
| 2010
| gwt, javascript, ajax, xmlhttprequest, rpc
|
| Marek | Mardiak | Datamining, princípy a metódy | Mgr. Tibor Hegedüs
| 2008
| datamining, objavovanie znalostí, dolovanie z dát, klasifikácia
|
| Jozef | Martiš | Dodatočná informácia a triedy jazykov | prof. RNDr. Branislav Rovan, PhD.
| 2018
| deterministický konečný automat, dodatočná informácia, trieda jazykov, informačná sila
|
| Martin | Mašurik | Heuristiky a metaheuristiky | prof. RNDr. Pavol Ďuriš, CSc.
| 2015
| optimalizácia, optimalizačný problém, heuristiky, metaheuristiky
|
| Veronika | Mečiarová | Rozšírená realita na platforme Android pre identifikáciu horských vrcholov | RNDr. Richard Ostertág, PhD.
| 2017
| rozšírená realita, detekcia hrán, senzory, panoráma, Android
|
| Richard | Mečíř | Program na tvorbu jednoduchých elektrických obvodov | RNDr. Andrej Blaho
| 2008
| elektrický obvod, zdroj, rezistor, prúd, odpor, napätie, schéma
|
| Ľuboš | Miklošovič | Nástroj na detekciu indikátorov kompromitácie v systémoch Windows | RNDr. Jaroslav Janáček PhD.
| 2016
| indikátor kompromitácie, bezpečnosť, OS Windows, detekcia, škodlivý softvér
|
| Adam | Mikušovský | Efektívne vyhľadávanie záznamov v databáze dbNSFP | Mgr. Jaroslav Budiš
| 2015
| Genetický variant, Databáza dbNSFP, Efektívne dátové štruktúry
|
| Marika | Mitrengová | Analýza vlastností slov | RNDr. Richard Ostertág
| 2009
| klávesnica, ShapeWriter, Fittsov zákon, slovník, anagram, palindrom, T9, podobnosť
|
| Samuel | Molčan | Identifikácia a analýza repetitívnych sekvencií v nanopórových dátach | doc. Mgr. Tomáš Vinař, PhD.
| 2019
| DNA sekvenovanie, MinION, repetitívna DNA
|
| Michal | Moravčík | Rekonštrukcia povrchov pomocou zariadenia Kinect | Mgr. Martin Samuelčík, PhD.
| 2013
| Microsoft Kinect, registrácia obrazov, rekonštrukcia povrchov, 3D modelovanie
|
| Mária | Mrocková | Nový portál Programátorská liaheň | RNDr. Michal Forišek, PhD.
| 2014
| výučba programovania, algoritmické úlohy, automatické testovanie, Django
|
| Drahomír | Mrózek | Algoritmy pre cyklickú súvislosť grafov | prof. RNDr. Martin Škoviera, PhD.
| 2016
| Cyklická súvislosť, atóm cyklickej súvislosti, snark.
|
| Miroslav | Mrózek | Farebné množiny kubických multipólov | RNDr. Ján Mazák, PhD.
| 2019
| Multipól, snark, farbenie
|
| Attila | Mészáros | Systém pre zdieľanie súborov v počítačových sieťach | RNDr. Jaroslav Janáček
| 2008
| bezpečná komunikácia, šifrovaný prenos, peer-to-peer, zdieľanie súborov
|
| Jakub | Novák | Dynamická navigácia osôb so spätnou väzbou v mestskej hromadnej doprave | RNDr. Marek Nagy, PhD.
| 2016
| webová aplikácia, open-source, navigácia, python, mhd
|
| Miloš | Olleríny | OCR pomocou Holland-style adaptívnych klasifikátorov | RNDr. Tomáš Kulich, PhD.
| 2013
| OCR, rozpoznávanie písmena, strojové učenie, klasifikátory
|
| Ján | Paholík | Automatický systém na hranie stolových hier | Mgr. Pavel Petrovič, PhD.
| 2017
| inverzná kinematika, systém na hranie hier, umelá inteligencia, deklaratívny jazyk, robotika
|
| Jakub | Pavčo | Vizuálna podpora dokazovania čiastočnej správnosti programov pomocou Hoareovej metódy | RNDr. Jana Katreniaková, PhD.
| 2015
| Hoareho metóda, čiastočná správnosť, vizualizácia
|
| Eva | Paľovičová | Vizuálna analýza dát | Mgr. Matej Novotný
| 2009
| vizualizácia, informácia, vizualizačný systém
|
| Martin | Pecen | Vizualizácia grafu distribuovaného výpočtu pre nástroj Paranoia | RNDr. Jana Katreniaková, PhD.
| 2017
| vizualizácia, graf, distribuovaný výpočet, OCR, hierarchické kreslenie, Sugiyamov framework
|
| Marcel | Pecko | Možnosti využitia hĺbky ostrosti na analýzu obrazu zo skenera CRUSE a 3D rekonštrukciu | doc. RNDr. Andrej Ferko, PhD.
| 2019
| spracovanie obrazu, 3D rekonštrukcia, oblak bodov
|
| Matúš | Petruľák | Optimalizácia reálnych funkcií pomocou diskretizácie | Martin Pelikan Ph.D.
| 2008
| diskretizácia, evolučný algoritmus, optimalizácia
|
| Martin | Pinter | Light transport visualization and perturbations | prof. RNDr. Roman Ďurikovič, PhD.
| 2014
| Metropolis Light Transport, global illumination, visualization, OpenGL
|
| Lucia | Piváčková | Trénovanie agenta pre prieskum v real-time strategických hrách pomocou učenia posilňovaním | Mgr. Viliam Dillinger
| 2014
| CACLA, učenie posilňovaním, neurónové siete, StarCraft, prieskum, mikromanažment
|
| Alena | Poláchová | Porovnanie návrhových vzorov Flux v jazyku Dart a Redux v ECMAScript® 2016 a ich vplyv na vývoj single-page aplikácie | Mgr. Jakub Uhrík
| 2017
| Dart, ECMAScript® 2016, Flux, Redux, SPA
|
| Peter | Poláčik | Implementácia distribuovaného build systému | RNDr. Michal Rjaško, PhD.
| 2016
| kompilácia, distribúcia úloh, Go, Linux
|
| Juraj | Popovič | Python ako jazyk pre vývoj REST webových aplikácií | RNDr. Peter Rybár, PhD.
| 2010
| REST, webservices, ajax, python
|
| Eva | Porvazníková | Systém pre evidenciu a kategorizáciu štandardizačných materiálov | Doc. RNDr. Daniel Olejár, PhD.
| 2008
| webová aplikácia, ASP.NET, štandardy
|
| Jakub | Pospíchal | Procedurálne generovanie mapy pre RPG hry | RNDr. Jozef Šiška, PhD.
| 2015
| Procedurálne generovaný obsah, RPG hry
|
| Martin | Pribula | Dimenzionálny model Akademického Reportovacieho Systému | Mgr. András Varga
| 2016
| Hviezdicová schéma, Logický model, Dimenzionálne a faktové tabulky, Databáza, Dátový sklad
|
| Stanislav | Párnický | Porovnanie GUI vybraných softvérových nástrojov | doc. RNDr. Andrej Ferko, PhD.
| 2013
| usability, user experience, FOSS, GUI, používateľské prostredie, usability testing
|
| Andrej | Ridzik | Použitie komparatívnej informácie pri hľadaní génov | Mgr. Bronislava Brejová, PhD.
| 2011
| gén, zarovnanie, anotácia DNA, skrytý Markovov model, ExonHunter, externá informácia
|
| Ondrej | Ritomský | Zvýšenie úspešnosti rozpoznávania izolovaných hlások využitím techniky modelovania šumu pozadia | RNDr. Marek Nagy, PhD.
| 2015
| zvuk, rozpoznávanie hlások, MFCC, model pozadia, klástering
|
| Marek | Sagan | Dokazovanie správnosti programov Floydovou metódou induktívnych podmienok | RNDr. Borislav Šuster SCs.
| 2008
| program, dôkaz, Floyd
|
| Paula | Schichmanová | Webová aplikácia na podporu vzdelávania žiakov v prvom ročníku základných škôl | RNDr. Richard Ostertág PhD.
| 2012
| aplikácia, základné školy, pomoc pri výučbe
|
| František Michal | Sebestyén | Hrany DT vo vybraných planárnych kresbách | doc. RNDr. Andrej Ferko, PhD.
| 2019
| kreslenie grafov, planárne grafy
|
| Zuzana | Sekerková | Skúmanie percepcie reči a Word superiority efekt | Doc. PhDr. Ján Rybár, PhD.
| 2007
| percepcia reči, rozpoznávanie slov, výpočtové modely rozpoznávania slov, Word superiority, Lexical decision
|
| Erich | Siebenstich | Overview of Java EE on JBoss AS 7 | RNDr. Tomáš Kulich, PhD.
| 2013
| Java EE, EJB3, CDI, Transactions
|
| Dávid | Simeunovič | Vizualizácia evolučných histórií | doc. Mgr. Bronislava Brejová, PhD.
| 2016
| vizualizácia, evolučná história, výber génov, problém množinového pokryti,greedy algoritmus,celočíselné linárne programovanie
|
| Matej | Sládek | Localization and mapping of interior and shared augmented reality | Mgr. Vladimír Boža, PhD.
| 2019
| augmented reality, localization, mapping, SLAM, SfM, 3D
|
| Dana | Smažáková | Prostredie pre experimentovanie s PRAMami | RNDr. Dana Pardubská, Phd.
| 2009
| RAM, PRAM
|
| Kamila | Součková | Design and implementation of an RFID access control system | RNDr. Richard Ostertág, PhD.
| 2016
| kontrola prístupu, návrh distribuovaného systému, návrh sieťového protokolu, návrh spoľahlivého systému
|
| Martin | Strapko | Systém automatickej distribúcie softvéru na pracovné stanice s OS Windows 7 | RNDr. Jaroslav Janáček, PhD.
| 2014
| Windows, .NET framework, HTTPS, registre, počúvanie udalostí
|
| Pavel | Struhár | Systém pre správu registratúry | RNDr. Richard Ostertág
| 2008
| registratúra, systém pre správu dokumentov, archivačný systém
|
| Alojz | Stúpal | Vyhľadávanie spojení mestskou hromadnou dopravou | RNDr. Michal Forišek, PhD.
| 2019
| grafy, najlacnejšie cesty v grafe, vyhladávanie spojení MHD, Dijkstrov algoritmus
|
| Lenka | Stúpalová | Dôsledky zmien v kryptografických algoritmoch | Mgr. Peter Košinár
| 2017
| kryptografické algoritmy, zmeny v algoritmoch, prejavy zmien v algoritmoch, hashovacie funkcie, PRNG
|
| Anikó | Szabóová | Detekcia a rozpoznávanie dopravných značiek | RNDr. Zuzana Černeková, PhD.
| 2017
| dopravné značky, spracovanie obrazu, detekcia, rozpoznávanie, MATLAB
|
| Martin | Sýkora | Extrakcia obsahu premenných z obrazu procesu v pamäti pre interpretovaný programovací jazyk PHP | RNDr. Richard Ostertág, PhD.
| 2017
| premenná, extrakcia, obraz procesu v pamäti, PHP 5, PHP 7
|
| Ján | Tančibok | Knižnica pre mobilné zariadenia zabezpečujúca dátový prenos cez audio port | RNDr. Michal Forišek PhD.
| 2013
| serial port, audio port, jack, Android, knižnica, HART, UART, FSK, modulácia, demodulácia, softvérové rádio
|
| Emanuel | Tesař | Učebné prostredie pre online kolektívny vývoj agilných programov za pomoci zdieľateľného editoru | Ing. František Gyarfaš, CSc.
| 2019
| CRDT, kolaboratívne upravovanie, synchronizácia
|
| Ivan | Trančík | Virtualization on x86 platform and KVM | RNDr. Jaroslav Janáček, PhD.
| 2011
| KVM, full virtualization, security
|
| Jakub | Vaňo | Plne homomorfné šifrovacie schémy | doc. RNDr. Martin Stanek PhD.
| 2012
| plne homomorfné šifrovanie, FHE, bootstrapping, škálovanie rozsahu, chimérická schéma
|
| Tomáš | Vician | Cores of uncolourable cubic graphs | RNDr. Ján Mazák, PhD.
| 2018
| nezafarbiteľný kubický graf, jadro grafu, snark, uncolourable cubic graph, core of a graphs, snark
|
| Matej | Vince | Špecifikácia a implementácia vyvážených stromov v Peanovej aritmetike | Mgr. Ján Kľuka
| 2007
| červeno-čierne stromy, 2-3 stromy, CL
|
| Martin | Vlčák | Normalizácia relačných databáz | Dr. Tomáš Plachetka
| 2009
| databáza, kľúče, normálna forma
|
| Kristína | Váryová | Analýza génovej expresie kvasinky Candida parapsilosis pri raste na rôznych substrátoch | doc. Mgr. Bronislava Brejová, PhD.
| 2019
| Candida parapsilosis, databáza Gene Ontology, databáza Uniprot, RNA-seq, Fischerov presný test, Mannov-Whitneyho U test, génová expresia
|
| Danica | Zajacová | SMS brána a systém núdzového vzdialeného prístupu prostredníctvom siete GSM pre OS Linux | RNDr. Jaroslav Janáček
| 2010
| SMS brána, GSM/UMTS, vzdialený prístup pre administrátora
|
| Dominik | Zajíček | Introduction to brain-computer interface | doc. Ing. Igor Farkaš, PhD.
| 2012
| rozhranie mozog-počítač, elektroencefalografia, mozgové vlny, spracovanie signálu
|
| Andrej | Zbín | Výukové prostredie založené na jazyku Karel | prof. RNDr. Rastislav Kráľovič, PhD.
| 2017
| Karel, webová aplikácia, výučba programovania, edukačný sofvér
|
| Matúš | Zeleňák | Sampling as an approach to sequencing MinION data | Mgr. Tomáš Vinař PhD.
| 2017
| MinION, Hidden Markov model, sampling, DNA, CUDA
|
| Radoslav | Zeman | Integrovaný navigačný systém pre mobilného robota | Mgr. Pavel Petrovič, PhD.
| 2017
| lokalizácia, robotika, monte carlo
|
| Juraj | Zemianek | Triediace algoritmy | doc. RNDr. Juraj Procházka, CSc.
| 2007
| Triediace algoritmy
|
| Martin | Zvara | Tvorba interaktívnych príbehov ako plánovanie | RNDr. Jozef Šiška, PhD.
| 2015
| systémy generujúce príbehy, plánovanie, ASP, Propp
|
| Michaela | Šandalová | Computational Design of Probes for the Hyb-Seq Protocol | Mgr. Matúš Kempa
| 2018
| Hyb-seq, probes, phylogeny, genetic markers
|
| Jakub | Šimo | A Modular Grader for Competitive Programming | RNDr. Michal Forišek, PhD.
| 2019
| judge, tester, automatic testing
|
| Adam | Štefunko | Electronic Election System for Academic Senate | RNDr. Jaroslav Janáček, PhD.
| 2018
| electronic election system, electronic voting scheme, internet application, academic senate
|
| Roman | Števaňák | Forensic tool for Linux desktop | RNDr. Jaroslav Janáček, PhD
| 2018
| Post-mortem analýza, Analýza Linuxu, Forenzná analýza
|
| Michal | Štrba | A functional programming language (suitable for education of functional programming) | RNDr. Richard Ostertág PhD.
| 2018
| programming language, functional programming, vertical code, side-effects, side-effect interpreters, function overloading, λ-calculus
|
| Matej | Štubniak | Implementácia metodiky pre zabezpečenie IT systémov verejnej správy | RNDr. Jaroslav Janáček, PhD.
| 2018
| implementácia, metodika, zabezpečenie, pracovné stanice, Windows
|
| Ľubomír | Žák | Security of Wi-Fi Networks | RNDr. Peter Gaži, PhD.
| 2012
| Wi-Fi, bezpečnosť, WPS, útok hrubou silou
|
| Marek | Čačko | Možnosti eliminácie cenzúry na internete | RNDr. Michal Rjaško PhD.
| 2014
| internetová cenzúra, obchádzanie cenzúry, internet
|