|
|---|
| Výborné bakalárske práce obhájené na Katedre informatiky
|
|---|
|
|---|
| Meno | Priezvisko | Názov | Vedúci | Rok | Kľúčové slová |
|---|
| Peter | Ambrož | Práca procesorov i386 v chránenom režime | RNDr. Jaroslav Janáček
| 2007
| Chránený režim, systémové programovanie
|
| Maroš | Bajtoš | Metrické vlastnosti náhodne indukovaných podgrafov n-rozmernej hyperkocky | doc. RNDr. Eduard Toman, CSc.
| 2008
| náhodné grafy, vrcholové pokrytie, boolovské funkcie
|
| Miroslav | Baláž | Algoritmy pre vizualizáciu zložených grafov | Mgr. Jana Katreniakova
| 2007
| Grafy, Zložené grafy, Vizualizácia, Feedback Arc Set
|
| Pavol | Beluško | Prehľad metód image-based renderingu | Doc. RNDr. Andrej Ferko, Phd.
| 2007
| image-based, rendering, ibr
|
| Andrej | Borsuk | Atomic commit protocol | RNDr. Tomáš Plachetka
| 2009
| databázy, distribuované systémy, protokol
|
| Vladimír | Boža | Knižnica štandardných algoritmov pre kompilátor FreePascal | RNDr. Michal Forišek PhD.
| 2011
| FreePascal, generics, algoritmy a dátové štruktúry
|
| Michal | Burger | Virtual Operating System in C# | RNDr. Richard Ostertág
| 2008
| ComOS, virtual operating system, PostSharp
|
| Martina | Bátorová | Učebnica informatiky pre stredné školy | RNDr. Andrej Blaho
| 2007
| aktivity, úlohy, vyučovanie, učebné texty, kurikulárna transformácia
|
| Barbora | Candráková | Cirkulárny chromatický index Szekeresovych snarkov | Mgr. Ján Mazák
| 2009
| cirkulárny chromatický index, r-farbenie, hranové farbenie, Szekeresov snark
|
| Michal | Chládek | Všeobecná reprezentácia CSG objektov | RNDr. Tomáš Plachetka, PhD.
| 2008
| ray tracing, Rothov diagram, serializácia
|
| Juraj | Danko | Trusted Path Execution v prostredí MS Windows | Mgr. Peter Košinár
| 2010
| Trusted Path Execution, Whitelist, Windows API
|
| Matej | Duník | Kempe ekvivalentné farbenia grafov | RNDr. Edita Máčajová PhD.
| 2009
| teória grafov, grafy farbení, Kempe-ekvivalencia grafov
|
| Stanislav | Fecko | Animácia postáv pomocou kostry | RNDr. Martin Samuelčík
| 2010
| grafika v reálnom čase, OpenGL, animácia postáv, kostra
|
| Matúš | Fedák | Vzdialenosti na stromoch | Prof. RNDr. Branislav Rovan, PhD.
| 2009
| Editačná vzdialenosť stromov, Obmedzená editačná vzdialenosť stromov
|
| Dominika | Fedáková | Aplikované využitie neurónových sietí | Mgr. Ing. Michal Šefara
| 2011
| Neurónová sieť, Back-propagation algoritmus, Levenberg-Marquardt, Resilient propagation
|
| Michal | Ferko | Shadow Mapping for Large Virtual Environments | RNDr. Martin Samuelčík
| 2010
| OpenGL, Real-time Rendering, Shadow Mapping, Parallel-Split Shadow Mapping
|
| Peter | Galiovský | Spracovanie viet jazyka pomocou neurónovej siete s echo stavmi | doc. Ing. Igor Farkaš, PhD.
| 2008
| rekurentná neurónová sieť, echo stavy, systematickosť, predikcia nasledujúceho slova
|
| Peter | Gatial | PostScript podpora pre pdfTeX | Mgr. Vladimír Koutný
| 2007
| PostScript, PDF, pdfTeX, pdfTricks, PSTricks
|
| Peter | Gazdík | Implementácia prehľadávania v dúhových tabuľkách | RNDr. Martin Stanek, PhD.
| 2007
| kryptoanalýza, dátová štruktúra, implementácia
|
| Peter | Glaus | Minimálne hranové rezy v hyperkockách | Doc. RNDr. Rastislav Kráľovič, PhD.
| 2007
| delenie grafu na k častí, minimálny rez hyperkocky, heuristika, distribuované výpočty
|
| František | Hajnovič | Hľadanie Imúnnych podgrafov | doc. RNDr. Rastislav Královič, PhD.
| 2010
| väčšinové hlasovanie, imúnne podgrafy
|
| Lucia | Haviarová | Čiastočné boolovské funkcie | doc. RNDr. Eduard Toman, CSc.
| 2009
| čiastočná boolovská funkcia, disjunktívna normálna forma, Karnaughova mapa, techniky minimalizácie, lokálny algoritmus
|
| Lukáš | Hlavička | Bezznalostné dôkazy | doc. RNDr. Martin Stanek PhD.
| 2008
| zero-knowledge, interaktívny dôkaz, Arthur-Merlin games
|
| Jana | Hlinková | Modeling Bidirectional Scattering Distribution Function | Dr. Tomáš Plachetka
| 2007
| BSDF, bidirectional scattering distribution funcion, Monte Carlo path tracing
|
| Miroslav | Hoták | Aplikácie konečných transformácií | Prof. RNDr. Branislav Rovan, PhD.
| 2009
| formát, transformácia, transformačný predpis, Grafické uživateľské rozhranie
|
| Michal | Hudek | Virtuálne múzeum, Považské múzeum | Doc. RNDr. Andrej Ferko PhD
| 2007
| virualne muzeum, vrml model
|
| Ivana | Hudáková | Zložitostné aspekty konečných automatov | prof. Branislav Rovan
| 2007
| konečné automaty, popisná zložitosť, algoritmy
|
| Peter | Juhász | Preklad logických formúl do Datalogu | Dr. Tomáš Plachetka
| 2008
| Datalog, relačný kalkul, prekladač
|
| Martin | Jurčík | Using SELinux to Enforce Two-Dimensional Labelled Security Model with Partially Trusted Subjects | RNDr. Jaroslav Janáček
| 2010
| information flow policy, security model, SELinux policy
|
| Lukáš | Jusko | Monitorovanie a riadenie aplikácií v systéme MS Windows | Mgr. Peter Košinár
| 2011
| MS Windows, Aplikácia, Monitorovanie, Riadenie
|
| Michal | Klempa | Využitie princípu MDL v strojovom učení | Mgr. Ľuboš Steskal
| 2009
| MDL, ad-hoc coding, clustering, pitch contour
|
| Mária | Klimová | Rozklad prismy kubického grafu na hamiltonovské kružnice | RNDr. Edita Máčajová, PhD.
| 2009
| prisma, hamiltonovský rozklad, kubické grafy, zovšeobecnené Petersenove grafy
|
| Peter | Koscelanský | Neuniformné výpočtové modely - branching programy a rozhodovacie stromy | RNDr. Andrej Bebják
| 2009
| branching programy, neuniformné výpočtové modely, dolné odhady zložitosti, natural proofs
|
| Peter | Kostolányi | Rovnomerné využívanie prechodov v konečných automatoch | prof. RNDr. Branislav Rovan, PhD.
| 2011
| deterministický konečný automat, prechodová vyváženosť, prechodovo vyvážený automat, prísne prechodovo vyvážený automat, slabo prechodovo vyvážený automat, rovnomerné využívanie prostriedkov
|
| Kubo | Kováč | Vyhľadávacie stromy a ich vizualizácia | Mgr. Janka Katreniaková
| 2007
| dátové štruktúry, vizualizácia, vyhľadávacie stromy,
vyvážené stromy
|
| Ivan | Kováč | O využívaní stavov v konečných automatoch | prof. RNDr. Branislav Rovan, PhD.
| 2008
| deterministické konečné automaty, využívanie stavov, minimálny automat
|
| Michal | Kováč | Metódy merania fraktálnej dimenzie prírodných javov | Mgr. Ľuboš Steskal
| 2009
| Fraktál, Dimenzia, Fraktálna dimenzia, Meranie fraktálnej dimenzie
|
| Peter | Kováč | Implementácia externých zdrojov dát v hľadaní génov | Mgr. Bronislava Brejová, PhD.
| 2010
| gén, hľadanie génov, skrytý Markovov model, ExonHunter
|
| Ján | Kováč | Dekompozícia kompletných grafov na kružnice | Robert Lukoťka
| 2010
| dekompozícia na kružnice, všeobecné kompletné grafy, orientované kompletné grafy
|
| Alena | Košinárová | Vizualizácia základných grafových algoritmov | RNDr. Jana Katreniaková, PhD
| 2011
| grafové algoritmy, grafy, vzdelávanie
|
| Marek | Košta | Algoritmus Quadratic Sieve | RNDr. Jaroslav Guričan, CSc.
| 2009
| Quadratic Sieve, faktorizácia celých čísel, kongruencia štvorcov, prvočíslo, konečné pole, binárna matica
|
| Martin | Kravec | Analýza TETRISu ako hry dvoch hráčov. | Mgr. Ľuboš Steskal
| 2009
| tetris, stratégia, heuristická funkcia
|
| Martin | Králik | Security Assessment of blog.matfyz.sk | RNDr. Jozef Šiška
| 2009
| security, cross site scripting, query injection, XQuery, cross site request forgery
|
| Kamil | Kuboň | Autentifikácia jednorázovými heslamigenerovanými pomocou mobilného telefónu | RNDr. Jaroslav Janáček
| 2008
| jednorázové heslo, autentifikácia, mobilný telefón, Linux
|
| Marcel | Kucharík | Automatizácia riešenia substitučných šifier | Mgr. Tomáš Kulich
| 2009
| substitučná šifra, riešenie šifi er, frekvenčná analýza, kryptoanalýza
|
| Matúš | Kukan | Využitie SAT-solverov pri riešení ťažkých úloh | Mgr. Richard Štefanec
| 2011
| SAT-solver, redukcia na SAT, NP-úplný problém
|
| Tamara | Kuštárová | Miery podobnosti reťazcov | RNDr. Forišek
| 2008
| porovnanie reťazcov, metrika, porovnanie textov
|
| Pavel | Labath | Rozpoznávanie regulárnych výrazov | RNDr. Michal Forišek
| 2008
| regulárne výrazy, konečné automaty, algoritmy, vyhľadávanie, zložitosť
|
| Ivan | Labáth | Automatické generovanie logických úloh s využitím SAT solvera | Michal Forišek
| 2010
| logické hry, SAT, SAT-solver, sudoku, chaos, hamilton snake
|
| Rastislav | Lenhardt | Composite mathematical games | Doc. RNDr. Rastislav Kráľovič, PhD.
| 2007
| Dots and Boxes, composite games, w-numbers
|
| Peter | Lenčéš | Kolmogorovská zložitosť | Doc. RNDr. Dana Pardubská PhD.
| 2008
| Kolmogorovská zložitosť, metóda nestlačiteľnosti, formálne jazyky, triediace algoritmy, grafy
|
| Marek | Ludha | Implementácia algoritmov pre projekt Boost | Mgr. Peter Košinár
| 2007
| externé algoritmy, grafové algoritmy, I/O zložitosť, generické programovanie
|
| Tomáš | Malík | Analýza rekurentných sietí s echo stavmi pri generovaní trajektórií | doc. Ing. Igor Farkaš, PhD.
| 2009
| rekurentná sieť s echo stavmi, dynamický rezervoár, generovanie signálov
|
| Ladislav | Maršík | Aplikácia na tréning sluchovej analýzy | Mgr. Martin Ilčík
| 2010
| sluchová analýza, intonácia, hudobná teória, interval, akord, súzvuk, hudobný sluch, absolútny sluch, relatívny sluch, konsonancia, disonancia, vizualizácia, parsovanie
|
| Juraj | Mešťánek | Jadro rozvrhovacieho systému | RNDr. Mária Pastorová
| 2008
| podpora rozvrhovania, Spring framework, PostgreSQL
|
| Milan | Mikula | Anotácia zhlukov génov | Mgr. Tomáš Vinař, PhD.
| 2011
| anotácia, zarovnanie, gén, genóm
|
| Ondrej | Mikuláš | PageRank algortimus | RNDr. Martin Sleziak, PhD
| 2010
| PageRank algoritmus, lineárna algebra, vlastný vektor, konvergencia
|
| Marek | Mrva | Princípy práce FPU súčasných osobných počítačov | Peter Tomcsányi
| 2010
| FPU, x87, IEEE 754, Simulácia
|
| Martin | Námešný | Aproximačné algoritmy na určenie priesečníkového čísla grafov | doc. RNDr. Rastislav Královič, PhD
| 2008
| lineárne priesečníkové číslo, fixované lineárne priesečníkové číslo, heuristiky, aproximácie
|
| Michal | Nánási | Vzdialenosti jazykov | Prof. RNDr. Branislav Rovan, PhD.
| 2008
| Editačná vzdialenosť, $\Delta$-podobnosť, vzdialenosť jazykov
|
| Pavol | Panák | Vzťah veľkosti minimálnych deterministických a nedeterministických konečných automatov | RNDr. Michal Forišek
| 2009
| FSA, NFSA, konečné automaty, minimalizácia, zložité automaty
|
| Ondrej | Pašuth | Testovanie prvočíselnosti | RNDr. Martin Sleziak, PhD.
| 2009
| prvočísla, pseudoprvočísla, testy na overovanie pseudoprvočísel, Lucasova postupnosť, Malá Fermatova veta, zvyškové triedy, pravdepodobnostný test, Frobeniov automorfizmus
|
| Peter | Perešíni | Fourierova transformácia a jej použitie | RNDr. Michal Forišek
| 2009
| Fourierova transformácia, vlastnosti, aplikácie, DCT, DFT
|
| Zuzana | Petruchová | Enumerácia jednoducho popísateľných regulárnych jazykov | RNDr. Michal Forišek
| 2009
| konečný automat, hashovanie, minimálny automat, Hopcroftov algoritmus
|
| Milan | Plžík | Analýza a implementácia podpory pre WPA firmware pre at76c503 | RNDr. Jaroslav Janáček
| 2008
| mac80211, wifi, USB, at76, WPA, WEP, linux, wireless, IEEE 802.11
|
| Lukáš | Poláček | Softvér na organizáciu pretekov v orientačnom behu | Michal Forišek
| 2007
| orientačný beh, softvérový návrh
|
| Juraj | Prievalský | Webová aplikácia - Tvorba internetového obchodu | RNDr. Mária Pastorová
| 2007
| internetový obchod, framework, templatový systém, jazykové verzie
|
| Ladislav | Rampášek | RNA motif search in genomic sequences | Mgr. Tomáš Vinař, PhD.
| 2010
| RNAMot2, RNA motif search, dynamic programming, RNABob, RNAMot, insertions, deletions, elements
|
| Martin | Roško | Probatur - online testovanie študentov | RNDr. Richard Ostertág
| 2007
| online testovanie šrudentov, PHP, SQL
|
| Adam | Saleh | Virtuálne Stroje | RNDr. Richard Ostertág PhD.
| 2011
| Plná virtualizácia, Zásady bezpečnosti, Virtuálne zariadenia, Open-Source
|
| Martin | Sarvaš | Editor zložených grafov | RNDr. Jana Katreniaková, PhD
| 2010
| editor, zložený graf, digraf, GraphML, zobrazovací algoritmus
|
| Ivana | Selečéniová | Game of Life na šesťuholníkovej mriežke | RNDr. Michal Forišek
| 2009
| bunkové automaty, šesťuholníková mriežka, Game of Life, vesmírne lode
|
| Róbert | Smetana | Overview of Reflectance Models Focused on Car Paint Simulation | doc. RNDr. Roman Ďurikovič, PhD.
| 2008
| BRDF, reflectance models, car paint, appearance parameters, black box model
|
| Rudolf | Starovský | Cyklická hranová súvislosť kubických grafov | RNDr. Edita Máčajová, PhD.
| 2008
| cyklická hranová súvislosť, cyklický hranový rez, snarky
|
| Martin | Sucha | Ext2 Filesystem Support for HelenOS | RNDr. Jaroslav Janáček, PhD.
| 2011
| HelenOS, ext2, filesystem
|
| Pavol | Szórád | Vizualizácia základných algoritmov | doc. RNDr. Juraj Procházka, CSc.
| 2007
| Vizualizácia. Algoritmy. Dátové štruktúry.
|
| Slavomír | Takáč | Asymptotická analýza rekurencií | doc. RNDr. Martin Stanek, PhD
| 2009
| lineárna rekurencia, rozdeľuj a panuj, master theorem, akra-bazzi, bazzi-mitter
|
| György | Tomcsányi | Distribuované hashovacie tabuľky | doc. RNDr. Rastislav Královič, PhD.
| 2010
| distribuované algoritmy, hashovanie, chord, kademlia, simulácie
|
| Lenka | Trojaková | Určovanie prahových funkcií podgrafov niektorých tried grafov | doc. RNDr. Eduard Toman CSc.
| 2009
| Enumerácia označených objektov, náhodné grafy, prahové funkcie, maximálna k-rozmerná podkocka
|
| András | Varga | Rekurentné postupnosti | RNDr. Martin Sleziak, PhD.
| 2011
| Fibonacciho postupnosť, Rekurentné postupnosti druhého rádu, Výpočet n-tého člena postupnosti, Efektívne algoritmy, Dynamické programovanie, Výpočet celočíselnej druhej odmocniny pomocou binárneho vyhľadávania, Umocňovanie matíc, Príslušnosť k rekurentnej postupnosti
|
| Rastislav | Vaško | Captcha - Rozpoznávanie ľudí a počítačov na webe | RNDr. Richard Ostertág
| 2008
| captcha, world wide web, umelá inteligencia
|
| Martin | Veselý | Silné hranové farbenia regulárnych grafov | RNDr. Edita Máčajová, PhD.
| 2009
| Teória grafov, silné hranové farbenie, silný chromatický index, Regulárne grafy
|
| Martin | Višňovec | Implementácia kryptografických útokov v paralelnom výpočtovom prostredí grafických kariet | Mgr. Michal Rjaško
| 2011
| prúdové šifry, algebraické útoky, Cube attack, Toyocrypt, Trivium, Cuda
|
| Filip | Vojtko | Tvorba interaktívnych webových aplikácií - prístupy, nástroje, demonštrácia | Dr. Tomáš Plachetka
| 2010
| webová aplikácia, návrh architektúry, bezpečnosť, vývoj aplikácií, nástroje, tímová práca
|
| Tomáš | Váňa | Silné pseudoprvočísla | RNDr.Martin Mačaj, PhD.
| 2007
| pseudoprvočíslo, Riemannova hypotéza, Miller-Rabinov test, Fermatova veta
|
| David | Zachar | Distribuované kódovanie MP3 | Doc. RNDr. Rastislav Kráľovič, PhD.
| 2008
| mp3, bladeenc, parallel bladeenc, distribuovaný bladeenc, distribuované programovanie
|
| Marek | Zeman | Súvis rekurzívnych funkcií a programovacích jazykov | RNDr. Michal Forišek
| 2008
| rekurzívne funkcie, primitívna rekurzia, programovacie jazyky, Pascal
|
| Martin | Škorupa | Vizualizácia súborového systému | Mgr. Matej Novotný
| 2007
| vizualizácia, súborový systém, interring
|
| Lukáš | Špalek | Rozšírenia a semirozšírenia cyklov v kubických grafoch | RNDr. Edita Máčajová PhD.
| 2008
| semirozšírenie, dvojité pokrytie cyklami, CDCC, SCDCC, 5-CDC
|
| Ján | Špaček | Procedurálny model ruky so zameraním na deformáciu geometrie a vytváranie vrások | Mgr. Jana Dadová
| 2011
| Procedurálne modelovanie, Vrásky, Animácia, Modelovanie, Model ruky
|
| Richard | Štefanec | Toky v sieťach | Mgr Michal Forišek
| 2007
| toky v sieťach, maximálny tok, Ford-Fulkerson, grafové algoritmy
|
| Ján | Šutara | Modelovanie 3D objektov vo virtuálnom meste | RNDr. Peter Borovský
| 2007
| virtuálna realita, VRML, geometrické modelovanie objektov
|
| Michal | Švirec | HDR Images from Photos of Car Paint with Sparkling Effect | doc. RNDr. Roman Ďurikovič, PhD.
| 2008
| HDR, tone mapping operator, sparkling effect, car paint
|
| Gabriel | Ščerbák | Modelom riadený vývoj softvéru | Ing. Peter Grec
| 2009
| softvérové inžinierstvo, modelom riadený vývoj softvéru, doménovo špecifické jazyky, aspektovo orientované programovanie, inžinierstvo produktových línií
|
| Tomáš | Žubrietovský | Automatická kryptoanalýza súčtu dvoch otvorených textov | doc. RNDr. Martin Stanek PhD.
| 2008
| Vernamova šifra, One-time Pad, Two-time pad problém, XOR
|
| František | Ďuriš | Infinite series: Convergence tests | doc. RNDr. Zbyněk Kubáček, CSc.
| 2009
| Infinite series, convergence, divergence, Kummer, Gauss, Bertrand, Raabe.
|
| Marcel | Ďuriš | Distribuovaný zálohovací systém | doc. RNDr. Rastislav Královič, PhD.
| 2010
| záloha, Reed-Solomonov kód, informačná bezpečnosť
|
| Juraj | Ďuďák | Visualization of tagspace | RNDr. Martin Homola
| 2009
| tags, relational tagcloud, graph layout
|
|
|---|
| Ostatné bakalárske práce obhájené na Katedre
informatiky |
|---|
|
|---|
| Meno | Priezvisko | Názov | Vedúci | Rok | Kľúčové
slová |
|---|
| Dušan | Baník | Aplikácia pre experimentovanie s formálnymi automatmi a gramatikami | RNDr. Dana Pardubská, PhD.
| 2007
| Formálne jazyky a automaty, gramatiky, simulátor, GRASIM, vizualizácia gramatík, ...
|
| Juraj | Barič | Možnosti rozhodovacích agentov hrajúcich hracie karty | doc. RNDr. Mária Markošová , PhD.
| 2009
| umela inteligencia
|
| Martin | Bielik | Wikinavigátor | RNDr. Jana Katreniaková
| 2011
| Wikinavigátor, Mozilla Firefox, Doplnky, Rozšírenia
|
| Martin | Bies | Aplikácia na monitorovanie prípravy obhajoby dizertácie | doc. RNDr. Pavol Ďuriš, Csc.
| 2008
| monitor, PHP, MYSQL
|
| Michal | Bujdák | Plánovač úloh | Mgr.Tibor Hegedus
| 2008
| plánovanie úloh, spúšťanie úloh, príkazy v cmd
|
| Stanislav | Buštor | Evolučné stratégie v RPG systémoch | Michal Forišek
| 2008
| genetické algoritmy, MMORPG, hra, umelá inteligencia, Lua
|
| Lukáš | Chripko | Coordinates ordering in parallel coordinates views | Mgr. Martin Florek
| 2011
| Parallel coordinates, visualization, multidimensional, principal component analysis, clutter based analysis, coordinates ordering
|
| Peter | Cieker | Generovanie stabilných modelov logických programov využívaním CUDA technológie | Michal Čertický
| 2010
| groundovanie logických programov, generovanie stabilných modelov, CUDA
|
| Viliam | Dillinger | Trénovanie neurónových sietí s echo stavmi pomocou posilňovania | doc. Ing. Igor Farkaš, PhD.
| 2009
| neurónová sieť s echo stavmi, učenie sa posilňovaním, sekvenčné problémy, čiastočne pozorovateľné prostredie
|
| Jakub | Dobšovič | Generovanie a Zobrazovanie Animovanej Oblohy | RNDr. Martin Samuelčík, PhD.
| 2011
| animovaná obloha, skybox, generovanie oblakov
|
| Tomáš | Duras | Stereoskopia v počíťačovej grafike | RNDr. Peter Borovský
| 2010
| stereoskopia, stereogram, stereofotografia, stereo, 3D, priestorové videnie, retinálna disparita, paralaxa, počítačová grafika, ľudský zrak, svetlo
|
| Peter | Eliáš | Súborový manažér | RNDr. Richard Ostertág, PhD.
| 2011
| Súborový manažér, GUI, dizajn, NET, C#, WPF
|
| František | Grega | Malé cyklové pokrytia v grafoch | prof. RNDr. Martin Škoviera, PhD.
| 2009
| CDC, SCDC, PPDC, cyklus, kružnica, pokrytie cyklami
|
| Filip | Gschwandtner | Java a Navrhove vzory | RnDr. Richard Ostertag
| 2007
| navrhove vzory, Eclipse, plugin
|
| Anna | Hanulová | Algoritmy na vyhľadávanie vzorky v texte | Mgr. Michal Foríšek
| 2007
| vzorka, text, vyhľadávanie, reťazec, Boyer-Moore, KMP, Apostolico-Giancarlo
|
| Peter | Havlíček | Prostredie pre podporu výučby predmetu Formálne jazyky a automaty | RNDr. Dana Pardubská, PhD.
| 2007
| simulácia gramatík, simulácia automatov, pedagogický softvér
|
| Peter | Herman | Grafické prostredie na editovanie RNA motívov | Mgr. Bronislava Brejová, PhD.
| 2010
| grafické prostredie, RNABob, RNA gény, sekundárna štruktúra, štrukturálne motívy
|
| Michal | Hrobár | Nástroj na tvorbu stereogramov | Doc. RNDr. Roman Ďuríkovič, PhD.
| 2007
| Stereogram, Anaglyf, Hĺbková mapa
|
| Jakub | Husár | Programový systém na monitorovanie prípravy obhajoby dizertácie | doc. RNDr. Pavol Ďuriš, PhD.
| 2009
| monitor prípravy obhajoby dizertácie, webová aplikácia, PHP, SQL
|
| Marek | Jančuška | Implementácia algoritmu
na simuláciu plynu na atomárnej úrovni | Mgr. Jana Katreniaková
| 2007
| simulácia, ideálny plyn
|
| Matej | Juračka | Numerická simulácia rastúcej siete | doc. RNDr. Mária Markošová, PhD.
| 2008
| Rastúce siete, Jazyková siet, Numerické simulácie
|
| Juraj | Kerhát | Informačný systém pre základné a stredné školy | RNDr. Mária Pastorová
| 2007
| internetová aplikácia, informačný systém
|
| Michal | Kevický | Útoky na kryptograficky silné hashovacie funkcie | Mgr. Peter Košinár
| 2008
| informačná bezpečnosť, kompresné funkcie, kryptograficky silné hashovacie funkcie, kolízie, útoky
|
| Ján | Kliman | Verifikácia programov | RNDr. Borislav Šuster, Csc.
| 2007
| správnosť programov, verifikácia programov, Hoareova metóda
|
| Jakub | Končok | Golayove Páry | RNDr. Martin Sleziak PhD.
| 2011
| Golayove páry, Acyklická autokorelácia, Autokorelácia, Implementácia, Hľadanie
|
| Jan | Kosa | Animácia fraktálov pri spojitej zmene exponentu | Martin Samuelčík
| 2008
| fraktál, exponent, animácia, Mandelbrotova množina, Júliove množiny
|
| Milutín | Krištofič | Modulárna implementácia hier v Answer Set Programovaní | Mgr.Jozef Šiška
| 2007
| logický program, answer set, modularizácia, počítačová hra, umelá inteligencia
|
| Mariana | Kuchyňárová | Hra pre virtuálne múzeum v prostredí COLLADA | doc. RNDr. Andrej Ferko, PhD.
| 2007
| COLLADA, počítačová hra
|
| Peter | Laubert | Systém pre podporu vyučovania aritmetiky na základných školách | doc. RNDr. Daniel Olejar, PhD.
| 2007
| systém pre podporu vyučovania aritmetiky, web technológie, proces tvorby softvéru
|
| Marek | Luley | Organizácia Literatúry | RNDr. Jana Katreniaková, PhD
| 2011
| BibTeX , Bibliografia , organizovanie literatúry , .bib
|
| Milan | Mandák | Podpora implementácie GWT klienta | Mgr. Martin Jaška
| 2010
| gwt, javascript, ajax, xmlhttprequest, rpc
|
| Marek | Mardiak | Datamining, princípy a metódy | Mgr. Tibor Hegedüs
| 2008
| datamining, objavovanie znalostí, dolovanie z dát, klasifikácia
|
| Richard | Mečíř | Program na tvorbu jednoduchých elektrických obvodov | RNDr. Andrej Blaho
| 2008
| elektrický obvod, zdroj, rezistor, prúd, odpor, napätie, schéma
|
| Marika | Mitrengová | Analýza vlastností slov | RNDr. Richard Ostertág
| 2009
| klávesnica, ShapeWriter, Fittsov zákon, slovník, anagram, palindrom, T9, podobnosť
|
| Attila | Mészáros | Systém pre zdieľanie súborov v počítačových sieťach | RNDr. Jaroslav Janáček
| 2008
| bezpečná komunikácia, šifrovaný prenos, peer-to-peer, zdieľanie súborov
|
| Eva | Paľovičová | Vizuálna analýza dát | Mgr. Matej Novotný
| 2009
| vizualizácia, informácia, vizualizačný systém
|
| Matúš | Petruľák | Optimalizácia reálnych funkcií pomocou diskretizácie | Martin Pelikan Ph.D.
| 2008
| diskretizácia, evolučný algoritmus, optimalizácia
|
| Juraj | Popovič | Python ako jazyk pre vývoj REST webových aplikácií | RNDr. Peter Rybár, PhD.
| 2010
| REST, webservices, ajax, python
|
| Eva | Porvazníková | Systém pre evidenciu a kategorizáciu štandardizačných materiálov | Doc. RNDr. Daniel Olejár, PhD.
| 2008
| webová aplikácia, ASP.NET, štandardy
|
| Andrej | Ridzik | Použitie komparatívnej informácie pri hľadaní génov | Mgr. Bronislava Brejová, PhD.
| 2011
| gén, zarovnanie, anotácia DNA, skrytý Markovov model, ExonHunter, externá informácia
|
| Marek | Sagan | Dokazovanie správnosti programov Floydovou metódou induktívnych podmienok | RNDr. Borislav Šuster SCs.
| 2008
| program, dôkaz, Floyd
|
| Zuzana | Sekerková | Skúmanie percepcie reči a Word superiority efekt | Doc. PhDr. Ján Rybár, PhD.
| 2007
| percepcia reči, rozpoznávanie slov, výpočtové modely rozpoznávania slov, Word superiority, Lexical decision
|
| Dana | Smažáková | Prostredie pre experimentovanie s PRAMami | RNDr. Dana Pardubská, Phd.
| 2009
| RAM, PRAM
|
| Pavel | Struhár | Systém pre správu registratúry | RNDr. Richard Ostertág
| 2008
| registratúra, systém pre správu dokumentov, archivačný systém
|
| Ivan | Trančík | Virtualization on x86 platform and KVM | RNDr. Jaroslav Janáček, PhD.
| 2011
| KVM, full virtualization, security
|
| Matej | Vince | Špecifikácia a implementácia vyvážených stromov v Peanovej aritmetike | Mgr. Ján Kľuka
| 2007
| červeno-čierne stromy, 2-3 stromy, CL
|
| Martin | Vlčák | Normalizácia relačných databáz | Dr. Tomáš Plachetka
| 2009
| databáza, kľúče, normálna forma
|
| Danica | Zajacová | SMS brána a systém núdzového vzdialeného prístupu prostredníctvom siete GSM pre OS Linux | RNDr. Jaroslav Janáček
| 2010
| SMS brána, GSM/UMTS, vzdialený prístup pre administrátora
|
| Juraj | Zemianek | Triediace algoritmy | doc. RNDr. Juraj Procházka, CSc.
| 2007
| Triediace algoritmy
|