|
|---|
| Výborné diplomové práce obhájené na Katedre informatiky
|
|---|
|
|---|
| Meno | Priezvisko | Názov | Vedúci | Rok | Kľúčové slová |
|---|
| Michal | Anderle | Analýza algoritmov pre L(2,1) farbenie grafov | RNDr. Michal Forišek, PhD.
| 2016
| L(2,1)-farbenie, vlastné páry, stromy s priemerom 6
|
| Tibor | Bajzík | Broadcasting on Butterfly Network with Dynamic Faults | doc. RNDr. Rastislav Královič, PhD.
| 2006
| Broadcating, Butterfly Network, Wrapped Butterfly Network, shoutcasting
|
| Miroslav | Baláž | Komunikačná zložitosť | Doc. RNDr. Pavol Ďuriš CSc.
| 2009
| Komunikacna zlozitost, 2CNF,2-CNF
|
| Ladislav | Bačo | Šifrovanie zachovávajúce formát | doc. RNDr. Martin Stanek, PhD.
| 2015
| FPE, šifrovania zachovávajúce formát, miešanie kariet, Thorpovo miešanie, matica pravdepodobností, RUL, FNR
|
| Tomáš | Belan | Syntaktická analýza vnorených programovacích jazykov | RNDr. Richard Ostertág, PhD.
| 2015
| syntaktická analýza, parsovanie, programovacie jazyky
|
| Branislav | Belas | Optimalizácia dotazov nad star schémami v Oracle9i | RNDr. Ján Šturc, CSc.
| 2005
| optimalizácia dotazov, oracle, star schéma
|
| Ľuboš | Bisták | Technológie pre webové služby | Mgr. Pavol Mederly
| 2006
| webové služby, bezpečnosť, transakcie, Web Services Invocation Framework, klienti webových služieb
|
| Vladimír | Boža | Problém dvoch obchodných cestujúcich | RNDr. Michal Forišek, PhD.
| 2013
| obchodný cestujúci, PTAS, dynamické programovanie, celočíselné lineárne programovanie
|
| Daniel | Buchta | Paralelizmus v grafových gramatikách | Prof. 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
|
| Radoslav | Buransky | Navrh, implementacia a ohodnotenie zobrazenia informacii do zvukoveho priestoru | Roman Durikovic
| 2007
| HTML, prehliadac, nevidiaci, zrakovo postihnuty, priestorovy zvuk
|
| Lubomir | Cech | Kreslenie grafov | Prof. RNDr. Branislav Rovan Phd.
| 2005
| kreslenie grafov, grafy, dvojfarebne grafy, graphdrawing
|
| Radoslav | Chládek | Algorithms for isometric gene tree reconciliation | doc. Mgr. Bronislava Brejová, PhD.
| 2019
| phylogenetic tree, isometric gene tree reconciliation, inexact branch lengths, parsimony
|
| Juraj | Danko | Štúdia uskutočniteľnosti elektronických volieb | doc. RNDr. Daniel Olejár, PhD.
| 2012
| Elektronické voľby, štúdia uskutočniteľnosti, e-government, informačná bezpečnosť a manažment.
|
| Ján | Danč | Formal Specification of AML | Mgr. Radovan Červenka, PhD.
| 2008
| AML, Agent Modeling Language, MAS, Multi-Agent Systems, Object-Z, OZ, formal specification
|
| Jakub | Daubner | Average degree in the interval graph of a random Boolean function | Doc. RNDr. Eduard Toman, PhD.
| 2008
| random Boolean function, interval graph
|
| Anna | Dresslerová | L(2,1) farbenia špeciálnych grafov | RNDr. Michal Forišek, PhD.
| 2016
| kaktus, cyklový strom, L(2,1)-farbenie
|
| Marián | Dudek | Obmedzené 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
|
| Matej | Duník | Graf farbení | RNDr. Edita Máčajová, PhD.
| 2012
| Kempe-ekvivalencia, graf farbení, $k$-vyberateľnosť, hranové farbenie
|
| Martin | Dzurenko | Podpisové schémy umožňujúce odstraňovanie častí dokumentu | RNDr. Martin Stanek, PhD.
| 2005
| CES, CEAS, stromová prístupová štruktúra, modifikácia RSAProd
|
| Igor | Farinic | The use of Windows USB scanner drivers in Linux | RNDr. Jaroslav Janacek
| 2007
| ovládač, skener, Linux, Windows
|
| Mojmír | Fendek | Súvis generatívnych systémov a alternujúcich Turingových strojov | Prof. RNDr. Branislav Rovan, PhD.
| 2008
| G-systém, ATS, triedy zložitosti, dolný odhad, formálne jazyky
|
| Radoslav | Fulek | Konvexné priesečníkové čísla vybraných tried grafov | RNDr. Ondrej Sýkora, DrSc.
| 2005
| graf, konvexné priesečníkové číslo grafu, konvexné nakreslenie grafu, Halinov graf, mriežky, simulované žíhanie
|
| Peter | Fulla | Advice Complexity of Online Algorithms | prof. RNDr. Rastislav Královič, PhD.
| 2014
| online graph exploration, competitive analysis, advice complexity, online algorithms
|
| Askar | Gafurov | Probabilistic Models for Genome Assembly with Chromatin Interaction Frequencies | doc. Mgr. Bronislava Brejová, PhD.
| 2018
| Genome assembly, maximum likelihood, probabilistic modeling, Hi-C, chromatin interaction frequencies, GAML
|
| František | Galčík | Zložitostné aspekty rádiových sietí | RNDr. Rastislav Královič, PhD.
| 2005
| rádiové siete, broadcasting, grafový model rádiových sietí
|
| Peter | Gazdík | Platnosť Berge-Fulkersonovej hypotézy pre špeciálne triedy snarkov | prof. RNDr. Martin Škoviera, PhD.
| 2010
| snark, Berge-Fulkersonova hypotéza, súčin kubických grafov
|
| Peter | Gaži | Parallel decompositions of finite automata | Prof. RNDr. Branislav Rovan, PhD.
| 2006
| deterministic finite automaton, parallel decomposition, decomposition of state behavior
|
| Peter | Glaus | Mobile Agents in Search for a Faulty Node | doc. RNDr. Rastislav Královič, PhD.
| 2009
| distributed system, mobile agents, faulty node, black hole search, knowledge of incoming link
|
| Radoslav | Golian | Bezpečnosť v databázových systémoch | Ing. 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
|
| Michal | Gondek | Zložitostné aspekty optických sietí | doc. RNDr. Rastislav Královič, PhD.
| 2006
| WDM fault-tolerance, routing cycles over d-dimensional square and tori
|
| Martin | Gábriš | Kryptoanalýza prúdových šifier RC4 a Spritz | doc. RNDr. Martin Stanek, PhD.
| 2016
| RC4, Spritz, kryptoanalýza, extrakcia stavu šifry, SMT solver, prehľadávanie s návratom
|
| František | Hajnovič | Distance oracles for timetable graphs | Rastislav Královič
| 2013
| optimal connection, timetable, Dijkstra's algorithm, distance oracles, underlying shortest paths
|
| Lýdia | Hanusková | Paralelné kooperujúce systémy gramatík | Prof. 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
|
| Libor | Havlíček | Generátory pseudonáhodných čísel | doc. RNDr. Daniel Olejár, PhD.
| 2007
| Generátory, náhodné čísla, štatistické testovanie
|
| Albert | Herencsár | An improved algorithm for ancestral gene order reconstruction | Mgr. Bronislava Brejová, PhD.
| 2014
| small phylogeny problem, ancestral gene order, genome rearrangement, breakpoint distance, DCJ distance
|
| Peter | Herman | Výskum online problémov z hľadiska advice complexity | RNDr. Michal Forišek, Phd.
| 2013
| poradná zložitosť, online farbenie grafov, alokovanie disjunktných ciest, primitívna rekurzia s radou
|
| Andrej | Hollý | Rozšírenia protokolu TCP so zameraním na bezdrôtové a vysoko rýchlostné siete | RNDr. Richard Ostertág
| 2008
| TCP
|
| Ondrej | Holotňák | Zbierka úloh z Teórie grafov | Doc. 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
|
| Miroslav | Hoták | Implementation of Two-dimensional Labelled Security Model with Partially Trusted Subjects in Linux | RNDr. Jaroslav Janáček, PhD.
| 2011
| information flow policy, security model, Linux Security Modules, POSIX capabilities
|
| Peter | Hraška | Browser fingerprinting | RNDr. Michal Forišek, PhD.
| 2018
| fingerprinting, browser, fingerprint, ochrana súkromia, identifikácia
|
| Zuzana | Hromcová | A Secure Linux Desktop Environment | RNDr. Jaroslav Janáček, PhD.
| 2019
| SELinux, desktop environments, security
|
| Ivana | Hudáková | Nedeterminizmus v konečných automatoch | Prof. RNDr. Branislav Rovan, PhD
| 2009
| konečné automaty, nejednoznačnosť, stavová zložitosť, operácie na jazykoch
|
| Jakub | Husár | Niektoré 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
|
| Martin | Ivančík | Využitie virtualizácie na zlepšenie detekcie škodlivého software | RNDr. Jaroslav Janáček PhD.
| 2018
| virtualizácia, hypervisor, rootkit, hook, NDIS, sieťová komunikácia, TCP, ovládač
|
| Richard | Ižip | Temperature correction in meteorological forecasts | doc. RNDr. Robert Lukoťka PhD.
| 2018
| temperature forecasting, linear regression, rolling window
|
| Filip | Janitor | Historické verzie v databázach časových radov | doc. RNDr. Robert Lukoťka PhD.
| 2019
| časové rady, databáza časových radov
|
| Marek | Jančuška | Synchronizácia celulárnych automatov | RNDr. Borislav Šuster, CSc.
| 2009
| synchronizácia, celulárne automaty, stromy
|
| Ondrej | Jariabka | Predicting Human Behavior from Public Cameras with Convolutional Neural Networks | prof. Ing. Igor Farkaš, Dr.
| 2018
| pedestrian movement predictions, human behavior prediction, crowd analysis, deep learning, neural networks, convolutional neural networks, convolutional encoders
|
| Julius | Juhász | Analý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
|
| Jakub | Jursa | Dátové štruktúry pre uchovávanie sekvenovacích dát | Mgr. Tomáš Vinař PhD.
| 2015
| dátové štruktúry a algoritmy, sekvenovacie ready, indexovanie, bioinformatika
|
| Peter | Jurčovič | Paralelné prehľadávanie herného stromu | RNDr. Rastislav Královič, PhD.
| 2005
| herný strom, paralelné algoritmy, prehľadávanie
|
| Martin | Jurčík | Using SELinux to Enforce Two-Dimensional Labelled Security Model with Partially Trusted Subjects | RNDr. Jaroslav Janáček, PhD.
| 2012
| information flow policy, security model, SELinux policy, MLS SELinux, MCS SELinux
|
| Ľubomír | Karaba | Obfuskácia zdrojového kódu | Mgr. Miroslav Demeter
| 2007
| Obfuskácia, spätné inžinierstvo, ochrana softvéru, obfuskácia toku riadenia
|
| Miroslava | Kemeňová | On descriptional complexity of infinite words | doc. RNDr. Pavol Ďuriš, CScs.
| 2006
| Infinite words, D0L TAG systems, iterating a morphism, substitution, iterating a GSM
|
| Barbora | Klembarová | Complexity of solving puzzles | RNDr. Michal Forišek, PhD.
| 2018
| puzzle, human problem solving, computational complexity
|
| Helena | Kocúrová | Analysis of algorithms for computing the crossing number | doc. RNDr. Rastislav Královič, PhD.
| 2007
| crossing number, planarization, maximum planar subgraph, constrained crossing minimization
|
| Ivan | Kohút | Watermarking spustiteľného kódu | Mgr. Miroslav Demeter
| 2007
| Intelektuálne vlastníctvo, Ochrana softvéru, Watermarking
|
| Martin | Kollár | Renderovanie XML dokumentov pri WYSIWYG editovaní | prof. RNDr. Branislav Rovan, PhD
| 2007
| XML, WYSIWYG renderer, framework, XML editovanie, MVC
|
| Martin | Kolínek | Computation of Isochrones | RNDr. Richard Ostertág, PhD.
| 2014
| isochrone, road network, spatial network, reachability
|
| Štefan | Konečný | SINGLE AGENT ANSWERING SYSTEM an Intelligent Agent approach to Question Answering | doc. PhDr. Ján Šefránek, CSc
| 2010
| Question Answering, Intelligent Agent
|
| Rafael | Korbaš | Výpočty konečných automatov s pomocnou informáciou | prof. 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
|
| Peter | Koscelanský | Separácie a hierarchie zložitostných tried pre výpočtové modely konečných automatov | RNDr. Andrej Bebják
| 2011
| viachlavové automaty, obratová miera zložitosti, dolné odhady zložitosti
|
| Michal | Kostic | Code Generation from AML | Mgr. Radovan Cervenka
| 2006
| AML, JADE, code generation, MDA, model, multi agent system
|
| Peter | Kostolányi | Balanced Use of Resources in Computations | prof. RNDr. Branislav Rovan, PhD.
| 2013
| balanced use of resources, equiloadedness, equiloaded automaton, abstract deterministic automaton
|
| Anton | Kovaľ | Konštruktívna enumerácia grafov | doc. RNDr. Martin Mačaj, PhD.
| 2015
| konštruktívna enumerácia grafov, silne regulárne grafy
|
| Ivan | Kováč | Equiloaded Automata | prof. RNDr. Branislav Rovan, PhD.
| 2010
| equiloaded automata, balanced use of resources, deterministic finite automata
|
| Michal | Kováč | Návrh a implementácia FOSS verzie hry Mariáš | RNDr. Michal Forišek PhD.
| 2011
| Mariáš, Teória hier, Minimax, Neúplna informácia
|
| Peter | Kováč | Bioinformatics of Sequences with Repetitive Motifs | Mgr. Tomáš Vinař, PhD.
| 2012
| zarovnanie sekvencií, skrytý markovovský model, dynamické programovanie
|
| Ján | Kováč | Rozšíriteľnosť párení na grafoch | Michal 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
|
| Peter | Košinár | Konečné kvantové výpočtové modely | doc. RNDr. Daniel Olejár, PhD.
| 2005
| úvod do kvantových výpočtov, zjednocujúci pohľad, kvantové modely
|
| Alena | Košinárová | Abstraktný systém na generovanie vizualizácií algoritmov | RNDr. Jana Katreniaková, PhD.
| 2013
| vzdelávanie, vizualizácia, algoritmy
|
| Marek | Košta | Rozšírené zásobníkové automaty | prof. 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án | Kočiš | Vzdialenosť medzi syntaktickými stromami | RNDr. Ján Šturc, CSc.
| 2005
| syntaktický strom, FMES, Zhang-Shasha, LALR, porovnávanie štruktúrovaných súborov
|
| Vladimír | Kočí | Integrácia aplikácií pomocou podnikovej zbernice služieb | Mgr. Pavol Mederly
| 2007
| Integrácia, Enterprise Service Bus, podniková zbernica služieb, Java Business Integration
|
| Martin | Kralovič | Štandardizácia v oblasti informačnej bezpečnosti | Doc. RNDr. Daniel Olejár, PhD.
| 2008
| informačná bezpečnosť, štandardizácia, kategorizácia štandardov
|
| Werner | Krampl | Prediction of Properties of Polymorphic Genomes from Sequencing Data | doc. Mgr. Bronislava Brejová, PhD.
| 2018
| bioinformatics, genome attributes estimation, parameter optimization, sequencing data
|
| Martin | Kravec | MCMC 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
|
| Ondrej | Krško | Robot Karol.NET Návrh jazyka a implementácia kompilátora | RNDr. Marián Vittek, PhD.
| 2005
| Robot Karol kompilátor Microsoft .NET
|
| Martin | Králik | Pravdepodobnostné modely pre alternatívny zostrih génov | Mgr. Tomáš Vinař, PhD
| 2011
| alternatívny zostrih DNA, hľadanie génov, pravdepodobnostné modelovanie, inferencia
|
| Petra | Kubincová | Higher-Order Description Logics for Metamodelling | Mgr. Ján Kľuka, PhD.
| 2016
| description logics, higher-order logic, theory of types, metamodelling
|
| Tomáš | Kubla | Návrh komunikačného protokolu pre inteligentnú zásuvku | RNDr. Richard Ostertág PhD.
| 2017
| internet vecí, inteligentná zásuvka, bezpečný komunikačný protokol
|
| Marcel | Kucharík | A New Algorithm for Using External Information in Gene Finding | Mgr. Bronislava Brejová, PhD
| 2011
| gene finding, Hidden Markov models (HMM), external information in gene finding, directed acyclic graphs
|
| Tomas | Kulich | The Distances on Words | Prof. Branislav Rovan, PhD.
| 2006
| edit distance, longest common subsequence, delta similarity,
|
| Pavel | Labath | Zjednodušenie výpočtov prídavnou informáciou | prof. RNDr. Branislav Rovan, PhD.
| 2010
| deterministické zásobníkové automaty, popisná zložitosť, rozklad automatov, prídavná informácia
|
| Ivan | Labáth | Aplikácia Item Response Theory pri návrhu ratingových systémov | Michal Forišek
| 2012
| Item Response Theory, rating, súťaž, odhad chyby, intervalový odhad, asymetrický odhad, monotónnosť
|
| Eva | Lichnerová | Optimization of the Native XML Database Deployed at the blog.matfyz.sk Portal | RNDr. Martin Homola, PhD.
| 2012
| XML, Native XML database, Optimization
|
| Michal | Linhard | Data structure for representation of maximal repeats in strings | Mgr. Tibor Hegedüs
| 2007
| maximal repeats, representation of repeats, repetition in strings
|
| Mário | Lipovský | Solving the Maximum Clique Problem Using Neural Networks | Mgr. Vladimír Boža, PhD.
| 2019
| maximum clique problem, branch and bound, deep learning, graph neural networks
|
| Marek | Ludha | Implementácia prístupu k súborovému systému exFAT | RNDr. Jaroslav Janáček
| 2009
| exFAT, linux kernel module, data reverse engineering
|
| Robert | Lukoťka | Real flows in graphs | doc. RNDr. Martin Škoviera, PhD.
| 2006
| Real flows, real flow number, flow number, snark, Isaacs snarks
|
| Juraj | Macháč | Optimization of execution plans in the FlumeJava model | prof. RNDr. Rastislav Královič, PhD.
| 2016
| FlumeJava, MapReduce, Min-cut, Network usage
|
| Martin | Macko | On Closure Properties of Quantum Finite Automata | prof. Dr. Jozef Gruska, DrSc.
| 2006
| Quantum computation, Quantum finite automata, 1.5QFA, 2QFA, 2QCFA.
|
| Vladimír | Macko | Improving LSA word weights for document classification | RNDr. Kristína Malinovská, PhD.
| 2018
| natural language processing, document classification, gradient descent, LSA
|
| Tomáš | Malík | Neurálny model integrácie jazykových a motorických znalostí simulovaného agenta | doc. Ing. Igor Farkaš, PhD.
| 2011
| akvizícia významov, vykonávanie akcií, robot iCub
|
| Ladislav | Maršík | Music Harmony Analysis: Towards a Harmonic Complexity of Musical Pieces | Mgr. Martin Ilčík
| 2013
| harmonic complexity, music complexity, harmony analysis, chord transcription, chord progression, music information retrieval, recommender system
|
| Ján | Mazák | Circular Chromatic Index of Snarks | Prof. RNDr. Martin Škoviera, PhD.
| 2007
| snark, circular chromatic index, Blanusa snark
|
| Juraj | Mešťánek | Software for Annotation of Protein Coding Genes in Yeast Mitochondrial Genomes | Mgr. Broňa Brejová, PhD.
| 2010
| gene finding, mitochondrial genomes, conditional random fields, external sources of evidence
|
| Milan | Mikula | Skúmanie výpočtovej sily WPTM pri ohraničeniach | doc. RNDr. Dana Pardubská, CSc.
| 2014
| Turingov stroj, paralelné výpočty, komunikácia
|
| Ondrej | Mikuláš | Visual navigation of mobile robot | RNDr. Andrej Lúčny, PhD.
| 2013
| computer vision, cognitive vision, artificial cognitive system, robotics
|
| Michal | Mikuš | Kryptograficky silné hašovacie funkcie | Doc. RNDr. Daniel Olejár, PhD.
| 2007
| hašovacia funkcia, Merkle-Damgårdova konštrukcia, multikolízia, expandovateľná správa, Nostradamov útok
|
| Marika | Mitrengová | 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 | Moravek | Ovplyvnovanie prenosovych charakteristik TCP/IP komunikacie | RNDr. Richard Ostertag
| 2005
| TCP/IP, shaping, HTB, Linux, congestion avoidance, ns2, CBQ
|
| Pavol | Mravec | Formálne výpočtové modely s bezdrôtovou komunikáciou | RNDr. Dana Pardubska, PhD
| 2007
| Turingove stroje, paralelizmus, komunikácia formou komunikačných kanálov
|
| Marek | Mrázik | Computer Supported Cooperative Work | RNDr. Richard Ostertág
| 2007
| Groupware, CSCW, groupware definitions, groupware history, groupware classification, groupware development problems, groupware standards
|
| Peter | Májek | Quantum Error Correcting Codes | doc. RNDr. Daniel Olejár, PhD.
| 2005
| error correcting codes, CSS codes, stabilizer coding
|
| Attila | Mészáros | Code Generation from AML to Jadex | Mgr. Radovan Červenka, PhD
| 2010
| Code generation, AML, Jadex, mapping, XMI.
|
| Martin | Námešný | Voľba šéfa na cayleho grafoch s lineárnym počtom správ | doc. 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
|
| Michal | Nánási | Biological sequence annotation with hidden Markov models | Mgr. Broňa Brejová PhD.
| 2010
| hidden Markov models, sequence annotation, viral recombination
|
| Mária | Nánásiová | Flows In Cayley Graphs | doc. RNDr. Martin Škoviera, PhD
| 2005
| Cayley Graph nowhere-zero flow nikde-nulový tok graf nowhere zero Graph Theory Teória grafov
|
| Pavol | Panák | Konečné automaty so žetónmi | prof. RNDr. Branislav Rovan, PhD.
| 2011
| žetón, jednosmerné a dvojsmerné, žetónové automaty, výpočtová sila
|
| Roman | Pauer | Centralizovaný systém pre výmenu správ medzi paralelnými procesmi | Dr. Tomáš Plachetka
| 2007
| centralizovaný systém, ladenie paralelných programov, paralelný systém, simulátor distribuovaného systému, výmena správ
|
| Tomáš | Paulík | Bezpečnostná analýza vybraných hardvérových zariadení | RNDr. Richard Ostertág PhD.
| 2017
| bezpečnosť, 1-Wire, Antiklon, UNISIEŤ
|
| Peter | Perešíni | Effective implementation and testing of algorithms | RNDr. Michal Forišek, PhD.
| 2011
| Effective algorithms, C++, STL, simple implementation
|
| Peter | Petrovský | Algorithms and heuristics for antibandwidth problem of bipartite graphs | RNDr. Imrich Vrťo, DrSc.
| 2007
| graph theory, antibandwidth, dual bandwidth
|
| Michal | Petrucha | Selected Topics from Advice Complexity | RNDr. Michal Forišek, PhD.
| 2014
| online problem, advice complexity, competitive analysis, disjoint path allocation, subset sum
|
| Jaroslav | Petrucha | Farbenia grafov s obmedzeniami do vzdialenosti dva | RNDr. Michal Forišek, PhD.
| 2018
| L(2, 1)-farbenie, planárny graf, bezmostový graf, exponenciálny algoritmus
|
| Matúš | Petruľák | Zmena identity rečníka | RNDr. Marek Nagy
| 2010
| zmena hlasu, unit selection, identita, rečník
|
| Milan | Plžík | Implementácia virtuálneho počítača na x86 hardvéri | RNDr. Jaroslav Janáček
| 2010
| virtuálny počítač, emulácia, operačný systém, hardvér
|
| Lukáš | Poláček | Broadcasting in radio networks | Doc. RNDr. Rastislav Královič, PhD.
| 2009
| Broadcasting, radio networks, distributed algorithms, approximation algorithms
|
| Juraj | Porubský | Vizualizácia distribuovaných algoritmov | doc. RNDr. Rastislav Královič, PhD.
| 2009
| distribuované algoritmy, distribuované programovanie, vizualizácia, simulácia, voľba šéfa, výmena správ
|
| Ladislav | Pápay | Use of SAT Solvers in Cryptanalysis | doc. RNDr. Martin Stanek, PhD.
| 2016
| SAT, cryptography, hash functions, heuristics
|
| Rastislav | Rabatin | Detecting Modified Bases in MinION Data | doc. Mgr. Tomáš Vinař,PhD.
| 2018
| MinION, DNA methylation, anomaly detection, deep learning, autoencoders
|
| Jozef | Rajník | Small critical snarks and their generalizations | RNDr. Ján Mazák, PhD.
| 2019
| snark, irreducible, critical, bicritical, strictly critical, cyclical connectivity, girth, Tait colouring, flow
|
| Ladislav | Rampášek | Computational Complexity and Practical Implementation of RNA Motif Search | Mgr. Bronislava Brejová PhD.
| 2012
| RNA motív, vyhľadávanie v texte, NP-úplnosť, prehľadávanie s návratom, RNArobo
|
| Ján | Reguli | Metrické vlastnosti boolovských funkcií s daným počtom jednotiek | Doc. RNDr. Eduard Toman CSc.
| 2008
| Náhodná boolovská funkcia, disjunktívna normálna forma, minimalizácia, pravdepodobnostné metódy
|
| Andrej | Ridzik | Algoritmy na rozpoznávanie neuropeptidov | Mgr. Bronislava Brejová, PhD.
| 2014
| proteín, prekurzor, neuropeptid, strojové učenie, support vector machines, conditional random fields
|
| Michal | Rjaško | Properties of Cryptographic Hash Functions | RNDr. Martin Stanek, PhD.
| 2008
| cryptographic hash function, provable security, hash function properties, collision resistance, pseudo-random oracle
|
| Peter | Schmidt | Algoritmické vlastnosti vnorení grafov do plôch | Mgr. Michal Kotrbčík, PhD.
| 2015
| vnorenie grafu, rod grafu, karteziánsky súčin, kompletný graf, Barnettova hypotéza, Tuttova hypotéza
|
| Ivana | Selečéniová | Antidilatácia stromov | doc. RNDr. Rastislav Královič PhD.
| 2011
| stromy, pavúčie grafy, húsenicové grafy, antidilatácia
|
| Andrej | Skok | Informačný systém AS UK | doc. RNDr. Daniel Olejár PhD.
| 2016
| informačný systém, Akademický senát, procesná analýza, funkčná špecifikácia, bezpečnostný projekt
|
| Pavel | Skovajsa | Enterprise S2S Virtuálne privátne siete | RNDr. Andrej Bebják
| 2006
| VPN, site-to-site, design, VPN multitasking
|
| Pavol | Slamka | Parallelization of Radiosity Method | Dr. Tomáš Plachetka
| 2007
| progresívna radiosity, paralelizácia, asynchrónny model
|
| Marián | Sládek | Vlastnosti nekonecných slov generovaných pomocou DGSM | doc. RNDr. Pavol Duriš, CSc.
| 2009
| DGSM, nekonecné slová, TAG systémy, vlastnosti, GSPACE
|
| Juraj | Stacho | Geometrické vlastnosti náhodne indukovaných podgrafov polených hyperkociek | doc. RNDr. Eduard Toman, CSc.
| 2005
| booleovské funkcie, disjunktívne normálne formy, optimalizácia,pravdepodobnostné metódy, hyperkocky, polené hyperkocky
|
| Monika | Steinová | On the power of local orientations | doc. RNDr. Rastislav Královič, Ph.D.
| 2007
| local orientation, mobile computing, distributed algorithm
|
| Ľuboš | Steskal | The Tape--size and Extended Chomsky hierarchy | Prof. RNDr. Branislav Rovan, PhD.
| 2006
| Super Turing computation, aritmetická hierarchia, nekonečné výpočty, Chomského hierarchia
|
| Tomáš | Studva | Wysiwyg editačné techniky XML dokumentov s použitím XSLT | prof. 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
|
| Ondrej | Svačina | Proces integrácie aplikácií | Mgr. Pavol Mederly
| 2007
| integrácia aplikácií, proces, prípadová štúdia, Univerzita Komenského
|
| Pavol | Szórád | Dynamická vizualizácia informácií v systémoch na podporu rozhodovania na platforme Lotus Notes/Domino | Ing. Miroslav Uhlár
| 2009
| Komponent. Kompozitná aplikácia. Lotus Notes. Podpora rozhodovania. Vizualizácia.
|
| Šimon | Sádovský | Prídavná informácia a zložitosť nedeterministických konečných automatov | Branislav Rovan
| 2017
| nedeterministický konečný automat, rozklad nedeterministického konečného automatu, nedeterministická rozložiteľnosť, prídavná informácia, popisná zložitosť
|
| Pavol | Súkeník | Datalógové rozhranie pre databázy s agregačnými funkciami | RNDr. Ján Šturc, CSc.
| 2006
| datalóg, evaluácia, vyhodnotenie, stratifikácia, agregačné funkcie, implementácia, interpréter
|
| Ján | Terkanič | Zdieľanie informácií o osobách v informačnom systéme Univerzity Komenského | Mgr. Pavol Mederly
| 2006
| integrácia aplikácií, zdieľanie informácií, centrálna databáza osôb
|
| Ľubomír | Teťák | Role Based Access Control Systems | RNDr. Martin Stanek, PhD.
| 2006
| Role Based Access Control, RBAC, MAC, DAC, security, NIST, FTP
|
| György | Tomcsányi | Simulácia PRAM výpočtov | doc. RNDr. Rastislav Královič, PhD.
| 2012
| PRAM, simulácia, paralelné algoritmy
|
| Tatiana | Tóthová | Sila a zložitosť moderných regulárnych výrazov | RNDr. Michal Forišek PhD.
| 2015
| regex, spätné referencie, pozitívny a negatívny lookaround, lookahead, lookbehind, priestorová zložitosť
|
| Michal | Ulacký | Bezpečnosť data-link layer v ISO OSI referenčnom modeli | RNDr. Andrej Bebják
| 2006
| data-link, bezpečnosť, počítačové siete, model, šifrovanie
|
| Mária | Vajdová | Vektorová reprezentácia slov využívajúca morfológiu | RNDr. Michal Forišek, PhD.
| 2017
| slovné vektory, morfológia, ngramy
|
| András | Varga | Grammars With Energy and Finite Approximations of Languages | prof. RNDr. Branislav Rovan, PhD.
| 2014
| Grammars With Energy, Monotone Sequences of Finite Languages, Sequences of Approximations, Distances on Languages
|
| Rastislav | Vaško | Vyhľadávanie podobných obrázkov | RNDr. Elena Šikudová, PhD.
| 2010
| cbir, image retrieval, random subwindows, randomized trees, image similarity, query by image
|
| Boris | Vida | Using Transformation in Solving Problems with Supplementary Information | prof. RNDr. Branislav Rovan, PhD.
| 2015
| language transformations, descriptional complexity, a-transducer, information
|
| Filip | Vojtko | Pilotný projekt elektronických volieb | doc. RNDr. Daniel Olejár, PhD
| 2012
| volebný systém, elektronické volby, pilotný projekt, bezpecnostné aspekty, výkonnostné aspekty
|
| Martin | Voros | Algebraic attack on stream ciphers | RNDr. Martin Stanek, PhD
| 2007
| Algebraic attack, fast algebraic attack, stream ciphers, linear feedback shift register, A5/1, XL algorithm, SAT solver.
|
| Tomáš | Váňa | Agrawal's conjecture and Carmichael numbers | RNDr. Martin Mačaj, PhD.
| 2009
| primality testing, Agrawal's conjecture, Sophie-Germain primes, Carmichael numbers, Fibonacci pseudoprimes
|
| Marek | Zeman | Výpočtová zložitosť hry Net | RNDr. Michal Forišek, PhD.
| 2010
| Výpočtová zložitosť, teória hier, NP-úplnosť
|
| Mirko | Zibolen | Šírenie správ na grafoch s proporcionálnym počtom chybných liniek | Doc. 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
|
| Šimon | Zámečník | Správa distribuovaných systémov | RNDr. Rastislav Královič, PhD.
| 2005
| load balancing, checkpointing, PVM, migrácia úloh
|
| Tomáš | Záthurecký | Nepravidelné asynchrónne bunkové automaty | prof. RNDr. Branislav Rovan, PhD.
| 2006
| asynchrónne bunkové automaty, bunkové automaty, asynchrónne výpočty
|
| Martin | Zíka | Decyklačné množiny na Cayleyho grafoch | doc. RNDr. Rastislav Královič PhD.
| 2008
| minimálna decyklačná množina, Cayleyho graf, Pancake graf
|
| František | Šmitala | Konverzia DOCX na XHTML | RNDr. Richard Ostertág
| 2009
| Office Open XML, konverzia formátov dokumentov, DOCX
|
| Jaroslav | Šoltýs | Linux Kernel 2.6 Documentation | RNDr. Jaroslav Janáček
| 2006
| linux kernel documentation operating system
|
| Mária | Šormanová | Integrated digital user profiles | RNDr. Martin Homola, PhD.
| 2016
| digital identity, OpenID Connect, identity management, profile data update
|
| Martin | Šrámek | Transferring information by ringing a cell phone | RNDr. Michal Forišek, PhD.
| 2014
| ringing, phone, side channel, Android
|
| Marek | Šuppa | Diacritics Restoration for Slovak Texts Using Deep Neural Networks | prof. Ing. Igor Farkaš, Dr.
| 2018
| deep learning, natural language processing, diacritics restoration
|
| Ján | Švantner | Vlastnosti náhodne indukovaných podgrafov k-partitného grafu | doc. 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 solverov | doc. RNDr. Martin Stanek PhD.
| 2010
| BLAKE-32, SAT solver, MD5, kryptoanalýza
|
| František | Ďuriš | Multiparty Communication Complexity | prof. RNDr. Pavol Ďuriš, CSc.
| 2011
| communication complexity, bounds, hard functions
|
| Marcel | Ďuriš | Rozpoznávanie objektov v okolí za účelom vizuálneho merania dohľadnosti | RNDr. 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 |
|---|
|
|---|
| Meno | Priezvisko | Názov | Vedúci | Rok | Kľúčové
slová |
|---|
| Peter | Ambrož | Práca procesorov v chránenom režime | RNDr. Jaroslav Janáček
| 2009
| Chránený režim, virtualizácia, systémové programovanie
|
| Maroš | Bajtoš | Niektoré metrické vlastnosti náhodných prienikových grafov | doc. RNDr. Eduard Toman CSc.
| 2010
| náhodné prienikové grafy, priemer, ekvivalencia
|
| Peter | Bajči | Grid Computing - Implementácia služby pre Globus Toolkit | RNDr. Andrej Bebják
| 2010
| grid, grid computing, globus toolkit, webové služby, implementácia, grid služba, GRAM
|
| Alexandra | Baltová | Integrácia aplikácií prostredníctvom výmeny správ | Mgr. Pavol Mederly
| 2006
| EAI, integrácia
|
| Dušan | Baník | Multicast Security | Doc. RNDr. Martin Stanek, PhD.
| 2009
| multicast, bezpečnosť, správa kľúčov v skupine, autentifikácia odosielateľa
|
| Peter | Bartek | Pattern Languages | RNDr. Dana Pardubská, PhD.
| 2007
| vzor (pattern), pattern language, multivzor, dvojúrovňové štruktúry
|
| Martin | Bobák | Identifikácia variantov génov z dát sekvenovania novej generácie | Mgr. Tomáš Vinař, PhD.
| 2013
| sekvenovanie genómov, zostavovanie genómov, celočíselné lineárne programovanie
|
| Peter | Bolemant | Virtuálne zariadenia: Generátor Linux-ových distribúcií | RNDr. Richard Ostertág, PhD.
| 2011
| Linux, distribúcia, online generovanie, automatizácia, generatux
|
| Michal | Borga | Vlastnosti bezkontextových grafových jazykov | prof. RNDr. Branislav Rovan, PhD.
| 2008
| grafové gramatiky, usmerňovanie odvodenia, blokujúce hrany, konfluentnosť
|
| Jozef | Brandys | Detekcia zneužívania bezpečnostných zraniteľností v binárnych programoch | Mgr. Peter Košinár
| 2017
| binárny program, exploitácia, detekcia, klasteri- zácia, cfi, zraniteľnosť
|
| Michal | Burger | Atomization of DNA Sequences with Complex Evolutionary History | Mgr. Tomáš Vinař, PhD.
| 2010
| bioinformatics, DNA sequence analysis, evolution, ancestral reconstruction, simulation
|
| Daniel | Chromek | Viacnásobné elektronické podpisy v praxi | Mgr. Juraj Vaško
| 2006
| elektronický podpis, notár, viacnásobný podpis, 542/2002,
|
| Peter | Cieker | Logic Programming and game theory | Martin Baláž
| 2012
| logicke programovanie, reprezentacia znalosti, nemonotonne uvazovanie, Magic the Gathering, planovacia domena
|
| Jozef | Cisko | Senzorové siete | doc. RNDr. Rastislav Královič, PhD.
| 2006
| senzorové siete, bezdrôtové ad hoc siete, senzory, MAC protokoly, routovanie, broadcastovanie, lokalizácia, agregácia dát
|
| Peter | Csiba | Analysis of the generalized recirculation-based learning algorithms in bidirectional neural networks | doc. Ing. Igor Farkaš, PhD.
| 2014
| supervised learning, neural network, heteroassociative mapping
|
| Marián | Devečka | Balancovaný Antispamový Systém | RNDr. Marián Vittek, PhD.
| 2009
| Spam, Filtrovanie Spamov, Antispamový Systém, XPCOM, Prídavný Modul
|
| Viliam | Dillinger | Učenie sekvencií pomocou hierarchickej neurónovej siete s echo stavmi | doc. Ing. Igor FarkašPhD.
| 2011
| hierarchická neurónová sieť s echo stavmi, učenie, sekvencie, časový rad Mackey-glass, Reberova gramatika
|
| Ľuboš | Dobrovoda | Podpora ľudských úloh v biznis procesoch zapísaných v jazyku BPEL | Mgr. Pavol Mederly
| 2008
| biznis proces, workflow, BPEL, workflow resource patterns, ľudské úlohy
|
| Marek | Doršic | Kontrola správnosti času autorít časových pečiatok | Mgr. Juraj Vaško
| 2005
| časová pečiatka, kontrola, správnosť času, autorita časových pečiatok, TSA, NTP, GPS, metrológia, nadväznosť
|
| Tomáš | Drimal | Knižnica (framework) pre kreslenie grafov | RNDr. Richard Ostertág
| 2009
| vykresľovanie grafov, Silverlight, C#, interaktívny systém
|
| Martin | Eifler | Rozoznávanie matematických dokumentov | RNDr. Ján Šturc, CSc.
| 2005
| OCR
|
| Dominika | Fedáková | Mobilita v ad-hoc sieťach | prof. 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
|
| Juraj | Fehér | Multidimenzionálny databázový model a OLAP | RNDr. Ján Šturc, CSc.
| 2007
| Business Intelligence, data warehouse, on-line analytical processing, OLAP, hypercube
|
| Jozef | Fekiač | E0L Formy | RNDr. Mária Pastorová
| 2014
| E0L systém, E0L forma, dfl-substitúcia, vizualizácia E0L foriem
|
| Ladislav | Feldsam | Automatic 3D scanning using drones and photogrammetry | doc. RNDr. Milan Ftáčnik, CSc.
| 2019
| Drone, Photogrammetry, Automatic reconstruction
|
| Martin | Filo | Steganografické systémy, a digitálna vodotlač pre vektorové digitálne mapy | RNDr. Richard Ostertág
| 2005
| steganografia, digitálna vodotlač, vektorové mapy, spektrálna doména, sieť, mesh, laplacian, transformačná báza
|
| Peter | Frlička | IP telefónia | RNDr. Martin Domány
| 2006
| IP telefónia, VoIP, ENUM, SIP, H.323, SIP-H.323 prekladač, Asterisk, E.164, oh323
|
| Andrej | Gatial | Testovanie prvočíselnosti - Algoritmus AKS | RNDr. Jaroslav Guričan CSc
| 2005
| prvočísla AKS
|
| Peter | Gatial | Efektívne vyhľadávanie ciest v real-time stratégiách | RNDr. Michal Forišek, PhD.
| 2010
| Pathfindig, AStar, Dijkstra, BFS, PCD, Landmark, Multithreaded
|
| Soňa | Gibaštíková | Finding Conserved Gene Clusters in Duplicated Genomes | Mgr. Bronislava Brejová, PhD.
| 2014
| whole genome duplication, duplicated genome, gene cluster, approximate gene cluster
|
| František | Grega | Malé dvojité cyklové pokrytia v grafoch | prof. RNDr. Martin Škoviera PhD.
| 2011
| SCDC, PPDC, EPPDC, cyklus, pokrytie cyklami, grafové nakrytie, šikmý súčin, voľný súčin
|
| Jan | Gregor | Sietove dohladove systemy | Ing. Jan Muzslay
| 2006
| dohladovanie sieti, dohladove systemy, sietove protokoly, Simple Network Management Protocol
|
| Filip | Gschwandtner | Inkrementálna editácia matematického textu | prof. RNDr. Branislav Rovan
| 2009
| projekt Euromath 2, editácia matematického textu, MathML
|
| Osama | Hassanein | Fotometrické stereo pre blízke objekty | RNDr. Zuzana Berger Haladová, PhD.
| 2016
| Fotometrické stereo, Kalibrácia pozície bodového svetelného zdroja, Distribúcia svietivosti svetelného zdroja
|
| Lucia | Haviarová | 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
|
| Jana | Heršková | Hypertext in Art (Literature) | Dr. Veith Risak
| 2006
| hypertext, hypermedia, literature
|
| Milos | Homola | Moderné trendy pri tvorbe webaplikácií | RNDr Richard Ostertág
| 2007
| webové aplikácie, AJAX, XUL, XAML, Silverlight, Flash
|
| Marián | Horňák | Elektronické hlasovanie pri malom počte hlasujúcich | Daniel Olejár
| 2017
| elektronické hlasovanie, bezpečnosť
|
| Michal | Hozza | Zarovnávanie sekvencií s použitím metód klasifikácie | Mgr. Tomáš Vinař, PhD.
| 2014
| zarovnávanie sekvencií, dodatočná informácia, strojové učenie, náhodné lesy, anotácie, skryté markovské modely
|
| Ján | Hozza | Rekonštrukcia histórií génových zhlukov | Mgr. Tomáš Vinař, PhD
| 2016
| DNA sekvencia, génový zhluk, rekonštrukcia, strojové učenie, evolúcia
|
| Michal | Hrobár | Systém na správu vyučovania | RNDr. Mária Pastorová
| 2010
| žiacka knižka, rozvrh, suplovanie, PHP, internetová aplikácia
|
| Igor | Ináš | Profilovanie aplikácií spúšťaných vo virtuálnych strojoch spĺňajúcich Java špecifikáciu | Ing. Radovan Sninský
| 2006
| Java, virtuálny stroj, profilovanie, optimalizácia, profilovacie nástroje
|
| Lukáš | Ivan | Predpovedanie času riešenia pre ťažké logické úlohy | RNDr. Michal Forišek, PhD.
| 2019
| analýza stavového grafu, predpovedanie času, Rush Hour, významné vlastnosti, strojové učenie, zber dát
|
| Peter | Juhász | Anonymizácia a ochrana dát | RNDr. Michal Malý
| 2011
| Anonymizácia dát, osobné údaje, ochrana osobných údajov
|
| Adrián | Jágrik | Efektívne programovanie v jazyku ABAP | Ing. Michal Procházka
| 2009
| ABAP, Open SQL, výkonnosť
|
| Dominik | Kapišinský | Type-Awareness in Dynamic Languages | RNDr. Tomáš Kulich, PhD.
| 2014
| Dynamic programming languages, Python 3, Type inference
|
| Robert | Kasanický | Prehľad výsledkov o sieťach | Doc. RNDr. Ferdinand Gliviak CSc.
| 2005
| kapacitné siete, Petriho siete
|
| Ján | Kliman | Odhady veľkosti pokrytí náhodne indukovaných podgrafov n-rozmernej hyperkocky | Doc. RNDr. Eduard Toman, Csc.
| 2009
| náhodný graf, iredudantné pokrytie, hyperkocky a maximálne hyperkocky, asymptotické odhady
|
| Anton | Kohutovič | blog.matfyz.sk -- community blog portal | RNDr. Martin Homola
| 2008
| blogy, xml, xml databázy, hodnotiace algoritmy
|
| Igor | Kolenič | REKONŠTRUKCIA OBJEKTOV S VYUŽITÍM VIACNÁSOBNÝCH POHĽADOV | RNDr. Ján Lacko
| 2010
| hľadanie čŕt, afinná invariancia, škálová invariancia
|
| Peter | Kopáč | Jednotná autentifikácia používateľov webových aplikácií na UK | Mgr. Pavol Mederly
| 2007
| single sign-on, webové aplikácie, správa používateľskej identity, autentifikácia
|
| Magdaléna | Kovalíková | Metrické vlastnosti boolovských funkcií s daným počtom jednotiek | doc. RNDr. Eduard Toman, CSc.
| 2006
| náhodné boolovské funkcie, disjunktívne normálne formy, minimalizácia, pravdepodobnostné metódy
|
| Jakub | Kováč | Konštrukcia grafov pomocou mobilných agentov | prof. RNDr. Rastislav Královič, Phd.
| 2014
| konštrukcia grafov, agent, anonymný graf, hyperkocka, prehľadávanie grafov, grafové gramatiky
|
| Jaroslav | Košťál | Systém na podporu rozvrhovania na FMFI UK | RNDr. Mária Pastorová
| 2007
| podpora rozvrhovania, rozvrhový portál
|
| Jan | Kořenek | Validácia textu lexikografických diel | Ing. Vladimír Benko
| 2005
| validačný parser proprietárny značkovací jazyk XML SGML TEI
|
| Matej | Krajčovič | Rekonštrukcia evolučných histórií s~duplikáciami pomocou simulovaného žíhania | doc. Mgr. Bronislava Brejová, PhD.
| 2018
| DNA sekvencia, génový zhluk, rekonštrukcia, simulované žíhanie, evolúcia
|
| Boris | Kruľ | Parakonzistentná Sémantika pre Multidimenzionálne Dynamické Logické Programy | RNDr. Martin Baláž
| 2017
| stabilný model, parakonzistencia, multidimenzionálny dynamický logický program
|
| Milan | Kubala | Web Application Security | RNDr. Jozef Vyskoč
| 2005
| web, development, security
|
| Mariana | Kuchyňárová | Hra pre virtuálne múzeum v prostredí COLLADA | doc. RNDr. Andrej Ferko, PhD.
| 2010
| COLLADA, počítačová hra
|
| Olívia | Kunertová | Circular chromatic index of small snarks | RNDr. Ján Mazák, PhD.
| 2017
| snark, circular chromatic index, circular edge colorability
|
| Matúš | Kókai | 1-faktorizácie na hyperkockách a star grafoch | doc. RNDr. Rastislav Královič PhD.
| 2010
| 1-faktorizácia, semi-perfektnosť, hyperkocka, star graf, izomorfizmus, heuristika
|
| Martin | Labanc | Optimalizácia relačných dotazov s agregačnými funkciami | RNDr. Ján Šturc CSc.
| 2005
| aggregation query optimization algebra
|
| Peter | Lenčéš | Kolmogorovská zložitosť a jej využitie | doc. RNDr. Dana Pardubská, PhD.
| 2010
| Kolmogorovská zložitosť, najkratší popis, popisná zložitosť, nestlačiteľnosť, metóda nestlačiteľnosti
|
| Filip | Likavčan | Podpora ubytovacieho procesu | Mgr. Martin Králik
| 2008
| ubytovací proces, webová aplikácia, automatizácia
|
| Igor | Liška | Návrh a implementácia klientských pohľadov nad NoSQL databázami | RNDr. Tomáš Kulich, PhD.
| 2015
| single page aplikácie, synchronizácia, NoSQL, MongoDB, publish, subscribe
|
| Matej | Lučenič | Možnosti využitia ľudského postupu pri riešení ťažkých problémov v informatike | Dac. 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
|
| Miroslav | Majdan | QoS a multicasty v prostredi OSPF | Ing. Ladislav Ivancik
| 2007
| ospf, qos, multicast
|
| Martin | Malár | Počítač učiteľ čítania - experimentálna implementácia | RNDr. Marek Nagy
| 2007
| rozpoznávanie reči gcompris linux
|
| Marek | Manduch | Siete senzorov pre monitorovanie roviny použitím rotačných a lúčových senzorov | Mgr. Stefan Dobrev, PhD.
| 2013
| detekcia votrelca, monitorovanie oblasti, sieť senzorov, rotačný senzor, lúčový senzor, dynamické monitorovanie
|
| Pavol | Marek | eEHIC ako nositeľ údajov urgentnej medicíny | Ing. 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
|
| Peter | Matejka | Analýza a praktická implementácia softvérových metrík pre oblasť Adaptability SW produktu | Mgr. Róbert Kormaňák
| 2006
| ISO, metrika, adaptabilita
|
| Lejla | Metohajrová | Entity Disambiguation using Embeddings | prof. Ing. Igor Farkaš, Dr.
| 2019
| entity disambiguation, entity embeddings, word embeddings, naturallanguage processing, social media
|
| Tomáš | Mečíř | Vplyv konečnej šírky pásma na speed-up paralelných úloh | RNDr. Igor Odrobina, CSc.
| 2005
| paralelizmus efektivita cache zbernica šírka pásma
|
| Stanislav | Miklík | Systémy pre elektronický obchod - funkcionalita a bezpečnosť | doc. RNDr. Daniel Olejár, PhD.
| 2006
| elektronický obchod, informačná bezpečnosť
|
| Matej | Minárik | Reconstruction of corrupted XML documents | Dr. Veith Risak
| 2005
| XML reconstruction well-formed structure
|
| Juraj | Minárik | Lindenmayerove systémy s interakciou | RNDr. Mária Pastorová
| 2006
| IL Lindenmayer system context sensitive IL generator
|
| Rastislav | Mlčoch | Aplikácia OCL v UML profiloch | Ing. Miroslav Líška
| 2006
| UML, UML profily, OCL, unifikácia analytických modelov
|
| Jakub | Novák | Prevention of occurrence of dead units in self-organizing maps | doc. RNDr. Martin Takác, PhD.
| 2019
| dead units, dead neurons, self-organization, self-organizing map, SOM, neural networks
|
| Ján | Oravec | Škálovatelné smerovanie v Ad-Hoc sieťach | RNDr. Rastislav Královič, PhD.
| 2006
| Ad-Hoc siete, MANET, smerovací protokol, smerovanie dát
|
| Peter | Orolín | Triedy jazykov definované pomocou obmedzení LBA | Prof. RNDr. Branislav Rovan, PhD.
| 2008
| LBA, DLBA, zmena obsahu políčka, sweep automaty
|
| Jaroslav | Orság | Object-relational mapping | Ing. Arch. Augustín Mrázik
| 2006
| Persistence, Mapping, Object-relational mapping, ORM, Persistence framework, Object-oriented programming, OOP, Relational database, RDBMS
|
| Ondrej | Pašuth | Voľba šéfa v sieťach s chybnými linkami | doc. RNDr. Rastislav Královič PhD.
| 2011
| dynamické chyby, jednoduchý prahový model, voľba šéfa, synchronizácia, vlákno
|
| Martin | Pecen | Akvizícia proprioceptívno-dotykových reprezentácií tela u humanoidného robota | prof. Ing. Igor Farkaš, Dr.
| 2019
| iCub, dotyk, propriocepcia, neurónová sieť, obojsmerné asociačné učenie, samorganizujúca sa mapa
|
| Michal | Pecuch | Bezdrôtové senzorové siete | Doc. RNDr. Rastislav Královič, PhD.
| 2010
| bezdrôtové sieťe, distribuované algoritmy, grafové algoritmy, komunikácia, topológia
|
| Martin | Pernecký | Security of wireless networks based on ANSI/IEEE 802.11 | Mgr. Ivan Kopáčik
| 2005
| wireless networks, security, authentication, availability, privacy, confidentiality, EAP, WEP, WPA, TKIP, CCMP
|
| Tomáš | Petrík | Tvorba šachového enginu | RNDr. Ján Šturc, CSc.
| 2005
| chess, engine, offset representation, bitmap representation, alpha-beta pruning, historic heuristic
|
| Martin | Pijak | Kvantové komunikačné protokoly | Mário Ziman
| 2009
| BB84, B92, modifikácie
|
| Martin | Pinter | Internal and External dependencies in node.js Package Manager | RNDr. Tomas Kulich, PhD.
| 2016
| package manager, zdieľané závislosti, súkromné závislosti, Node.js, NPM, simulované žíhanie
|
| Lucia | Piváčková | Agent pre prieskum v real-time strategických hrách | prof. Ing. Igor Farkaš, Dr.
| 2016
| učenie posilňovaním, StarCraft, prieskum, mikromanažment jednotiek
|
| Miroslav | Pomsar | Prehlad a porovnanie content management systemov | RNDr. Richard Ostertag
| 2007
| CMS Obsah Weblog Wiki Metdata Hypertext
|
| Eva | Porvaznikova | Automatizovaný preklad XSLT do STX | RNDr. Jana Dvořáková, PhD.
| 2012
| XML, XSLT, STX, XML transformácia, prúdové spracovanie, pamäťová zložitosť
|
| Juraj | Prievalský | Optické rozpoznávanie testov | RNDr. Richard Ostertág
| 2009
| optické rozpoznávanie testov, topologické značky, geometrické značky
|
| Gustáv | Pálos | Komunikácia aplikácií v informačnom systéme Univerzity Komenského | Mgr. Pavol Mederly
| 2006
| integrácia aplikácií, Java Message Service, porovnanie implementácií JMS, spoľahlivosť, adaptér
|
| Michal | Rajniak | Elektronické bankovníctvo prostredníctvom webservisov | Ing. Ivan Tarapčík
| 2006
| web services, webové služby, elektronické bankovníctvo, IFX
|
| Jozef | Račák | Návrh systému na tvorbu rozvrhu s využitím technológie Ajax | RNDr. Zuzana Kubincová
| 2006
| Ajax, rozvrh, navrhovanie rozvrhu
|
| Martin | Rejda | Modular Redesign of The blog.matfyz.sk Portal | Martin Homola
| 2010
| Weblogy, Modulárny dizajn, XSLT, XML, XML databáza
|
| Martin | Rublík | Elektronický podpis právny a technologický pohľad | doc. 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án | Ruhalovský | Detekcia nejednoznačnosti bezkontextových gramatík | RNDr. 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
|
| Michal | Sabo | Algorithms for Gene Tree Reconciliation | doc. Mgr. Bronislava Brejová, PhD
| 2015
| reconciliation, phylogenetics, gene tree, species tree, speciation, du- plication
|
| Dušan | Salaj | Vehicle Routing Problém Metódy riešenia | Doc. RNDr. Juraj Procházka CSc.
| 2007
| Vehicle Routing Problem, Capacited VRP,
|
| Martin | Sarvaš | Algoritmus vedenia hrán pre nedisjunktné vrcholy | RNDr. Jana Katreniaková, Phd
| 2013
| Algoritmus, vizualizácia grafov, vedenie hrán, graf, fixné vrcholy, nedisjunktné vrcholy
|
| Matúš | Sekera | Podpora výučby teórie kódovania | Doc. RNDr. Daniel Olejár, PhD.
| 2006
| teória kódovania, výučba
|
| Rastislav | Simeunovič | Analýza štruktúry snarkov | prof. RNDr. Martin Škoviera, PhD.
| 2019
| graf, snark, klaster, permutačný snark
|
| Ján | Sliacky | Vyrovnávanie zaťaženia na nespoľahlivých procesoroch | Dr. Tomáš Plachetka
| 2010
| vyrovnávanie zaťaženia, spoľahlivosť, odolnosť voči chybe
|
| Veronika | Sládeková | Methods Used for Requirements Engineering | Mgr Radovan Červenka
| 2007
| software requirements, requiremnets engineering, formal methods, natural language requirements, graphical methods
|
| Boris | Slávik | Refaktorovanie ako metóda údržby softvéru - súčasný stav | RNDr. Marián Vittek, PhD.
| 2005
| refaktorovanie, prehľad, údržba softvéru, softvérové inžinierstvo, extrémne programovanie
|
| Jozef | Spišiak | Local construction of dominating set | RNDr. Stefan Dobrev, PhD.
| 2011
| dominating set, graph theory, NP-complete problem, local algorithm, wireless networks
|
| Rudolf | Starovský | Najkratšie pokrytie grafu cyklami | RNDr. 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
|
| Martin | Strapko | Metódy útoku hrubou silou na TrueCrypt | RNDr. Richard Ostertág PhD.
| 2016
| TrueCrypt, útok hrubou silou, bezkontextové gramatiky, Markovovský zdroj, používateľské heslá
|
| Pavel | Struhár | Najmenší nie minimálny zmysel pre orientáciu | doc. RNDr. Rastislav Královič PhD.
| 2010
| distribuované výpočty, topológie regulárnych grafov, zmysel pre orientáciu
|
| Eva | Szarková | Bezpečnosť bezdrôtových sietí štandardu IEEE 802.11 | RNDr. Jaroslav Janáček
| 2007
| IEEE 802.11, WEP, bezpečnosť, bezdrôtové siete, bezpečnosť bezdrôtových sietí
|
| Marcel | Sýkora | Web formulárový framework | Ing. Maroš Ivančo
| 2009
| framework, web formulár, web front-end, webová aplikácia
|
| Martin | Trnovec | Reakcia na bezpečnostné incidenty | RNDr. Jozef Vyskoč. PhD
| 2005
| incident reakcia bezpečnosť
|
| Lenka | Trojaková | Štúdium niektorých vlastností náhodne indukovaných podgrafov n-rozmernej hyperkocky | doc. RNDr. Eduard Toman, CSc.
| 2011
| Náhodné grafy, prahové funkcie, jadrová podkocka, regulárny vrchol, iredundantná disjunktívna normálna forma.
|
| Jakub | Uhrík | Two-way databinding of models and views in Dart | RNDr. Tomáš Kulich, PhD.
| 2014
| Databinding, Dart, Facebook React, User Interface, Component driven views, Template driven views, AngularJS
|
| Eva | Vasilová | Využitie multiagentových platforiem pre systémy riadenia technologických procesov | RNDr. 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.
|
| Jozef | Vavro | Implementacia variantu systemu Program Composition Notation | RNDr. Damas Gruska, PhD.
| 2006
| paralell programing, program composition notation
|
| Peter | Vašut | Zabezpečenie pracovnej stanice s OS Linux | RNDr. Jaroslav Janáček, PhD.
| 2019
| Linux, bezpečnosť, AppArmor
|
| Martin | Veselý | Silné hranové farbenie regulárnych grafov | RNDr. Edita Máčajová, PhD.
| 2011
| silný hranový chrimatický index, teória grafov, silné hranové farbenie
|
| Matej | Vince | Vlastnosti programov zo stratégiami | RNDr. Peter Borovanský, PhD.
| 2009
| systémy na prepisovanie termov, problém zastavenia, implementácia nerozhodnuteľných problémov
|
| Martin | Višňovec | Systém na hľadanie ortológov v pribuzných genómoch | Mgr. Tomáš Vinař, PhD.
| 2013
| gény, homológy, ortológy, štruktúra génu, viacnásobné zarovnanie
|
| Martin | Vlčák | Podobnosť slov | RNDr. Michal Forišek PhD.
| 2011
| Podobnosť slov, semantika, www, vyhľadávač, kontext, metrika, vzdialenosť
|
| Michal | Vojtech | Nasadzovanie 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
|
| Tomáš | Wiedermann | Cena obranných mechanizmov anonymizačných protokolov | RNDr. Jaroslav Janáček, PhD.
| 2018
| anonymná komunikácia, Tor, I2P
|
| David | Zachar | Edit distance on trees and their representations | prof. 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
|
| Danica | Zajacová | Evolučné algoritmy pre tvorbu rozvrhov | Mgr. Pavel Petrovič, PhD.
| 2013
| tvorba rozvrhov, evolučné algoritmy
|
| Štefan | Zajíček | Magické transformácie pre Datalóg | RNDr. Ján Šturc, CSc.
| 2008
| datalóg, negácia, evaluácia, magické transformácie, vyhodnotenie, zdola-nahor, implementácia
|
| Dominik | Zajíček | Párenia na súčinoch grafov | Mgr. Michal Kotrbčík, Ph D.
| 2014
| graf, párenie, equimatchable, tenzorový súčin grafov
|
| Andrej | Zbín | Sledovanie osoby vo viacerých videozáznamoch | RNDr. Zuzana Černeková, PhD.
| 2019
| neurónová sieť, počítačové videnie, detekcia osôb, klasifikácia osôb, extrakcia príznakov, python, opencv
|
| Juraj | Zemianek | Bipartizujúce párenia v kubických grafoch | Prof. 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áhorec | Vytváranie a overovanie archívnych elektronických podpisov | doc. RNDr. Daniel Olejár PhD.
| 2008
| archívny zaručený elektronický podpis, public key infrastructure, potrebná informácia/údaje
|
| Michal | Šikerle | Ochrana spustiteľného kódu | Mgr. Miroslav Demeter
| 2007
| Ochrana softvéru, ochrana integrity spustiteľného kódu, hešovanie, samoopravné kódy
|
| Lukáš | Špalek | Zoznamové farbenia grafov | RNDr. Edita Máčajová PhD.
| 2010
| zoznamové farbenie, hypotéza o zoznamovom farbení
|
| Michal | Štrbka | Distribuovaný transakčný systém | Dr. Tomáš Plachetka
| 2007
| fault tolerance, message passing, distribouvaný systém
|
| Viktor | Štujber | Practical Data Compression | doc. RNDr. Pavol Ďuriš, CSc.
| 2008
| lossless data compression, multiple algorithms, parallel processing, metrics
|
| Michal | Šuster | Interpreter UNITY | RNDr. Damas Gruska, PhD.
| 2006
| UNITY, Unbounded Nondeterministic Iterative Transformations, interpreter, automatické nástroje na generovanie analyzátorov, C# Lex, Jay, LR parser
|
| Peter | Žiak | Metodika 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 | Žák | Integration of Text Editor with Code-Analysing Tool | RNDr. Tomáš Kulich, PhD.
| 2014
| Plugin, IDE, Dynamic language, Python, Parser, Lexer, Code analysis
|
| Martin | Červeň | Volba šéfa s nespolahlivými správami | prof. RNDr. Rastislav Královic PhD.
| 2018
| volba šéfa, 2D torus, jednoduchý prahový model
|
| Martin | Čulen | XML, databázy a webové služby - meteorologické webové služby | Ing. Imrich Buranský, CSc.
| 2005
| XML, web services, XML database,
|
| Martin | Ďuriš | Zachovávanie mentálnej mapy hrán pri interakcii s grafom | RNDr. Jana Katreniaková, PhD.
| 2013
| Mentálna mapa, zachovávanie mentálnej mapy, graf, kresliace algoritmy
|
| Juraj | Ďuďák | Tagging system for the blog.matfyz.sk portal | Mgr. Juraj Frank
| 2011
| tag, tagging system, web application, tagcloud, folksonomy
|
|
|---|
| Diplomové práce odovzdané na Katedre aplikovanej
informatiky |
|---|
|
|---|
| Meno | Priezvisko | Názov | Vedúci | Rok | Kľúčové
slová |
|---|
| Pavol | Adam | Ú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 obrazcov | doc.RNDr Milan Ftáčnik .CSc
| 2007
| Tvar, Príznakové metódy, Štrukturálne metódy, Iné metódy reprezentácie znalostí, Porozumenie
|
| Miroslava | Božeková | Comparison of Handwritings | doc. RNDr. Milan Ftáčnik, CSc.
| 2008
| handwriting, writer verification, grapheme, clustering
|
| Peter | Drábik | On Disjunction in Modal Logics | RNDr. Damas Gruska, PhD.
| 2007
| modal logic, non-normal, disjunction, distribution, neighbourhood, non-emergence
|
| Martin | Florek | Using modern hardware for effective large data visualization | Mgr. Matej Novotny
| 2006
| infovis hardware gpu scatterplot parallel coordinates transfer function blending
|
| Michal | Glaus | Modelovanie 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úl | Mgr. Marek Nagy
| 2006
| diktovanie, matematika, rozpoznávanie reči
|
| Slavomír | Hudák | Vizualizácia Dát z Konfokálneho Mikroskopu | RNDr. Marek Zimányi
| 2006
| Volume ray-casting, parallel rendering, PC clusters, binary swap algorithm.
|
| Michal | Hučko | Platformovo nezávislý engine na renderovanie objemových dát | RNDr. Michal Červeňanský
| 2008
| objemová vizualizácia, vizualizačný engine, vzdialená vizualizácia
|
| Martin | Ilčík | Integral Lines in Explorative Visualization of Large Unsteady Flow Simulation Data | prof. Dr. Helwig Hauser, PhD.
| 2008
| Computer Graphics, Flow Visualization, Feature Specification, Integral Lines
|
| Ondrej | Jaborník | Triangulácia implicitne definovanej plochy | RNDr. Pavel Chalmovianský, PhD.
| 2006
| Triangulácia, Implicitne definované plochy, Marching Cubes, Marching Triangles, Detekcia hrán
|
| Peter | Jankovič | Sémantická reprezentácia pragmatických znalostí | RNDr. Martin Takáč
| 2007
| kauzalita, plánovanie, rozlišovacie kritériá, BDI
|
| Michal | Jančok | Newtonian Global Illumination, Algorithmic Solution, Implementation and Parallelization | Dr. Tomáš Plachetka
| 2007
| global illumination, monte-carlo methods, rendering
|
| Michal | Jančošek | Feature Detection and Tentative Correspondence Estimation in Wide Baseline Stereo | Doc. RNDr. Andrej Ferko PhD.
| 2005
| Baseline Stereo; Tentative Correspondence; Maximally Stable Extremal Regions; MSER; Local Affine Frames; LAF; True Tentative Correspondences; TTC
|
| Pavol | Kaiser | Automatická korekcia textu pomocou neurónových sietí | Ing. Igor Farkaš
| 2007
| neurónová sieť, MSOM, korekcia textu
|
| Pavol | Korinek | Vizualizácia vybraných algoritmov a vlastnosti z teorie grafov | doc. RNDr. Andrej Ferko, PhD.
| 2007
| vizualizácia vlastností grafov teória grafov graf vlastnosti grafov algoritmi na grafoch
|
| Eva | Kulková | Prehľad knižníc na podporu spracovania obrazu | Doc. RNDr. Milan Ftáčnik, PhD.
| 2007
| grafická knižnica, spracovanie obrazu, pocítacové videnie
|
| Tomáš | Lackó | Vybrané vlastnosti Bernsteinovej-Bézierovej bázy | RNDr. Pavel Chalmovianský, PhD.
| 2006
| Bernstein basis, resultant, resultant matrix, intersection of curves
|
| Peter | Lecký | GPS navigátor pre mobilné telefóny s operačným systémom Symbian určený pre zrakovo postihnutých používateľov | RNDr. Marek Nagy
| 2007
| GPS
|
| Tomáš | Macháček | PostScriptové nástroje na vykresľovanie geometrických objektov | RNDr. Pavel Chalmovianský, PhD.
| 2006
| PostScript, tienovanie, perspektívna projekcia, viditelnost, 3D scéna
|
| Michal | Malý | Complexity of Revised Stable Models | Prof. Luís Moniz Pereira
| 2007
| logic programming, semantics, Stable Models, reductio ad absurdum, complexity, lattice
|
| Marián | Marcinčák | Refaktorovanie jazyka JavaScript a DHTML | RNDr. Marián Vittek, PhD.
| 2005
| refaktorovanie, JavaScript, DHTML, katalóg, reštrukturovanie
|
| Ľubomír | Maťúš | Fraktálna kompresia obrazu | doc. RNDr. Andrej Ferko, PhD.
| 2006
| fraktálna kompresia, fraktálna transformácia, IFS, HV schéma
|
| Peter | Maňka | Multimediálna čítanka | Marek Nagy
| 2007
| rozpoznávanie reči, dynamic time warping, DTW, slajdovacie DTW
|
| Ján | Michalič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
|
| Andrej | Mihalik | Alghoritm Design For Real-Time Rendering of the Natural Waters | Roman Durikovic
| 2008
| refraction, reflection, caustics
|
| Juraj | Mojík | Modelovanie komunikácie v multiagentových systémoch | Martin Takáč
| 2007
| multiagentové systémy, modelovanie, komunikácia, farbené Petriho siete, JADE
|
| Peter | Nather | N-Gram based Text Categorization | Mgr. Jan Habdak
| 2005
| N-gram, text categorization, text clusterization
|
| Marek | Palanský | 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
|
| Kamil | Paulíny | Analý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.
|
| Marek | Petrik | Learning Parallel Portfolios of Algorithms | RNDr. Mikular Popper
| 2005
| AI, Algorithms, Machine Learning, Vapnik-Chervonenkis, Markov Decision Process, Portfolios
|
| Juraj | Plavčan | Reprezentácie v evolučnom dizajne | Mgr. 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
|
| Michal | Pokorný | Spracovanie štruktúrovaných dát pomocou lineárnej RAAM | Ing. Igor Farkaš, PhD.
| 2006
| neurónové siete, štruktúrované dáta, lineárna RAAM, kódovanie terminálov, systematickosť
|
| Tomáš | Poláček | Kombinácia automatických a vizuálnych metód dolovania dát | Mgr. Matej Novotný
| 2008
| vizualizácia, dolovanie dát, K-Means, segmentácia dát
|
| Vladimír | Repiský | Covering edges of a hypergraph: complexity and applications | Mgr. Tibor Hegedüs
| 2007
| Threshold hypergraph, Hypergraph covering, NP-completeness
|
| Milan | Ružička | Collaborative painting | Mgr. Vladimír Tužinský
| 2007
| počítačová grafika, nefotorealistické zobrazovanie, distribuované kreslenie
|
| Vladimír | Rácko | 3D Vizualizácia Seizmických Vlnových Polí | Prof. RNDr. Peter Moczo, DrSc.
| 2005
| 3D Vizualizácia, FDM, Raycasting, Sezimický, volumetrická hmla, OpenGL
|
| Michal | Récky | Fast Area-Based Stereo Algorithm | RNDr. Kateřina Dařílková
| 2006
| epipolar, stereo, computer vision
|
| Tomáš | Sako | Synthesis of motion capture data | RNDr. Stanislav Stanek
| 2008
| motion capture, motion blending, registration curves, motion synthesis
|
| Lenka | Slaná | Detekcia a sledovanie ľudskej postavy v sekvencii obrazov | RNDr. Peter Gejguš
| 2006
| rozpoznanie postavy, segmentácia objektov
|
| Martin | Slota | Transformational Semantics and Implementation of Evolving Logic Programs | doc. PhDr. Ján Šefránek, PhD.
| 2007
| Logic Programming, Stable Model Semantics, Evolving Logic Programs, Transformational Semantics, Implementation
|
| Vojtech | Slovik | Rozpoznávanie foném čísiel slovenského jazyka neurónovou sieťou | RNDr. Marek Nagy
| 2007
| rozpoznávanie reči, fonémy, neurónové siete, Viterbiho algoritmus
|
| Silvia | Strungová | Zbierka príkladov z počítačového videnia | Doc.RNDr. Milan Ftáčnik, PhD.
| 2008
| Počítačové videnie, ImageJ, zbierka príkladov
|
| Martin | Svetlík | Simulácia impulzných neurónových sietí pomocou udalostí, model JASTAP | Igor Farkaš
| 2007
| Impulzné modely neurónov, Impulz, Udalosť, JASTAP
|
| Martin | Troják | Skloňovanie podstatných mien v slovenčine pomocou neurónovej siete | Ing. Igor Farkaš PhD.
| 2005
| dopredná neurónová sieť, podstatné mená, skloňovanie,
|
| Michal | Turček | Application of Dynamic Logic Programming in Evaluation of Computer Games' World State | Mgr. Jozef Šiška
| 2007
| knowledge representation, computer games, Dynamic Logic Programming
|
| Marián | Uherčík | Implicit Surface Reconstruction using Local Approximations from Unorganized Set of Points | RNDr. 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 XML | Doc. RNDr. Andrej Ferko, PhD.
| 2006
| XML, MathML, matematická terminológia, terminológia z pg
|
| Michal | Valko | Evolving Neural Networks for Statistical Decision Theory | Mgr. 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
|
| Anton | Vaško | SIMD Optimization in Volume Rendering | Ing. Miloš Šrámek
| 2005
| SIMD, Optimization, Volume Rendering, Bricking, Cache
|
| Ronald | Weiss | Vizuálne programovanie riadiaceho systému pre kolóniu robotov | RNDr. Andrej Lúčny PhD.
| 2007
| mobilné roboty, riadiaci systém, vizuálne programovanie, Agent-Space
|
| Filip | Zigo | Real-time global illumination of dynamic scenes | Doc. RNDr. Roman Ďurikovič, PhD
| 2008
| global illumination, real-time rendering, complex scenes, dynamic scenes, gpu programming
|
| Martin | Zlatý | Multimediálny Šlabikár | RNDr. Marek Nagy
| 2007
| rozponávanie reči, neurónové siete, binary-pair partitioning, DTW
|
| Ivan | Šeďo | Real-time friendly representation of arbitrary BRDF with appearance industry measurements | Doc. RNDr. Roman Ďurikovič, PhD.
| 2007
| GPU, spherical harmonics, real-time rendering, BRDF, spectral rendering, wavelets, appearance, gloss, virtual glossmeter
|
| Rostislav | Šimoník | Návrh systémovo nezávislej desktop platformy | RNDr. Damas Gruska, PhD
| 2007
| nezávislá platforma, aplikačna logika, vizualizácia, model view controller, rozhranie, desktop
|
| Rasťo | Šrámek | The on-line Viterbi algorithm | Tomáš Vinař, PhD.
| 2007
| hidden Markov models, Viterbi algorithm, information theory, gene finding
|
| Martin | Štefček | Vysoko úrovňové programovanie súčasných GPU | RNDr. Peter Borovský
| 2006
| Shader, CG, OpenGL, GPU, Relief texture mapping
|
| Ján | Žižka | Construction of 3D map | Doc. RNDr. Andrej Ferko, PhD.
| 2007
| Vizuálne modelovanie, Štruktúra a pohyb kamery, Rekonštrukcia scény, SLAM
|
| Miloš | Černák | Uč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
|