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

MenoPriezviskoNázovVedúciRokKľúčové slová
MichalAnderleAnalýza algoritmov pre L(2,1) farbenie grafovRNDr. Michal Forišek, PhD. 2016 L(2,1)-farbenie, vlastné páry, stromy s priemerom 6
TiborBajzíkBroadcasting on Butterfly Network with Dynamic Faultsdoc. RNDr. Rastislav Královič, PhD. 2006 Broadcating, Butterfly Network, Wrapped Butterfly Network, shoutcasting
MiroslavBalážKomunikačná zložitosťDoc. RNDr. Pavol Ďuriš CSc. 2009 Komunikacna zlozitost, 2CNF,2-CNF
LadislavBačoŠifrovanie zachovávajúce formátdoc. RNDr. Martin Stanek, PhD. 2015 FPE, šifrovania zachovávajúce formát, miešanie kariet, Thorpovo miešanie, matica pravdepodobností, RUL, FNR
TomášBelanSyntaktická analýza vnorených programovacích jazykovRNDr. Richard Ostertág, PhD. 2015 syntaktická analýza, parsovanie, programovacie jazyky
BranislavBelasOptimalizácia dotazov nad star schémami v Oracle9iRNDr. Ján Šturc, CSc. 2005 optimalizácia dotazov, oracle, star schéma
ĽubošBistákTechnológie pre webové službyMgr. Pavol Mederly 2006 webové služby, bezpečnosť, transakcie, Web Services Invocation Framework, klienti webových služieb
VladimírBožaProblém dvoch obchodných cestujúcichRNDr. Michal Forišek, PhD. 2013 obchodný cestujúci, PTAS, dynamické programovanie, celočíselné lineárne programovanie
DanielBuchtaParalelizmus v grafových gramatikáchProf. RNDr. Branislav Rovan, PhD. 2008 grafové gramatiky, paralelizmus, kooperujúci distribuovaný systém grafových gramatík, paralelný komunikujúci systém grafových gramatík
RadoslavBuranskyNavrh, implementacia a ohodnotenie zobrazenia informacii do zvukoveho priestoruRoman Durikovic 2007 HTML, prehliadac, nevidiaci, zrakovo postihnuty, priestorovy zvuk
LubomirCechKreslenie grafovProf. RNDr. Branislav Rovan Phd. 2005 kreslenie grafov, grafy, dvojfarebne grafy, graphdrawing
JurajDankoŠtúdia uskutočniteľnosti elektronických voliebdoc. RNDr. Daniel Olejár, PhD. 2012 Elektronické voľby, štúdia uskutočniteľnosti, e-government, informačná bezpečnosť a manažment.
JánDančFormal Specification of AMLMgr. Radovan Červenka, PhD. 2008 AML, Agent Modeling Language, MAS, Multi-Agent Systems, Object-Z, OZ, formal specification
JakubDaubnerAverage degree in the interval graph of a random Boolean functionDoc. RNDr. Eduard Toman, PhD. 2008 random Boolean function, interval graph
AnnaDresslerováL(2,1) farbenia špeciálnych grafovRNDr. Michal Forišek, PhD. 2016 kaktus, cyklový strom, L(2,1)-farbenie
MariánDudekObmedzené použitie synchronizačných symbolov pri alternovaníProf. RNDr. Branislav Rovan, PhD. 2008 synchronizované alternovanie, alternovanie s jedným symbolom a zarážkou, označené zreťazenie
MatejDuníkGraf farbeníRNDr. Edita Máčajová, PhD. 2012 Kempe-ekvivalencia, graf farbení, $k$-vyberateľnosť, hranové farbenie
MartinDzurenkoPodpisové schémy umožňujúce odstraňovanie častí dokumentuRNDr. Martin Stanek, PhD. 2005 CES, CEAS, stromová prístupová štruktúra, modifikácia RSAProd
IgorFarinicThe use of Windows USB scanner drivers in LinuxRNDr. Jaroslav Janacek 2007 ovládač, skener, Linux, Windows
MojmírFendekSúvis generatívnych systémov a alternujúcich Turingových strojovProf. RNDr. Branislav Rovan, PhD. 2008 G-systém, ATS, triedy zložitosti, dolný odhad, formálne jazyky
RadoslavFulekKonvexné priesečníkové čísla vybraných tried grafovRNDr. Ondrej Sýkora, DrSc. 2005 graf, konvexné priesečníkové číslo grafu, konvexné nakreslenie grafu, Halinov graf, mriežky, simulované žíhanie
PeterFullaAdvice Complexity of Online Algorithmsprof. RNDr. Rastislav Královič, PhD. 2014 online graph exploration, competitive analysis, advice complexity, online algorithms
FrantišekGalčíkZložitostné aspekty rádiových sietíRNDr. Rastislav Královič, PhD. 2005 rádiové siete, broadcasting, grafový model rádiových sietí
PeterGazdíkPlatnosť Berge-Fulkersonovej hypotézy pre špeciálne triedy snarkovprof. RNDr. Martin Škoviera, PhD. 2010 snark, Berge-Fulkersonova hypotéza, súčin kubických grafov
PeterGažiParallel decompositions of finite automataProf. RNDr. Branislav Rovan, PhD. 2006 deterministic finite automaton, parallel decomposition, decomposition of state behavior
PeterGlausMobile Agents in Search for a Faulty Nodedoc. RNDr. Rastislav Královič, PhD. 2009 distributed system, mobile agents, faulty node, black hole search, knowledge of incoming link
RadoslavGolianBezpečnosť v databázových systémochIng. Miroslav Galbavý 2007 databáza, bezpečnosť, jemne štruktúrované riadenie prístupu, virtuálne privátne databázy, šifrovanie, transparentné šifrovanie dát, autorizované pohľady, Oracle
MichalGondekZložitostné aspekty optických sietídoc. RNDr. Rastislav Královič, PhD. 2006 WDM fault-tolerance, routing cycles over d-dimensional square and tori
MartinGábrišKryptoanalýza prúdových šifier RC4 a Spritzdoc. RNDr. Martin Stanek, PhD. 2016 RC4, Spritz, kryptoanalýza, extrakcia stavu šifry, SMT solver, prehľadávanie s návratom
FrantišekHajnovičDistance oracles for timetable graphsRastislav Královič 2013 optimal connection, timetable, Dijkstra's algorithm, distance oracles, underlying shortest paths
LýdiaHanuskováParalelné kooperujúce systémy gramatíkProf. RNDr. Branislav Rovan Phd. 2005 paralelné kooperujúce systémy gramatík, regulárne gramatiky, striktne regulárne gramatiky, popisná sila, simulácia Turingovým strojom
LiborHavlíčekGenerátory pseudonáhodných číseldoc. RNDr. Daniel Olejár, PhD. 2007 Generátory, náhodné čísla, štatistické testovanie
AlbertHerencsárAn improved algorithm for ancestral gene order reconstructionMgr. Bronislava Brejová, PhD. 2014 small phylogeny problem, ancestral gene order, genome rearrangement, breakpoint distance, DCJ distance
PeterHermanVýskum online problémov z hľadiska advice complexityRNDr. Michal Forišek, Phd. 2013 poradná zložitosť, online farbenie grafov, alokovanie disjunktných ciest, primitívna rekurzia s radou
AndrejHollýRozšírenia protokolu TCP so zameraním na bezdrôtové a vysoko rýchlostné sieteRNDr. Richard Ostertág 2008 TCP
OndrejHolotňákZbierka úloh z Teórie grafovDoc. RNDr. Martin Škoviera PhD. 2006 teória grafov, cvičenia, úlohy, zbierka úloh, párenie, súvislosť, planárne grafy, farbenie, toky, hamiltonovské kružnice
MiroslavHotákImplementation of Two-dimensional Labelled Security Model with Partially Trusted Subjects in LinuxRNDr. Jaroslav Janáček, PhD. 2011 information flow policy, security model, Linux Security Modules, POSIX capabilities
IvanaHudákováNedeterminizmus v konečných automatochProf. RNDr. Branislav Rovan, PhD 2009 konečné automaty, nejednoznačnosť, stavová zložitosť, operácie na jazykoch
JakubHusárNiektoré metrické vlastnosti čiastočných náhodných booleovských funkciídoc. RNDr. Eduard Toman, CSc. 2013 čiastočná náhodná boolovská funkcia, jadrové hrany, regulárne vrcholy, Quinova DNF, DNF typu suma T
MarekJančuškaSynchronizácia celulárnych automatovRNDr. Borislav Šuster, CSc. 2009 synchronizácia, celulárne automaty, stromy
JuliusJuhászAnalýza a posúdenie štandardov pre riadenie údržby softvéru Mgr. Róbert Kormaňák 2008 softvérová údržba, životný cyklus softvéru, softvérové inžinierstvo, medzinárodné štandardy
JakubJursaDátové štruktúry pre uchovávanie sekvenovacích dátMgr. Tomáš Vinař PhD. 2015 dátové štruktúry a algoritmy, sekvenovacie ready, indexovanie, bioinformatika
PeterJurčovičParalelné prehľadávanie herného stromuRNDr. Rastislav Královič, PhD. 2005 herný strom, paralelné algoritmy, prehľadávanie
MartinJurčíkUsing SELinux to Enforce Two-Dimensional Labelled Security Model with Partially Trusted SubjectsRNDr. Jaroslav Janáček, PhD. 2012 information flow policy, security model, SELinux policy, MLS SELinux, MCS SELinux
ĽubomírKarabaObfuskácia zdrojového kóduMgr. Miroslav Demeter 2007 Obfuskácia, spätné inžinierstvo, ochrana softvéru, obfuskácia toku riadenia
MiroslavaKemeňováOn descriptional complexity of infinite wordsdoc. RNDr. Pavol Ďuriš, CScs. 2006 Infinite words, D0L TAG systems, iterating a morphism, substitution, iterating a GSM
HelenaKocúrováAnalysis of algorithms for computing the crossing numberdoc. RNDr. Rastislav Královič, PhD. 2007 crossing number, planarization, maximum planar subgraph, constrained crossing minimization
IvanKohútWatermarking spustiteľného kóduMgr. Miroslav Demeter 2007 Intelektuálne vlastníctvo, Ochrana softvéru, Watermarking
MartinKollárRenderovanie XML dokumentov pri WYSIWYG editovaníprof. RNDr. Branislav Rovan, PhD 2007 XML, WYSIWYG renderer, framework, XML editovanie, MVC
MartinKolínekComputation of IsochronesRNDr. Richard Ostertág, PhD. 2014 isochrone, road network, spatial network, reachability
Štefan KonečnýSINGLE AGENT ANSWERING SYSTEM an Intelligent Agent approach to Question Answeringdoc. PhDr. Ján Šefránek, CSc 2010 Question Answering, Intelligent Agent
RafaelKorbašVýpočty konečných automatov s pomocnou informáciouprof. RNDr. Pavol Ďuriš, CSc. 2016 konečný automat, pomocná informácia, výpočty s pomocnou informáciou, pomocná informácia zreťazená so vstupom, pomocná informácia na dodatočnej stope, pomocná informácia na dodatočnej páske
PeterKoscelanskýSeparácie a hierarchie zložitostných tried pre výpočtové modely konečných automatovRNDr. Andrej Bebják 2011 viachlavové automaty, obratová miera zložitosti, dolné odhady zložitosti
MichalKosticCode Generation from AMLMgr. Radovan Cervenka 2006 AML, JADE, code generation, MDA, model, multi agent system
PeterKostolányiBalanced Use of Resources in Computationsprof. RNDr. Branislav Rovan, PhD. 2013 balanced use of resources, equiloadedness, equiloaded automaton, abstract deterministic automaton
AntonKovaľKonštruktívna enumerácia grafovdoc. RNDr. Martin Mačaj, PhD. 2015 konštruktívna enumerácia grafov, silne regulárne grafy
IvanKováčEquiloaded Automataprof. RNDr. Branislav Rovan, PhD. 2010 equiloaded automata, balanced use of resources, deterministic finite automata
MichalKováčNávrh a implementácia FOSS verzie hry MariášRNDr. Michal Forišek PhD. 2011 Mariáš, Teória hier, Minimax, Neúplna informácia
PeterKováčBioinformatics of Sequences with Repetitive MotifsMgr. Tomáš Vinař, PhD. 2012 zarovnanie sekvencií, skrytý markovovský model, dynamické programovanie
JánKováčRozšíriteľnosť párení na grafochMichal Kotrbčík, Martin Škoviera 2012 equimatchable graf, rozšíriteľnosť párení, karteziánsky súčin grafov, chordálny graf, prienikový graf fundamentálnych cyklov
PeterKošinárKonečné kvantové výpočtové modelydoc. RNDr. Daniel Olejár, PhD. 2005 úvod do kvantových výpočtov, zjednocujúci pohľad, kvantové modely
AlenaKošinárováAbstraktný systém na generovanie vizualizácií algoritmovRNDr. Jana Katreniaková, PhD. 2013 vzdelávanie, vizualizácia, algoritmy
MarekKoštaRozšírené zásobníkové automatyprof. RNDr. Pavol Ďuriš, PhD. 2011 Zásobníkový automat, flipový zásobníkový automat, sila epsilon krokov, Greibachovej normálny tvar, uzáverové vlastnosti
AdriánKočišVzdialenosť medzi syntaktickými stromamiRNDr. Ján Šturc, CSc. 2005 syntaktický strom, FMES, Zhang-Shasha, LALR, porovnávanie štruktúrovaných súborov
VladimírKočíIntegrácia aplikácií pomocou podnikovej zbernice služiebMgr. Pavol Mederly 2007 Integrácia, Enterprise Service Bus, podniková zbernica služieb, Java Business Integration
MartinKralovičŠtandardizácia v oblasti informačnej bezpečnostiDoc. RNDr. Daniel Olejár, PhD. 2008 informačná bezpečnosť, štandardizácia, kategorizácia štandardov
MartinKravecMCMC algoritmus na rekonštrukciu duplikačných históriíTomáš Vinař 2011 Markov chain Monte Carlo (MCMC), rekonštrukcia, duplikácia, história, evolúcia, bioinformatika
OndrejKrškoRobot Karol.NET Návrh jazyka a implementácia kompilátoraRNDr. Marián Vittek, PhD. 2005 Robot Karol kompilátor Microsoft .NET
MartinKrálikPravdepodobnostné modely pre alternatívny zostrih génovMgr. Tomáš Vinař, PhD 2011 alternatívny zostrih DNA, hľadanie génov, pravdepodobnostné modelovanie, inferencia
PetraKubincováHigher-Order Description Logics for MetamodellingMgr. Ján Kľuka, PhD. 2016 description logics, higher-order logic, theory of types, metamodelling
MarcelKucharíkA New Algorithm for Using External Information in Gene FindingMgr. Bronislava Brejová, PhD 2011 gene finding, Hidden Markov models (HMM), external information in gene finding, directed acyclic graphs
TomasKulichThe Distances on WordsProf. Branislav Rovan, PhD. 2006 edit distance, longest common subsequence, delta similarity,
PavelLabathZjednodušenie výpočtov prídavnou informáciouprof. RNDr. Branislav Rovan, PhD. 2010 deterministické zásobníkové automaty, popisná zložitosť, rozklad automatov, prídavná informácia
IvanLabáthAplikácia Item Response Theory pri návrhu ratingových systémovMichal Forišek 2012 Item Response Theory, rating, súťaž, odhad chyby, intervalový odhad, asymetrický odhad, monotónnosť
EvaLichnerováOptimization of the Native XML Database Deployed at the blog.matfyz.sk PortalRNDr. Martin Homola, PhD. 2012 XML, Native XML database, Optimization
MichalLinhardData structure for representation of maximal repeats in stringsMgr. Tibor Hegedüs 2007 maximal repeats, representation of repeats, repetition in strings
MarekLudhaImplementácia prístupu k súborovému systému exFATRNDr. Jaroslav Janáček 2009 exFAT, linux kernel module, data reverse engineering
RobertLukoťkaReal flows in graphsdoc. RNDr. Martin Škoviera, PhD. 2006 Real flows, real flow number, flow number, snark, Isaacs snarks
JurajMacháčOptimization of execution plans in the FlumeJava modelprof. RNDr. Rastislav Královič, PhD. 2016 FlumeJava, MapReduce, Min-cut, Network usage
MartinMackoOn Closure Properties of Quantum Finite Automataprof. Dr. Jozef Gruska, DrSc. 2006 Quantum computation, Quantum finite automata, 1.5QFA, 2QFA, 2QCFA.
TomášMalíkNeurálny model integrácie jazykových a motorických znalostí simulovaného agentadoc. Ing. Igor Farkaš, PhD. 2011 akvizícia významov, vykonávanie akcií, robot iCub
LadislavMaršíkMusic Harmony Analysis: Towards a Harmonic Complexity of Musical PiecesMgr. Martin Ilčík 2013 harmonic complexity, music complexity, harmony analysis, chord transcription, chord progression, music information retrieval, recommender system
JánMazákCircular Chromatic Index of SnarksProf. RNDr. Martin Škoviera, PhD. 2007 snark, circular chromatic index, Blanusa snark
JurajMešťánekSoftware for Annotation of Protein Coding Genes in Yeast Mitochondrial GenomesMgr. Broňa Brejová, PhD. 2010 gene finding, mitochondrial genomes, conditional random fields, external sources of evidence
MilanMikulaSkúmanie výpočtovej sily WPTM pri ohraničeniachdoc. RNDr. Dana Pardubská, CSc. 2014 Turingov stroj, paralelné výpočty, komunikácia
OndrejMikulášVisual navigation of mobile robotRNDr. Andrej Lúčny, PhD. 2013 computer vision, cognitive vision, artificial cognitive system, robotics
MichalMikušKryptograficky silné hašovacie funkcieDoc. RNDr. Daniel Olejár, PhD. 2007 hašovacia funkcia, Merkle-Damgårdova konštrukcia, multikolízia, expandovateľná správa, Nostradamov útok
MarikaMitrengováKombinátory hašovacích funkciíRNDr. Michal Rjaško 2011 kryptogra cká hašovacia funkcia, rodina hašovacích funkcií, robustný kombinátor
Marian MoravekOvplyvnovanie prenosovych charakteristik TCP/IP komunikacieRNDr. Richard Ostertag 2005 TCP/IP, shaping, HTB, Linux, congestion avoidance, ns2, CBQ
PavolMravecFormálne výpočtové modely s bezdrôtovou komunikáciouRNDr. Dana Pardubska, PhD 2007 Turingove stroje, paralelizmus, komunikácia formou komunikačných kanálov
MarekMrázikComputer Supported Cooperative WorkRNDr. Richard Ostertág 2007 Groupware, CSCW, groupware definitions, groupware history, groupware classification, groupware development problems, groupware standards
PeterMájekQuantum Error Correcting Codesdoc. RNDr. Daniel Olejár, PhD. 2005 error correcting codes, CSS codes, stabilizer coding
AttilaMészárosCode Generation from AML to JadexMgr. Radovan Červenka, PhD 2010 Code generation, AML, Jadex, mapping, XMI.
MartinNámešnýVoľba šéfa na cayleho grafoch s lineárnym počtom správdoc. RNDr. Rastislav Královič, PhD 2010 distribuované algoritmy, voľba šéfa, cayleho graf, lineárny počet správ, turnajová schéma, transpozičný les
MichalNánásiBiological sequence annotation with hidden Markov modelsMgr. Broňa Brejová PhD. 2010 hidden Markov models, sequence annotation, viral recombination
MáriaNánásiováFlows In Cayley Graphsdoc. RNDr. Martin Škoviera, PhD 2005 Cayley Graph nowhere-zero flow nikde-nulový tok graf nowhere zero Graph Theory Teória grafov
PavolPanákKonečné automaty so žetónmiprof. RNDr. Branislav Rovan, PhD. 2011 žetón, jednosmerné a dvojsmerné, žetónové automaty, výpočtová sila
RomanPauerCentralizovaný systém pre výmenu správ medzi paralelnými procesmiDr. Tomáš Plachetka 2007 centralizovaný systém, ladenie paralelných programov, paralelný systém, simulátor distribuovaného systému, výmena správ
PeterPerešíniEffective implementation and testing of algorithmsRNDr. Michal Forišek, PhD. 2011 Effective algorithms, C++, STL, simple implementation
PeterPetrovskýAlgorithms and heuristics for antibandwidth problem of bipartite graphsRNDr. Imrich Vrťo, DrSc. 2007 graph theory, antibandwidth, dual bandwidth
MichalPetruchaSelected Topics from Advice ComplexityRNDr. Michal Forišek, PhD. 2014 online problem, advice complexity, competitive analysis, disjoint path allocation, subset sum
MatúšPetruľákZmena identity rečníkaRNDr. Marek Nagy 2010 zmena hlasu, unit selection, identita, rečník
MilanPlžíkImplementácia virtuálneho počítača na x86 hardvériRNDr. Jaroslav Janáček 2010 virtuálny počítač, emulácia, operačný systém, hardvér
LukášPoláčekBroadcasting in radio networksDoc. RNDr. Rastislav Královič, PhD. 2009 Broadcasting, radio networks, distributed algorithms, approximation algorithms
JurajPorubskýVizualizácia distribuovaných algoritmovdoc. RNDr. Rastislav Královič, PhD. 2009 distribuované algoritmy, distribuované programovanie, vizualizácia, simulácia, voľba šéfa, výmena správ
LadislavPápayUse of SAT Solvers in Cryptanalysisdoc. RNDr. Martin Stanek, PhD. 2016 SAT, cryptography, hash functions, heuristics
LadislavRampášekComputational Complexity and Practical Implementation of RNA Motif SearchMgr. Bronislava Brejová PhD. 2012 RNA motív, vyhľadávanie v texte, NP-úplnosť, prehľadávanie s návratom, RNArobo
JánReguliMetrické vlastnosti boolovských funkcií s daným počtom jednotiekDoc. RNDr. Eduard Toman CSc. 2008 Náhodná boolovská funkcia, disjunktívna normálna forma, minimalizácia, pravdepodobnostné metódy
AndrejRidzikAlgoritmy na rozpoznávanie neuropeptidovMgr. Bronislava Brejová, PhD. 2014 proteín, prekurzor, neuropeptid, strojové učenie, support vector machines, conditional random fields
MichalRjaškoProperties of Cryptographic Hash FunctionsRNDr. Martin Stanek, PhD. 2008 cryptographic hash function, provable security, hash function properties, collision resistance, pseudo-random oracle
PeterSchmidtAlgoritmické vlastnosti vnorení grafov do plôchMgr. Michal Kotrbčík, PhD. 2015 vnorenie grafu, rod grafu, karteziánsky súčin, kompletný graf, Barnettova hypotéza, Tuttova hypotéza
IvanaSelečéniováAntidilatácia stromovdoc. RNDr. Rastislav Královič PhD. 2011 stromy, pavúčie grafy, húsenicové grafy, antidilatácia
AndrejSkokInformačný systém AS UKdoc. RNDr. Daniel Olejár PhD. 2016 informačný systém, Akademický senát, procesná analýza, funkčná špecifikácia, bezpečnostný projekt
PavelSkovajsaEnterprise S2S Virtuálne privátne sieteRNDr. Andrej Bebják 2006 VPN, site-to-site, design, VPN multitasking
PavolSlamkaParallelization of Radiosity MethodDr. Tomáš Plachetka 2007 progresívna radiosity, paralelizácia, asynchrónny model
MariánSládekVlastnosti nekonecných slov generovaných pomocou DGSMdoc. RNDr. Pavol Duriš, CSc. 2009 DGSM, nekonecné slová, TAG systémy, vlastnosti, GSPACE
JurajStachoGeometrické vlastnosti náhodne indukovaných podgrafov polených hyperkociekdoc. RNDr. Eduard Toman, CSc. 2005 booleovské funkcie, disjunktívne normálne formy, optimalizácia,pravdepodobnostné metódy, hyperkocky, polené hyperkocky
MonikaSteinováOn the power of local orientationsdoc. RNDr. Rastislav Královič, Ph.D. 2007 local orientation, mobile computing, distributed algorithm
ĽubošSteskalThe Tape--size and Extended Chomsky hierarchyProf. RNDr. Branislav Rovan, PhD. 2006 Super Turing computation, aritmetická hierarchia, nekonečné výpočty, Chomského hierarchia
Tomáš StudvaWysiwyg editačné techniky XML dokumentov s použitím XSLTprof. RNDr. Branislav Rovan, PhD 2007 XML, XSLT, wysiwyg editácia, technika editácie dokumentu, technika editácie pohľadu, obojsmerná transformácia, spätná transformácia
OndrejSvačinaProces integrácie aplikáciíMgr. Pavol Mederly 2007 integrácia aplikácií, proces, prípadová štúdia, Univerzita Komenského
PavolSzórádDynamická vizualizácia informácií v systémoch na podporu rozhodovania na platforme Lotus Notes/DominoIng. Miroslav Uhlár 2009 Komponent. Kompozitná aplikácia. Lotus Notes. Podpora rozhodovania. Vizualizácia.
PavolSúkeníkDatalógové rozhranie pre databázy s agregačnými funkciamiRNDr. Ján Šturc, CSc. 2006 datalóg, evaluácia, vyhodnotenie, stratifikácia, agregačné funkcie, implementácia, interpréter
JánTerkaničZdieľanie informácií o osobách v informačnom systéme Univerzity KomenskéhoMgr. Pavol Mederly 2006 integrácia aplikácií, zdieľanie informácií, centrálna databáza osôb
ĽubomírTeťákRole Based Access Control SystemsRNDr. Martin Stanek, PhD. 2006 Role Based Access Control, RBAC, MAC, DAC, security, NIST, FTP
GyörgyTomcsányiSimulácia PRAM výpočtovdoc. RNDr. Rastislav Královič, PhD. 2012 PRAM, simulácia, paralelné algoritmy
TatianaTóthováSila a zložitosť moderných regulárnych výrazovRNDr. Michal Forišek PhD. 2015 regex, spätné referencie, pozitívny a negatívny lookaround, lookahead, lookbehind, priestorová zložitosť
MichalUlackýBezpečnosť data-link layer v ISO OSI referenčnom modeliRNDr. Andrej Bebják 2006 data-link, bezpečnosť, počítačové siete, model, šifrovanie
AndrásVargaGrammars With Energy and Finite Approximations of Languagesprof. RNDr. Branislav Rovan, PhD. 2014 Grammars With Energy, Monotone Sequences of Finite Languages, Sequences of Approximations, Distances on Languages
RastislavVaškoVyhľadávanie podobných obrázkovRNDr. Elena Šikudová, PhD. 2010 cbir, image retrieval, random subwindows, randomized trees, image similarity, query by image
BorisVidaUsing Transformation in Solving Problems with Supplementary Informationprof. RNDr. Branislav Rovan, PhD. 2015 language transformations, descriptional complexity, a-transducer, information
FilipVojtkoPilotný projekt elektronických voliebdoc. RNDr. Daniel Olejár, PhD 2012 volebný systém, elektronické volby, pilotný projekt, bezpecnostné aspekty, výkonnostné aspekty
MartinVorosAlgebraic attack on stream ciphersRNDr. Martin Stanek, PhD 2007 Algebraic attack, fast algebraic attack, stream ciphers, linear feedback shift register, A5/1, XL algorithm, SAT solver.
TomášVáňaAgrawal's conjecture and Carmichael numbersRNDr. Martin Mačaj, PhD. 2009 primality testing, Agrawal's conjecture, Sophie-Germain primes, Carmichael numbers, Fibonacci pseudoprimes
MarekZemanVýpočtová zložitosť hry NetRNDr. Michal Forišek, PhD. 2010 Výpočtová zložitosť, teória hier, NP-úplnosť
MirkoZibolenŠírenie správ na grafoch s proporcionálnym počtom chybných liniekDoc. RNDr. Rastislav Královič, PhD. 2008 šírenie správ, porporcionálny počet chybných liniek, algoritmus spätného šírenia, algoritmus dopredného šírenia, odolnosť voči chybám
ŠimonZámečníkSpráva distribuovaných systémovRNDr. Rastislav Královič, PhD. 2005 load balancing, checkpointing, PVM, migrácia úloh
TomášZáthureckýNepravidelné asynchrónne bunkové automatyprof. RNDr. Branislav Rovan, PhD. 2006 asynchrónne bunkové automaty, bunkové automaty, asynchrónne výpočty
MartinZíkaDecyklačné množiny na Cayleyho grafochdoc. RNDr. Rastislav Královič PhD. 2008 minimálna decyklačná množina, Cayleyho graf, Pancake graf
FrantišekŠmitalaKonverzia DOCX na XHTMLRNDr. Richard Ostertág 2009 Office Open XML, konverzia formátov dokumentov, DOCX
JaroslavŠoltýsLinux Kernel 2.6 DocumentationRNDr. Jaroslav Janáček 2006 linux kernel documentation operating system
MáriaŠormanováIntegrated digital user profilesRNDr. Martin Homola, PhD. 2016 digital identity, OpenID Connect, identity management, profile data update
MartinŠrámekTransferring information by ringing a cell phoneRNDr. Michal Forišek, PhD. 2014 ringing, phone, side channel, Android
JánŠvantnerVlastnosti náhodne indukovaných podgrafov k-partitného grafudoc. RNDr. Eduard Toman, CSc. 2006 Náhodné grafy, prahové funkcie, Markovova a Čebyševova nerovnosť
TomᚎubrietovskýKryptoanalýza hašovacích funkcií pomoocu SAT solverovdoc. RNDr. Martin Stanek PhD. 2010 BLAKE-32, SAT solver, MD5, kryptoanalýza
FrantišekĎurišMultiparty Communication Complexityprof. RNDr. Pavol Ďuriš, CSc. 2011 communication complexity, bounds, hard functions
MarcelĎurišRozpoznávanie objektov v okolí za účelom vizuálneho merania dohľadnostiRNDr. Andrej Lúčny, PhD. 2012 počítačové videnie, kognitívne videnie, umelá inteligencia, meteorologické pozorovanie

Ostatné diplomové práce obhájené na Katedre informatiky

MenoPriezviskoNázovVedúciRokKľúčové slová
PeterAmbrožPráca procesorov v chránenom režimeRNDr. Jaroslav Janáček 2009 Chránený režim, virtualizácia, systémové programovanie
MarošBajtošNiektoré metrické vlastnosti náhodných prienikových grafovdoc. RNDr. Eduard Toman CSc. 2010 náhodné prienikové grafy, priemer, ekvivalencia
PeterBajčiGrid Computing - Implementácia služby pre Globus ToolkitRNDr. Andrej Bebják 2010 grid, grid computing, globus toolkit, webové služby, implementácia, grid služba, GRAM
AlexandraBaltováIntegrácia aplikácií prostredníctvom výmeny správMgr. Pavol Mederly 2006 EAI, integrácia
DušanBaníkMulticast SecurityDoc. RNDr. Martin Stanek, PhD. 2009 multicast, bezpečnosť, správa kľúčov v skupine, autentifikácia odosielateľa
PeterBartekPattern LanguagesRNDr. Dana Pardubská, PhD. 2007 vzor (pattern), pattern language, multivzor, dvojúrovňové štruktúry
MartinBobákIdentifikácia variantov génov z dát sekvenovania novej generácieMgr. Tomáš Vinař, PhD. 2013 sekvenovanie genómov, zostavovanie genómov, celočíselné lineárne programovanie
PeterBolemantVirtuálne zariadenia: Generátor Linux-ových distribúciíRNDr. Richard Ostertág, PhD. 2011 Linux, distribúcia, online generovanie, automatizácia, generatux
MichalBorgaVlastnosti bezkontextových grafových jazykovprof. RNDr. Branislav Rovan, PhD. 2008 grafové gramatiky, usmerňovanie odvodenia, blokujúce hrany, konfluentnosť
MichalBurgerAtomization of DNA Sequences with Complex Evolutionary HistoryMgr. Tomáš Vinař, PhD. 2010 bioinformatics, DNA sequence analysis, evolution, ancestral reconstruction, simulation
DanielChromekViacnásobné elektronické podpisy v praxiMgr. Juraj Vaško 2006 elektronický podpis, notár, viacnásobný podpis, 542/2002,
PeterCiekerLogic Programming and game theoryMartin Baláž 2012 logicke programovanie, reprezentacia znalosti, nemonotonne uvazovanie, Magic the Gathering, planovacia domena
JozefCiskoSenzorové sietedoc. RNDr. Rastislav Královič, PhD. 2006 senzorové siete, bezdrôtové ad hoc siete, senzory, MAC protokoly, routovanie, broadcastovanie, lokalizácia, agregácia dát
PeterCsibaAnalysis of the generalized recirculation-based learning algorithms in bidirectional neural networksdoc. Ing. Igor Farkaš, PhD. 2014 supervised learning, neural network, heteroassociative mapping
MariánDevečkaBalancovaný Antispamový SystémRNDr. Marián Vittek, PhD. 2009 Spam, Filtrovanie Spamov, Antispamový Systém, XPCOM, Prídavný Modul
ViliamDillingerUčenie sekvencií pomocou hierarchickej neurónovej siete s echo stavmidoc. Ing. Igor FarkašPhD. 2011 hierarchická neurónová sieť s echo stavmi, učenie, sekvencie, časový rad Mackey-glass, Reberova gramatika
ĽubošDobrovodaPodpora ľudských úloh v biznis procesoch zapísaných v jazyku BPELMgr. Pavol Mederly 2008 biznis proces, workflow, BPEL, workflow resource patterns, ľudské úlohy
MarekDoršicKontrola správnosti času autorít časových pečiatokMgr. Juraj Vaško 2005 časová pečiatka, kontrola, správnosť času, autorita časových pečiatok, TSA, NTP, GPS, metrológia, nadväznosť
TomášDrimalKnižnica (framework) pre kreslenie grafovRNDr. Richard Ostertág 2009 vykresľovanie grafov, Silverlight, C#, interaktívny systém
MartinEiflerRozoznávanie matematických dokumentovRNDr. Ján Šturc, CSc. 2005 OCR
DominikaFedákováMobilita v ad-hoc sieťachprof. RNDr. Rastislav Královič, PhD. 2014 ad-hoc sieť, mobilita, android, GPS aplikácia, model pohybu, ACRM model, Random Walk, Random Waypoint, Gauss-Markov model, pravdepodobnostný Chiangov model, Levy Walk model, Akaike informačné kritérium, MLE, dvojvýberový Kolmogorov-Smirnov test
JurajFehérMultidimenzionálny databázový model a OLAPRNDr. Ján Šturc, CSc. 2007 Business Intelligence, data warehouse, on-line analytical processing, OLAP, hypercube
JozefFekiačE0L FormyRNDr. Mária Pastorová 2014 E0L systém, E0L forma, dfl-substitúcia, vizualizácia E0L foriem
MartinFiloSteganografické systémy, a digitálna vodotlač pre vektorové digitálne mapyRNDr. Richard Ostertág 2005 steganografia, digitálna vodotlač, vektorové mapy, spektrálna doména, sieť, mesh, laplacian, transformačná báza
PeterFrličkaIP telefóniaRNDr. Martin Domány 2006 IP telefónia, VoIP, ENUM, SIP, H.323, SIP-H.323 prekladač, Asterisk, E.164, oh323
AndrejGatialTestovanie prvočíselnosti - Algoritmus AKSRNDr. Jaroslav Guričan CSc 2005 prvočísla AKS
PeterGatialEfektívne vyhľadávanie ciest v real-time stratégiáchRNDr. Michal Forišek, PhD. 2010 Pathfindig, AStar, Dijkstra, BFS, PCD, Landmark, Multithreaded
SoňaGibaštíkováFinding Conserved Gene Clusters in Duplicated GenomesMgr. Bronislava Brejová, PhD. 2014 whole genome duplication, duplicated genome, gene cluster, approximate gene cluster
FrantišekGregaMalé dvojité cyklové pokrytia v grafochprof. RNDr. Martin Škoviera PhD. 2011 SCDC, PPDC, EPPDC, cyklus, pokrytie cyklami, grafové nakrytie, šikmý súčin, voľný súčin
JanGregorSietove dohladove systemyIng. Jan Muzslay 2006 dohladovanie sieti, dohladove systemy, sietove protokoly, Simple Network Management Protocol
FilipGschwandtnerInkrementálna editácia matematického textuprof. RNDr. Branislav Rovan 2009 projekt Euromath 2, editácia matematického textu, MathML
OsamaHassaneinFotometrické stereo pre blízke objektyRNDr. Zuzana Berger Haladová, PhD. 2016 Fotometrické stereo, Kalibrácia pozície bodového svetelného zdroja, Distribúcia svietivosti svetelného zdroja
LuciaHaviarováMetrické vlastnosti čiastočných boolovských funkciídoc. RNDr. Eduard Toman, CSc. 2011 náhodná čiastočná boolovská funkcia, disjunktívna normálna forma, pravdepodobnostný priestor, interval
JanaHerškováHypertext in Art (Literature)Dr. Veith Risak 2006 hypertext, hypermedia, literature
MilosHomolaModerné trendy pri tvorbe webaplikáciíRNDr Richard Ostertág 2007 webové aplikácie, AJAX, XUL, XAML, Silverlight, Flash
MichalHozzaZarovnávanie sekvencií s použitím metód klasifikácieMgr. Tomáš Vinař, PhD. 2014 zarovnávanie sekvencií, dodatočná informácia, strojové učenie, náhodné lesy, anotácie, skryté markovské modely
JánHozzaRekonštrukcia histórií génových zhlukovMgr. Tomáš Vinař, PhD 2016 DNA sekvencia, génový zhluk, rekonštrukcia, strojové učenie, evolúcia
MichalHrobárSystém na správu vyučovaniaRNDr. Mária Pastorová 2010 žiacka knižka, rozvrh, suplovanie, PHP, internetová aplikácia
IgorInášProfilovanie aplikácií spúšťaných vo virtuálnych strojoch spĺňajúcich Java špecifikáciuIng. Radovan Sninský 2006 Java, virtuálny stroj, profilovanie, optimalizácia, profilovacie nástroje
PeterJuhászAnonymizácia a ochrana dátRNDr. Michal Malý 2011 Anonymizácia dát, osobné údaje, ochrana osobných údajov
AdriánJágrikEfektívne programovanie v jazyku ABAPIng. Michal Procházka 2009 ABAP, Open SQL, výkonnosť
DominikKapišinskýType-Awareness in Dynamic LanguagesRNDr. Tomáš Kulich, PhD. 2014 Dynamic programming languages, Python 3, Type inference
RobertKasanickýPrehľad výsledkov o sieťachDoc. RNDr. Ferdinand Gliviak CSc. 2005 kapacitné siete, Petriho siete
JánKlimanOdhady veľkosti pokrytí náhodne indukovaných podgrafov n-rozmernej hyperkockyDoc. RNDr. Eduard Toman, Csc. 2009 náhodný graf, iredudantné pokrytie, hyperkocky a maximálne hyperkocky, asymptotické odhady
AntonKohutovičblog.matfyz.sk -- community blog portalRNDr. Martin Homola 2008 blogy, xml, xml databázy, hodnotiace algoritmy
IgorKoleničREKONŠTRUKCIA OBJEKTOV S VYUŽITÍM VIACNÁSOBNÝCH POHĽADOVRNDr. Ján Lacko 2010 hľadanie čŕt, afinná invariancia, škálová invariancia
PeterKopáčJednotná autentifikácia používateľov webových aplikácií na UKMgr. Pavol Mederly 2007 single sign-on, webové aplikácie, správa používateľskej identity, autentifikácia
MagdalénaKovalíkováMetrické vlastnosti boolovských funkcií s daným počtom jednotiekdoc. RNDr. Eduard Toman, CSc. 2006 náhodné boolovské funkcie, disjunktívne normálne formy, minimalizácia, pravdepodobnostné metódy
JakubKováčKonštrukcia grafov pomocou mobilných agentovprof. RNDr. Rastislav Královič, Phd. 2014 konštrukcia grafov, agent, anonymný graf, hyperkocka, prehľadávanie grafov, grafové gramatiky
JaroslavKošťálSystém na podporu rozvrhovania na FMFI UKRNDr. Mária Pastorová 2007 podpora rozvrhovania, rozvrhový portál
JanKořenekValidácia textu lexikografických dielIng. Vladimír Benko 2005 validačný parser proprietárny značkovací jazyk XML SGML TEI
MilanKubalaWeb Application SecurityRNDr. Jozef Vyskoč 2005 web, development, security
MarianaKuchyňárováHra pre virtuálne múzeum v prostredí COLLADAdoc. RNDr. Andrej Ferko, PhD. 2010 COLLADA, počítačová hra
MatúšKókai1-faktorizácie na hyperkockách a star grafochdoc. RNDr. Rastislav Královič PhD. 2010 1-faktorizácia, semi-perfektnosť, hyperkocka, star graf, izomorfizmus, heuristika
MartinLabancOptimalizácia relačných dotazov s agregačnými funkciamiRNDr. Ján Šturc CSc. 2005 aggregation query optimization algebra
PeterLenčéšKolmogorovská zložitosť a jej využitiedoc. RNDr. Dana Pardubská, PhD. 2010 Kolmogorovská zložitosť, najkratší popis, popisná zložitosť, nestlačiteľnosť, metóda nestlačiteľnosti
FilipLikavčanPodpora ubytovacieho procesuMgr. Martin Králik 2008 ubytovací proces, webová aplikácia, automatizácia
IgorLiškaNávrh a implementácia klientských pohľadov nad NoSQL databázamiRNDr. Tomáš Kulich, PhD. 2015 single page aplikácie, synchronizácia, NoSQL, MongoDB, publish, subscribe
MatejLučeničMožnosti využitia ľudského postupu pri riešení ťažkých problémov v informatikeDac. RNDr. Juraj Procházka CSc. 2009 problém obchodného cestujúceho, hamiltonovská kružnica, lineárne prehľadávanie, konvexný obal, metóda najlacnejšieho vkladania, lokálna optimalizácia
MiroslavMajdanQoS a multicasty v prostredi OSPFIng. Ladislav Ivancik 2007 ospf, qos, multicast
MartinMalárPočítač učiteľ čítania - experimentálna implementáciaRNDr. Marek Nagy 2007 rozpoznávanie reči gcompris linux
MarekManduchSiete senzorov pre monitorovanie roviny použitím rotačných a lúčových senzorovMgr. Stefan Dobrev, PhD. 2013 detekcia votrelca, monitorovanie oblasti, sieť senzorov, rotačný senzor, lúčový senzor, dynamické monitorovanie
PavolMarekeEHIC ako nositeľ údajov urgentnej medicínyIng. František Soviš CSc. 2008 eHealth, emergency data set, EDS, health professional card, HPC, patient data card, eEHIC, údaje urgentnej medicíny, čipová karta pacienta, informatizácia zdravotníctva, národný zdravotnícky informačný systém
PeterMatejkaAnalýza a praktická implementácia softvérových metrík pre oblasť Adaptability SW produktuMgr. Róbert Kormaňák 2006 ISO, metrika, adaptabilita
TomášMečířVplyv konečnej šírky pásma na speed-up paralelných úlohRNDr. Igor Odrobina, CSc. 2005 paralelizmus efektivita cache zbernica šírka pásma
StanislavMiklíkSystémy pre elektronický obchod - funkcionalita a bezpečnosťdoc. RNDr. Daniel Olejár, PhD. 2006 elektronický obchod, informačná bezpečnosť
MatejMinárikReconstruction of corrupted XML documentsDr. Veith Risak 2005 XML reconstruction well-formed structure
JurajMinárikLindenmayerove systémy s interakciouRNDr. Mária Pastorová 2006 IL Lindenmayer system context sensitive IL generator
RastislavMlčochAplikácia OCL v UML profilochIng. Miroslav Líška 2006 UML, UML profily, OCL, unifikácia analytických modelov
JánOravecŠkálovatelné smerovanie v Ad-Hoc sieťachRNDr. Rastislav Královič, PhD. 2006 Ad-Hoc siete, MANET, smerovací protokol, smerovanie dát
PeterOrolínTriedy jazykov definované pomocou obmedzení LBAProf. RNDr. Branislav Rovan, PhD. 2008 LBA, DLBA, zmena obsahu políčka, sweep automaty
JaroslavOrságObject-relational mappingIng. Arch. Augustín Mrázik 2006 Persistence, Mapping, Object-relational mapping, ORM, Persistence framework, Object-oriented programming, OOP, Relational database, RDBMS
OndrejPašuthVoľba šéfa v sieťach s chybnými linkamidoc. RNDr. Rastislav Královič PhD. 2011 dynamické chyby, jednoduchý prahový model, voľba šéfa, synchronizácia, vlákno
MichalPecuchBezdrôtové senzorové sieteDoc. RNDr. Rastislav Královič, PhD. 2010 bezdrôtové sieťe, distribuované algoritmy, grafové algoritmy, komunikácia, topológia
MartinPerneckýSecurity of wireless networks based on ANSI/IEEE 802.11Mgr. Ivan Kopáčik 2005 wireless networks, security, authentication, availability, privacy, confidentiality, EAP, WEP, WPA, TKIP, CCMP
TomášPetríkTvorba šachového enginuRNDr. Ján Šturc, CSc. 2005 chess, engine, offset representation, bitmap representation, alpha-beta pruning, historic heuristic
MartinPijakKvantové komunikačné protokolyMário Ziman 2009 BB84, B92, modifikácie
MartinPinterInternal and External dependencies in node.js Package ManagerRNDr. Tomas Kulich, PhD. 2016 package manager, zdieľané závislosti, súkromné závislosti, Node.js, NPM, simulované žíhanie
LuciaPiváčkováAgent pre prieskum v real-time strategických hráchprof. Ing. Igor Farkaš, Dr. 2016 učenie posilňovaním, StarCraft, prieskum, mikromanažment jednotiek
MiroslavPomsarPrehlad a porovnanie content management systemovRNDr. Richard Ostertag 2007 CMS Obsah Weblog Wiki Metdata Hypertext
EvaPorvaznikovaAutomatizovaný preklad XSLT do STXRNDr. Jana Dvořáková, PhD. 2012 XML, XSLT, STX, XML transformácia, prúdové spracovanie, pamäťová zložitosť
JurajPrievalskýOptické rozpoznávanie testovRNDr. Richard Ostertág 2009 optické rozpoznávanie testov, topologické značky, geometrické značky
GustávPálosKomunikácia aplikácií v informačnom systéme Univerzity KomenskéhoMgr. Pavol Mederly 2006 integrácia aplikácií, Java Message Service, porovnanie implementácií JMS, spoľahlivosť, adaptér
MichalRajniakElektronické bankovníctvo prostredníctvom webservisovIng. Ivan Tarapčík 2006 web services, webové služby, elektronické bankovníctvo, IFX
JozefRačákNávrh systému na tvorbu rozvrhu s využitím technológie AjaxRNDr. Zuzana Kubincová 2006 Ajax, rozvrh, navrhovanie rozvrhu
MartinRejdaModular Redesign of The blog.matfyz.sk PortalMartin Homola 2010 Weblogy, Modulárny dizajn, XSLT, XML, XML databáza
MartinRublíkElektronický podpis právny a technologický pohľaddoc. RNDr. Daniel Olejár PhD. 2005 Elektronický podpis, PKI, UNCITRAL, Direktíva EU o elektronickom podpise, Slovenský zákon o elektroncikom podpise, informačná bezpečnosť
JánRuhalovskýDetekcia nejednoznačnosti bezkontextových gramatíkRNDr. Richard Ostertág, PhD. 2014 detekcia nejednoznačnosti bezkontextových gramatík, regulárna aproximácia bezkontextových gramatík, aproximačná stratégia, metódy detekcie nejednoznačnosti
MichalSaboAlgorithms for Gene Tree Reconciliationdoc. Mgr. Bronislava Brejová, PhD 2015 reconciliation, phylogenetics, gene tree, species tree, speciation, du- plication
DušanSalajVehicle Routing Problém Metódy riešeniaDoc. RNDr. Juraj Procházka CSc. 2007 Vehicle Routing Problem, Capacited VRP,
MartinSarvašAlgoritmus vedenia hrán pre nedisjunktné vrcholyRNDr. Jana Katreniaková, Phd 2013 Algoritmus, vizualizácia grafov, vedenie hrán, graf, fixné vrcholy, nedisjunktné vrcholy
MatúšSekeraPodpora výučby teórie kódovaniaDoc. RNDr. Daniel Olejár, PhD. 2006 teória kódovania, výučba
JánSliackyVyrovnávanie zaťaženia na nespoľahlivých procesorochDr. Tomáš Plachetka 2010 vyrovnávanie zaťaženia, spoľahlivosť, odolnosť voči chybe
Veronika SládekováMethods Used for Requirements EngineeringMgr Radovan Červenka 2007 software requirements, requiremnets engineering, formal methods, natural language requirements, graphical methods
BorisSlávikRefaktorovanie ako metóda údržby softvéru - súčasný stavRNDr. Marián Vittek, PhD. 2005 refaktorovanie, prehľad, údržba softvéru, softvérové inžinierstvo, extrémne programovanie
JozefSpišiakLocal construction of dominating setRNDr. Stefan Dobrev, PhD. 2011 dominating set, graph theory, NP-complete problem, local algorithm, wireless networks
RudolfStarovskýNajkratšie pokrytie grafu cyklamiRNDr. Edita Máčajová, PhD. 2010 najkratšie pokrytie cyklami, cykly, kružnice, snarky, pokrytie 1-faktormi, dvojité pokrytie cyklami, prechádzka čínskeho poštára
MartinStrapkoMetódy útoku hrubou silou na TrueCryptRNDr. Richard Ostertág PhD. 2016 TrueCrypt, útok hrubou silou, bezkontextové gramatiky, Markovovský zdroj, používateľské heslá
PavelStruhárNajmenší nie minimálny zmysel pre orientáciudoc. RNDr. Rastislav Královič PhD. 2010 distribuované výpočty, topológie regulárnych grafov, zmysel pre orientáciu
EvaSzarkováBezpečnosť bezdrôtových sietí štandardu IEEE 802.11RNDr. Jaroslav Janáček 2007 IEEE 802.11, WEP, bezpečnosť, bezdrôtové siete, bezpečnosť bezdrôtových sietí
MarcelSýkoraWeb formulárový frameworkIng. Maroš Ivančo 2009 framework, web formulár, web front-end, webová aplikácia
MartinTrnovecReakcia na bezpečnostné incidentyRNDr. Jozef Vyskoč. PhD 2005 incident reakcia bezpečnosť
LenkaTrojakováŠtúdium niektorých vlastností náhodne indukovaných podgrafov n-rozmernej hyperkockydoc. RNDr. Eduard Toman, CSc. 2011 Náhodné grafy, prahové funkcie, jadrová podkocka, regulárny vrchol, iredundantná disjunktívna normálna forma.
JakubUhríkTwo-way databinding of models and views in DartRNDr. Tomáš Kulich, PhD. 2014 Databinding, Dart, Facebook React, User Interface, Component driven views, Template driven views, AngularJS
EvaVasilováVyužitie multiagentových platforiem pre systémy riadenia technologických procesovRNDr. Peter Fabo, PhD. 2006 autonómny agent, multiagentové systémy, distribuovaná umelá inteligencia, multiagentové platformy, softvérové inžinierstvo, systémy riadenia technologických procesov.
JozefVavroImplementacia variantu systemu Program Composition NotationRNDr. Damas Gruska, PhD. 2006 paralell programing, program composition notation
MartinVeselýSilné hranové farbenie regulárnych grafovRNDr. Edita Máčajová, PhD. 2011 silný hranový chrimatický index, teória grafov, silné hranové farbenie
MatejVinceVlastnosti programov zo stratégiamiRNDr. Peter Borovanský, PhD. 2009 systémy na prepisovanie termov, problém zastavenia, implementácia nerozhodnuteľných problémov
MartinVišňovecSystém na hľadanie ortológov v pribuzných genómochMgr. Tomáš Vinař, PhD. 2013 gény, homológy, ortológy, štruktúra génu, viacnásobné zarovnanie
MartinVlčákPodobnosť slovRNDr. Michal Forišek PhD. 2011 Podobnosť slov, semantika, www, vyhľadávač, kontext, metrika, vzdialenosť
MichalVojtechNasadzovanie a obsluha IP/VPN sietí v prostredí štandardných telekomunikačných sietíRNDr. Andrej Bebják 2005 IP, Virtual Private Network, PSTN, Voice over IP, Asynchronous Transfer Mode, Frame Relay
DavidZacharEdit distance on trees and their representationsprof. RNDr. Branislav Rovan, PhD. 2010 tree distance, string distance, edit distance, coding trees to strings, encoding trees, euler string, binary tree code, level code, tree representations
DanicaZajacováEvolučné algoritmy pre tvorbu rozvrhovMgr. Pavel Petrovič, PhD. 2013 tvorba rozvrhov, evolučné algoritmy
ŠtefanZajíčekMagické transformácie pre DatalógRNDr. Ján Šturc, CSc. 2008 datalóg, negácia, evaluácia, magické transformácie, vyhodnotenie, zdola-nahor, implementácia
DominikZajíčekPárenia na súčinoch grafovMgr. Michal Kotrbčík, Ph D. 2014 graf, párenie, equimatchable, tenzorový súčin grafov
JurajZemianekBipartizujúce párenia v kubických grafochProf. RNDr. Martin Škoviera, PhD. 2009 Bipartizujúce párenie, Dominujúca kružnica, Snark, Dominating Cycle Conjecture, Sabidussi Compatibility Conjecture, Cycle Double Cover Conjecture, Bipartizing Matchings Conjecture, Nowhere-zero 5-flow Conjecture
TomášZáhorecVytváranie a overovanie archívnych elektronických podpisovdoc. RNDr. Daniel Olejár PhD. 2008 archívny zaručený elektronický podpis, public key infrastructure, potrebná informácia/údaje
MichalŠikerleOchrana spustiteľného kóduMgr. Miroslav Demeter 2007 Ochrana softvéru, ochrana integrity spustiteľného kódu, hešovanie, samoopravné kódy
LukᚊpalekZoznamové farbenia grafovRNDr. Edita Máčajová PhD. 2010 zoznamové farbenie, hypotéza o zoznamovom farbení
MichalŠtrbkaDistribuovaný transakčný systémDr. Tomáš Plachetka 2007 fault tolerance, message passing, distribouvaný systém
ViktorŠtujberPractical Data Compressiondoc. RNDr. Pavol Ďuriš, CSc. 2008 lossless data compression, multiple algorithms, parallel processing, metrics
MichalŠusterInterpreter UNITYRNDr. Damas Gruska, PhD. 2006 UNITY, Unbounded Nondeterministic Iterative Transformations, interpreter, automatické nástroje na generovanie analyzátorov, C# Lex, Jay, LR parser
PeterŽiakMetodika vývoja multi-agentových aplikáciíMgr. Radovan Červenka 2005 agent, MAS, multi-agentové systémy, metodika, softvérové inžinierstvo, vývoj MAS
ĽubomírŽákIntegration of Text Editor with Code-Analysing ToolRNDr. Tomáš Kulich, PhD. 2014 Plugin, IDE, Dynamic language, Python, Parser, Lexer, Code analysis
MartinČulenXML, databázy a webové služby - meteorologické webové službyIng. Imrich Buranský, CSc. 2005 XML, web services, XML database,
MartinĎurišZachovávanie mentálnej mapy hrán pri interakcii s grafomRNDr. Jana Katreniaková, PhD. 2013 Mentálna mapa, zachovávanie mentálnej mapy, graf, kresliace algoritmy
JurajĎuďákTagging system for the blog.matfyz.sk portalMgr. Juraj Frank 2011 tag, tagging system, web application, tagcloud, folksonomy

Diplomové práce odovzdané na Katedre aplikovanej informatiky

MenoPriezviskoNázovVedúciRokKľúčové slová
PavolAdamÚvod do metód spracovania zvuku v súčasnom multimediálnom prostredíĽubomír Lúčan, CSc. 2006 metódy spracovania zvuku, kompresia zvuku, zvukové formáty
Júlia BirošováInteraktívna učebnica rozpoznávania obrazcovdoc.RNDr Milan Ftáčnik .CSc 2007 Tvar, Príznakové metódy, Štrukturálne metódy, Iné metódy reprezentácie znalostí, Porozumenie
MiroslavaBožekováComparison of Handwritingsdoc. RNDr. Milan Ftáčnik, CSc. 2008 handwriting, writer verification, grapheme, clustering
PeterDrábikOn Disjunction in Modal LogicsRNDr. Damas Gruska, PhD. 2007 modal logic, non-normal, disjunction, distribution, neighbourhood, non-emergence
MartinFlorekUsing modern hardware for effective large data visualizationMgr. Matej Novotny 2006 infovis hardware gpu scatterplot parallel coordinates transfer function blending
MichalGlausModelovanie dynamiky impulzných neurónových sietí (model SRM)Ing. Igor Farkaš, PhD. 2006 impulzné neurónové siete, neurálne zoskupenia, samoorganizácia, SRM
TomášHanakovičDiktovanie matematických formúlMgr. Marek Nagy 2006 diktovanie, matematika, rozpoznávanie reči
SlavomírHudákVizualizácia Dát z Konfokálneho MikroskopuRNDr. Marek Zimányi 2006 Volume ray-casting, parallel rendering, PC clusters, binary swap algorithm.
MichalHučkoPlatformovo nezávislý engine na renderovanie objemových dátRNDr. Michal Červeňanský 2008 objemová vizualizácia, vizualizačný engine, vzdialená vizualizácia
MartinIlčíkIntegral Lines in Explorative Visualization of Large Unsteady Flow Simulation Dataprof. Dr. Helwig Hauser, PhD. 2008 Computer Graphics, Flow Visualization, Feature Specification, Integral Lines
OndrejJaborníkTriangulácia implicitne definovanej plochyRNDr. Pavel Chalmovianský, PhD. 2006 Triangulácia, Implicitne definované plochy, Marching Cubes, Marching Triangles, Detekcia hrán
PeterJankovičSémantická reprezentácia pragmatických znalostíRNDr. Martin Takáč 2007 kauzalita, plánovanie, rozlišovacie kritériá, BDI
MichalJančokNewtonian Global Illumination, Algorithmic Solution, Implementation and ParallelizationDr. Tomáš Plachetka 2007 global illumination, monte-carlo methods, rendering
MichalJančošekFeature Detection and Tentative Correspondence Estimation in Wide Baseline StereoDoc. RNDr. Andrej Ferko PhD. 2005 Baseline Stereo; Tentative Correspondence; Maximally Stable Extremal Regions; MSER; Local Affine Frames; LAF; True Tentative Correspondences; TTC
PavolKaiserAutomatická korekcia textu pomocou neurónových sietíIng. Igor Farkaš 2007 neurónová sieť, MSOM, korekcia textu
PavolKorinekVizualizácia vybraných algoritmov a vlastnosti z teorie grafovdoc. RNDr. Andrej Ferko, PhD. 2007 vizualizácia vlastností grafov teória grafov graf vlastnosti grafov algoritmi na grafoch
EvaKulkováPrehľad knižníc na podporu spracovania obrazuDoc. RNDr. Milan Ftáčnik, PhD. 2007 grafická knižnica, spracovanie obrazu, pocítacové videnie
TomášLackóVybrané vlastnosti Bernsteinovej-Bézierovej bázyRNDr. Pavel Chalmovianský, PhD. 2006 Bernstein basis, resultant, resultant matrix, intersection of curves
PeterLeckýGPS navigátor pre mobilné telefóny s operačným systémom Symbian určený pre zrakovo postihnutých používateľovRNDr. Marek Nagy 2007 GPS
TomášMacháčekPostScriptové nástroje na vykresľovanie geometrických objektovRNDr. Pavel Chalmovianský, PhD. 2006 PostScript, tienovanie, perspektívna projekcia, viditelnost, 3D scéna
MichalMalýComplexity of Revised Stable ModelsProf. Luís Moniz Pereira 2007 logic programming, semantics, Stable Models, reductio ad absurdum, complexity, lattice
MariánMarcinčákRefaktorovanie jazyka JavaScript a DHTMLRNDr. Marián Vittek, PhD. 2005 refaktorovanie, JavaScript, DHTML, katalóg, reštrukturovanie
ĽubomírMaťúšFraktálna kompresia obrazudoc. RNDr. Andrej Ferko, PhD. 2006 fraktálna kompresia, fraktálna transformácia, IFS, HV schéma
PeterMaňkaMultimediálna čítankaMarek Nagy 2007 rozpoznávanie reči, dynamic time warping, DTW, slajdovacie DTW
JánMichaličkaŠtatistický strojový preklad veľmi blízkych jazykov (slovenčina - čeština)Mgr. Ján Habdák 2005 statistical machine translation of very close languages
AndrejMihalikAlghoritm Design For Real-Time Rendering of the Natural WatersRoman Durikovic 2008 refraction, reflection, caustics
JurajMojíkModelovanie komunikácie v multiagentových systémochMartin Takáč 2007 multiagentové systémy, modelovanie, komunikácia, farbené Petriho siete, JADE
PeterNatherN-Gram based Text CategorizationMgr. Jan Habdak 2005 N-gram, text categorization, text clusterization
MarekPalanskýAkvizícia gramatiky v modeli so sémantikou rozlišovacích kritériíRNDr. Martin Takáč 2008 jazyk, gramatika, kognitívna sémantika, rozlišovacie kritérium, bootstrapping
KamilPaulínyAnalýza multispektrálnych dát z konfokálnej mikroskopie.RNDr. Anton Mateašik, PhD. 2007 konfokálny mikroskop, fluorescencia, dekompozícia spektrálne odlíšených dát, Independent Component Analysis.
MarekPetrikLearning Parallel Portfolios of AlgorithmsRNDr. Mikular Popper 2005 AI, Algorithms, Machine Learning, Vapnik-Chervonenkis, Markov Decision Process, Portfolios
JurajPlavčanReprezentácie v evolučnom dizajneMgr. Pavel Petrovič 2007 evolučný dizajn, (priama, nepriama) reprezentácia tvarov, fyzikálny model a simulácia, distribuovaný evolučný výpočet, genetický algoritmus, genetické programovanie
MichalPokornýSpracovanie štruktúrovaných dát pomocou lineárnej RAAMIng. Igor Farkaš, PhD. 2006 neurónové siete, štruktúrované dáta, lineárna RAAM, kódovanie terminálov, systematickosť
TomášPoláčekKombinácia automatických a vizuálnych metód dolovania dátMgr. Matej Novotný 2008 vizualizácia, dolovanie dát, K-Means, segmentácia dát
VladimírRepiskýCovering edges of a hypergraph: complexity and applicationsMgr. Tibor Hegedüs 2007 Threshold hypergraph, Hypergraph covering, NP-completeness
MilanRužičkaCollaborative paintingMgr. Vladimír Tužinský 2007 počítačová grafika, nefotorealistické zobrazovanie, distribuované kreslenie
VladimírRácko3D Vizualizácia Seizmických Vlnových PolíProf. RNDr. Peter Moczo, DrSc. 2005 3D Vizualizácia, FDM, Raycasting, Sezimický, volumetrická hmla, OpenGL
MichalRéckyFast Area-Based Stereo AlgorithmRNDr. Kateřina Dařílková 2006 epipolar, stereo, computer vision
TomášSakoSynthesis of motion capture dataRNDr. Stanislav Stanek 2008 motion capture, motion blending, registration curves, motion synthesis
LenkaSlanáDetekcia a sledovanie ľudskej postavy v sekvencii obrazovRNDr. Peter Gejguš 2006 rozpoznanie postavy, segmentácia objektov
MartinSlotaTransformational Semantics and Implementation of Evolving Logic Programsdoc. PhDr. Ján Šefránek, PhD. 2007 Logic Programming, Stable Model Semantics, Evolving Logic Programs, Transformational Semantics, Implementation
VojtechSlovikRozpoznávanie foném čísiel slovenského jazyka neurónovou sieťouRNDr. Marek Nagy 2007 rozpoznávanie reči, fonémy, neurónové siete, Viterbiho algoritmus
SilviaStrungováZbierka príkladov z počítačového videniaDoc.RNDr. Milan Ftáčnik, PhD. 2008 Počítačové videnie, ImageJ, zbierka príkladov
MartinSvetlíkSimulácia impulzných neurónových sietí pomocou udalostí, model JASTAPIgor Farkaš 2007 Impulzné modely neurónov, Impulz, Udalosť, JASTAP
MartinTrojákSkloňovanie podstatných mien v slovenčine pomocou neurónovej sieteIng. Igor Farkaš PhD. 2005 dopredná neurónová sieť, podstatné mená, skloňovanie,
MichalTurčekApplication of Dynamic Logic Programming in Evaluation of Computer Games' World StateMgr. Jozef Šiška 2007 knowledge representation, computer games, Dynamic Logic Programming
MariánUherčíkImplicit Surface Reconstruction using Local Approximations from Unorganized Set of PointsRNDr. Pavel Chalmovianský, PhD. 2005 Implicit Surface Reconstruction, Local Approximations, Sharp Features Reconstruction, Edges and Corners
Zuzana ValentováTvorba a publikácia matematickej terminológie pomocou XMLDoc. RNDr. Andrej Ferko, PhD. 2006 XML, MathML, matematická terminológia, terminológia z pg
MichalValkoEvolving Neural Networks for Statistical Decision TheoryMgr. Radoslav Harman, PhD. 2005 decision theory, neural networks, genetic algorithms, JASTAP, spiking neuron models, information processing, neural modeling, decision systems, artificial intelligence, diploma thesis, master thesis
AntonVaškoSIMD Optimization in Volume RenderingIng. Miloš Šrámek 2005 SIMD, Optimization, Volume Rendering, Bricking, Cache
RonaldWeissVizuálne programovanie riadiaceho systému pre kolóniu robotovRNDr. Andrej Lúčny PhD. 2007 mobilné roboty, riadiaci systém, vizuálne programovanie, Agent-Space
FilipZigoReal-time global illumination of dynamic scenesDoc. RNDr. Roman Ďurikovič, PhD 2008 global illumination, real-time rendering, complex scenes, dynamic scenes, gpu programming
MartinZlatýMultimediálny ŠlabikárRNDr. Marek Nagy 2007 rozponávanie reči, neurónové siete, binary-pair partitioning, DTW
IvanŠeďoReal-time friendly representation of arbitrary BRDF with appearance industry measurementsDoc. RNDr. Roman Ďurikovič, PhD. 2007 GPU, spherical harmonics, real-time rendering, BRDF, spectral rendering, wavelets, appearance, gloss, virtual glossmeter
RostislavŠimoníkNávrh systémovo nezávislej desktop platformyRNDr. Damas Gruska, PhD 2007 nezávislá platforma, aplikačna logika, vizualizácia, model view controller, rozhranie, desktop
RasťoŠrámekThe on-line Viterbi algorithmTomáš Vinař, PhD. 2007 hidden Markov models, Viterbi algorithm, information theory, gene finding
MartinŠtefčekVysoko úrovňové programovanie súčasných GPURNDr. Peter Borovský 2006 Shader, CG, OpenGL, GPU, Relief texture mapping
JánŽižkaConstruction of 3D mapDoc. RNDr. Andrej Ferko, PhD. 2007 Vizuálne modelovanie, Štruktúra a pohyb kamery, Rekonštrukcia scény, SLAM
MilošČernákUčenie nesusedných závislostí pomocou rekurentných neurónových sietíIng. Igor Farkaš, PhD. 2005 nesusedné závislosti, rekurentná neurónová sieť, Elmanova sieť, sieť s echo stavmi, hypotéza variabilnosti, segmentácia, generalizácia