Výborné bakalárske práce obhájené na Katedre informatiky

MenoPriezviskoNázovVedúciRokKľúčové slová
PeterAmbrožPráca procesorov i386 v chránenom režimeRNDr. 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
MiroslavBalážAlgoritmy pre vizualizáciu zložených grafovMgr. Jana Katreniakova 2007 Grafy, Zložené grafy, Vizualizácia, Feedback Arc Set
AndrejBalážSequence based classification of bacteriophagesMgr. Jaroslav Budiš 2018 bacteriophage, bioinformatics, host prediction
EduardBatmendijnIdentifikácia variantov v dátach nanopórového sekvenovaniadoc. Mgr. Tomáš Vinař, PhD. 2018 sekvenovanie DNA, varianty, MinION
LadislavBačoShort Distance non-GPS-based Localization of Mobile DevicesRNDr. Tomáš Kulich, PhD. 2013 localization, smartphone, sound, Fourier transform, Android
TomášBelanType checker for the Yon languageRNDr. Peter Borovanský, PhD. 2013 programming languages, type system, subtyping, polymorphism
PavolBeluškoPrehľad metód image-based renderinguDoc. RNDr. Andrej Ferko, Phd. 2007 image-based, rendering, ibr
AndrejBorsukAtomic commit protocolRNDr. Tomáš Plachetka 2009 databázy, distribuované systémy, protokol
VladimírBožaKnižnica štandardných algoritmov pre kompilátor FreePascalRNDr. Michal Forišek PhD. 2011 FreePascal, generics, algoritmy a dátové štruktúry
MichalBubnárOpenGL knižnica pre časticové systémyRNDr. Martin Samuelčík 2012 Časticový systém, OpenGL, GPU, Shader, Transform Feedback, Rendering
Truc LamBuiGradient-based learning in Deep Neural NetworksRNDr. Kristína Malinovská, PhD. 2018 artificial neural networks, deep learning, machine learning
KamilBulkoNiektoré vlastnosti signovaných grafovRNDr. Edita Rollová, PhD. 2013 graf, signovaný graf, izomorfizmus, algoritmus
MichalBurgerVirtual Operating System in C#RNDr. Richard Ostertág 2008 ComOS, virtual operating system, PostSharp
MartinaBátorováUčebnica informatiky pre stredné školyRNDr. Andrej Blaho 2007 aktivity, úlohy, vyučovanie, učebné texty, kurikulárna transformácia
BarboraCandrákováCirkulárny chromatický index Szekeresovych snarkovMgr. Ján Mazák 2009 cirkulárny chromatický index, r-farbenie, hranové farbenie, Szekeresov snark
MichalChládekVšeobecná reprezentácia CSG objektovRNDr. Tomáš Plachetka, PhD. 2008 ray tracing, Rothov diagram, serializácia
BrunoCucSystém na distribuovanie výpočtov pomocou internetového prehliadačaRNDr. Michal Rjaško, PhD. 2013 javascript, volunteer computing
JurajDankoTrusted Path Execution v prostredí MS WindowsMgr. Peter Košinár 2010 Trusted Path Execution, Whitelist, Windows API
MilanDarjaninTutorial to Compass and SassRNDr. Tomáš Kulich, PhD. 2013 sass, compass, css, tutorial
AdamDejDesign and implementation of embedded components of an RFID access control systemRNDr. Richard Ostertág, PhD. 2018 access control, embedded devices design, network protocol design
PeterDolákVisualization tool for teaching The Principles of CompilersRNDr. Richard Ostertág, PhD. 2014 compilers, syntax analysis, parsing, algorithm visualization
AnnaDresslerováGenerovanie vzorov na vyšívanieRNDr. Michal Forišek, PhD. 2014 krížikové vyšívanie, digitalne spracovanie obrazu, dithering
MatejDuníkKempe ekvivalentné farbenia grafovRNDr. Edita Máčajová PhD. 2009 teória grafov, grafy farbení, Kempe-ekvivalencia grafov
RichardDvorskýInteligentné vyhľadávanie v systéme na evidenciu skautských družinových hierRNDr. Michal Rjaško PhD. 2014 generátor družinoviek, inteligentné vyhľadávanie, PHP, JavaScript
EduardEibenExtendability of matchings in graphs on surfacesMgr. Michal Kotrbčík 2012 graph, graph embedding, genus, matching, equimatchable graph, surface.
StanislavFeckoAnimácia postáv pomocou kostryRNDr. Martin Samuelčík 2010 grafika v reálnom čase, OpenGL, animácia postáv, kostra
MatúšFedákVzdialenosti na stromochProf. RNDr. Branislav Rovan, PhD. 2009 Editačná vzdialenosť stromov, Obmedzená editačná vzdialenosť stromov
MarekFedákUžívateľské rozhranie vo virtuálnej realiteMgr. Andrej Mihálik, PhD. 2019 virtuálna realita, užívateľské prostredie, kurzor, gesto, vzor
DominikaFedákováAplikované využitie neurónových sietíMgr. Ing. Michal Šefara 2011 Neurónová sieť, Back-propagation algoritmus, Levenberg-Marquardt, Resilient propagation
MichalFerkoShadow Mapping for Large Virtual EnvironmentsRNDr. Martin Samuelčík 2010 OpenGL, Real-time Rendering, Shadow Mapping, Parallel-Split Shadow Mapping
PeterFullaAutomatický hráč hry DominionRNDr. Michal Forišek, PhD. 2012 Dominion, umelá inteligencia, evolučné algoritmy
PeterGaliovskýSpracovanie viet jazyka pomocou neurónovej siete s echo stavmidoc. Ing. Igor Farkaš, PhD. 2008 rekurentná neurónová sieť, echo stavy, systematickosť, predikcia nasledujúceho slova
PeterGatialPostScript podpora pre pdfTeXMgr. Vladimír Koutný 2007 PostScript, PDF, pdfTeX, pdfTricks, PSTricks
PeterGazdíkImplementácia prehľadávania v dúhových tabuľkáchRNDr. Martin Stanek, PhD. 2007 kryptoanalýza, dátová štruktúra, implementácia
FrantišekGerčakPortal for betting and tippingRNDr. Tomáš Kulich, PhD. 2013 web application, portal, betting and tiping, MVC, analyses
PeterGlausMinimálne hranové rezy v hyperkockáchDoc. RNDr. Rastislav Kráľovič, PhD. 2007 delenie grafu na k častí, minimálny rez hyperkocky, heuristika, distribuované výpočty
AdriánGogaReinforcement learning in 2048 gameprof. Ing. Igor Farkaš, Dr. 2018 Učenie posilňovaním, Umelá inteligencia, Dopredné neurónové siete, Logické hry
FrantišekHajnovičHľadanie Imúnnych podgrafovdoc. RNDr. Rastislav Královič, PhD. 2010 väčšinové hlasovanie, imúnne podgrafy
OsamaHassaneinTrénovanie agenta pre makromanažment v real-time strategických hrách pomocou učenia posilňovanímMgr. 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
LuciaHaviarováČiastočné boolovské funkciedoc. RNDr. Eduard Toman, CSc. 2009 čiastočná boolovská funkcia, disjunktívna normálna forma, Karnaughova mapa, techniky minimalizácie, lokálny algoritmus
AlbertHerencsárKryptografická mena BitcoinRNDr. Peter Gaži, PhD. 2012 Bitcoin, transakcia, blok, ťažba Bitcoinov, bloková reťaz, anonymita, bezpečnosť, zraniteľnosť
Lukáš HlavičkaBezznalostné dôkazydoc. RNDr. Martin Stanek PhD. 2008 zero-knowledge, interaktívny dôkaz, Arthur-Merlin games
JanaHlinkováModeling Bidirectional Scattering Distribution FunctionDr. Tomáš Plachetka 2007 BSDF, bidirectional scattering distribution funcion, Monte Carlo path tracing
MariánHorňákKnižnica pre výučbu programovania v PythoneRNDr. Michal Forišek, PhD. 2015 výučba programovania, počítačová hra, Python
MiroslavHotákAplikácie konečných transformáciíProf. RNDr. Branislav Rovan, PhD. 2009 formát, transformácia, transformačný predpis, Grafické uživateľské rozhranie
MichalHozzaOvládanie počítačových aplikácií pomocou gest rukyRNDr. Marek Nagy, PhD. 2012 neurónové siete, umelá inteligencia, počítačové videnie, rozpoznávanie gest, rozpoznávanie ruky
JánHozzaRekonštrukcia duplikačných histórií pomocou pravdepodobnostného modeluMgr. Tomáš Vinař, PhD. 2014 duplikačná história, rekonštrukcia, pravdepodobnostný model, skórovanie
ZuzanaHromcováElektronické doklady o vzdelaní na Univerzite Komenskéhodoc. RNDr. Daniel Olejár, PhD. 2017 vzdelanie, e-Government, elektronické dokumenty, Univerzita Komenského
MichalHudekVirtuálne múzeum, Považské múzeumDoc. RNDr. Andrej Ferko PhD 2007 virualne muzeum, vrml model
IvanaHudákováZložitostné aspekty konečných automatovprof. Branislav Rovan 2007 konečné automaty, popisná zložitosť, algoritmy
MartinIvančíkSledovanie volaní v .NET aplikáciachRNDr. Richard Ostertág, PhD. 2016 metadáta, signatúry, profilovanie, COM objekt, hook, common language runtime
JakubJančinaRýchle testy prvočíselnosti pre obmedzený rozsah vstupovRNDr. Michal Forišek, PhD. 2014 rýchly test prvočíselnosti, prvočísla, Rabin-Millerov test
OndrejJariabkaA 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
PeterJuhászPreklad logických formúl do DataloguDr. Tomáš Plachetka 2008 Datalog, relačný kalkul, prekladač
MatúšJuranSupplementary Information and Transducersprof. RNDr. Branislav Rovan, PhD. 2019 supplementary information, transducers, state complexity, regular languages
JakubJursaImplementácia distribuovaného monitorovacieho systémuRNDr. Michal Rjaško 2012 monitorovanie, voľba koordinátora, ruby, Linux
MartinJurčíkUsing SELinux to Enforce Two-Dimensional Labelled Security Model with Partially Trusted SubjectsRNDr. Jaroslav Janáček 2010 information flow policy, security model, SELinux policy
LukášJuskoMonitorovanie a riadenie aplikácií v systéme MS WindowsMgr. Peter Košinár 2011 MS Windows, Aplikácia, Monitorovanie, Riadenie
DominikKapišinskýMotion Graphs in combination with BlenderRNDr. Jana Dadová 2012 Štruktúra Motion Graph, Animácia, Blender, Python
BarboraKlembarováSimulácia dynamických 3D atmosférických javovRNDr. Peter Borovanský, PhD. 2015 strih vetra, microburst, simulácia, pravdepodobnosť detekcie, radar, lidar
MichalKlempaVyužitie princípu MDL v strojovom učeníMgr. Ľuboš Steskal 2009 MDL, ad-hoc coding, clustering, pitch contour
MáriaKlimováRozklad prismy kubického grafu na hamiltonovské kružniceRNDr. Edita Máčajová, PhD. 2009 prisma, hamiltonovský rozklad, kubické grafy, zovšeobecnené Petersenove grafy
MartinKolínekImplementation of selected routing algorithms for navigationRNDr. Richard Ostertág, PhD. 2012 navigácia, plánovanie trasy, OpenStreetMap
KristínaKomanováNáročnosť riešenia maľovaných krížoviekRNDr. Michal Forišek, PhD. 2016 maľované krížovky, NP-úplné problémy, riešenie človekom, lineárna regresia
RafaelKorbašStavová zložitosť deterministických a nedeterministických konečných automatovMgr. Marek Zeman 2014 konečný automat, minimálny NKA, minimálny DKA, stavová zlo-žitosť, enumerácia regulárnych jazykov
PeterKoscelanskýNeuniformné výpočtové modely - branching programy a rozhodovacie stromyRNDr. Andrej Bebják 2009 branching programy, neuniformné výpočtové modely, dolné odhady zložitosti, natural proofs
PeterKostolányiRovnomerné využívanie prechodov v konečných automatochprof. 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ínaKotrlováVizualizácia háld a intervalových stromovMgr. Jakub Kováč 2012 dátové štruktúry, vizualizácia, intervalové stromy, zlúčiteľné prioritné fronty
MariánKovaničPortál na evidenciu osobnej zbierky filmovRNDr. Mária Pastorová 2012 portál, webová aplikácia, databáza filmov, evidencia, skupinové zdieľanie
AntonKovaľSpektrálna teória grafovdoc. RNDr. Martin Mačaj, PhD. 2013 spektrálna teória grafov, silne regulárne grafy
KuboKováčVyhľadávacie stromy a ich vizualizáciaMgr. Janka Katreniaková 2007 dátové štruktúry, vizualizácia, vyhľadávacie stromy, vyvážené stromy
IvanKováčO využívaní stavov v konečných automatochprof. RNDr. Branislav Rovan, PhD. 2008 deterministické konečné automaty, využívanie stavov, minimálny automat
MichalKováčMetódy merania fraktálnej dimenzie prírodných javovMgr. Ľuboš Steskal 2009 Fraktál, Dimenzia, Fraktálna dimenzia, Meranie fraktálnej dimenzie
PeterKováčImplementácia externých zdrojov dát v hľadaní génovMgr. Bronislava Brejová, PhD. 2010 gén, hľadanie génov, skrytý Markovov model, ExonHunter
JánKováčDekompozícia kompletných grafov na kružniceRobert Lukoťka 2010 dekompozícia na kružnice, všeobecné kompletné grafy, orientované kompletné grafy
AlenaKošinárováVizualizácia základných grafových algoritmovRNDr. Jana Katreniaková, PhD 2011 grafové algoritmy, grafy, vzdelávanie
MarekKoštaAlgoritmus Quadratic SieveRNDr. Jaroslav Guričan, CSc. 2009 Quadratic Sieve, faktorizácia celých čísel, kongruencia štvorcov, prvočíslo, konečné pole, binárna matica
AndrejKrajčiLokalizácia pomocou WiFi signáluRNDr. Michal Forišek, PhD. 2013 Lokalizácia, WiFi, Delaunayova triangulácia, Android, Barycentrické koordináty, lineárna interpolácia, šírenie WiFi signálu
MartinKravecAnalýza TETRISu ako hry dvoch hráčov.Mgr. Ľuboš Steskal 2009 tetris, stratégia, heuristická funkcia
MartinKrálikSecurity Assessment of blog.matfyz.skRNDr. Jozef Šiška 2009 security, cross site scripting, query injection, XQuery, cross site request forgery
MatejKrálikA computer game with computer-assisted human playersDominik Csiba, Bc. 2018 games, game design, artificial intelligence
PetraKubincováMapping between GenomesMgr. Bronislava Brejová, PhD. 2014 alignment, whole-genome alignment, region mapping, rank, select, range minimum query problem
TomášKublaPoužitie honey-pot-u na analýzu prihlasovacích údajov používaných pri útokochRNDr. Jaroslav Janáček PhD. 2015 honeypot, slovníkový útok, PAM, ELK stack, oclHashcat
KamilKuboňAutentifikácia jednorázovými heslamigenerovanými pomocou mobilného telefónuRNDr. Jaroslav Janáček 2008 jednorázové heslo, autentifikácia, mobilný telefón, Linux
MarcelKucharíkAutomatizácia riešenia substitučných šifierMgr. Tomáš Kulich 2009 substitučná šifra, riešenie šifi er, frekvenčná analýza, kryptoanalýza
MatúšKukanVyužitie SAT-solverov pri riešení ťažkých úlohMgr. Richard Štefanec 2011 SAT-solver, redukcia na SAT, NP-úplný problém
OlíviaKunertováAnalýza a rozpoznávanie vzorov v 3D/4D dátachRNDr. Peter Borovanský, PhD. 2015 microburst, vizualizácia, detekcia
TomášKuzmaVektorizá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
TamaraKuštárováMiery podobnosti reťazcovRNDr. Forišek 2008 porovnanie reťazcov, metrika, porovnanie textov
PavelLabathRozpoznávanie regulárnych výrazovRNDr. Michal Forišek 2008 regulárne výrazy, konečné automaty, algoritmy, vyhľadávanie, zložitosť
IvanLabáthAutomatické generovanie logických úloh s využitím SAT solveraMichal Forišek 2010 logické hry, SAT, SAT-solver, sudoku, chaos, hamilton snake
PeterLacaStatická analýza Java kóduRNDr. Peter Borovanský, PhD. 2012 statická analýza, závislosti v java projekte, eclipse zásuvný modul
RastislavLenhardtComposite mathematical gamesDoc. RNDr. Rastislav Kráľovič, PhD. 2007 Dots and Boxes, composite games, w-numbers
PeterLenčéšKolmogorovská zložitosťDoc. RNDr. Dana Pardubská PhD. 2008 Kolmogorovská zložitosť, metóda nestlačiteľnosti, formálne jazyky, triediace algoritmy, grafy
MárioLipovskýApproximate Abundance Histograms and Their Use for Genome Size EstimationMgr. Bronislava Brejová, PhD. 2017 histogram počtov k-tic, Kmerlight, odhad dĺžky genómu, CovEst
IgorLiškaOchrana PDF súborov proti kopírovaniu textuRNDr. Jaroslav Janáček, PhD. 2012 PDF, TeX, LaTeX, kopírovanie
MarekLudhaImplementácia algoritmov pre projekt BoostMgr. Peter Košinár 2007 externé algoritmy, grafové algoritmy, I/O zložitosť, generické programovanie
JurajMacháčModernizácia portálu lekar.skRNDr. Tomáš Kulich, PhD. 2014 optimalizácia, AJAX, vyhľadávacie nástroje
TomášMalíkAnalý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
FilipMarekVývoj aplikácií v prostredí Spring FrameworkMgr. Jaroslav Budiš 2013 Java, framework, Spring, Maven
LadislavMaršíkAplikácia na tréning sluchovej analýzyMgr. 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ánMatejovInteligentný monitorovací systém práce študentov v Linuxovom termináliRNDr. Marek Nagy, PhD. 2018 monitorovanie, Node.js, Linux, K-means
FilipMatušákFarbenia kubických grafov Steinerovskými konfiguráciamiprof. RNDr. Martin Škoviera, PhD. 2017 Steinerovský systém trojíc, farbenie, snark, programový systém na vyhľadávanie farbení
LejlaMetohajrováBiologically inspired predictive model of proprioceptive body representations prof. Ing. Igor Farkaš, Dr. 2016 body schema, somatosensory, iCub, predictive model, population coding
JurajMešťánekJadro rozvrhovacieho systémuRNDr. Mária Pastorová 2008 podpora rozvrhovania, Spring framework, PostgreSQL
MilanMikulaAnotácia zhlukov génovMgr. Tomáš Vinař, PhD. 2011 anotácia, zarovnanie, gén, genóm
OndrejMikulášPageRank algortimusRNDr. Martin Sleziak, PhD 2010 PageRank algoritmus, lineárna algebra, vlastný vektor, konvergencia
FilipMišúnAlternating Weighted Automata over Commutative SemiringsRNDr. Peter Kostolányi 2017 alternujúci automat s váhami, alternácia, formálny mocninový rad, komutatívny polokruh
MarekMrvaPrincípy práce FPU súčasných osobných počítačovPeter Tomcsányi 2010 FPU, x87, IEEE 754, Simulácia
MartinNámešnýAproximačné algoritmy na určenie priesečníkového čísla grafovdoc. RNDr. Rastislav Královič, PhD 2008 lineárne priesečníkové číslo, fixované lineárne priesečníkové číslo, heuristiky, aproximácie
MichalNánásiVzdialenosti jazykovProf. RNDr. Branislav Rovan, PhD. 2008 Editačná vzdialenosť, $\Delta$-podobnosť, vzdialenosť jazykov
PavolPanákVzťah veľkosti minimálnych deterministických a nedeterministických konečných automatovRNDr. 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áluRNDr. Richard Ostertág, PhD. 2015 iButton, Arduino, RAK DEK, časový postranný kanál
OndrejPašuthTestovanie prvočíselnostiRNDr. 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
PeterPerešíniFourierova transformácia a jej použitieRNDr. Michal Forišek 2009 Fourierova transformácia, vlastnosti, aplikácie, DCT, DFT
MichalPetruchaData Structures for Whole-Genome AlignmentsMgr. Bronislava Brejová, PhD. 2012 zarovnanie, celogenómové zarovnanie, mapovanie pozícií, mapovanie regiónov, rank, select
JaroslavPetruchaEfektívna reprezentácia množiny krátkych reťazcovMgr. Tomáš Vinař, PhD. 2016 čítania, nadslovo, index čítaní, DeBruijnov graf
ZuzanaPetruchováEnumerácia jednoducho popísateľných regulárnych jazykovRNDr. Michal Forišek 2009 konečný automat, hashovanie, minimálny automat, Hopcroftov algoritmus
AlenaPisarčíkováNáhodné grafydoc. RNDr. Eduard Toman, CSc. 2014 náhodné grafy, reprezentačná matica
DušanPlavákRenderovací systém pre streamované dáta pre OgreRNDr. Jaroslav Janáček, PhD. 2014 ogre, grafický engine, grafická scéna, synchronizácia scény, synchroni- zácia po sieti
MilanPlžíkAnalýza a implementácia podpory pre WPA firmware pre at76c503RNDr. Jaroslav Janáček 2008 mac80211, wifi, USB, at76, WPA, WEP, linux, wireless, IEEE 802.11
MikulášPolákMožnosti a charakterisitika skenera CRUSE a využitie lokálnych tieňov na analýzu skenovaných objektovRNDr. Róbert Bohdal, PhD. 2019 digitálna fotografia, skenovanie, spracovanie obrazu, 3D rekonštrukcia
LukášPoláčekSoftvér na organizáciu pretekov v orientačnom behuMichal Forišek 2007 orientačný beh, softvérový návrh
MichalPorubskýComovement between cryptocurrenciesRNDr. Ing. Peter Molnár PhD. 2019 comovement, cryptocurrencies, cointegration, pairs trading, high frequency
JurajPrievalskýWebová aplikácia - Tvorba internetového obchoduRNDr. Mária Pastorová 2007 internetový obchod, framework, templatový systém, jazykové verzie
LadislavPápayCache-oblivious algoritmy a ich vizualizáciaMgr. Jakub Kováč, PhD. 2014 dátové štruktúry, pamäťová analýza, cache, cache-oblivious, vizualizácia
RastislavRabatinAlignment of Nanopore Sequencing ReadsMgr. Tomáš Vinař,PhD. 2016 hidden Markov models, nanopore sequencing, alignment of reads
JozefRajníkDecomposition of Small SnarksRNDr. Ján Mazák, PhD. 2017 snark, ireducibilný, cyklická súvislosť, Taitovo zafarbenie, tok
LadislavRampášekRNA motif search in genomic sequencesMgr. Tomáš Vinař, PhD. 2010 RNAMot2, RNA motif search, dynamic programming, RNABob, RNAMot, insertions, deletions, elements
JánRosinaNedeterminizmus v konečných automatochprof. RNDr. Branislav Rovan, PhD. 2018 nedeterministický konečný automat, deterministický konečný automat, jazyky definované podslovom, jazyky nad unárnou abecedou, ohraničené jazyky
MartinRoškoProbatur - online testovanie študentovRNDr. Richard Ostertág 2007 online testovanie šrudentov, PHP, SQL
JánRuhalovskýPoužitie LabanXML v kombinácii s BlenderomRNDr. Jana Dadová 2012 LabanXML, animácia, pohyb, Labanova notácia, Blender, Python
AdamSalehVirtuálne StrojeRNDr. Richard Ostertág PhD. 2011 Plná virtualizácia, Zásady bezpečnosti, Virtuálne zariadenia, Open-Source
MartinSarvašEditor zložených grafovRNDr. Jana Katreniaková, PhD 2010 editor, zložený graf, digraf, GraphML, zobrazovací algoritmus
MarcelSchichmanZarovnávanie sekvenovacích dát s vysokým počtom chýbMgr. Vladimír Boža 2015 mapovanie sekvencií, PacBio, dynamické programovanie, heuristiky
PeterSchmidtAlgoritmické vlastnosti vnorení grafov do plôchMgr. Michal Kotrbčík 2012 vnorenie grafu, rod grafu, kompletný graf, kompletný bipartitný graf, snark, distribúcia rodov grafu, probabilistické vzorkovanie, priemerný rod
IvanaSelečéniováGame of Life na šesťuholníkovej mriežkeRNDr. Michal Forišek 2009 bunkové automaty, šesťuholníková mriežka, Game of Life, vesmírne lode
AndrejSkokBezpečnostné aspekty inteligentných televízorovRNDr. Richard Ostertág, PhD. 2014 informačná bezpečnosť, inteligentný televízor
SamuelSládekAnalýza odolnosti Stellar konsenzus protokolu voči Byzantínskym chybámRNDr. Tomáš Kulich, PhD. 2019 Stellar, konsenzus, byzantínske chyby, kvórum, bezpečnosť, odolnosť siete
RóbertSmetanaOverview of Reflectance Models Focused on Car Paint Simulationdoc. RNDr. Roman Ďurikovič, PhD. 2008 BRDF, reflectance models, car paint, appearance parameters, black box model
RudolfStarovskýCyklická hranová súvislosť kubických grafovRNDr. Edita Máčajová, PhD. 2008 cyklická hranová súvislosť, cyklický hranový rez, snarky
MartinSuchaExt2 Filesystem Support for HelenOSRNDr. Jaroslav Janáček, PhD. 2011 HelenOS, ext2, filesystem
PavolSzórádVizualizácia základných algoritmovdoc. RNDr. Juraj Procházka, CSc. 2007 Vizualizácia. Algoritmy. Dátové štruktúry.
SlavomírTakáčAsymptotická analýza rekurenciídoc. RNDr. Martin Stanek, PhD 2009 lineárna rekurencia, rozdeľuj a panuj, master theorem, akra-bazzi, bazzi-mitter
GyörgyTomcsányiDistribuované hashovacie tabuľkydoc. RNDr. Rastislav Královič, PhD. 2010 distribuované algoritmy, hashovanie, chord, kademlia, simulácie
ViktorTomkovičVizualizácia stromových dátových štruktúrJakub Kováč 2012 vizualizácia, ADŠ, algoritmy a dátové štruktúry, union-find, stringológia, lexikografický strom, trie, sufixový strom
LenkaTrojakováUrčovanie prahových funkcií podgrafov niektorých tried grafovdoc. RNDr. Eduard Toman CSc. 2009 Enumerácia označených objektov, náhodné grafy, prahové funkcie, maximálna k-rozmerná podkocka
TomášTrungelRozšírenie systému VizzA na generovanie vizualizácií algoritmovRNDr. Jana Katreniaková, PhD. 2014 VizzA, vizualizácia, smerník
TatianaTóthováModerné regulárne výrazyRNDr. Michal Forišek, PhD. 2013 regulárne výrazy, pozitívny a negatívny lookaround, spätné referencie, regex.
JakubUhríkNá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áriaVajdováRozoznávanie orientácie riasiniekRNDr. Michal Forišek, PhD. 2015 riasinka, detekcia orientácie, spracovanie obrazu
AndrásVargaRekurentné postupnostiRNDr. 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
RastislavVaškoCaptcha - Rozpoznávanie ľudí a počítačov na webeRNDr. Richard Ostertág 2008 captcha, world wide web, umelá inteligencia
PeterVašutBezpečnostný konvertor e-mailovRNDr. Jaroslav Janáček, PhD. 2017 e-mail, proxy, bezpečnosť
MartinVeselýSilné hranové farbenia regulárnych grafovRNDr. Edita Máčajová, PhD. 2009 Teória grafov, silné hranové farbenie, silný chromatický index, Regulárne grafy
BorisVidaMulti-head automataprof. RNDr. Pavol Ďuriš, CSc. 2013 multihead automata, computational complexity, language classes, data-independence
MartinVišňovecImplementácia kryptografických útokov v paralelnom výpočtovom prostredí grafických karietMgr. Michal Rjaško 2011 prúdové šifry, algebraické útoky, Cube attack, Toyocrypt, Trivium, Cuda
FilipVojtkoTvorba interaktívnych webových aplikácií - prístupy, nástroje, demonštráciaDr. Tomáš Plachetka 2010 webová aplikácia, návrh architektúry, bezpečnosť, vývoj aplikácií, nástroje, tímová práca
TomášVáňaSilné pseudoprvočíslaRNDr.Martin Mačaj, PhD. 2007 pseudoprvočíslo, Riemannova hypotéza, Miller-Rabinov test, Fermatova veta
DavidZacharDistribuované kódovanie MP3Doc. RNDr. Rastislav Kráľovič, PhD. 2008 mp3, bladeenc, parallel bladeenc, distribuovaný bladeenc, distribuované programovanie
MarekZemanSúvis rekurzívnych funkcií a programovacích jazykovRNDr. Michal Forišek 2008 rekurzívne funkcie, primitívna rekurzia, programovacie jazyky, Pascal
MartinŠkorupaVizualizácia súborového systémuMgr. Matej Novotný 2007 vizualizácia, súborový systém, interring
MáriaŠormanováUser Profile Module for matfyz.sk Portaldoc. RNDr. Zuzana Kubincová, PhD. 2014 centalizácia, užívateľské dáta, single sign-on, gamifikácia
LukᚊpalekRozšírenia a semirozšírenia cyklov v kubických grafochRNDr. Edita Máčajová PhD. 2008 semirozšírenie, dvojité pokrytie cyklami, CDCC, SCDCC, 5-CDC
JánŠpačekProcedurálny model ruky so zameraním na deformáciu geometrie a vytváranie vrásokMgr. Jana Dadová 2011 Procedurálne modelovanie, Vrásky, Animácia, Modelovanie, Model ruky
MartinŠrámekSAT Solving AlgorithmsRNDr. Tomáš Kulich, PhD. 2012 SAT, SAT algorithms, SAT benchmarking
RichardŠtefanecToky v sieťachMgr Michal Forišek 2007 toky v sieťach, maximálny tok, Ford-Fulkerson, grafové algoritmy
JánŠutaraModelovanie 3D objektov vo virtuálnom mesteRNDr. Peter Borovský 2007 virtuálna realita, VRML, geometrické modelovanie objektov
MichalŠvirecHDR Images from Photos of Car Paint with Sparkling Effectdoc. RNDr. Roman Ďurikovič, PhD. 2008 HDR, tone mapping operator, sparkling effect, car paint
GabrielŠčerbákModelom riadený vývoj softvéruIng. 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 textovdoc. 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-LLVMRNDr. Richard Ostertág, PhD. 2016 obfuskácia, deobfuskácia, Obfuscator-LLVM, miasm framework, deobfuskátor
FrantišekĎurišInfinite series: Convergence testsdoc. RNDr. Zbyněk Kubáček, CSc. 2009 Infinite series, convergence, divergence, Kummer, Gauss, Bertrand, Raabe.
MarcelĎurišDistribuovaný zálohovací systémdoc. RNDr. Rastislav Královič, PhD. 2010 záloha, Reed-Solomonov kód, informačná bezpečnosť
JurajĎuďákVisualization of tagspaceRNDr. Martin Homola 2009 tags, relational tagcloud, graph layout

Ostatné bakalárske práce obhájené na Katedre informatiky

MenoPriezviskoNázovVedúciRokKľúčové slová
Jaroslava KokavcováVizualizácia chromozomálnych zmien počas evolúciedoc. Mgr. Bronislava Brejová, PhD. 2019 evolučná história, translokácia, vizualizácia, minimalizácia krížení
PeterBalkoPreklad Datalogu do SQLDr. Tomáš Plachetka 2010 Datalog, SQL, prekladač.
DušanBaníkAplikácia pre experimentovanie s formálnymi automatmi a gramatikamiRNDr. Dana Pardubská, PhD. 2007 Formálne jazyky a automaty, gramatiky, simulátor, GRASIM, vizualizácia gramatík, ...
DávidBarboraMultiple Alignment and Visualization of Nanopore Sequencing Signalsdoc. Mgr. Tomáš Vinař, PhD. 2018 nanopore sequencing, dynamic time warping, multiple alignment
JurajBaričMožnosti rozhodovacích agentov hrajúcich hracie kartydoc. RNDr. Mária Markošová , PhD. 2009 umela inteligencia
PeterBažíkSystém pre podporu práce s automatmiprof. RNDr. Branislav Rovan, PhD. 2019 systém, automaty, algoritmy, výučba, vizualizácia
PeterBeczaVizualizácia vlastností grafov bez násobných hrán a slučiekdoc. RNDr. Andrej Ferko, PhD. 2016 graf, generovanie grafov, vizualizácia, mapovanie, farbenie grafov, spracovanie dát
MartinBielikWikinavigátorRNDr. Jana Katreniaková 2011 Wikinavigátor, Mozilla Firefox, Doplnky, Rozšírenia
MartinBiesAplikácia na monitorovanie prípravy obhajoby dizertácie doc. RNDr. Pavol Ďuriš, Csc. 2008 monitor, PHP, MYSQL
JozefBrandysAnalýza rodín internetových robotovMgr. Martin Jurčík 2015 botnet, bot, bankové botnety, malwér, škodlivý kód
MichalBujdákPlánovač úlohMgr.Tibor Hegedus 2008 plánovanie úloh, spúšťanie úloh, príkazy v cmd
StanislavBuštorEvolučné stratégie v RPG systémochMichal Forišek 2008 genetické algoritmy, MMORPG, hra, umelá inteligencia, Lua
TamásBögiOptimalizácia SOAP klienta pre PythonRNDr. Tomáš Kulich, PhD 2016 Webové služby, WSDL, SOAP
RadoslavChládekVizualizácia evolučných histórií genómov s viacerými chromozómamidoc. Mgr. Bronislava Brejová, PhD. 2017 vizualizácia, evolučná história, minimalizácia počtu krížení
LukášChripkoCoordinates ordering in parallel coordinates viewsMgr. Martin Florek 2011 Parallel coordinates, visualization, multidimensional, principal component analysis, clutter based analysis, coordinates ordering
PeterCiekerGenerovanie stabilných modelov logických programov využívaním CUDA technológieMichal Čertický 2010 groundovanie logických programov, generovanie stabilných modelov, CUDA
PeterCsibaAnonymita 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
AlenaDamkováCorrecting read count bias in aneuploidy predictionMgr. Jaroslav Budiš 2015 aneuploidy prediction, trisomy 21, GC correction, Loess correction, within-sample correction
ViliamDillingerTrénovanie neurónových sietí s echo stavmi pomocou posilňovaniadoc. 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
JakubDobšovičGenerovanie a Zobrazovanie Animovanej OblohyRNDr. Martin Samuelčík, PhD. 2011 animovaná obloha, skybox, generovanie oblakov
TomášDurasStereoskopia v počíťačovej grafikeRNDr. Peter Borovský 2010 stereoskopia, stereogram, stereofotografia, stereo, 3D, priestorové videnie, retinálna disparita, paralaxa, počítačová grafika, ľudský zrak, svetlo
PeterEliášSúborový manažérRNDr. Richard Ostertág, PhD. 2011 Súborový manažér, GUI, dizajn, NET, C#, WPF
AndrejFeješDetekcia voľných parkovacích miestRNDr. Zuzana Černeková, PhD. 2017 detekcia voľných parkovacích miest, detekcia hrán, odčítanie histogramov, support vector machines
JozefFekiačDospelé jazyky k Lindenmayerovým systémomRNDr. Mária Pastorová 2012 L-systémy, dospelé jazyky
LadislavFeldsamInfračervený ovládač pre Android zariadeniaRNDr. Peter Borovanský, PhD. 2017 Android, hardvér, infračervený signál, ovládač
MichalFikarServer pre systém na detekciu indikátorov kompromitácieRNDr. Jaroslav Janáček PhD. 2016 indikátory, kompromitácie, IOC, server
MartinFilekVizuálna podpora dokazovania správnosti programov pomocou Floydovej metódyRNDr. Jana Katreniaková PhD. 2014 Floydova metóda, správnosť programov, vizualizácia
JúliaFroncováFinite Automata with Input TransformationsRNDr. Peter Kostolányi, PhD. 2019 finite automaton, input transformation, computational power
AskarGafurovImage-based steganography using a mobile phoneRNDr. Michal Forišek, PhD. 2016 steganografia, Android, open-source, JPEG, komplementárne vkládanie
FrantišekGregaMalé cyklové pokrytia v grafochprof. RNDr. Martin Škoviera, PhD. 2009 CDC, SCDC, PPDC, cyklus, kružnica, pokrytie cyklami
FilipGschwandtnerJava a Navrhove vzoryRnDr. Richard Ostertag 2007 navrhove vzory, Eclipse, plugin
MichalHajdinAutomatické dešifrovanie Fleissnerovej mriežkyRNDr. Michal Forišek, PhD. 2012 Fleissnerova otočná mriežka, šifrovanie, ohodnocovanie textu, slovník, n-gramy, BruteForce, Hill-climbing
AnnaHanulováAlgoritmy na vyhľadávanie vzorky v texteMgr. Michal Foríšek 2007 vzorka, text, vyhľadávanie, reťazec, Boyer-Moore, KMP, Apostolico-Giancarlo
JakubHavelkaAlignment of Nanopore Sequencing Squigglesdoc. Mgr. Tomáš Vinař, PhD. 2017 nanopore sequencing, dynamic time warping, alignment
PeterHavlíčekProstredie pre podporu výučby predmetu Formálne jazyky a automatyRNDr. Dana Pardubská, PhD. 2007 simulácia gramatík, simulácia automatov, pedagogický softvér
PeterHermanGrafické prostredie na editovanie RNA motívovMgr. Bronislava Brejová, PhD. 2010 grafické prostredie, RNABob, RNA gény, sekundárna štruktúra, štrukturálne motívy
JozefHorváthAutomatické generovanie bludísk a podzemných priestorovRNDr. Michal Forišek, PhD. 2019 bludisko, podzemie, implementácia
PeterHraškaAnalýza kvality cestnej sieteRNDr. Tomáš Kulich, PhD. 2016 grafové algoritmy, cestné siete, OpenStreetMap
MichalHrobárNástroj na tvorbu stereogramovDoc. RNDr. Roman Ďuríkovič, PhD. 2007 Stereogram, Anaglyf, Hĺbková mapa
RomanHudecInterakcia medzi telefónom s OS Android a počítačom s OS LinuxRNDr. Jaroslav Janáček, PhD. 2015 android, fuse, prenos súborov, dáta zo senzorov, QR kód
JakubHusárProgramový systém na monitorovanie prípravy obhajoby dizertáciedoc. RNDr. Pavol Ďuriš, PhD. 2009 monitor prípravy obhajoby dizertácie, webová aplikácia, PHP, SQL
OndrejHusárFrakčné chromatické číslo grafovRNDr. Robert Lukoťka, PhD. 2012 frakčné farbenia, dištančné grafy, množina uzavretá na rozdiel
FilipHusárCestová a stromová šírka kubických grafovdoc. RNDr. Robert Lukoťka, PhD. 2019 grafy, cestová dekompozícia, cestová šírka, približná bisekcia grafu
LukášIvanRiešenie problému distribuovaného nákupuRNDr. Michal Forišek, PhD. 2017 problém distribuovaného nákupu, optimalizácia, úloha lineárneho programovania, predajné portály
RichardIžipImage Detection Applied in Mobile Application DevelopmentRNDr. Tomáš Kulich, PhD. 2016 Image processing, linear regression, ordinary least-squares, opencv
FilipJanitorSystém na správu periodických časových radovRNDr. Robert Lukoťka, PhD. 2017 časové rady, databáza časových radov, noSQL
MichalJanáčikVrcholovo-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
MarekJančuškaImplementácia algoritmu na simuláciu plynu na atomárnej úrovniMgr. Jana Katreniaková 2007 simulácia, ideálny plyn
DušanJavorekRozpoznanie fontu v dokumentochRNDr. Elena Šikudová, PhD. 2017 Visual Font Recognition Problem, Canny-SURF, Detekcia fontu
MatejJuračkaNumerická simulácia rastúcej sietedoc. RNDr. Mária Markošová, PhD. 2008 Rastúce siete, Jazyková siet, Numerické simulácie
JurajKerhátInformačný systém pre základné a stredné školyRNDr. Mária Pastorová 2007 internetová aplikácia, informačný systém
MichalKevickýÚtoky na kryptograficky silné hashovacie funkcieMgr. Peter Košinár 2008 informačná bezpečnosť, kompresné funkcie, kryptograficky silné hashovacie funkcie, kolízie, útoky
LukašKissElektronický podpis v informačných systémoch Univerzity Komenskéhodoc. RNDr. Daniel Olejár, PhD. 2018 elektronický podpis, občiansky preukaz s čipom, webové rozšírenie
JánKlimanVerifikácia programovRNDr. Borislav Šuster, Csc. 2007 správnosť programov, verifikácia programov, Hoareova metóda
AdriánKocúrekParalelné výpočtové spracovanie spektroskopických dátMgr. Pavel Petrovič, PhD. 2018 CUDA, spektroskopia, GPU, LabVIEW
JakubKončokGolayove PáryRNDr. Martin Sleziak PhD. 2011 Golayove páry, Acyklická autokorelácia, Autokorelácia, Implementácia, Hľadanie
Jan KosaAnimácia fraktálov pri spojitej zmene exponentuMartin Samuelčík 2008 fraktál, exponent, animácia, Mandelbrotova množina, Júliove množiny
PeterKovácsWebovské rozhranie pre bezpečné zdieľanie dokumentov v cloudeRNDr. Michal Rjaško, PhD. 2015 web aplikácia, cloud, bezpečné zdieľanie dát
JakubKováčKompresia genómu za pomoci skrytých Markovovských modelovMgr. Tomáš Vinař, PhD. 2012 kompresia, DNA, HMM, aritmetické kódovanie, genóm
FrederikKoľbíkUkladanie hesiel v open-source programochdoc. RNDr. Martin Stanek, PhD. 2016 heslo, hašovacia funkcia, bcrypt, PBKDF2, soľ, bezpečnosť
MatejKrajčovičSuperstrict mód pre JavascriptRNDr. Tomáš Kulich, PhD. 2016 Javascript, ECMAScript, Babel.js, striktný mód
MilutínKriš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
RudolfKrumpálPorovnanie ohodnocovacích funkcií pri simulovanom žíhaní na ťažkých problémochRNDr. Tomáš Kulich, PhD. 2014 simulované žíhanie, ohodnocovacie funkcie, generovanie susedných konfigurácií , pentomíno
MichalKubicaDetekcia anomáliíMgr. Lukáš Polesňák 2016 anomália, Hadoop, Cloudera, k-means, Apache Spark
MartinKuchyňárInformačný systém pre športový klubdoc. RNDr. Andrej Ferko, PhD. 2013 Informačný systém, user-centered Design, user experience (UX)
MarianaKuchyňárováHra pre virtuálne múzeum v prostredí COLLADAdoc. RNDr. Andrej Ferko, PhD. 2007 COLLADA, počítačová hra
PeterLaubertSystém pre podporu vyučovania aritmetiky na základných školáchdoc. RNDr. Daniel Olejar, PhD. 2007 systém pre podporu vyučovania aritmetiky, web technológie, proces tvorby softvéru
Marek LuleyOrganizácia Literatúry RNDr. Jana Katreniaková, PhD 2011 BibTeX , Bibliografia , organizovanie literatúry , .bib
MarekLuleyOrganizovanie literatúryRNDr. Jana Katreniakova PhD 2010 BibTeX , Bibliografia , organizovanie literatúry , .bib
VladimírMackoDolovanie súvisiacich patentov k~vedeckým článkomMgr. Vladimír Boža 2016 patent, vyhľadávanie, článok, relevantný, LSA, TFIDF, biomedicína
MilanMandákPodpora implementácie GWT klientaMgr. Martin Jaška 2010 gwt, javascript, ajax, xmlhttprequest, rpc
MarekMardiakDatamining, princípy a metódyMgr. Tibor Hegedüs 2008 datamining, objavovanie znalostí, dolovanie z dát, klasifikácia
JozefMartišDodatočná informácia a triedy jazykovprof. RNDr. Branislav Rovan, PhD. 2018 deterministický konečný automat, dodatočná informácia, trieda jazykov, informačná sila
MartinMašurikHeuristiky a metaheuristikyprof. RNDr. Pavol Ďuriš, CSc. 2015 optimalizácia, optimalizačný problém, heuristiky, metaheuristiky
VeronikaMečiarováRozšírená realita na platforme Android pre identifikáciu horských vrcholovRNDr. Richard Ostertág, PhD. 2017 rozšírená realita, detekcia hrán, senzory, panoráma, Android
RichardMečířProgram na tvorbu jednoduchých elektrických obvodovRNDr. 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
AdamMikušovskýEfektívne vyhľadávanie záznamov v databáze dbNSFPMgr. Jaroslav Budiš 2015 Genetický variant, Databáza dbNSFP, Efektívne dátové štruktúry
MarikaMitrengováAnalýza vlastností slovRNDr. Richard Ostertág 2009 klávesnica, ShapeWriter, Fittsov zákon, slovník, anagram, palindrom, T9, podobnosť
SamuelMolčanIdentifikácia a analýza repetitívnych sekvencií v nanopórových dátachdoc. Mgr. Tomáš Vinař, PhD. 2019 DNA sekvenovanie, MinION, repetitívna DNA
MichalMoravčíkRekonštrukcia povrchov pomocou zariadenia KinectMgr. Martin Samuelčík, PhD. 2013 Microsoft Kinect, registrácia obrazov, rekonštrukcia povrchov, 3D modelovanie
MáriaMrockováNový portál Programátorská liaheňRNDr. Michal Forišek, PhD. 2014 výučba programovania, algoritmické úlohy, automatické testovanie, Django
DrahomírMrózekAlgoritmy pre cyklickú súvislosť grafovprof. RNDr. Martin Škoviera, PhD. 2016 Cyklická súvislosť, atóm cyklickej súvislosti, snark.
MiroslavMrózekFarebné množiny kubických multipólovRNDr. Ján Mazák, PhD. 2019 Multipól, snark, farbenie
AttilaMészárosSystém pre zdieľanie súborov v počítačových sieťachRNDr. Jaroslav Janáček 2008 bezpečná komunikácia, šifrovaný prenos, peer-to-peer, zdieľanie súborov
JakubNovákDynamická navigácia osôb so spätnou väzbou v mestskej hromadnej dopraveRNDr. Marek Nagy, PhD. 2016 webová aplikácia, open-source, navigácia, python, mhd
MilošOllerínyOCR pomocou Holland-style adaptívnych klasifikátorovRNDr. Tomáš Kulich, PhD. 2013 OCR, rozpoznávanie písmena, strojové učenie, klasifikátory
JánPaholíkAutomatický systém na hranie stolových hierMgr. Pavel Petrovič, PhD. 2017 inverzná kinematika, systém na hranie hier, umelá inteligencia, deklaratívny jazyk, robotika
JakubPavčoVizuálna podpora dokazovania čiastočnej správnosti programov pomocou Hoareovej metódyRNDr. Jana Katreniaková, PhD. 2015 Hoareho metóda, čiastočná správnosť, vizualizácia
EvaPaľovičováVizuálna analýza dátMgr. Matej Novotný 2009 vizualizácia, informácia, vizualizačný systém
MartinPecenVizualizá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
MarcelPeckoMožnosti využitia hĺbky ostrosti na analýzu obrazu zo skenera CRUSE a 3D rekonštrukciudoc. RNDr. Andrej Ferko, PhD. 2019 spracovanie obrazu, 3D rekonštrukcia, oblak bodov
MatúšPetruľákOptimalizácia reálnych funkcií pomocou diskretizácieMartin Pelikan Ph.D. 2008 diskretizácia, evolučný algoritmus, optimalizácia
MartinPinterLight transport visualization and perturbationsprof. RNDr. Roman Ďurikovič, PhD. 2014 Metropolis Light Transport, global illumination, visualization, OpenGL
LuciaPiváčkováTrénovanie agenta pre prieskum v real-time strategických hrách pomocou učenia posilňovanímMgr. Viliam Dillinger 2014 CACLA, učenie posilňovaním, neurónové siete, StarCraft, prieskum, mikromanažment
AlenaPoláchováPorovnanie návrhových vzorov Flux v jazyku Dart a Redux v ECMAScript® 2016 a ich vplyv na vývoj single-page aplikácieMgr. Jakub Uhrík 2017 Dart, ECMAScript® 2016, Flux, Redux, SPA
PeterPoláčikImplementácia distribuovaného build systémuRNDr. Michal Rjaško, PhD. 2016 kompilácia, distribúcia úloh, Go, Linux
JurajPopovičPython ako jazyk pre vývoj REST webových aplikáciíRNDr. Peter Rybár, PhD. 2010 REST, webservices, ajax, python
EvaPorvazníkováSystém pre evidenciu a kategorizáciu štandardizačných materiálovDoc. RNDr. Daniel Olejár, PhD. 2008 webová aplikácia, ASP.NET, štandardy
JakubPospíchalProcedurálne generovanie mapy pre RPG hryRNDr. Jozef Šiška, PhD. 2015 Procedurálne generovaný obsah, RPG hry
MartinPribulaDimenzionálny model Akademického Reportovacieho SystémuMgr. András Varga 2016 Hviezdicová schéma, Logický model, Dimenzionálne a faktové tabulky, Databáza, Dátový sklad
StanislavPárnickýPorovnanie GUI vybraných softvérových nástrojovdoc. RNDr. Andrej Ferko, PhD. 2013 usability, user experience, FOSS, GUI, používateľské prostredie, usability testing
AndrejRidzikPoužitie komparatívnej informácie pri hľadaní génovMgr. Bronislava Brejová, PhD. 2011 gén, zarovnanie, anotácia DNA, skrytý Markovov model, ExonHunter, externá informácia
OndrejRitomskýZvýšenie úspešnosti rozpoznávania izolovaných hlások využitím techniky modelovania šumu pozadiaRNDr. Marek Nagy, PhD. 2015 zvuk, rozpoznávanie hlások, MFCC, model pozadia, klástering
MarekSaganDokazovanie správnosti programov Floydovou metódou induktívnych podmienokRNDr. Borislav Šuster SCs. 2008 program, dôkaz, Floyd
PaulaSchichmanováWebová aplikácia na podporu vzdelávania žiakov v prvom ročníku základných škôlRNDr. Richard Ostertág PhD. 2012 aplikácia, základné školy, pomoc pri výučbe
František MichalSebestyénHrany DT vo vybraných planárnych kresbáchdoc. RNDr. Andrej Ferko, PhD. 2019 kreslenie grafov, planárne grafy
ZuzanaSekerkováSkúmanie percepcie reči a Word superiority efektDoc. PhDr. Ján Rybár, PhD. 2007 percepcia reči, rozpoznávanie slov, výpočtové modely rozpoznávania slov, Word superiority, Lexical decision
ErichSiebenstichOverview of Java EE on JBoss AS 7RNDr. Tomáš Kulich, PhD. 2013 Java EE, EJB3, CDI, Transactions
DávidSimeunovič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
MatejSládekLocalization and mapping of interior and shared augmented realityMgr. Vladimír Boža, PhD. 2019 augmented reality, localization, mapping, SLAM, SfM, 3D
DanaSmažákováProstredie pre experimentovanie s PRAMamiRNDr. Dana Pardubská, Phd. 2009 RAM, PRAM
KamilaSoučkováDesign and implementation of an RFID access control systemRNDr. 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
MartinStrapkoSystém automatickej distribúcie softvéru na pracovné stanice s OS Windows 7RNDr. Jaroslav Janáček, PhD. 2014 Windows, .NET framework, HTTPS, registre, počúvanie udalostí
PavelStruhárSystém pre správu registratúryRNDr. Richard Ostertág 2008 registratúra, systém pre správu dokumentov, archivačný systém
AlojzStúpalVyhľadávanie spojení mestskou hromadnou dopravouRNDr. Michal Forišek, PhD. 2019 grafy, najlacnejšie cesty v grafe, vyhladávanie spojení MHD, Dijkstrov algoritmus
LenkaStúpalováDôsledky zmien v kryptografických algoritmochMgr. 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čiekRNDr. Zuzana Černeková, PhD. 2017 dopravné značky, spracovanie obrazu, detekcia, rozpoznávanie, MATLAB
MartinSýkoraExtrakcia obsahu premenných z obrazu procesu v pamäti pre interpretovaný programovací jazyk PHPRNDr. Richard Ostertág, PhD. 2017 premenná, extrakcia, obraz procesu v pamäti, PHP 5, PHP 7
JánTančibokKnižnica pre mobilné zariadenia zabezpečujúca dátový prenos cez audio portRNDr. Michal Forišek PhD. 2013 serial port, audio port, jack, Android, knižnica, HART, UART, FSK, modulácia, demodulácia, softvérové rádio
EmanuelTesařUčebné prostredie pre online kolektívny vývoj agilných programov za pomoci zdieľateľného editoruIng. František Gyarfaš, CSc. 2019 CRDT, kolaboratívne upravovanie, synchronizácia
IvanTrančíkVirtualization on x86 platform and KVMRNDr. Jaroslav Janáček, PhD. 2011 KVM, full virtualization, security
JakubVaňoPlne homomorfné šifrovacie schémydoc. RNDr. Martin Stanek PhD. 2012 plne homomorfné šifrovanie, FHE, bootstrapping, škálovanie rozsahu, chimérická schéma
TomášVicianCores of uncolourable cubic graphsRNDr. Ján Mazák, PhD. 2018 nezafarbiteľný kubický graf, jadro grafu, snark, uncolourable cubic graph, core of a graphs, snark
MatejVinceŠpecifikácia a implementácia vyvážených stromov v Peanovej aritmetikeMgr. Ján Kľuka 2007 červeno-čierne stromy, 2-3 stromy, CL
MartinVlčákNormalizácia relačných databázDr. Tomáš Plachetka 2009 databáza, kľúče, normálna forma
KristínaVáryováAnalýza génovej expresie kvasinky Candida parapsilosis pri raste na rôznych substrátochdoc. 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
DanicaZajacová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
DominikZajíčekIntroduction to brain-computer interfacedoc. Ing. Igor Farkaš, PhD. 2012 rozhranie mozog-počítač, elektroencefalografia, mozgové vlny, spracovanie signálu
AndrejZbínVýukové prostredie založené na jazyku Karelprof. RNDr. Rastislav Kráľovič, PhD. 2017 Karel, webová aplikácia, výučba programovania, edukačný sofvér
MatúšZeleňákSampling as an approach to sequencing MinION dataMgr. Tomáš Vinař PhD. 2017 MinION, Hidden Markov model, sampling, DNA, CUDA
RadoslavZemanIntegrovaný navigačný systém pre mobilného robotaMgr. Pavel Petrovič, PhD. 2017 lokalizácia, robotika, monte carlo
JurajZemianekTriediace algoritmydoc. RNDr. Juraj Procházka, CSc. 2007 Triediace algoritmy
MartinZvaraTvorba interaktívnych príbehov ako plánovanieRNDr. 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 ProtocolMgr. Matúš Kempa 2018 Hyb-seq, probes, phylogeny, genetic markers
JakubŠimoA Modular Grader for Competitive ProgrammingRNDr. Michal Forišek, PhD. 2019 judge, tester, automatic testing
AdamŠtefunkoElectronic Election System for Academic SenateRNDr. Jaroslav Janáček, PhD. 2018 electronic election system, electronic voting scheme, internet application, academic senate
RomanŠtevaňákForensic tool for Linux desktopRNDr. Jaroslav Janáček, PhD 2018 Post-mortem analýza, Analýza Linuxu, Forenzná analýza
MichalŠtrbaA 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ŠtubniakImplementácia metodiky pre zabezpečenie IT systémov verejnej správyRNDr. Jaroslav Janáček, PhD. 2018 implementácia, metodika, zabezpečenie, pracovné stanice, Windows
ĽubomírŽákSecurity of Wi-Fi NetworksRNDr. Peter Gaži, PhD. 2012 Wi-Fi, bezpečnosť, WPS, útok hrubou silou
MarekČačkoMožnosti eliminácie cenzúry na interneteRNDr. Michal Rjaško PhD. 2014 internetová cenzúra, obchádzanie cenzúry, internet