(zmeny tém dipl.prác)
Riadok 484: Riadok 484:
 
}}
 
}}
 
=== [[Marek Nagy]] ===  
 
=== [[Marek Nagy]] ===  
'''(moje výzvy sú už pre tento rok uzatvorené !!!)'''
+
'''pre rok 2011/2012'''
 
+
 
{{Tema
 
{{Tema
   | tema = Oblasť spracovania zvuku, reči, písma. Využitie v aplikáciách.
+
   | tema = Automatická segmentácia slov v súvislej reči
   | popis = HMM, DTW, klustrovanie, štatistika, pravdepodobnosť, DSP, ...
+
  | popis = Cieľom je automatické určenie hraníc slov v súvisle hovorenej reči. Využijú sa prozodické vlastnosti slovenčiny a to najmä princíp prízvuku na prvej slabike slovenských slov, ktorý je hraničným signálom. Zadefinuje sa sada HMM modelov modelujúcich intonačné javy, ktoré sa budú rozpoznávať a tým identifikovať slová.
  | literatura =
+
   | literatura =  
   | poziadavky = C, C++
+
Klára Vicsi and György Szaszák: Automatic Segmentation of Continuous Speech on Word Level Based on Supra-segmental Features, International Journal of Speech Technology, Volume 8, Number 4, 363-370, Springer Netherlands, 2005
 +
   | poziadavky = Octave, HTK, C, C++
 
   | odporucania =  
 
   | odporucania =  
 
}}
 
}}
  
 
{{Tema
 
{{Tema
   | tema = Automatické počítačové pracovné listy. '''(obsadené: Pavol Bezák, 2008-2010)'''
+
   | tema = Automatická konverzia viackanálového zvuku do stereo slúchadiel
   | 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Š.
+
   | popis = Cieľom práce je konvertovať pomocou HRTF transformácií priestorový zvuk reproduktorov (5+1) na stereo zvuk reprodukovaný prostredníctvom      ("štuplových") slúchadiel do uší. Podstata spočíva v správnej voľbe HRIR (head related impulse response) filtra na základe umiestnenia zdroja v priestore.  Namodelovaním 5+1 zdrojov príde k vytvoreniu stereo zvuku prislúchajúceho ľudským ušiam. Následnou reprodukciou (do uší) sa vytvorí dojem priestorového 5+1 zvuku.
  | literatura =
+
  | literatura = V. R. Algazi, R. O. Duda and D. M. Thompson: The Cipic HRTF Database, 2001
   | poziadavky = cez web - Java aplet
+
   | poziadavky = Octave, C, C++
 
   | odporucania =  
 
   | odporucania =  
}}
+
}}  
  
 
{{Tema
 
{{Tema
   | tema = Využitie počítačového tabletu pri výuke písania. '''(obsadené: Jozef Králik, 2008-2010)'''
+
   | tema = HMM laboratórium.
   | 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Š.
+
   | popis = Cieľom je vytvoriť demonštračné prostredie na vizualizáciu Skrytých Markovových modelov (HMM). V prostredí by bolo možné vizualizovať a       modifikovať topológie modelov a parametrov pravdepodobností (gausiánov). Dôležitá je i možnost sledovania správania sa modelov (ich parametrov) v procese  trénovania a testovania. Napríklad: grafy gausiánov, zmeny parametrov v kroku iterácie, posuny stredných hodnôt gausiánov, zvýraznenie najpravdepodobnejšej cesty v kroku iterácie, ...
 
   | literatura =
 
   | literatura =
   | poziadavky = Linux, C/C++
+
   | poziadavky = C, C++, GTK, Linux
   | odporucania =  
+
   | 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
   | tema = Melody tutor. '''(obsadené: Vladimír Kabát, 2009-2011)'''
+
   | tema = Podohode: Oblasť spracovania zvuku, reči, písma. Využitie v aplikáciách.
   | 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++.
+
   | popis = HMM, DTW, klastrovanie, štatistika, pravdepodobnosť, DSP, ...
 
   | literatura =
 
   | literatura =
   | poziadavky =  
+
   | poziadavky = C, C++
 
   | odporucania =  
 
   | 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
   | tema = Model pier pri vyslovovaní slov. '''(obsadené: Zoltán Tirinda, 2007-2010)'''
+
   | tema = Výuka a automatická korekcia písaného písma. '''(obsadené: Miloš Karas, 2009-2011)'''
   | 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++.
+
   | popis = Vylepšenie existujúcich prístupov k automatickej kontrole a korekciiô výuka písania na počítači v nadväznosti na predchádzajúcu diplomovú prácuô sätná väzba z korekcie. (Implementácia Linux, C++, Gtk+).
 
   | literatura =
 
   | literatura =
 
   | poziadavky =  
 
   | poziadavky =  
Riadok 559: Riadok 540:
  
 
{{Tema
 
{{Tema
   | tema = HMM laboratórium.
+
   | tema = Melody tutor. '''(obsadené: Vladimír Kabát, 2009-2011)'''
   | 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++).
+
   | 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 =
 
   | literatura =
 
   | poziadavky =  
 
   | poziadavky =  
Riadok 567: Riadok 548:
  
 
{{Tema
 
{{Tema
   | tema = Výuka a automatická korekcia písaného písma. '''(obsadené: Miloš Karas, 2009-2011)'''
+
   | tema = Zmena tempa reči. '''(obsadené: Michal Vrábel, 2008-2010)'''
   | popis = Vylepšenie existujúcich prístupov k automatickej kontrole a korekciiô výuka písania na počítači v nadväznosti na predchádzajúcu diplomovú prácuô sätná väzba z korekcie. (Implementácia Linux, C++, Gtk+).
+
   | 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 =
 
   | literatura =
   | poziadavky =  
+
   | poziadavky = Linux, C/C++
  | odporucania =
+
}}
+
 
+
{{Tema
+
  | tema = HMM laboratórium – vizualizácia. '''(obsadené: Mikuláš Florek, 2009-2011)'''
+
  | 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 =  
 
   | odporucania =  
 
}}
 
}}

Verzia zo dňa a času 22:01, 26. máj 2011

Na tejto stránke je zoznam aktuálnych tém diplomových prác zoradených podľa zamerania a školiteľov.

Počítačová grafika a videnie

Silvester Czanner

Téma: 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.

Požiadavky: Must be able to program in C/C++.
Odporúčania na predmety: Computer Graphics, Virtual Reality.
Téma: 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

Požiadavky: Must be able to program in C/C++.
Odporúčania na predmety: Computer Graphics, Virtual Reality.
Téma: 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.
Požiadavky: Must be able to program in C/C++.
Odporúčania na predmety: Computer Graphics, Virtual Reality, HDR Imaging.

Roman Ďurikovič

Problémy spadajúce do okruhu povodní:

Téma: 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.
Téma: 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.

Problems related to EU project:

Téma: 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.
Téma: 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.
Téma: 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.
Téma: 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.
Téma: Prehlad analytickych modelov zamracenej a jasnej oblohy s priemernou radianciou v kazdom bode oblohy a implementacia tohto modelu.
Téma: Prehlad BRDF reprezentacii a ich vyhodnotenenie pre potreby simulacie lakov.
Téma: Tvorba HDR textúr z fotografii skutočných nameraných automobilových lakov.
Téma: Vizualizácia vodných plôch v reálnom teréne a v reálnom čase.
Téma: Simulácia záplav pomocou výpočtu povrchu vody (shallow model).
Téma: Simulácia a vizualizácia šplechov pri vodnych tokoch.
Téma: Simulácia erózie pôdy vodným tokom.
Téma: 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.)

Témy projektu VIPER:

Téma: Projekcie obsahu WWW stánok do audio priestoru v mobilných zariadeniach, PocketPc.
Téma: Adaptácia audio a video kodeky pre PocketPc.
Téma: 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.

Ján Lacko

Ľubomír Lúčan

Téma: Úvod do metód spracovania videa v súčasnom multimediálnom prostredí. (obsadené)

Michal Nociar

Téma: 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í.
Požiadavky: C/C++, Templates, STL, Boost.

Matej Novotný

Elena Šikudová

sikudova @ sccg.sk

  témy v spolupráci so SNG

Miloš Šrámek

Téma: Viaceré témy M. Šrámka, ktoré sú zadané v Zozname tém pre bakalárske práce, je možné rozšíriť aj na diplomové práce.

Peter Borovský

Téma: 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 Samuelčík

Téma: 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 dobre znalost programovania v C/C++.
Téma: Predspracovanie dát pre real-time vizualizáciu
Popis: Mnohé trojrozmerné virtuálne scény nemajú vhodnú štruktúre pre ich vykreslovanie v reálnom čase. Preto je potrebné reorganizácia vstupných dát. Cieľom práce bude vytvorenie aplikácie, ktorá načíta model z externého súboru a prevedie niekoľko algoritmov, ktoré tento model vylepší. Po vylepšení sa model uloží naspäť do súboru. Aplikácia bude obsahovať algoritmy na vylepšenie geometrie ako aj tvorbu textúrnych atlasov a základných "lightmáp". Pre pracu je potrebna dobrá znalost programovania v C/C++.
Téma: Automatické prechádzky vo virtuálnej scéne.
Popis: Cieľom práce bude vytváranie automatických pohybov kamery vo virtuálnej scéne. Kamera sa bude pohybovať zo zadaného bodu A do zadaného bodu B poprípade tak, aby ukázala všetky podstatné objekty v scéne. Samozrejmosťou musí byť cesta, ktorá nenaráža do objektov a neprechádza nimi. Výsledná animácia sa uloží aj vo forme video súboru. Pre prácu je potrebná dobrá znalost programovania v C/C++ a OpenGL.

Martin Madaras

Téma: Real-time Rendering of Parametric Skin Model - obsadené
Popis: Cieľom práce je navrhnutie abstraktného modelu popisujúceho vizuálne vlastnosti pokožky a implementácia aplikácie na zobrazovanie tohoto modelu v reálnom čase. Model by mal byť schopný popísať vizuálne vlastnosti pokožky čo najväčšej množiny reálnych živočíchov, ako aj reálne neexistujúcich tvorov (game development, film industry ...). Diplomová práva je implementačného charakteru, požadovaná je publikácia dosiahnutých výsledkov v anglickom jazyku.
Požiadavky: C++, OpenGL, Shading Language

Pavol Fabo

Téma: Human motion visualization -
Popis: Clovek sa vyskytuje na roznych miestach, vo vacsine pripadov ma vsak telefon (mobil) vzdy po ruke. Cielom je zozbierat udaje o pozicii za urcite obdobie (povedzme par mesiacov, ci rok) a tieto udaje nasledne efeltivne vizualizovat.
Požiadavky: J2ME/iPhone SDK/Android SDK (zbieranie udajov), OpenGL/JOGL/Google Maps API (Vizualizacia)
Téma: Štúdium usability evaluation postupov a ich aplikácia
Popis: Naštudovanie problematiky Usability evaluation, aplikovanie vybranych postupov na dané softvérové diela, prípadne porovnanie viacerých postupov a navrhnutie ci implementacia rieseni
Literatura:

Nielsen - Usability engineering

Téma: Sledovanie drzania tela pouzivatela a dynamicka uprava interface-u
Popis: Uprava vizualneho vystupu pocitaca vzhladom na spravne/nespravne drzanie tela pouzivatela. Studium ergonomie drzania tela, sledovanie pomocou kamery/kamier, spracovanie dat a navrh moznych skresleni vizualneho vystupu vzhladom na aktualne drzanie tela
Literatura:

Bradski - Learning OpenCV, a ine

Požiadavky: C++, java, ...

Umelá inteligencia a kognitívna veda

Martin Baláž

Téma: 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:
  1. J. A. Leite: Logic Program Updates
  2. F Banti, JJ Alferes, A Brogi, P Hitzler: The well supported semantics for multidimensional dynamic logic programs
Odporúčania na predmety: "Logické programovanie ASP", "Sémantické základy znalostných systémov"
Téma: 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.
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:
  1. Melvin Fitting: Bilattices Are Nice Things
  2. J. A. Leite: Logic Program Updates
  3. F Banti, JJ Alferes, A Brogi, P Hitzler: The well supported semantics for multidimensional dynamic logic programs
Odporúčania na predmety: "Logické programovanie ASP", "Sémantické základy znalostných systémov"
Téma: 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.

Odporúčania na predmety: "Logické programovanie ASP", "Sémantické základy znalostných systémov", "Deskripčné logiky, ontológie a sémantický web".
Téma: 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. Táto téma je už obsadená.
Literatura:
  1. Garcia, Simari: Defeasible Logic Programming An Argumentative Approach
Odporúčania na predmety: "Logické programovanie ASP", "Sémantické základy znalostných systémov".
Téma: Acyclic Defeasible Logic Programs
Popis: Defeasible logický program je argumentačný formalizmus. Argument pre nejaké tvrdenie je množina pravidiel, pomocou ktorých sa dá dané tvrdenie odvodiť. Existujúca sémantika Defeasible logických programov nie je schopná identifikovať cyklické argumenty (argumenty závisiace sami na sebe). Cieľom práce je upraviť sémantiku tak, aby bola voči takýmto argumentom odolná.
Literatura:
  1. Garcia, Simari: Defeasible Logic Programming An Argumentative Approach
Odporúčania na predmety: "Logické programovanie ASP", "Sémantické základy znalostných systémov".

Michal Čertický

Téma: Simulované prostredie pre učiacich sa agentov.
Popis: Návrh a implementácia simulovaného dynamického prostredia pre agentov. Charakter prostredia nie je pevne daný a kreatívne nápady sú vítané. Dôležité však je, aby agenti mohli pozorovať ako ich akcie (resp. akcie iných agentov) ovplyvňujú svet za rôznych podmienok. Implementačne je simulácia serverom, na ktorý sa cez TCP/IP môžu napájať agenti, ktorí v pravidelných intervaloch prijímajú vnemy (vnímajú sa jednotlivé atribúty pozorovaných objektov a práve vykonávané akcie agentov) a môžu odosielať akcie (iba ako názov akcie a jej parametre). Nepovinnými prídavkami k programu je jednoduchá vizualizácia sveta, a klient umožňujúci ovládanie agenta človekom. Výber programovaciho jazyka pre implementáciu je na riešiteľovi.
Odporúčania na predmety: "Základy Umelej Inteligencie", "Programovanie"
Téma: Porovnanie data-miningových techník na logických bázach znalostí.
Popis: Prieskum možností použitia bežných aj netradičných techník data-miningu v kombinácií s logickou reprezentáciou znalostí. Implementácia vybraných algoritmov a porovnanie ich úspešnosti v jednotlivých prípadoch. Vyvodenie záverov o vhodnosti použitia konkrétnych techník v rôznych situáciách.
Literatura:

Jiawei Han and Micheline Kamber: Data Mining: Concepts and Techniques

Odporúčania na predmety: "Logické programovanie ASP", "Sémantické základy znalostných systémov", "Reprezentácia znalostí a inferencia", "Logiky pre umelú inteligenciu" a podobne.

Igor Farkaš

Téma: Využitie rozhrania mozog-počítač na rozpoznanie akcií (Martin Kokoška, mAIN, Ján Šilar, mIKV)
Popis: S využitím meracieho zariadenia EEG implementujte učiaci systém s rozhraním mozog-počítač (BCI), ktorý bude schopný využiť spätnú väzbu na realizáciu akcií pomocou mysle. K tomu budete potrebovať: (1) naštudovať si literatúru z oblasti BCI systémov (metódy merania EEG, algoritmy spracovania a vyhodnocovania signálu), (2) zoznámiť sa s meracím zariadením EEG (g.USBamp od firmy g.tec je k dispozícii), (3) získať praktické skúsenosti s meraním, (4) otestovať funkčnosť systému na jednoduchšej úlohe (napr. ovládanie kurzora myši na obrazovke).
Požiadavky: záujem o danú problematiku, angličtina, relatívna samostatnosť, ochota pracovať priebežne
Téma: Navigácia mobilného robota v neznámom priestore (Filip Tóth, mIKV)
Popis: Navrhnite kognitívnu architektúru mobilného robota na báze neurónových sietí, ktorý sa na základe odrazených signálov z ultrazvukových senzorov naučí orientovať sa v neznámom priestore. Systém otestujte v reálnom prostredí.
Požiadavky: záujem o danú problematiku, angličtina, relatívna samostatnosť, ochota pracovať priebežne
Téma: Modelovanie uchopovania objektov pomocou neurónových sietí v robotickom simulátore iCub (Lukáš Zdechovan, mAIN)
Popis: Navrhnite a implementujte neurálny model umožňujúci kvázi prirodzene uchopovať objekty v prostredí robotického simulátora iCub (v Linuxe) s využitím vizuálnej spätnej väzby. Modul implementujte v jazyku C/C++ a otestujte ho na rôznych pevných objektoch uchopiteľných jednou rukou.
Požiadavky: pasívna znalosť angličtiny, absolvovaný predmet Neurónové siete, relatívna samostatnosť, ochota pracovať priebežne
Téma: Kvantitatívne meranie kauzality v simulovaných distribuovaných systémoch (Anton Vančo, 2009-2011, mAIN)
Popis: Naštudujte si literatúru z oblasti formálnych neurovedne orientovaných prístupov k meraniu zložitosti a kauzálnych vzťahov v distribuovaných systémoch (napr. mozgu). Zamerajte sa na koncept Grangerovej kazuality a experimentálne analyzujte jej vyhodnocovanie v prípade vybraných simulovaných systmémov.
Požiadavky: pasívna znalosť angličtiny, záujem o danú problematiku, relatívna samostatnosť, ochota pracovať priebežne
Téma: Invariantná kategorizácia 2D objektov pomocou neurónovej siete DBN. (Juraj Barič, 2009-11, mINF)
Popis: Implementujte model Deep Belief Network a navrhnite úpravu architektúry tak, aby podporovala čo najlepšiu kategorizáciu objektov (z troch tried) invariantne voči pozícii, škále a rotácii objektu. Vyhodnoťte generalizačnú schopnosť DBN. Lit.: Hinton (2006) www.scholarpedia.org/article/Deep_belief_networks
Požiadavky: pasívna znalosť angličtiny, relatívna samostatnosť, ochota pracovať priebežne
Téma: Modelovanie porozumenia akciám pomocou neurónových sietí. (Tomáš Malík, 2009-11, mINF)
Popis: Vytvorte jednoduché virtuálne prostredie (rameno robota, pár objektov na scéne). Navrhnite, implementujte 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.
Požiadavky: pasívna znalosť angličtiny, relatívna samostatnosť, ochota pracovať priebežne
Téma: Implementácia a testovanie vlastností hierarchickej neurónovej siete s echo stavmi. (Viliam Dillinger, 2009-11, mINF)
Popis: Naštudujte potrebnú literatúru, implementujte model hierarchickej ESN a otestujte jej vlastnosti na navrhnutých simulovaných časových dátach s hierarchickou štruktúrou. Lit.: Jaeger H. (2007) Discovering multiscale dynamical features with hierarchical Echo State Networks. Jacobs University technical report Nr.10
Požiadavky: pasívna znalosť angličtiny, relatívna samostatnosť, ochota pracovať priebežne
Téma: Simulácia šermu v 3D za pomoci umelej inteligencie. (Jaro Blanář, 2009-11, mAIN)
Popis: Navrhnite a implementujte adaptivneho agenta s využitím UI pre simuláciu šermovania. Úlohou agenta je naučiť sa obranné manévre a úspešne odrážať protivníkove výpady tak, aby agenta nezasiahol protivníkov meč. Implementujte simulátor šermovania v už existujúcom virtuálnom prostredí alebo vytvorte vlastné virtuálne prostredie pre simulátor v zjednodušenej podobe.
Požiadavky: pasívna znalosť angličtiny, relatívna samostatnosť, ochota pracovať priebežne

Anna Krakovská

Vedúci projektu: RNDr. Anna Krakovská, PhD., ÚM SAV Pedagogický vedúci: Doc. RNDr. Mária Markošová, PhD.

Téma: 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:
  1. Schreiber T., Grassberger P.: A simple noise-reduction method for real data. Physics Letters A 160, pp. 411-418, 1991.
  2. Grassberger P. a i.: On noise reduction methods for chaotic data. Chaos 3, pp. 127-141, 1991.
  3. 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.
Téma: 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:
  1. 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.

Andrej Lúčny

Téma: Rozpoznávanie objektov v okolí za účelom vizuálneho merania dohľadnosti
Popis: Cieľom práce je systém, ktorý z obrázkov z kamery určí viditeľnosť užívateľom definovaných objektov. Implementácia v OpenCV a C++
Literatura:

dokumentácia k OpenCV, Davies,E.R: Machine Vision, Elsevier 2004, séria článkov o počítačovom videní

Požiadavky: Implementačná schopnosť
Odporúčania na predmety: detaily domyslíme po vzájomnej dohode

rieši bc. Marcel Ďuriš

Téma: Vysvetľovanie optických klamov
Popis: Existencie rôznych optických klamov (ref. napr. Escherove diela) svedčia o tom, že vizuálny systém človeka nedisponuje konzistentným 3D modelom vnímaného prostredia. Na základe Minského societného modelu mysle, predovšetkým štruktúr mysle nazývaných Minským rámce, je potrebné vysvetliť možnosť nekonzistentnej interpretácie vnímaného obrazu.
Literatura:

Minsky: Society of Mind, Simon&Schuster 1986, séria článkov od vedúceho, práce + monografia z kognitívnej vedy podľa vlastného výberu + neurologická literatúra o vizuálnom systéme človeka.

Požiadavky: Práca nemusí mať implementačný charakter, musí však pri nej dôjsť k hlbokému pochopeniu problematiky preukázanému výkladom, ktorý je zrozumiteľný i bez študovania literárnych zdrojov z ktorých sa bude vychádzať.
Odporúčania na predmety: kognitívna veda
Téma: Pleasure Pump - demonštrácia Freudovej teórie na skupine virtuálnych robotov
Popis: Cieľom práce je v zmysle výskumu Jozefa Kelemena implementovať teóriu Sigmunda Freuda o priebehu sexuálneho vzťahu u ľudí (Pleasure pump theory) na skupine virtuálnych mobilných robotov. Očakávaným výstupom je pútavé video demonšturujúce abstraktné rysy danej teórie.
Literatura:

povodná literatura S. Freuda, séria článkov J.Kelemena, Kelemen J: Strojovia a agenty, Archa, Bratislava 1993, séria článkov A. Lúčneho o Agent-Space a jej previazaní s virtuálnou realitou

Téma: Robosoccer 2D ako testbed pre vývin hráčovej mysle.
Popis: Cieľom práce je rozvíjať diplomku M. Leitmana, v ktorej bol každý hráč tímu robotického futbalu implementovaný ako multiagentový system predstavujúci hráčovu myseľ. Práca by mala klásť dôraz na postupné trénovanie pribúdajúcich častí hráčovej mysle. Používa sa architektúra Agent-Space navrhnutá vedúcim práce. Jednotlivé agenty mysle sú zvolené vývojárom, môžu byť však dolaďované z dát vo tréningovej faze hráčov.
Literatura:

Minsky M.: Society of Mind, Simon&Schuster 1986, dokumentácia k robosoccer-u, diplomovka M. Leitmana, séria článkov od vedúceho práce.

rieši bc. Miroslav Medveď

Téma: Vizuálna navigácia mobilného robota
Popis: Cieľom práce je navrhnúť riadenie mobilného robota (notebook s kamerou na podvozku), ktorý operuje v kancelárskych priestoroch. Robot spracúva obraz a vydáva podvozku nekolízne pokyny. Odporúčaný prístup k riadeniu je založený na multiagentovom modelovaní mysle.
Literatura:

Davies, E.R.: Machine Vision, Elsevier, 2004

rieši bc. Ondrej Mikuláš

Michal Malý

Téma: 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. Č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ý. V literatúre je popísaný Crespi-Reghizziho algoritmus pre gramatickú indukciu na určitej časti bezkontextových jazykov. Tento algoritmus treba naštudovať, implementovať a skúsiť spustiť na rôznych vstupoch: korpus - slová => získame formálnu gramatiku pre ohýbanie slov (jazykovedne: "morfológia") , korpus - vety => získame formálnu gramatiku pre skladanie slov do viet (jazykovedne:"gramatika", resp. "syntax").

Literatura:

John E. Hopcroft and Jeffrey D. Ullman: Introduction to Automata Theory, Languages and Computation (najma sekcia 8.7 a cvicenie 12 na str. 59), René Alquézar Mancho  : Symbolic and connectionist learning techniques for grammatical inference (http://www.tesisenxarxa.net/TDX-0213108-105743/index_an.html) (najma kapitola 4, strana 6 v dokumente 04_alquezarMancho_capitol3.pdf), a článok Michal Malý: Semi-automatic creation of a stemming dictionary of an inflecting language using grammatical induction

Požiadavky: dobrý vzťah k formálnym jazykom
Odporúčania na predmety: Formálne jazyky a automaty


Téma: Anonymizacia dat a data scrambling [rezervacia Peter Juhasz]
Popis: Praca ma prakticky a teoreticky ciel. Prakticky ciel je vytvorit

uzivatelsky pristupny nastroj na anonymizaciu dat (najma s aplikaciou na dataabazove tabulky) a generovanie virtualnych dat. Teoreticky ciel je popisat moznosti a obmedzenia anonymizacie dat, zadefinovat a zaviest mieru anonymizacie (entropia) a na praktickych prikladoch tuto mieru spocitat a vyhodnotit vysledky.

Literatura:

zákon 428/2002 Z.z., clanok Marek Zielinski: Balancing Privacy and Information Utility in Data Anonymisation, rodina noriem ISO 27000, white papers Data Scrambling Issues Data Sanitization Techniques

Požiadavky: Diplomant si nastuduje relevantne clanky o anonymizacii dat. Uvedie dovody na anonymizaciu dat, a to najma legislativny (sulad s

predpismi) ramec a tiez trhovy ramec (dobre meno firmy). Spomenie najvaznejsie priklady uniku dat v zahranici a na Slovensku (uniknute zoznamy telefonnych operatorov prip. ine) a prakticke pouzitie anonymizovanych dat (testovanie aplikacii). Prehladovo spomenie platnu legislativu SR a to zakon 428/2002 Z.z. o ochrane osobných údajov, ktory definuje co su to osobne udaje. Zamysliet sa nad tym, co znamena identifikacia osoby z pohladu teorie informacie (zhruba: kolko bitov informacie potrebujem dodat, aby som urcil presnu konkretnu osobu na zaklade dostupnych dat). Vytvoreny nastroj bude umoznovat rozne formy anonymizacie dat (data scrambling): nulovanie (NULL), jednoduche nahradenie ("Jozef" -> "Meno"), dynamicke nahradenie (Jozef -> "Meno1", "Fero" -> "Meno2"), permutacia, zasumenie alebo perturbacia (napr. gausovske zasumenie pre cislo x -> x*randnorm(1,c) ), odrezanie ("Kovacova" -> "Kov"), hashovanie a dalsie. Nastroj tiez umozni generovanie "vierohodne" vyzerajucich, no uplne nahodnych osobnych dat v rozsahu najmenej Meno, Priezvisko, Ulica a cislo, Mesto, PSC, datum narodenia, rodne cislo, pohlavie, okres ("Michal Kovac, Liscie udolie 47/2, Bratislava 4, 84104, 10.5.1972, 720510/9373 , MUZ, Bratislava 4"). Na zaklade teoretickych clanokov a zavedenej miery sa zamysliet nad tym, ake su obmedzenia pre anonymizaciu (kedy a do akej miery je mozne rekonstruovat povodne data). Demonstrovat funkcnost aplikacie na konkretnych datach a pre tieto data spocitat zavedenu mieru.


Mária Markošová

Téma: 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, napríklad vhodným spôsobom ich klasterizovať.)
Literatura:
  1. Barabási, Albert , Science (1999) 509; Watts, Small worlds, Princeton Univ. Press, 2004.
Odporúčania na predmety: téma je rezervovaná
Téma: 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, ktoré 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.

Požiadavky: motivovanosť a záujem
Odporúčania na predmety: matematika, teória grafov
Téma: 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.

Požiadavky: motivovanosť a záujem
Odporúčania na predmety: teória grafov, matematika
Téma: Skúmanie vlastností sociálnych sietí.
Popis: Úlohou študenta je získať dáta o sociálnej sieti pomocou Facebooku. Zo získaných dát je potrebné zostaviť sociálnu sieť a zmerať jej štatistické vlastnosti. Danú sieť treba potom porovnať so známymi modelmi a porovnanie vyhodnotiť, poprípade navrhnúť iný model, ak sa vlastnosti siete výrazne líšia od vlastností modelových rastúcich sietí.
Literatura:
  1. Barabási, Albert , Science (1999) 509; Watts, Small worlds, Princeton Univ. Press, 2004.
Téma: Dynamické vlastnosti tanca.
Popis: Úlohou študenta je preskúmať dynamické vlastnosti niekoľkých tancov a pokúsiť sa na tanec pozrieť ako na výsledok správania sa dynamického systému pre špecifické hodnoty parametrov. Študent sa pokúsi navrhnúť model, z ktorého výsledné tanečné kreácie vyplynú priamo.

Téma je obsadená: bak. Monika Višňovská

Literatura:

Schuster, Deterministic chaos.

Marek Nagy

pre rok 2011/2012

Téma: Automatická segmentácia slov v súvislej reči
Popis: Cieľom je automatické určenie hraníc slov v súvisle hovorenej reči. Využijú sa prozodické vlastnosti slovenčiny a to najmä princíp prízvuku na prvej slabike slovenských slov, ktorý je hraničným signálom. Zadefinuje sa sada HMM modelov modelujúcich intonačné javy, ktoré sa budú rozpoznávať a tým identifikovať slová.
Literatura:

Klára Vicsi and György Szaszák: Automatic Segmentation of Continuous Speech on Word Level Based on Supra-segmental Features, International Journal of Speech Technology, Volume 8, Number 4, 363-370, Springer Netherlands, 2005

Požiadavky: Octave, HTK, C, C++
Téma: Automatická konverzia viackanálového zvuku do stereo slúchadiel
Popis: Cieľom práce je konvertovať pomocou HRTF transformácií priestorový zvuk reproduktorov (5+1) na stereo zvuk reprodukovaný prostredníctvom ("štuplových") slúchadiel do uší. Podstata spočíva v správnej voľbe HRIR (head related impulse response) filtra na základe umiestnenia zdroja v priestore. Namodelovaním 5+1 zdrojov príde k vytvoreniu stereo zvuku prislúchajúceho ľudským ušiam. Následnou reprodukciou (do uší) sa vytvorí dojem priestorového 5+1 zvuku.
Literatura:

V. R. Algazi, R. O. Duda and D. M. Thompson: The Cipic HRTF Database, 2001

Požiadavky: Octave, C, C++
Téma: HMM laboratórium.
Popis: Cieľom je vytvoriť demonštračné prostredie na vizualizáciu Skrytých Markovových modelov (HMM). V prostredí by bolo možné vizualizovať a modifikovať topológie modelov a parametrov pravdepodobností (gausiánov). Dôležitá je i možnost sledovania správania sa modelov (ich parametrov) v procese trénovania a testovania. Napríklad: grafy gausiánov, zmeny parametrov v kroku iterácie, posuny stredných hodnôt gausiánov, zvýraznenie najpravdepodobnejšej cesty v kroku iterácie, ...
Požiadavky: C, C++, GTK, Linux


Téma: Podohode: Oblasť spracovania zvuku, reči, písma. Využitie v aplikáciách.
Popis: HMM, DTW, klastrovanie, štatistika, pravdepodobnosť, DSP, ...
Požiadavky: C, C++



Téma: Výuka a automatická korekcia písaného písma. (obsadené: Miloš Karas, 2009-2011)
Popis: Vylepšenie existujúcich prístupov k automatickej kontrole a korekciiô výuka písania na počítači v nadväznosti na predchádzajúcu diplomovú prácuô sätná väzba z korekcie. (Implementácia Linux, C++, Gtk+).
Téma: Hláskovací tutor. (obsadené: Michal Gašpierik, 2009-2011)
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++.
Téma: Melody tutor. (obsadené: Vladimír Kabát, 2009-2011)
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++.
Téma: 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.
Požiadavky: Linux, C/C++

Peter Náther

Téma: 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:
  1. Q. Feng. Algorithms for Drawing Clustered Graphs. PhD thesis, Department of Computer Science and Software Engineering, University of Newcastle, Apr. 1997.
  2. Shamir, Sharan, Tsur, Cluster Graph Modification Problems (2002)
  3. Kanovsky Igor, Complex Networks Clustering and Edges Correlation. International Conference on Network Science (NetSci2006), Bloomington, Indiana, USA . May. 2006
  4. Jens Gramm, Jiong Guo, Falk Hffner, Rolf Niedermeier - Graph-Modeled Data Clustering: Fixed-Parameter Algorithms for Clique Generation (2003)
  5. Watts, Small Worlds, Princeton University Press, Princeton (2004)
Téma: 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.

Pavel Petrovič

Téma: Indirect Representations for Evolutionary Design
Popis: See Indirect Representations for Evolutionary Design
Téma: Cellular Embryogenetic Representations for Evolutionary Design
Popis: See Cellular Embryogenetic Representations for Evolutionary Design
Téma: Evolution of Finite-State Automata
Popis: See Evolution of Finite-State Automata
Téma: Bayesian and Probabilistic Robotics in Remotely-Operated Robotics Laboratory
Popis: See Probabilistic Mapping in Remotely-Operated Robotics Laboratory and Bayesian Robot Programming
Téma: RoboCup Rescue Simulation League
Popis: See RoboCup Rescue Simulation League
Téma: Factored MDPs
Popis: See Factored MDPs
Téma: Bayesian Robot Programming
Popis: See Bayesian Robot Programming
Téma: RoboTour
Popis: See RoboTour
Téma: Visual System for SBOT robot
Popis: See Visual System for SBOT robot
Téma: Robots in Secondary School Curriculum
Popis: See Robots in Secondary School Curriculum
Téma: RL in Robotics
Popis: See RL in Robotics

Ján Rybár

Téma: 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).
Téma: 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)
Téma: 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.

Ján Šefránek

Téma: 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:
  1. Sefranek: Ina cinska izba (o rozumeni)
Téma: 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:
  1. Sefranek: Kognitivna teoria usudzovania
Téma: Implementácia riešenia konfliktov medzi logickými programami
Popis: Cieľom práce je implmementovať nedeterministický algoritmus na výpočet sémantickej charakterizácie dynamivkých logických programov, navrhnutý v [1]. Sémantika je založená na závislostiach literálov na množinách defaultových negácií a na riešení konfliktov medzi závislosťami.
Literatura:
  1. Sefranek, Rethinking semantics of multidimenzional dynamic logic programming; Proc.NMR 2006; nájsť možno aj na http://www.ii.fmph.uniba.sk/~sefranek/recent.html
  1. Krumpelmann: Towards Semantics for Conflict Handling in Logic Programs.
Téma: Implementácia výpočtu preferovaných stabilných modelov
Popis: Cieľom práce je impleentiovať mnetódu výpočtu preferovaných stabilných modelov z 1. Metóda vychádza z prekladu pravidiel do argumentačných štruktúr, následého odvodenia všeobecnejších argumentačných štrukttúr, z nich niektoré zodpovedajú stabilným modelom. Podobne, ataky preferovanejších pravidiel proti menej preferovaným sa prekladajú na ataky medzi argumentačnými štriktúrami a na tom základe sa definuje preferovaný stabilný model.
Literatura:

Šefránek, Preferred answer sets supported by arguments, nájsť možno aj na http://www.ii.fmph.uniba.sk/~sefranek/recent.html

Téma: Teoretická práca z oblasti reprezentácie znalostí a usudzovania podľa dohody.

Deklaratívne programovanie

Peter Borovanský

Téma: 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

Téma: Jazyky, modely a nástroje na modelovanie, špecifikáciu a verifikáciu a ich aplikácie
Popis: bližší popis je na samostatnej stránke

Ján Komara

Téma: Špecifikácia a verifikácia programov
Popis: http://ii.fmph.uniba.sk/cl/view/courses/bak-mag/?lang=sk
Téma: Rekurzívne funkcie a teória vypočítateľnosti
Popis: http://ii.fmph.uniba.sk/cl/view/courses/bak-mag/?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