(zadania tem uz len v AISe)
 
(138 intermediate revisions by 25 users not shown)
Line 1: Line 1:
Na tejto stránke je zoznam aktuálnych tém diplomových prác zoradených
+
'''Diplomové práce najdete v AISe'''. Hľadajte dôkladne - t.j. nastavte si filter raz na práce "neúplné", raz na "úplné" a raz na "schválené", keďže
podľa zamerania a školiteľov.
+
niektoré témy nájdete v rôznych štádiách schválenia. Tiež si vyhľadajte témy
 +
zadané len pre váš štúdijný program, resp. len pre váš štúdijný odbor, keďže
 +
asi stále sa nájdu aj témy, ktoré nemajú vyplnené obe polia.  
  
== Počítačová grafika a videnie ==
+
(zadávatelia: témy, ktoré tu boli zverejnené, si nájdite v histórii tejto stránky)
  
=== Silvester Czanner ===
+
Prosím preštudujte si aj stránky
  
{{Tema
+
* [[Recommendation for Writing Bachelor and Diploma Theses|Odporúčania k písaniu bakalárskych a diplomových prác]]
  | tema = Virtual Eyes
+
  | popis = The project proposed involves design and construction of "virtual eyes". There are several goals in this project. The first goal is to capture a real world scene with several cameras from different angles and stitch the collected video streams into one stream represented by panoramatic image.  Second goal is to project this panoramatic image on a special projection wall to create the basis for a virtual environment. All that actions must be done very continuously in real-time. This sub-system will be used as a part of an immersive Virtual conferencing system.
+
  | literatura = P. Kauff and O. Schreer,“Immersive Videoconferencing”, published in O. Schreer, P. Kauff and T. Sikora, (Editors): 3D Videocommunication, John Wiley & Sons, Chichester, UK, July 2005.
+
  | poziadavky = Must be able to program in C/C++.
+
  | odporucania = Computer Graphics, Virtual Reality.
+
}}
+
 
+
{{Tema
+
  | tema = Virtual Microscope
+
  | popis = The project proposed involves the design of a graphics/robotics user-interface to support communication between PC and a haptic device. Haptic device will be based on a simplification of a micromanipulation system. It will contain several joysticks to control positions of two pipettes. Signal from joysticks must be transformed into recognizable input for a PC user interface. This sub-system will be use as a part of a Virtual microscope system.
+
  | literatura = Ref: Hui Chen, Hanqiu Sun, Xiaogang Jin, Interactive soft-touch dynamic deformations (p 153-163), Computer Animation and Virtual Worlds, Volume 18 Issue 3 , July 2007
+
  | poziadavky = Must be able to program in C/C++.
+
  | odporucania = Computer Graphics, Virtual Reality.
+
}}
+
 
+
{{Tema
+
  | tema = Ice surface modeling and visualization
+
  | popis = The project proposed involves mathematical modeling, rendering and visualization of an ice surface used for skating. The properties of the ice will be measured/captured during different light conditions and with several qualities of the ice (before and after an ice-hockey game). To design a mathematical model a data from HDRI camera (Spheron 3D) will be used. The results from this project will be used as a part of the Coventry SkyDome virtual model.
+
  | literatura =
+
  | poziadavky = Must be able to program in C/C++.
+
  | odporucania = Computer Graphics, Virtual Reality, HDR Imaging.
+
}}
+
 
+
=== [[Roman Durikovic|Roman Ďurikovič]] ===
+
 
+
'''Problémy spadajúce do okruhu povodní:'''
+
 
+
{{Tema
+
  | tema = Physical based animation of flowing objects.
+
  | popis = Toto je podporný modul pre náš dynamický systém simulácie vody. Medzi objektami plávajúcimi na vode môže dôjsť ku kolízii, tak isto môže dôjsť ku koliízii objektu s prekážkou. Vstupom budú parametre zo simulátoru v presne definovanom formáte a výstupom bude nová pozícia objektov a ďalšie parametre spôsobené kolíziou s vodou.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Simulation and visualization of soap bubble dynamics.
+
  | popis = Here you will do quantitative and qualitative extensions of existing software. The bubble dynamic is simulated by a particle system. Bubble destruction and animation of large foam should be done. We should be able to simulate bubbles in the smoke or gas fluid controlled by parameters.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
'''Problems related to EU project:'''
+
 
+
{{Tema
+
  | tema = Sparkling effects simulation in metallic paint including visualization.
+
  | popis = The motivation here is to develop the industry standard of a paint model. Some research was done on this topic. We will try to improve the Ershov 2001 paper. We can not see very bright sparkles using his (Intergra) software. First step is re-implementation of Ershov sparkle model and then improve it to make sparkles more realistic. Good sparkling effect was produced in case of Japanese lacquer by Durikovic SCCG2003 but that method can not be used for non-planar surfaces.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Multi-texturing approach for paint appearance simulation on virtual vehicles.
+
  | popis = This theme similar to theme 3 is part of the EU project. This is not a new approach; similar approach was used for rendering complex reflections on urushi EG2003. This is a fake approach often applicable in games.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Real-time rendering of BRDF with hemispherical representation.
+
  | popis = Use the hemispherical representation of BRDF (compression). First step will be to make the rendering of Lambertian surfaces (diffuse surfaces), using hemisphere basis functions. In second step we need to extend to FULL BRDF, this will be yours new contribution. Hemispherical compression is more natural for BRDF and it is also a hot topic. Your implementation can be done on CPU or GPU.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Survey of BTDF methods and BTDF representations, management and BTDF -> BRDF conversion.
+
  | popis = Huge data sets, larger than in volume rendering! You will summarize the known methods on a web site for "pain coating" projects. New contribution could be the level of texture detail during BTDF->BRDF conversion.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Prehlad analytickych modelov zamracenej a jasnej oblohy s priemernou radianciou v kazdom bode oblohy a implementacia tohto modelu.
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Prehlad BRDF reprezentacii a ich vyhodnotenenie pre potreby simulacie lakov.
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Tvorba HDR textúr z fotografii skutočných nameraných automobilových lakov.
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Vizualizácia vodných plôch v reálnom teréne a v reálnom čase.
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Simulácia záplav pomocou výpočtu povrchu vody (shallow model).
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Simulácia a vizualizácia šplechov pri vodnych tokoch.
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Simulácia erózie pôdy vodným tokom.
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Prehľad a implementácia nových modelov adaptívnych hadov a ich topológií. (toto je téma zo spracovania obrazov, najviac ISI citovaný článok na katedre KAI.)
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
'''Témy projektu VIPER:'''
+
 
+
{{Tema
+
  | tema = Projekcie obsahu WWW stánok do audio priestoru v mobilných zariadeniach, PocketPc.
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Adaptácia audio a video kodeky pre PocketPc.
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = podľa dohody - pozri projekty na stránke
+
http://www.sccg.sk/~durikovic
+
  | popis = (Vezmem maximálne 5 študenov tento rok!). Pozrite si aj moje témy bakalárskych prác, tiež ich možete použiť ako diplomové témy.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Jan Lacko|Ján Lacko]] ===
+
 
+
 
+
=== [[Lubomir Lucan|Ľubomír Lúčan]] ===
+
 
+
{{Tema
+
  | tema = Úvod do metód spracovania videa v súčasnom multimediálnom prostredí. (obsadené)
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Michal Nociar]] ===
+
 
+
{{Tema
+
  | tema = Platform independent generic implementation of triangulations.
+
  | popis = Cieľom práce je implementácia vybraných druhov rovinných triangulácií pomocou Boost Graph Library ako súčasti knižníc Boost, ktoré sú založené na princípoch obdobných ako uStandard Template Library. Táto implementácia má ponúknuť znovupoužiteľný kód, ktorý nebude závislý na konkrétnych dátových štruktúrach asociovaných s elementami grafu. Navrhnutá implementácia by mala byt použitá na riešenie konkrétneho problému z praxe. Medzi implementovanými trianguláciami by mali byt minimálne DT, GT a prípadne aj aproximácia MWT založená na konštrukcií LMT-skeletonu. Samotné implementácie majú byť samozrejme časovo i priestorovo efektívne. Predpokladá sa samozrejme aj teoretický prehľad týkajúci sa implementovaných triangulácií.
+
  | literatura =
+
  | poziadavky = C/C++, Templates, STL, Boost.
+
  | odporucania =
+
}}
+
 
+
=== [[Matej Novotny|Matej Novotný]] ===
+
 
+
* [[Visual programming of data analysis|Vizuálne programovanie dátovej analýzy (téma je už zadaná)]]
+
* [[Modular offline renderer of buildings and others (MORBO)|Modular offline renderer of buildings and others (MORBO) (téma je už zadaná)]]
+
* [[Representing abstract infovis structures in graphical linked view environments (RAISING LIVE)|Representing abstract infovis structures in graphical linked view environments (RAISING LIVE) (téma je hibernovaná)]]
+
* [[Time-dependent scatterplots (TIDES)|Time-dependent scatterplots (TIDES) (téma je už zadaná)]]
+
* [[Visual analysis of load on trees and hierarchies|Visual analysis of load on trees and hierarchically entangled resources (VALTHER) (téma je už zadaná)]]
+
 
+
 
+
=== [[Elena Sikudova|Elena Šikudová]] ===
+
 
+
sikudova [[Image:zavinac.gif|@]] sccg.sk
+
* [[Visual attention models|Visual attention models]]
+
* [[Image quality metrics|Image quality metrics]]
+
* [[Individual IP topic|Individual IP topic]]
+
 
+
 
+
=== [[Milos Sramek|Miloš Šrámek]] ===
+
 
+
{{Tema
+
  | tema = Viaceré témy M. Šrámka, ktoré sú zadané v [[Topics for Bachelor Theses|Zozname tém pre bakalárske práce]], je možné rozšíriť aj na diplomové práce.
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Marek Zimanyi|Marek Zimányi]] ===
+
 
+
{{Tema
+
  | tema = Témy diplomových prác pre študentov MPG najdete na internetovej stránke katedry: 
+
  | popis = http://fractal.dam.fmph.uniba.sk/~kg/study-sk.shtml<br><br>Študujúci so záujmom o grafické diplomovky si môžu nájsť témy a konzultantov aj na TU Wien a VRVis v Rakúsku:
+
www.vrvis.at, www.cg.tuwien.ac.at.<br><br>Platená diplomová práca v oblasti GIS - informácie u doc. A. Ferka.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Peter Borovsky|Peter Borovský]] ===
+
 
+
{{Tema
+
  | tema = Ukladanie dát pre virtuálne mestá
+
  | popis = V rámci diplomovej práce by mali byť skúmané rôznorodé dátové reprezentácie a spôsoby ukladania dát veľkých virtuálnych miest, vrátane geometrických modelov či textových atribútov. Diplomant môže očakávať prácu v niektorom z priestorových DBMS (predpokladajú sa aspoň základné znalosti databáz), GIS, 3D modelerov alebo iných nástrojov pracujúcich s 3D geomteriou, v prípade úspechu aj účasť na projektoch Virtuálnej Bratislavy (VrBA).
+
}}
+
 
+
=== [[Martin Samuelcik|Martin Samuelík]] ===
+
 
+
{{Tema
+
  | tema = Predspracovanie dat pre generovanie papierovych modelov
+
  | popis = Automaticke generovanie predloh pre stavbu papierovych modelov je silno zavisle na integrite vstupnych trojrozmernych dat. Predspracovanie 3D modelu je preto vysoko potrebna sucast generovania. Vstupny model sa musi upravit pomocou geometrickych algoritmov ako odstranenie dier, znizenie komplexnosti modelu, spajanie blizkych bodov. Dalsou castou moze byt navrh rozlozenia vygenerovanych casti na 2D ploche. Pre pracu je potrebna znalost programovania v C/C++.
+
}}
+
 
+
== Umelá inteligencia a kognitívna veda ==
+
 
+
=== [[Martin Balaz|Martin Baláž]] ===
+
 
+
{{Tema
+
  | tema = Transformational Semantics for Well-Supported Models of Multidimensional Dynamic Logic Programs.
+
  | popis = V dnešnej dobe neexistuje software na počítanie sémantiky multidimenzionálnych dynamických logických programov, avšak existuje viacero implementácií na počítanie stabilných modelov klasických logických programov.
+
Cieľom práce je zadefinovať preklad multidimenzionálneho dynamického logického programu na klasický logický program tak, aby sa sémantika pôvodného programu dala skonštruovať z množiny stabilných modelov transformovaného programu.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania = "Logické programovanie ASP", "Sémantické základy znalostných systémov"
+
}}
+
 
+
{{Tema
+
  | tema = Paraconsistent Semantics for Multidimensional Dynamic Logic Programs.
+
  | popis = Multidimenzionálne dynamické logické programy riešia konflikty na základe relácie preferencie. Pokiaľ viac preferovaná informácia (novšia, spoľahlivejšia) tvrdí opak ako menej preferovaná informácia (staršia, nespoľahlivá), uprednostňujeme samozrejme tú preferovanejšiu. Nie však vždy v prípade konfliktu vieme spoľahlivosť či aktuálnosť informácií porovnať. V takomto prípade neexistuje klasický dvojhodnotový model.<br>Cieľom práce je zadefinovať parakonzistentú sémantiku, ktorá by pomohla identifikovať časti báz znalostí, ktoré nie sú ovplyvnené takýmto konfliktom a získať z nich zmysluplné konzistentné informácie.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania = "Logické programovanie ASP", "Sémantické základy znalostných systémov"
+
}}
+
 
+
{{Tema
+
  | tema = Implementácia legislatívy pomocou ontológií a logických programov.
+
  | popis = Formalizácia právnych textov sa vo všeobecnosti musí vysporiadavať s pojmami, ktoré sú vágne. Existujú však v ekonomickom práve oblasti, kde s formalizáciou nie je problém, ba niekedy je až priamočiara.
+
Cieľom práce je namodelovať právnickú taxonómiu pomocou ontológií a prepojiť ich s pravidlovými systémami. Takýmto spôsobom sa získajú rôzne druhy reasoningu, ktoré sú veľmi dobrým pomocníkom pri analýzach právnych textov.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania = "Logické programovanie ASP", "Sémantické základy znalostných systémov", "Deskripčné logiky, ontológie a sémantický web".
+
}}
+
 
+
{{Tema
+
  | tema = Defeasible Logic Programs with Disjunction
+
  | popis = Defeasible logický program je argumentačný formalizmus. Argument pre nejaké tvrdenie je množina pravidiel, pomocou ktorých sa dá dané tvrdenie odvodiť. Pôvodná definícia argumentov neumožňuje použiť pravidlá s disjunkciou v hlave. Cieľom práce je rozšíriť syntax a sémantiku defeasible logických programov o disjunkciu v hlavách pravidiel.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania = "Logické programovanie ASP", "Sémantické základy znalostných systémov".
+
}}
+
 
+
=== [[Igor Farkas|Igor Farkaš]] ===
+
 
+
{{Tema
+
  | tema = Sledovanie pohybujúcej sa loptičky mobilným robotom. '''(obsadené: Tomáš Rapčan, 2008-10, KV)'''
+
  | popis = Nadizajnujte a implementujte virtuálne (3D) prostredie, v ktorom sa bude pohybovať loptička na ploche. Navrhnite simulovaného agenta (neurónovú sieť), ktorý bude na vstup dostávať predspracovaný obraz) a bude sa pohybovať (pomocou dvoch kolies) tak, aby loptička ostávala v strede jeho zorného poľa v primeranej vzdialenosti.
+
  | poziadavky = pasívna znalosť angličtiny, relatívna samostatnosť, ochota pracovať priebežne
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Aproximácia motorického priestoru ramena simulovaného robota pomocou rekurentnej SOM neurónovej siete. '''(obsadené: Richard Korenčiak, 2008-10, AI)'''
+
  | popis = Implementujte virtuálne rameno robota v 3D prostredí, a natrénujte rekurentnú SOM na rôznych pohyboch tohto ramena. Na tejto mape potom vytvorte predikčný model pohybu tvorený lokálnymi modelmi (pre každý neurón). Otestujte generalizačnú schopnosť natrénovaného modelu.
+
  | poziadavky = pasívna znalosť angličtiny, relatívna samostatnosť, ochota pracovať priebežne
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Modelovanie porozumenia akciám pomocou neurónových sietí. '''(obsadené: Stanislav Mendel, 2008-10, AI)'''
+
  | popis = Vytvorte jednoduché virtuálne prostredie (rameno robota, pár objektov na scéne). Navrhnite, implementjte a natrénujte model na báze neurónových sietí, ktorý sa bude učiť vykonávať pohyby smerom k objektom na jednoduchej scéne na základe jazykových inštrukcií. Model má mať aj opačnú schopnosť, t.j. vedieť okomentovať vykonávané pohyby. Analyzujte vlastnosti modelu vrátane jeho generalizačnej schopnosti.
+
  | poziadavky = pasívna znalosť angličtiny, relatívna samostatnosť, ochota pracovať priebežne
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Modelovanie porozumenia vetám pomocou distribuovaného situačného modelu.
+
  | popis = Cieľom je pokračovať v testovaní sémantickej systematickosti v simulovanom modeli mikrosveta (jednoduché objekty na 2D scéne), s využitím distribuovaných (konekcionistických) reprezentácií situácií. Úlohou je pomoocou vhodného prístupu naučiť (rekurentnú) neurónovú sieť, aby dokázala mapovať jazykový opis situácie (sekvencia symbolov) na situačnú reprezentáciu.   
+
  | literatura = P. Jankovič: Konekcionistický prístup k porozumeniu textu na báze situačného priestoru mikrosveta. Diplomová práca, FMFI UK, 2008. (http://ii.fmph.uniba.sk/~farkas/Theses/past_theses.html),
+
články na osobnej stránke Stefana Franka (U. of Amsterdam)
+
  | poziadavky = pasívna znalosť angličtiny, relatívna samostatnosť, ochota pracovať priebežne, znalosť Java
+
  | odporucania =
+
}}
+
 
+
=== [[Martin Homola]] ===
+
 
+
{{Tema
+
  | tema = Navrh a implementacia semantickej databazy pre projekt lumberjazk
+
  | popis =
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Peter Klimo|Peter Klimo]] ===
+
 
+
{{Tema
+
  | tema = Simulácia dopravných úloh pomocou jazyka Evolp.
+
  | popis = Cieľom diplomovej práce je simulovať pasažiera cestujúceho v MHD pomocou BDI agenta, ktorého hlavné zložky budú reprezentované logickým programom (resp. Evolpom). Agent sa skladá z:
+
* Bázy znalostí, ktorá obsahuje stratégiu cestovania ( najkratší čas cestovania, najmenší počet prestupovaní, vyhýbanie sa určitým oblastiam ) ako aj všeobecné znalosti o prestupovaní, meškaní, resp. vynechaní spojov, vyhýbanie sa zápcham a potrebe preplánovania trasy.
+
* Báza cieľov a Báza zámerov, obsahujú cieľ cesty ako aj jednotlivé podcieľe.
+
* Plánovací modul obsahujej tranformovaný cestovný poriadok a umožňuje agentovi plánovanie v čase aj priestore.
+
 
+
Úlohou diplomanta je:
+
* navrhnúť reprezentáciu cestovného poriadku
+
* navrhnúť reprezentáciu plánu a implementovať plánovací modul
+
* implementovať a porovnať rôzne stratégie cestovania
+
  | literatura =
+
  | poziadavky =
+
  | odporucania = "Logické programovanie ASP", "Sémantické základy znalostných systémov"
+
}}
+
 
+
=== Anna Krakovská ===
+
 
+
Vedúci projektu: RNDr. Anna Krakovská, PhD., ÚM SAV<br>
+
Pedagogický vedúci: Doc. RNDr. Mária Markošová, PhD.
+
 
+
{{Tema
+
  | tema = Filtrácia signálu, založená na rekonštrukcii dynamiky generujúceho systému: Vytvorenie programu pre systém MatLab.
+
  | popis = Získať prehľad o možnostiach filtrácie signálov v systéme MatLab. Vytvoriť program tzv. nelineárnej filtrácie, ktorý využíva metódy modernej teórie nelineárnych dynamických systémov. Nadviazať pritom na výsledky, získané v rámci diplomového projektu [3]. Navrhnúť optimálnu voľbu parametrov nelineárnej filtrácie, vytvorenej v jazyku C++ a publikovanej v [3]. Výslednú filtračnú techniku porovnať s tradičnými algoritmami prostredníctvom testovania na známych chaotických signáloch (atraktory Henona, Ikedu a Lorenza) a vybraných biologických signálov (EKG, EEG).
+
  | literatura =
+
# Schreiber T., Grassberger P.: A simple noise-reduction method for real data. Physics Letters A 160, pp. 411-418, 1991.
+
# Grassberger P. a i.: On noise reduction methods for chaotic data. Chaos 3, pp. 127-141, 1991.<br>
+
# Bobrík M.: Porovnanie lineárnych metód filtrácie s metódami na báze nelineárnej dynamiky: Aplikácia na biologické signály EKG a EEG. Dipl. Práca, FEI STU, Bratislava, 2002.
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Predikcia časového radu, založená na dynamických vlastnostiach rekonštruovaného stavového portrétu.
+
  | popis = Preštudovať predikčné metódy, uverejnené v [1]. Zamerať sa najmä na algoritmy, využívajúce metódy, inšpirované výsledkami v oblasti nelineárnych dynamických systémov. Navrhnúť algoritmus a vytvoriť program, použiteľný v systéme MatLab. Vytvoriť alternatívny predikčný program typu ARMA modelu. Výsledné algoritmy porovnať prostredníctvom testovania na dátach, použitých aj v [1] (laser, EEG, finančné časové rady, chaotický signál, atď).
+
  | literatura = # Weigend A., Gershenfeld N. A.: Time Series Prediction: - Forecasting the Future and Understanding the Past. Proceedings of the NATO Advanced Research Workshop on Comparative Time Series Analysis. Santa Fe, New Mexico, 1992.
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Vývoj spätno-väzobného EEG systému s dotykovým prenosom informácie.
+
  | popis = 1. Štúdium problematiky EEG ako prejavu fyziologickej činnosti mozgu, ako aj merania EEG a jeho matematickej analýzy. 2. Úprava softvéru pre zber údajov existujúceho snímača EEG, pripojeného sériovou linkou. 3. Vývoj jednoduchého výkonového prevodníka k PC pre ovládanie spätno-väzobného reproduktora a ovládacieho softvéru.
+
  | literatura = # Viceník K., Bartók K.: Tactile EEG biofeedback and its EEG spectra response. Studia Psychologica, 39, 1997, 4, pp. 291-293.
+
# Basar E. et al.: Is the alpha rhythm a control parameter for brain responses? Biological Cybernetics, 76, 1997, pp. 471-480.
+
  | poziadavky = Problematika predpokladá schopnosť programovania v jazyku C a základné vedomosti z návrhu elektronických zariadení.
+
  | odporucania =
+
}}
+
 
+
=== [[Andrej Lucny|Andrej Lúčny]] ===
+
 
+
{{Tema
+
  | tema = užšia téma z oblasti tvorby modelov správania živých systémov
+
  | popis = Implementacia v podobe robota alebo modelu vo virtuálnej realite, ktorý je oživený riadiacim systémom na báze agentov
+
  | literatura = Brooks, Minsky, Kelemen
+
  | poziadavky = Implementačná schopnosť
+
  | odporucania = detaily domyslíme po vzájomnej dohode
+
}}
+
 
+
rieši bc. Andrej Riška a bc. Malinovský
+
 
+
{{Tema
+
  | tema = Rozpoznávanie postáv pri statickom pohľade
+
  | popis = Je daný 3D model postavy s mnohými stupňami voľnosti
+
(rotácie a škály) a fotka podobnej postavy. Pomocou
+
genetickeho algoritmu treba nájsť konkrétne hodnoty
+
stupňov voľnosti, ktoré zodpovedajú odfotenej postave.
+
  | literatura =
+
  | poziadavky = VRML, Java, Java 3D
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Rozpoznávanie postáv na videu
+
  | popis = Je daný 3D model postavy s mnohými stupňami voľnosti
+
(rotácie a škály) a video, ktoré začína určitou definovanou
+
pózou. Z úvodu sa predpokladá, že postava kráča dostatočne
+
pomaly a nové parametre modelu sa vždy nachádzajú v blízkosti
+
povodných. V daľšom už toto platiť nemusí a je potrebné robiť
+
predikciu kde budú (Kalmanov filter).
+
  | literatura =
+
  | poziadavky = VRML, Java, Java 3D, Octave
+
  | odporucania =
+
}}
+
 
+
=== [[Michal Maly|Michal Malý]] ===
+
 
+
{{Tema
+
  | tema = Automaticka detekcia bezpecnostnych incidentov pomocou mechanizmov umelej inteligencie [rezervácia Kristián V.]
+
  | popis = Existuju mnohe dohladove a monitorovacie systemy, ktore upozornuju spravcu na mozne technicke a bezpecnostne problemy. Zvacsa su zalozene na pravidlach, ktore je potrebne nakonfigurovat. Mnohe abnormality, ktore signalizuju problem, by sa vsak dali automaticky detekovat. Napriklad nahly narast alebo pokles sietovej prevadzky signalizuje DOS utok alebo vypadnute sietove spojenie. Na necakanu hlasku v logu by mal byt spravca takisto upozorneny. Normalne prevadzkove hodnoty sa daju naucit z beznej prevadzky; abnormalita sa da zachytit pomocou detektorov novosti, napr. neuronove siete, statisticke pravidla, strojove ucenie a pod.
+
Pracu mozno smerovat prakticky (implementacia) alebo teoreticky (analyza moznosti, pripadne vyvinutie vlastnych specializovanych mechanizmov detekcie)
+
 
+
  | literatura =
+
  | poziadavky = znalost mechanizmov AI, zaujem o oblast bezpecnosti
+
vyhodou je znalost Linuxu, znalost monitorovacich alebo bezpecnostnych softverov
+
  | odporucania =
+
}}
+
 
+
 
+
 
+
{{Tema
+
  | tema = Extrakcia-akvizícia gramatiky prirodzeného jazyka pomocou formálnych gramatík [voľné]
+
  | popis = Každý pozná príklad gramatiky, ktorá generuje vety v prirodzenom jazyku. Tento krátky príklad však musel niekto ručne vyrobiť. Predstavme si však, že máme k obrovskú zbierku viet v (povedzme slovenskom) jazyku (čiže korpus). Vedeli by sme z neho odvodiť pravidlá tvorby viet? Malé deti sa učia gramatiku na príkladoch, a existujú rôzne prístupy, ako napodobniť akvizíciu gramatiky.
+
Gramatická indukcia je formalizovaný prístup, ako odvodiť gramatiku z (podmnožiny) jazyka, založený na teórii formálnych jazykov. Napr. Myhill-Nerodova veta popisuje konštrukciu minimálneho automatu ak je známy (regulárny) jazyk. Automat možno ľahko previesť na gramatiku.
+
Čo dostaneme, ak tento postup -- gramatickú indukciu -- aplikujeme na celý korpus? Nazdávame sa, že je tak možné automaticky extrahovať informácie o ohýbaní slov, ich skladaní do viet a podobne.
+
Prirodzený jazyk je však (minimálne) bezkontextový. Tu bude treba aplikovať zložitejšie algoritmy (napr. Crespi-Reghizziho algoritmus).
+
 
+
Práca je zameraná hlavne teoreticky, ale je potrebné teoretické poznatky vyskúšať na praktických príkladoch.
+
 
+
  | literatura = John E. Hopcroft and Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation
+
  | poziadavky = dobrý vzťah k formálnym jazykom
+
  | odporucania = Formálne jazyky a automaty
+
}}
+
 
+
=== [[Maria Markosova|Mária Markošová]] ===
+
 
+
{{Tema
+
  | tema = Funkčné siete mopzgu.
+
  | popis = Diplomant bude zapojený do výskumného projektu školiteľky. Preto musí zvládnuť teóriu rastúcich sietí. Jeho úlohou je vytvoriť program schopný spracovávať namerané dáta z fmri meraní mozgu a vytvárať funkčné siete mozgu.)
+
  | literatura = # Barabási, Albert , Science (1999) 509; Watts, Small worlds, Princeton Univ. Press, 2004.
+
  | poziadavky
+
  | odporucania = téma je rezervovaná
+
}}
+
 
+
{{Tema
+
  | tema = Hierarchické rastúce siete.
+
  | popis = Diplomant bude zapojený do výskumného projektu školiteľky. Preto musí zvládnuť teóriu rastúcich sietí. Jeho úlohou je naprogramovať rôzne modely a typy rastúcich sietí a určiť vlastnosti, ktoré sú relevantné pre vytvorenie hierarchie uzlov v sieťach. Diplomant taktiež musí zmerať štatistické vlastnosti takýchto sietí, hlavne tie, ktoreé opisujú hierarchiu uzlov.
+
  | literatura = Barabási, Albert , Science (1999) 509; Watts, Small worlds, Princeton Univ. Press, 2004 ; Náther , Markošová, Rudolf, Hierarchy in the growing scale - free networks, vyjde vo Physica A.
+
  | poziadavky = motivovanosť a záujem
+
  | odporucania = matematika, teória grafov
+
}}
+
 
+
{{Tema
+
  | tema = Model rastúcej siete riadenej klasterizáciou.
+
  | popis = Diplomant bude zapojený do výskumného projektu školiteľky. Preto musí zvládnuť teóriu rastúcich sietí. Jeho úlohou je naprogramovať rastúcu sieť ktorej rast je riadený klasterizáciou a zmerať štatistické vlastnosti siete. Zvlášť motivovaný diplomant sa môže pokúsiť o nájdenie a analytické riešenie  modelu danej siete vo forme diferenciálnej alebo diferenčnej rovnice.
+
  | literatura = Barabási, Albert , Science (1999) 509; Watts, Small worlds, Princeton Univ. Press, 2004.
+
  | poziadavky = motivovanosť a záujem
+
  | odporucania = teória grafov, matematika
+
}}
+
 
+
{{Tema
+
  | tema = Model siete profesionálnych kontaktov vo vašom odbore.
+
  | popis = Úlohou študenta je získať dáta o sieti profesionálnych kontaktov pracovníkov, alebo firiem pracujúcich vo vašom odbore (napr. spoluorganizovanie konferencií, písani spoločných článkov, spoločné projekty). Zo získaných dát je potrebné zostaviť sieť kontaktov a zmerať jej štatistické vlastnosti. Danú sieť treba potom porovnať so známymi modelmi a porovnanie vyhodnotiť, poprípade navrhnúť iný model.
+
  | literatura = # Barabási, Albert , Science (1999) 509; Watts, Small worlds, Princeton Univ. Press, 2004.
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Marek Nagy]] ===
+
'''(moje výzvy sú už pre tento rok uzatvorené !!!)'''
+
 
+
{{Tema
+
  | tema = Automatické počítačové pracovné listy. '''(obsadené: Pavol Bezák, 2008-2010)'''
+
  | popis = Nadviazanie na zaujímavú bakalársku prácu. Zmysel spočíva v automatickom nahradení papierových pracovných zošitov a šlabikárov (I.st ZŠ) elektronickými inteligentnými pracovnými listami. Potreba preskúmať možnosti "papierových" aktivít (napr. vyfarbi, dopíš, prečítaj, ...) a ich realizovanie prostredníctvom počítača. Počítač musí zároveň kontrolovať i správnosť riešenia aktivity. (Použitie rozpoznávania písaných písmen, číslic; rozpoznávanie slov; vyfarbenie objektov, ...) Aplikácia bude obsahovať dva moduly. Jeden pre učiteľa, ktorý si zoskenuje pracovný list a čo najpohodlnejšie, z čo najmenšou námahou ho pripraví do elektronickej prezentácie. Druhý modul bude zobrazovať/kontrolovať pracovné listy. Predpokladaný je experiment na ZŠ.
+
  | literatura =
+
  | poziadavky = cez web - Java aplet
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Využitie počítačového tabletu pri výuke písania. '''(obsadené: Jozef Králik, 2008-2010)'''
+
  | popis = ('''informatik'''+'''pedagóg''') Nadviazanie na predchádzajúce '''informatické''' diplomové práce. Pokračovanie vo využití algoritmu DTW na stanovenie miesta chyby v písaní podľa predlohy. Rozšírenie HMM rozpoznávača písmen o tlačené paličkové písmo. Previazanie výsledkov do aplikácie, ktorú obohatí o pedagogické aspekty diplomant z pedagogickej fakulty. '''Pedagóg''' by navrhol metodiku a porovnal klasický a "tabletový" prístup výuky písania. Predpokladaný je experiment na ZŠ.
+
  | literatura =
+
  | poziadavky = Linux, C/C++
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Zmena tempa reči. '''(obsadené: Michal Vrábel, 2008-2010)'''
+
  | popis = Každá reč sa vyznačuje svojím tempom. Najlepšie je reprezentované počtom slabík za sekundu. Nahrávka prečítaného textu môže byť rýchla, alebo pomalá. Isto by bolo zaujímavé keby si každý mohol zvoliť akým tempom si ju vypočuje. Bádanie v tomto smere by sa mohlo odraziť od známeho zvukového editora audacity. Vstupom je text a jeho doslovná nahrávka, čo umožňuje jednoduchý prepočet koeficientu slabík za sekundu.
+
  | literatura =
+
  | poziadavky = Linux, C/C++
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Speech detector. '''(obsadené: Július Kunský, 2008-2010)'''
+
  | popis = Explicitné určovanie začiatku povelu-slova a jeho konca je pre užívateľa príliš únavné. Je potrebné automaticky detekovať kedy začať nahrávať slovo a kedy skončiť. Následne/priebežne je zvuk posunutý na rozpoznanie. Zosnímaný zvuk slova je potrebné ešte pred samotným rozpoznaním orezať a tak znížiť výpočtové nároky a zvýšiť úspešnosť rozpoznania (off-line). Cieľom je preskúmať problematiku a vytvoriť aplikáciu.
+
  | literatura =
+
  | poziadavky = Linux, C/C++
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Melody tutor. '''(obsadené: Katarína Macová, 2008-2010)'''
+
  | popis = Počítač na základe zosnímaného zvuku kontroluje správnosť zahratého tónu (jednoduchý hudobný nástroj-cinkátko). Dieťa musí podľa predlohy zahrať jednoduchú postupnosť tónov. Možnosť rozšíriť to na ”spievanie” (lalakanie). Cieľom je preskúmať problematiku a vytvoriť aplikáciu. Linux, C/C++.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Počítačom podporovaná výuka gitarových akordov. '''(obsadené: Vladimír Šimo, 2008-2010)'''
+
  | popis = Počítač na základe zosnímaného zvuku kontroluje správnosť zahratých akordov. Podobne na základe zahratej pesničky vytvoriť prepis na akordy. Cieľom je preskúmať problematiku a vytvoriť aplikáciu. Linux, C/C++.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Model pier pri vyslovovaní slov. '''(obsadené: Zoltán Tirinda, 2007-2009)'''
+
  | popis = Vytvorenie modelu virtuálnych pier (dve krivky), ktoré demonštrujú vyslovovanie slov. Preskúmať pohyby pier pre každú fonému a podľa rozkladu slov na fonémy pohybovať ústami. Cieľom je preskúmať problematiku, zozbierať dáta a vytvoriť model-aplikáciu. Linux, C/C++.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Hláskovací tutor.
+
  | popis = Nadviazanie na úspešne ukončenú diplomovú prácu. Realizovanie aplikácie rozpoznávača vyhláskovaných (vyspelovaných) slov. Využitím rozpoznávača hlások realizovať (edukačnú) aplikáciu (určenú deťom). Potreba riešiť ďalšie odborné problémy napr. detekcie začiatku a konca vyslovenej hlásky, rozumné prehladávanie priestoru možných slov veľkého slovníka, . . . Linux, C/C++.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = HMM laboratórium.
+
  | popis = V súčasnosti možno na experimentovanie s rozpoznávaním reči (ale i písma) využívať balíky ako Sphinx, HTK, CSLU. Problematické je však zasahovať do štandardných zaužívaných postupov trénovania a používania HMM (Hidden Markov Models). Najlepšie, z tohto pohľadu, je HTK. Je však programátorsky neprehľadné (jazyk C). Cieľom by bolo implementovať škálovatelnú, rozširovatelnú a prehladnú knižnicu HMM. (Minimálne musia byt realizované vlastnosti z HTK. Základným prvkom by bol gausián.) (Implementácia Linux, C++).
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = HMM laboratórium – vizualizácia.
+
  | popis = V nadväznosti na predchádzajúcu tému by bolo cieľom implementovať grafickú vizualizáciu HMM (Hidden Markov Models). V prostredí by bolo možné vizualizovať a modifikovať topológie modelov, rozloženie pravdepodobností. Dôležitá je i možnost sledovania správania sa modelov v procese trénovania a testovania (napr. grafy gausiánov, . . .). (Implementácia Linux, C++, Gtk+).
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Určovanie veku detí podľa rečového signálu. '''(obsadené: Anton Urbánik, 2008-2010)'''
+
  | popis = Ľahko možno nahliadnuť, že zvuková stránka rečového prejavu sa v závislosti od veku mení (dieťa rastie a spolu s ním i rečový aparát). Na základe rozloženia formantov je predpoklad určovať vek detí. Na základe tejto informácie bude napríklad možné vyberať medzi rozpoznávačmi reči pre jednotlivé vekové kategórie. Cieľom by bolo preskúmať túto oblasť a vytvoriť experimentálnu aplikáciu využívajúcu navrhnuté určovacie techniky. (Implementácia Linux, C++).
+
  | literatura = # Whiteside, S. P., Hodgson, C., (2000), ”Speech patterns of children and adults elicited via a picture-naming task: an acoustic study”, Speech Communication, 32:4, 267-285.
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Peter Nather|Peter Náther]] ===
+
 
+
{{Tema
+
  | tema = Vyhľadávanie klastrov v grafoch a vizualizácia ziskaných dát
+
  | popis = Vybrať alebo navrhnúť vhodný algoritmus pre hľadanie klastrov vo veľkých grafoch, pričom klastre v grafe sa môžu navzájom prekrývať. 2D a 3D vizualizácia grafov so zvýraznením získanych klastrov (voľba a úprava vhodných nástrojov pripadne vlastná impelmentácia). Jedná sa o grafy s veľkým množstvom vrcholov a hrán (stovky tisíc a viac). Vyýsledok sa využije pri spracovaní dát v oblasti výskumu sietí malého sveta.
+
  | literatura = # Q. Feng. Algorithms for Drawing Clustered Graphs. PhD thesis, Department of Computer Science and Software Engineering, University of Newcastle, Apr. 1997.
+
# Shamir, Sharan, Tsur, Cluster Graph Modification Problems (2002)
+
# Kanovsky Igor, Complex Networks Clustering and Edges Correlation. International Conference on Network Science (NetSci2006), Bloomington, Indiana, USA . May. 2006
+
# Jens Gramm, Jiong Guo, Falk Hffner, Rolf Niedermeier - Graph-Modeled Data Clustering: Fixed-Parameter Algorithms for Clique Generation (2003)
+
# Watts, Small Worlds, Princeton University Press, Princeton (2004)
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Generovanie a a analýza veľmi veľkých sietí
+
  | popis = Cieľom práce navrhnúť vhodné algoritmy a dátové štruktúry pre generovanie a analýzu veľkých grafov (stotisíce či milióny uzlov). Algoritmy by mali byť schopné simulovať rôzne procesy vytvárania grafov a merať rôzne parametre ako najkratšia vzdialenosť, priemer, klasterizačný koeficient. Navrhované alogoritmy by sa mali pokúsiť vyťažiť zo znalosti lokálnej štruktúry grafu.
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Pavel Petrovic|Pavel Petrovič]] ===
+
 
+
{{Tema
+
  | tema = Indirect Representations for Evolutionary Design
+
  | popis = See [[BakTema Indirect Representations for Evolutionary Design|Indirect Representations for Evolutionary Design]]
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Cellular Embryogenetic Representations for Evolutionary Design
+
  | popis = See [[BakTema Cellular Embryogenetic Representations for Evolutionary Design|Cellular Embryogenetic Representations for Evolutionary Design]]
+
}}
+
 
+
{{Tema
+
  | tema = Evolution of Finite-State Automata
+
  | popis = See [[BakTema Evolution of Finite-State Automata|Evolution of Finite-State Automata]]
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Bayesian and Probabilistic Robotics in Remotely-Operated Robotics Laboratory
+
  | popis = See [[BakTema Probabilistic Mapping in Remotely-Operated Robotics Laboratory|Probabilistic Mapping in Remotely-Operated Robotics Laboratory]] and [[BakTema Bayesian Robot Programming|Bayesian Robot Programming]]
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = RoboCup Rescue Simulation League
+
  | popis = See [[BakTema RoboCup Rescue Simulation League|RoboCup Rescue Simulation League]]
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Simulated RoboCup Standard Platform League
+
  | popis = See [[BakTema Simulated RoboCup Standard Platform League]]
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Factored MDPs
+
  | popis = See [[BakTema Factored MDPs]]
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Jan Rybar|Ján Rybár]] ===
+
 
+
{{Tema
+
  | tema = Reprezentácia poznatkov: obrazy verzus symboly '''(pre KV)'''
+
  | popis = Práca by mala byť zameraná na rekonštrukciu sporu medzi kognitívnymi vedcami, ktorí kladú veľký dôraz na analogické reprezentácie (Kosslyn) a na druhej strane tými, ktorí kladú veľký dôraz na symbolové reprezentácie (Pylyshyn).
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Indikátory vnímania hĺbky a optické ilúzie '''(pre KV)'''
+
  | popis = Práca by mala byť zameraná na tie optické ilúzie, ktoré pomáhajú pochopiť indikátory vnímania hĺbky (predovšetkým tzv. nemožné objekty)
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Pracovná pamäť: modely a meranie '''(pre KV)'''
+
  | popis = V súčasnosti je výskum pracovnej pamäti „šlágrom“ v oblasti výskumu pamäti. Práca by mala byť zameraná na Baddleyho model a príslušné postupy na meranie pracovnej pamäti.
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
=== [[Jan Sefranek|Ján Šefránek]] ===
+
 
+
{{Tema
+
  | tema = Model rozumenia (vhodne najma pre studentov kognitivnej vedy)
+
  | popis = Pojem rozumenia sa niekedy spaja s nejakou semantickou koncepciou.
+
Na dokladne porozumenie vsak treba okrem pochopenia vyznamov jazykovych
+
vyrazov aj zaclenenie do existujucej poznatkovej sustavy s vyuzitim
+
usudzovania. Okrem toho, isty druh rozumenia mozno pozorovat aj u zvierat a deti
+
v predjazykovom stadiu - elementarnym druhom rozumenia je rozumenie
+
prostrediu, v ktorom organizmus kona.
+
 
+
Cielom prace bude vytvorit ucelenu teoreticku  koncepciu rozumenia, ktora by
+
brala do uvahy uvedene vychodiska a pripadne aj vytvorit experimentalnu
+
implemntaciu.
+
 
+
Diplomova praca by mohla nadvazovat na moj clanok Ina cinska izba (o
+
rozumeni).
+
 
+
  | literatura = # Sefranek: Ina cinska izba (o rozumeni)
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Znovupremyslenie idey skakania k zaverom (vhodne najma pre studentov kognitivnej vedy)
+
  | popis = McCarthy prisiel niekedy v zaciatkoch umelej inteligencie s viziou skakania k zaverom (jumping to conclusions). Idea vychadzala z toho, ze logicka
+
dedukcia nie je vhodna na navrh a realizaciu usudzujucich agentov. Dedukciu malo
+
nahradit nemonotone usudzovanie, od ktoreho sa ocakavalo, ze bude z
+
vypoctoveho hladiska efektivnejsie. Ukazalo sa vsak, ze vypocty v
+
nemonotonnych logikach su este narocnejsie na cas, nez klasicka dedukcia.
+
 
+
Cielom prace bude navrhnut  kombinaciu rychleho, ale omylneho usudzovania s logicky korektnym a uplnym, ale neefektivnym usudzovanim. Takto usudzuje aj clovek - obvykle nerobi dlhe odvodeniea, ale priamo "vidi" riesenia a az vtedy, ked sa dostane do tazkosti, robi zdlhavejsie odvodenia, analyzy, "konzultuje"
+
bazy znalosti.
+
 
+
Cielom prace bude formualcia modelu a pripadne aj experimentalna implementacia agenta, ktory usudzuje opisanym sposobonm (napriklad moze ist o usudzovanie potrebne na orientaciu a pohyb k nejakemu cielu v nejakom prostredi, kde sa mozu vyskytnut necakane prekazky zdrzania).
+
 
+
  | literatura = # Sefranek: Kognitivna teoria usudzovania
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Dependency framework
+
  | popis = Dependency framework bol navrhnuty v [1,2] ako semantika pre multidimenzionalne dynamicke logicke programy resp. nemonotonne bazy znalosti. Ulohou diplomovej prace je - dotiahnut ho do vseobecneho tvaru (niektore casti boli rozpracovane iba pre elementarny pripad dvoch programov, z ktorych jeden predstavuje povodnu bazu znalosti a druhy jej update) a do relativne finalnej podoby. Porovnanie s Refined Semantics [3].
+
  | literatura = # Sefranek, Rethinking semantics of multidimenzional dynamic logic programming; Proc.NMR 2006
+
# Sefranek, Irrelevant updates and nonmonotonic assumptions, Proc. of JELIA 2006
+
# Alferes, Banti, Brogi, Leite: Refined extension principle. Studia Logica, 2005.
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Dependency framework - implementácia
+
  | popis = Implementacia (optimalizacia) nedeterministickeho algoritmu z predchádzajúcej témy; jeho zlozitostna charakterizacia
+
  | literatura =
+
  | poziadavky =
+
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = Porovnanie formalizmov, riesiacich konflikty na zaklade preferencii
+
  | popis = materiál na cca dve témy: porovnanie dynamického logického programovania, logického programovania s preferenciami, argumentačných frameworkov, defeasible logík; v prvej fáze práce bude treba urobiť výber podtémy, pretože ide o širokú oblasť, zatiaľ nie príliš prebádanú, i keď uvedené prístupy majú charakteristické spoločné črty (riešenie konfliktov na základe preferencií);
+
  | literatura = širší výber (ale nie uzavretrý) pozri na http://ii.fmph.uniba.sk/kri/kri.html#seminar
+
}}
+
 
+
== Deklaratívne programovanie ==
+
 
+
=== Peter Borovanský ===
+
 
+
{{Tema
+
| tema = Vlastnosti výpočtov riadených stratégiami
+
| popis = Poloautomatické dokazovanie terminácie prepisovacích programov riadených stratégiami. Teoreticko-implementačná práca. Zadal: Matej Vince.
+
}}
+
 
+
=== Damas Gruska ===
+
 
+
{{Tema
+
| tema = Jazyky, modely a nástroje na modelovanie, špecifikáciu a verifikáciu a ich aplikácie
+
| popis = bližší popis je na [[BakTema Jazyky modely a nastroje|samostatnej stránke]]
+
}}
+
 
+
=== Ján Komara ===
+
 
+
{{Tema
+
| tema = Špecifikácia a verifikácia programov
+
| popis = http://ii.fmph.uniba.sk/cl/view/courses/bak-dipl/?lang=sk
+
}}
+
 
+
{{Tema
+
| tema = Rekurzívne funkcie a teória vypočítateľnosti
+
| popis = http://ii.fmph.uniba.sk/cl/view/courses/bak-dipl/?lang=sk
+
}}
+
 
+
== Bioinformatika ==
+
 
+
=== Tomáš Vinař (KAI) a Broňa Brejová (KI) ===
+
 
+
Aktuálne témy diplomových prác z bioinformatiky nájdete na našej stránke http://compbio.fmph.uniba.sk/temy.php
+

Latest revision as of 02:00, 18 October 2013

Diplomové práce najdete v AISe. Hľadajte dôkladne - t.j. nastavte si filter raz na práce "neúplné", raz na "úplné" a raz na "schválené", keďže niektoré témy nájdete v rôznych štádiách schválenia. Tiež si vyhľadajte témy zadané len pre váš štúdijný program, resp. len pre váš štúdijný odbor, keďže asi stále sa nájdu aj témy, ktoré nemajú vyplnené obe polia.

(zadávatelia: témy, ktoré tu boli zverejnené, si nájdite v histórii tejto stránky)

Prosím preštudujte si aj stránky