Schválené projekty k financování


Duben 2018

Lubomír Jahn, Martin Schvarcbacher

Název projektu Platforma pro správu testování Smart Grid
Identifikační kód projektu MUNI33/012018
Doba trvání projektu 01.04.2018 - 30.11.2018
Anotace projektu Smart Grid (SG) je nová paradigma používaná v odvětví elektřiny, která pomáhá efektivně řídit spotřebu energie. Vzhledem k vysoké složitosti a potenciálnímu dopadu SG je testování nezbytnou součástí zabezpečení spolehlivosti, interoperability a bezpečnostních požadavků. Cílem projektu je rozšířit prototyp existujícího systému pro provedení testování a simulací SG softwaru / hardwaru implementací plné podpory pro topologie testování a definice testovacích kritérií, dashboard testování a prototypového DSL pro specifikaci běhu testů.
Garant projektu Bruno Rossi, PhD
Vedoucí projektu Katarína Hrabovská
Složení studentského řešitelského týmu Lubomír Jahn, Martin Schvarcbacher
Hodnocení projektu

Ján Petrák, Mikoláš Stuchlík

Název projektu Modernizace Coinceru, decentralizované směnárny kryptoměn
Identifikační kód projektu MUNI33/022018
Doba trvání projektu 01.04.2018 - 31.12.2018
Anotace projektu Cílem projektu je vylepšení decentralizované směnárny kryptoměn Coincer o implementaci nové verze P2P sítě a stabilizace jeho klienta pro podporu decentralizované infrastruktury a automatizovatelného obchodování, například pro využití sofistikovaných obchodovacích strategií.
Garant projektu doc.RNDr. Eva Hladká, Ph.D.
Vedoucí projektu Michal Zima
Složení studentského řešitelského týmu Ján Petrák, Mikoláš Stuchlík
Hodnocení projektu

Peter Hutta

Název projektu CAVER VR – analýza a vizualizace proteinů v prostředí virtuální reality
Identifikační kód projektu MUNI33/032018
Doba trvání projektu 01.04.2018 - 30.11.2018
Anotace projektu Současná generace zařízení pro virtuální realitu (VR) umožňuje využití této technologie i ve vědě a výzkumu. Cílem projektu CAVER VR je umožnit uživatelům aplikace CAVER Analyst pracovat s proteinovými strukturami v imerzivním prostředí, od něhož se očekává, že: i) zlepší vnímání prostorové struktury dat, ii) usnadní orientaci v datech a prohlížení detailů, a iii) urychlí analýzu molekulárních simulací. Projekt se konkrétně zaměří na návrh a vývoj VR uživatelského prostředí jako rozšíření pro volně použitelný, uzavřený nástroj CAVER Analyst. Rozšíření bude dostupné skrze nový modul s otevřeným kódem. V rámci vývoje vznikne rovněž programátorská dokumentace k tvorbě obecných rozšíření pro aplikaci CAVER Analyst.
Garant projektu doc. RNDr. Barbora Kozlíková, Ph.D.
Vedoucí projektu Adam Jurčík
Složení studentského řešitelského týmu Peter Hutta
Hodnocení projektu

Roman Solař

Název projektu Vývoj nástroje Symbiotic V
Identifikační kód projektu MUNI33/042018
Doba trvání projektu 01.04.2018 - 30.9.2018
Anotace projektu Tento projekt si klade za cíl zpřesnění a opravu prořezávacího algoritmu v open-source nástroji Symbiotic. Konkrétně se jedná o tyto dvě položky: 1) zpřesnit prořezávání pomocí implementace dvoufázového algoritmu pro prořezávání, 2) opravit nekorektní chování prořezávacícho algoritmu v přítomnosti interprocedurálních kontrolních závislostí.
Garant projektu doc. RNDr. Jan Strejček, Ph.D.
Vedoucí projektu Marek Chalupa
Složení studentského řešitelského týmu Roman Solař
Hodnocení projektu

Tomáš Krutý

Název projektu Ansámblové metódy pre detekciu anomálií
Identifikační kód projektu MUNI33/082018
Doba trvání projektu 01.04.2018 - 31.12.2018
Anotace projektu Cieľom tohto projektu je rozšíriť ansámblové metódy pre detekciu anomálií implementované v jazyku R. Konkrétne rozšírenie bude spočívať v implementácii algoritmov, ktoré zatiaľ v jazyku R implementované neboli, zlepšiť zdrojový kód existujúcich algoritmov aby spĺňali štandarty CRAN balíčku a nahrať tieto algoritmy, ako balíček do CRAN repozitáru.
Garant projektu doc. RNDr. Lubomír Popelínský, Ph.D.
Složení studentského řešitelského týmu Tomáš Krutý
Hodnocení projektu

Prosinec 2017

Dávid Lupták

Název projektu MIaS: prechod z Lucene na ElasticSearch
Identifikační kód projektu MUNI33/102017
Doba trvání projektu 01.12.2017 - 31.05.2018
Anotace projektu MIaS je open-source nástroj pre indexovanie a vyhľadávanie matematiky v dokumentoch. Je založený na vyhľadávacom systéme Apache Lucene, nad ktorým implementuje vlastnú podobu indexácie, normalizáciu formúl a tým výrazne zvyšuje výkonnosť indexovania i vyhľadávania. Nedostatkom je však fakt, že nejde o distribuovaný systém. Cieľom projektu je prechod z Apache Lucene na ElasticSearch, distribuovaný systém schopný vysokej dostupnosti a škálovateľnosti.
Garant projektu doc. RNDr. Petr Sojka, Ph.D.
Složení studentského řešitelského týmu Dávid Lupták
Hodnocení projektu

Vít Novotný

Název projektu Automatické provazování videozáznamu přednášek se studijními materiály
Identifikační kód projektu MUNI33/112017
Doba trvání projektu 01.12.2017 - 31.05.2018
Anotace projektu Od jara 2004 probíhá na FI MU automatický záznam přednášek, které se konají v učebnách D1, D2 a D3. Díky chybějícím informacím o struktuře a obsahu videí však nelze (a) provádět nad videi fulltextové vyhledávání, (b) zobrazit uživateli pouze části videa, o které projevil zájem ani (c) transformovat video do podoby vhodné pro zrakově postižené. Cílem projektu je vyvinout algoritmy, které umožní provázat videa s přednáškovými slajdy na základě vizuální shody.
Garant projektu doc.RNDr. Petr Sojka, Ph.D.
Složení studentského řešitelského týmu Vít Novotný
Hodnocení projektu


Duben 2017

Zuzana Baranová, Jan Mrázek

Název projektu Rozšíření DiOSu, interního operačního systému verifikačního nástroje DIVINE
Identifikační kód projektu MUNI33/012017
Doba trvání projektu 01.04.2017 - 31.03.2018
Anotace projektu DIVINE je nástroj sloužící na verifikaci programů napsaných v jazyce C nebo C++ využitím LLVM bitkódu. Letos byla uvedena verze DIVINE 4.0, která rozděluje proces verifikace mezi dva systémy – DIVINE VM (DiVM), virtuální stroj umožňující provádět model checking nad LLVM bitkódem a DiOS – speciální operační systém běžící uvnitř DiVM poskytující běhové prostředí pro verifikovaný program. Cílem projektu je rozšíření tohoto interního operačního systému o novou funkcionalitu.
Garant projektu RNDr. Petr Ročkai, Ph.D.
Složení studentského řešitelského týmu Zuzana Baranová, Jan Mrázek
Hodnocení projektu

Samuel Antol, Maroš Beťko, Tomáš Nejedlý, Věnka Vařeková, Martina Marešová, Marcel Otruba

Název projektu Rozšíření nabídky fontů na písmolijně Ateliéru grafického designu a multimédií
Identifikační kód projektu MUNI33/022017
Doba trvání projektu 01.04.2017 - 31.03.2018
Anotace projektu Webový portál písmolijny s názvem 0+1 Type Foundry vznikl v roce 2015 v Ateliéru grafického designu a multimédií FI MU. Prostřednictvím této písmolijny jsou prezentovány a zpřístupněny volně k využívání fonty vzniklé jako studentské práce. Cílem projektu je rozšíření nabídky fontů na tomto portálu. Konkrétně se nabídka rozšíří o 6 nových plně funkčních fontů ve formátu .otf zpřístupněných pro volné stažení.
Garant projektu Mgr. Lukáš Pevný
Složení studentského řešitelského týmu Samuel Antol, Maroš Beťko, Tomáš Nejedlý, Věnka Vařeková, Martina Marešová, Marcel Otruba
Hodnocení projektu

Tomáš Jašek, Martina Vitovská

Název projektu Vývoj nástroje Symbiotic IV
Identifikační kód projektu MUNI33/032017
Doba trvání projektu 01.04.2017 - 31.08.2017
Anotace projektu Symbiotic je open-source nástroj pro hledání chyb v počítačových programech. Nástroj je založený na kombinaci instrumentace, prořezávání a symbolické exekuce. Předkládaný projekt má tři cíle: (1) zrychlit prořezávání díky implementaci semi-sparse analýzý dosažitelných definic, (2) vytvořit sadu benchmarků obsahující méně časté chyby při práci s pamětí, (3) navrhnout a implementovat robustnější analýzu ukazatelů, která bude správně fungovat i na nekorektních programech. Zatímco první cíl by měl zrychlit běh nástroje při libovolném typu úloh, zbývající dva cíle jsou zaměřené na zpřesnění a řádné otestování nástroje při detekci chyb v práci s pamětí.
Garant projektu doc. RNDr. Jan Strejček, Ph.D.
Složení studentského řešitelského týmu Tomáš Jašek, Martina Vitovská
Hodnocení projektu

Áron Samuel Kovács, Matúš Talčík

Název projektu mallumo
Identifikační kód projektu MUNI33/042017
Doba trvání projektu 01.04.2017 - 30.09.2017
Anotace projektu Cieľom projektu je rozšíriť knižnicu mallumo pre realistické vykresľovanie 3D scén v reálnom čase, ktorá umožňuje programátorovi mať zároveň nízkoúrovňový prístup ku grafickej karte, ako aj bezpečné modulárne vysokoúrovňové abstrakcie. Rozšírenie spočíva v pridaní svetelných efektov, primárne globálne osvetlenie pomocou sledovania kužeľov vo voxelizovanej scéne.
Garant projektu Mgr. Jiří Chmelík, Ph.D.
Složení studentského řešitelského týmu Áron Samuel Kovács, Matúš Talčík
Hodnocení projektu

Rastislav Štefanko

Název projektu FIDENTIS Analyst - Implementácia nástrojov na podporu a analýzu algoritmov vyhľadávania antropometrických bodov
Identifikační kód projektu MUNI33/052017
Doba trvání projektu 05.04.2017 - 31.08.2017
Anotace projektu FIDENTIS Analyst je softvér pre forenznú identifikáciu ľudských tvári. Vznikol v rámci medziodborovej spolupráce Laboratória interakcie človeka s počítačom FI MU a Ústavom antropológie PřF MU. Vyvíjaná aplikácia poskytuje funkcionalitu pre tvorbu 3D identikitu, vyhľadávanie antropometrických bodov a porovnávanie tvárí, ako aj možnosti prevodu 2D snímku tváre na 3D model. Momentálne však v programe FIDENTIS neexistuje možnosť porovnať výsledky jednotlivých algoritmov. Predkladaný projekt si kladie za úlohu implementovať nástroje, ktoré pomôžu získať prehľad o presností jednotlivých metód na vyhľadávanie antropometrických bodov a vytvoriť tak základ pre analýzu stávajúcich ako aj nových algoritmov.
Garant projektu doc. RNDr. Petr Matula, Ph.D.
Složení studentského řešitelského týmu Rastislav Štefanko
Hodnocení projektu

Milan Mikuš, Františka Romanovská, Jakub Šalagovič, Matej Troják

Název projektu Vývoj veřejné webové platformy e-cyanobacterium.org a souvisejícího open-source software
Identifikační kód projektu MUNI33/062017
Doba trvání projektu 01.04.2017 - 31.12.2017
Anotace projektu Cieľom projektu je pokračovanie vo vývoji voľne dostupnej webovej platformy e-cyanobacterium.org a podporného voľne šíriteľného softvéru. Platforma bude rozšírená o modul CyanoNumbers na správu a prezentáciu nameraných biologických dát, modul BCSadmin na konzistentné spravovanie Biochemického priestoru, zdokonalenie nástroja BCSgen na analýzu modelov a rozšírenie repozitára modelov o ďalšie relevantné modely.
Garant projektu RNDr. David Šafránek, Ph.D.
Složení studentského řešitelského týmu Milan Mikuš, Františka Romanovská, Jakub Šalagovič, Matej Troják
Hodnocení projektu


Duben 2016

Bruno Mižík, Filip Mrváň

Název projektu DysHelper - nástroj pro testování přístupnosti webu a jeho automaticky personalizovaná úprava pro uživatele s dyslexií
Identifikační kód projektu MUNI33/012016
Doba trvání projektu 1. 04. 2016 - 31. 08. 2016
Anotace projektu DysHelper je doplněk pro Chrome prohlížeč navrhovaný jako autonomní součást projektu DysTeXia, který je vyvíjen pro naplnění výrazně individuálních potřeb dyslektických uživatelů komunikačních zařízení. Smyslem DysHelperu je automaticky vizuálně fragmentovat webový text tak, jak každý jednotlivec potřebuje, a umožnit pohodlně číst internetový obsah.
Garant projektu doc. RNDr. Eva Hladká, Ph.D.
Složení studentského řešitelského týmu Bruno Mižík, Filip Mrváň
Hodnocení projektu projekt splněn

Marek Žuži

Název projektu FIDENTIS Analyst - rozšírenie modulu na generovanie 3D tvárí z 2D snímkov
Identifikační kód projektu MUNI33/022016
Doba trvání projektu 1. 04. 2016 - 30. 09. 2016
Anotace projektu FIDENTIS Analyst je softvér pre forenznú identifikáciu ľudských tvári. Vznikol v rámci medziodborovej spolupráce Laboratória interakcie človeka s počítačom FI MU a Ústavom antropológie PřF MU. Vyvíjaná aplikácia poskytuje funkcionalitu pre tvorbu 3D identikitu, vyhľadávanie antropometrických bodov a porovnávanie tvárí. Predkladaný projekt si kladie za úlohu rozšíriť modul na tvorbu 3D meshí z 2D snímkov a vylepšenie užívateľskej prívetivosti.
Garant projektu doc. RNDr. Petr Matula, Ph.D.
Složení studentského řešitelského týmu Marek Žuži
Hodnocení projektu projekt splněn

Michal Trněný

Název projektu Nástroj pro predikci úspěšnosti počítačových her
Identifikační kód projektu MUNI33/032016
Doba trvání projektu 1. 04. 2016 - 31. 12. 2016
Anotace projektu Cílem projektu je vytvořit nástroj, který herním vývojářům již v rané fázi vývoje poskytne odhad toho, jak se hře po vydání bude dařit. Projekt navazuje na předchozí výzkum, v rámci kterého byla zjištěna silná korelace mezi základními informacemi o hře a průměrným počtem hráčů v době po vydání hry. V rámci projektu bude rozšířen existující dataset, aplikovány dosud nevyzkoušené metody pro zlepšení predikcí a vytvořena nová verze nástroje s uživatelským rozhraním.
Garant projektu doc. RNDr. Lubomír Popelínský, Ph.D.
Složení studentského řešitelského týmu Michal Trněný
Hodnocení projektu projekt splněn

Ľubomír Obrátil

Název projektu Randomness Testing Toolkit - nástroj pro automatické testování náhodnosti binárních dat pomocí statistických baterií
Identifikační kód projektu MUNI33/052016
Doba trvání projektu 1. 04. 2016 - 31. 03. 2017
Anotace projektu Projekt Randomness Testing Toolkit (RTT) je zaměřen na vývoj nástroje, který bude umožňovat rychlé, jednoduché a konzistentní testování náhodnosti libovolných dat pomocí různých statistických baterií. Cíle projektu odpovídají potřebám výzkumníků v laboratoři CRoCS. Součástí řešení je také serverová část, která bude umožňovat spouštění testů na dedikovaném serveru.
Garant projektu RNDr. Petr Švenda, Ph.D.
Složení studentského řešitelského týmu Ľubomír Obrátil
Hodnocení projektu projekt splněn

Ján Bella

Název projektu FTutor1D: interaktivní nástroj pro výuku jednorozměrné diskrétní Fourierovy transformace
Identifikační kód projektu MUNI33/062016
Doba trvání projektu 1. 04. 2016 - 30. 09. 2016
Anotace projektu Cílem projektu je vytvořit plně funkční, pohodlný a intuitivní interaktivní nástroj pro výuku jednorozměrné diskrétní Fourierovy transformace. Předpokladem je, že nástroj bude platformově nezávislý a na uživatelské podněty bude reagovat pokud možno v reálném čase. Nástroj bude jednoduchým a názorným způsobem prezentovat základní principy analýzy jednorozměrného signálu ve Fourierově doméně. Nástroj bude využit zejména jako doplňkový materiál při výuce zpracování signálu a obrazu.
Garant projektu RNDr. David Svoboda, Ph.D.
Složení studentského řešitelského týmu Ján Bella
Hodnocení projektu projekt splněn

Jan Karásek

Název projektu Rozšíření knihovny Proso-apps pro systémy adaptivního procvičování
Identifikační kód projektu MUNI33/072016
Doba trvání projektu 1. 04. 2016 - 31. 12. 2016
Anotace projektu Proso-apps je knihovna zajišťující funkcionalitu systémů pro adaptivní procvičování, na které běží například aplikace slepemapy.cz a anatom.cz. Cílem projektu je vytvoření systému pro průběžné vyhodnocování chování uživatelů a adaptivních modelů, aby mohli autoři systému reagovat na případné anomálie v ostrém provozu. Knihovna zajišťující mimo jiné AB testování bude rozšířena a společně s módem pro učitele napojena na systém zajištující vyhodnocování a monitoring.
Garant projektu doc. Mgr. Radek Pelánek, Ph.D.
Složení studentského řešitelského týmu Jan Karásek
Hodnocení projektu projekt splněn s pochvalou

Martina Vitovská

Název projektu Vývoj nástroje Symbiotic III
Identifikační kód projektu MUNI33/092016
Doba trvání projektu 1. 07. 2016 - 30. 11. 2016
Anotace projektu Symbiotic je open-source nástroj pro hledání chyb v počítačových programech. Používá tři dobře známé metody: instrumentaci, prořezávání a symbolickou exekuci. Cílem projektu je rozšířit možnosti instrumentace a dále předdefinovat instrumentační skripty pro detekci vybraných typů běžných chyb.
Garant projektu doc. RNDr. Jan Strejček, Ph.D.
Složení studentského řešitelského týmu Martina Vitovská
Hodnocení projektu projekt splněn

Vít Novotný

Název projektu Dissim: disambiguace významu slov pro výpočet podobností dokumentů
Identifikační kód projektu MUNI33/102016
Doba trvání projektu 1. 04. 2016 - 30. 09. 2016
Anotace projektu Vyhledávání významově podobných dokumentů je jedním z hlavních směrů vývoje informačních systémů, a jeho kvalitativní zlepšení závisí na zjednoznačnění významu slov a následně celých dokumentů. Cílem projektu je implementovat zjednoznačňující algoritmy a vyhodnotit jejich dopad na přesnost existujících vyhledávacích algoritmů. Software bude zveřejněn pod otevřenou licencí.
Garant projektu doc. RNDr. Petr Sojka, Ph.D.
Složení studentského řešitelského týmu Vít Novotný
Hodnocení projektu projekt splněn

Prosinec 2015

Matej Troják, Jakub Šalagovič

Název projektu BCSgen: Softvérová podpora pre jazyk Biochemického priestoru
Identifikační kód projektu MUNI33/092015
Doba trvání projektu 1. 12. 2015 - 31. 08. 2016
Anotace projektu Cieľom projektu je definovať formálnu sémantiku a následne implementovať softvérovú podporu pre jazyk Biochemického priestoru, ktorý je súčasťou webovej platformy Comprehensive Modeling Space (CMS). Jedná sa o formálny jazyk slúžiaci na popis biochemických procesov. Hlavnou funkcionalitou softvéru je schopnosť transformovať vstupný roztok podľa daného reakčného pravidla. Na základe toho bude softvér ďalej schopný generovať stavový priestor a redukovanú reakčnú sieť, slúžiace na model checking.
Garant projektu RNDr. David Šafránek, Ph.D.
Složení studentského řešitelského týmu Matej Troják, Jakub Šalagovič
Hodnocení projektu projekt splněn

Dávid Lupták, Vít Novotný

Název projektu ČSN ISO 690:2011 styl pro BibLaTeX
Identifikační kód projektu MUNI33/112015
Doba trvání projektu 1. 12. 2015 - 31. 05. 2016
Anotace projektu Cílem projektu je připravit bibliografický styl pro balík BibLaTeX, který bude odpovídat nové citační normě ČSN ISO 690:2011. Bibliografický styl bude začleněn do balíku fithesis3 pro sazbu závěrečných prací na Masarykově univerzitě, který se tak stane snáze použitelným na fakultách a ústavech, které dodržování normy při přípravě závěrečných prací vyžadují.
Garant projektu doc. RNDr. Petr Sojka, Ph.D.
Složení studentského řešitelského týmu Dávid Lupták, Vít Novotný
Hodnocení projektu projekt splněn

Vít Novotný

Název projektu TeXový interpret jazyka Markdown
Identifikační kód projektu MUNI33/122015
Doba trvání projektu 1. 12. 2015 - 31. 5. 2016
Anotace projektu Ačkoliv jsou základním stavebním Internetu jazyky HTML a XHTML, při přípravě obsahu si získaly oblibu odlehčené značkovací jazyky, jako je Markdown nebo Wikicode, které jsou lidsky čitelné a snadno zapisovatelné. Cílem projektu je zavést podporu jazyka Markdown do TeXu a tím umožnit uživatelům značkovat hladké části dokumentů pomocí důvěrně známého, intuitivního jazyka.
Garant projektu doc. RNDr. Petr Sojka,Ph.D.
Složení studentského řešitelského týmu Vít Novotný
Hodnocení projektu projekt splněn s pochvalou

Marek Chalupa, Martina Vítovská

Název projektu Další vývoj nástroje Symbiotic
Identifikační kód projektu MUNI33/132015
Doba trvání projektu 1. 12. 2015 - 31. 05. 2016
Anotace projektu Symbiotic je open-source nástroj pro hledání chyb v počítačových programech. Používá tři dobře známé metody: instrumentaci, prořezávání a symbolickou exekuci. Prvním cílem projektu je zpřesnit prořezávání kódu, což by mělo vést ke zvýšení efektivity nástroje. Druhým cílem projektu je rozšířit instrumentaci tak, aby nástroj uměl odhalovat více druhů chyb (např. špatnou práci s pamětí).
Garant projektu doc. RNDr. Jan Strejček, Ph.D.
Složení studentského řešitelského týmu Marek Chalupa, Martina Vítovská
Hodnocení projektu projekt splněn s pochvalou

Henrich Lauko, Jan Mrázek, Vladimír Štill

Název projektu Rozšíření nástroje DIVINE pro verifikaci vstupně-výstupně otevřených programů
Identifikační kód projektu MUNI33/152015
Doba trvání projektu 1. 12. 2015 - 30. 11. 2016
Anotace projektu DIVINE je open-source nástroj pro ověřování LTL vlastností vstupně-výstupně uzavřených počítačových programů v C a C++. K efektivní verifikaci využívá výhod soudobého hardware a sofistikovaných redukčních technik. SymDIVINE je open-source nástroj pro ověřování LTL vlastností vstupně-výstupně otevřených počítačových programů v C a C++. Cílem projektu je implementace cache pro dotazy na SMT solver v nástroji SymDIVINE za účelem jeho zefektivnění a integrace nástrojů SymDIVINE do DIVINE.
Garant projektu doc. RNDr. Jiří Barnat, Ph.D.
Složení studentského řešitelského týmu Henrich Lauko, Jan Mrázek, Vladimír Štill
Hodnocení projektu projekt splněn s pochvalou

Duben 2015

Marek Tomáštík

Název projektu Verifikace MPI programů pomocí DIVINE
Identifikační kód projektu MUNI33/012015
Doba trvání projektu 1. 4. 2015 - 31. 12. 2015
Anotace projektu DIVINE je open-source nástroj pro ověřování LTL vlastností počítačových programů, který dokáže verifikovat mimo jiné i C/C++ kód. Přínos použití DIVINE je největší pro systémy využívající souběžnost; při volbě C/C++ jako vstupního jazyka to tedy znamená vícevláknové či víceprocesové programy. Cílem projektu je implementace modulu, který umožní pomocí DIVINE verifikovat programy používající MPI, široce rozšířený standard pro distribuované počítání.
Garant projektu doc. RNDr. Jiří Barnat, Ph.D.
Složení studentského řešitelského týmu Marek Tomáštík
Hodnocení projektu projekt splněn s pochvalou

Vít Novotný

Název projektu fithesis3
Identifikační kód projektu MUNI33/022015
Doba trvání projektu 1. 4. 2015 - 30. 9. 2015
Anotace projektu Výstupem projektu bude nová LaTeXová třída fithesis3 pro sazbu závěrečných prací spolu s technickou a uživatelskou dokumentací a autorským slabikářem shrnujícím ověřené postupy a časté chyby týkající se formy, kterých je vhodné se při psaní závěrečné práce na MU vyvarovat. Všechny tři uvedené dokumenty budou sepsány v angličtině. Projekt vychází z aktuálně používané verze fithesis2.
Garant projektu doc. RNDr. Petr Sojka,Ph.D.
Složení studentského řešitelského týmu Vít Novotný
Hodnocení projektu projekt splněn s pochvalou

Lukáš Němec

Název projektu Edu-hoc – platforma pro výuku vytváření aplikací pro ad hoc sítě se zaměřením na bezdrátové senzorové sítě a bezpečnost
Identifikační kód projektu MUNI33/042015
Doba trvání projektu 1. 4. 2015 - 31. 3. 2016
Anotace projektu Edu-hoc je platforma pro výuku ad hoc sítí se zaměřením na bezdrátové senzorové sítě a jejich bezpečnost. Navazuje na WSNProtectLayer, který byl v laboratoři CRoCS vyvíjen od roku 2010 a rozšiřuje jej se zaměřením na výuku. Tedy celkově vytvoření jednoduše přístupného prostředí, názorných ukázek a cvičení pro kohokoliv s minimálními zkušenostmi v této oblasti. Serverová část projektu bude obsahovat jednoduše obsluhovatelné prostředí pro nahrávání aplikací na jednotlivé uzly, webové rozhraní pro monitoring aktuálního stavu sítě a vyhodnocování jednotlivých cvičení.
Garant projektu RNDr. Petr Švenda, Ph.D.
Složení studentského řešitelského týmu Lukáš Němec
Hodnocení projektu projekt splněn s pochvalou

Marek Chalupa

Název projektu Zlepšení prořezávání v nástroji Symbiotic
Identifikační kód projektu MUNI33/052015
Doba trvání projektu 1. 4. 2015 - 30.9. 2015
Anotace projektu Symbiotic je open-source nástroj pro hledání chyb v programech. Používá tři dobře známé metody: instrumentaci, prořezávání a symbolickou exekuci. V současné době je v Symbioticu implementován první známý algoritmus pro prořezávání programů, který k problému přistupuje pomocí data-flow analýzy. Modernější a rychlejší algoritmy používají tzv. graf závislostí. Cílem projektu je nahradit stávající prořezávací algoritmus novým, založeným na grafu závislostí.
Garant projektu doc. RNDr. Jan Strejček, Ph.D.
Složení studentského řešitelského týmu Marek Chalupa
Hodnocení projektu projekt splněn s pochvalou

Michal Zima

Název projektu Coincer – decentralizovaná směnárna kryptoměn
Identifikační kód projektu MUNI33/072015
Doba trvání projektu 1. 4. 2015 - 30.11. 2015
Anotace projektu Cílem projektu je vytvořit decentralizovanou alternativu k centralizovaným kryptoměnovým burzám, která by umožňovala bezpečnou směnu kryptoměn přímo mezi uživateli bez potřeby prostředníka. Tato platforma bude mít podobu P2P sítě a směna samotná bude probíhat atomicky.
Garant projektu doc. RNDr. Eva Hladká, Ph.D.
Složení studentského řešitelského týmu Michal Zima
Hodnocení projektu projekt splněn s pochvalou

Zuzana Ferková, Katarína Furmanová, Marek Galvánek, Marek Žuži, Jakub Jozef Pálenik

Název projektu FIDENTIS Analyst
Identifikační kód projektu MUNI33/082015
Doba trvání projektu 1. 4. 2015 - 31.12. 2015
Anotace projektu FIDENTIS Analyst je softvér pre forenznú identifikáciu ľudských tvári. Vznikol v rámci medziodborovej spolupráce Laboratória interakcie človeka s počítačom FI MU a Ústavom antropológie PřF MU. Vyvíjaná aplikácia poskytuje funkcionalitu pre tvorbu 3D identikitu, vyhľadávanie antropometrických bodov a porovnávanie tvárí. Predkladaný projekt si kladie za cieľ rozšíriť možnosti softvéru v oblasti vizualizácie, práce s textúrami, vekových zmien, 3D kompozitu, zrýchlenia výpočtov a vylepšenia v oblasti použiteľnosti.
Garant projektu doc. Ing. Jiří Sochor, CSc.
Vedoucí projektu RNDr. Igor Chalás
Složení studentského řešitelského týmu Zuzana Ferková, Katarína Furmanová, Marek Galvánek, Marek Žuži, Jakub Jozef Pálenik
Hodnocení projektu projekt splněn

Prosinec 2014

Vladimír Štill, Jiří Weiser, Kristína Zákopčanová

Název projektu Rozšíření DIVINE - nástroje pro paralelní verifikaci
Identifikační kód projektu MUNI33/132014
Doba trvání projektu 1. 12. 2014 - 30. 11. 2015
Anotace projektu DIVINE je open-source nástroj pro ověřování LTL vlastností počítačových programů. K efektivní verifikaci využívá výhod soudobého hardware, zejména pak paralelních architektur, což mu umožňuje zpracovat i extrémně rozsáhlé systémy, které jsou standardními nástroji neverifikovatelné. Cílem projektu je implementace virtuálního souborového systému pro LLVM interpret, implementace vlastní síťové vrstvy pro komunikaci v distribuované paměti, implementace nástroje pro statickou analýzu a trasformaci LLVM bitkódu a propojení nástroje DIVINE s nástrojem pro pravděpodobnostní model checking PRISM.
Garant projektu doc. RNDr. Jiří Barnat, Ph.D.
Složení studentského řešitelského týmu Vladimír Štill, Jiří Weiser, Kristína Zákopčanová
Hodnocení projektu projekt splněn

Samuel Pastva

Název projektu BioDiVinE CTL: Nástroj pro syntézu parametrů dynamických systémů omezených CTL specifikací
Identifikační kód projektu MUNI33/152014
Doba trvání projektu 1. 12. 2014 - 31. 8. 2015
Anotace projektu Cílem projektu je navrhnout a implementovat nástroj pro syntézu kinetických parametrů diferenciálních modelů biochemických dynamických systémů garantujících splnění formulí logiky větvícího se času (CTL). Technicky bude k tomuto účelu adaptována metoda barevného model checkingu vyvinutá původně pro LTL v rámci nástroje BioDiVinE. Provedená implementace bude využívat regulárnosti stavového prostoru biochemických prostorů k efektivnímu distribuovanému výpočtu na klastru.
Garant projektu RNDr. David Šafránek,Ph.D.
Vedoucí projektu Mgr. Martin Demko
Složení studentského řešitelského týmu Samuel Pastva
Hodnocení projektu projekt splněn

Ján Bella, Milan Doležal, Antonín Hojný, Michal Hroš, Miroslava Jarešová

Název projektu Newron – aplikace pro pacienty s poruchou autistického spektra
Identifikační kód projektu MUNI33/102014
Doba trvání projektu 1. 12. 2014 - 30. 6. 2015
Anotace projektu Tento projekt tvoří návaznost na projekt BRAIN – výzkum hrou, který byl schválen a realizován v předchozím běhu tohoto programu. Díky velmi úspěšné implementaci a naplnění cílů jsme se rozhodli požádat o prostředky pro pokračování v tomto projektu. Hlavními motivačními prvky jsou pokračování v úspěšně navázané intenzivní spolupráci s Psychologickým ústavem FF MU a další rozvoj aplikace zaměřené primárně na pacienty s poruchou autistického spektra, která by měla být v nejbližších týdnech nasazena na testování přímo do rodin autistických pacientů.
Garant projektu RNDr. Barbora Kozlíková, Ph.D.
Složení studentského řešitelského týmu Ján Bella, Milan Doležal, Antonín Hojný, Michal Hroš, Miroslava Jarešová
Hodnocení projektu projekt splněn s pochvalou

Adriana Šmijáková

Název projektu Rozšíření vizualizačních možností programu viewer3d a knihovny v3dwins
Identifikační kód projektu MUNI33/092014
Doba trvání projektu 1. 12. 2014 - 30.6. 2015
Anotace projektu Cílem projektu je rozšířit programové balíky, vyvíjené v Centru analýzy biomedicínského obrazu, zaměřené nyní na vizualizaci statických skalárních obrazových dat. Konkrétně se jedná o knihovnu v3dwins poskytující vizualizační nástroje pro zobrazování těchto dat a o zobrazovací program viewer3d postavený nad touto knihovnou. Plánované rozšíření zejména umožní pohodlně zobrazovat a pracovat s dynamickými obrazy a s obrazy se složeným datovým typem.
Garant projektu RNDr. Vladimír Ulman, Ph.D.
Složení studentského řešitelského týmu Adriana Šmijáková
Hodnocení projektu projekt splněn

Jiří Kantor, Radek Stibora

Název projektu NTrace – systém pro sledování paprsku
Identifikační kód projektu MUNI33/122014
Doba trvání projektu 1. 12. 2014 - 31.5. 2015
Anotace projektu NTrace je systém pro vizualizaci trojrozměrných modelů pomocí metod využívajících algoritmus sledování paprsku. Cílem projektu je rozšíření tohoto systému ve dvou směrech. Prvním směrem je návrh a implementace algoritmu organizujícího data používaná při vykreslování ve formátu vhodném pro cache na grafických kartách. Druhý směr se týká implementace nedávno popsané metody vykreslování pomocí virtuálních světel..
Garant projektu doc. Ing. Jiří Sochor, CSc.
Vedoucí projektu RNDr. Marek Vinkler
Složení studentského řešitelského týmu Jiří Kantor, Radek Stibora
Hodnocení projektu projekt splněn

Duben 2014

Jaromír Kala, Peter Novák, Milan Seman

Název projektu CoUnSiL: Videokonferenční prostředí pro vzdálené tlumočení znakového jazyka
Identifikační kód projektu MUNI33/022014
Doba trvání projektu 1. 4. 2013 - 31. 12. 2014
Anotace projektu Klíčovou složkou začlenění sluchově postižených do běžné univerzitní výuky je tlumočení přednášek do znakové řeči. Kvalifikovaných tlumočníků je ovšem nedostatek, je tedy vhodné jejich fyzickou přítomnost nahradit použitím videokonferenčního kanálu. V Laboratoři pokročilých síťových technologií jsou dlouhodobě vyvíjena prostředí pro multimediální přenosy s nízkým zpožděním a vysokou kvalitou – charakteristikami vhodnými pro přenos znakové řeči v reálném čase. Cílem projektu je na základě požadavků střediska Teiresiás, jakožto důležité skupiny budoucích uživatelů, vytvořit videokonferenčního klienta pro vzdálené tlumočení postaveného na bázi těchto prostředí.
Garant projektu doc. RNDr. Eva Hladká, Ph.D.
Vedoucí projektu RNDr. Pavel Troubil
Složení studentského řešitelského týmu Jaromír Kala, Peter Novák, Milan Seman
Hodnocení projektu

Petr Pilař, Andrej Tokarčík

Název projektu Rozšíření nástroje PRISM o metody pro efektivní analýzu stochastických biochemických systémů
Identifikační kód projektu MUNI33/032014
Doba trvání projektu 1. 4. 2014 - 31. 3. 2015
Anotace projektu Cílem projektu je rozšíření open-source nástroje PRISM o nové specializované metody pro formální analýzu stochastických biochemických systémů. Složitost těchto systémů, která je daná jejich vysokou dimensionalitou a neurčitostí kvantitativních parametrů, způsobuje, že jejich analýza je časově náročná. V rámci projektu bude nástroj PRISM rozšířen o možnosti paralelizace klíčových numerických metod a o nové metody pro efektivní exploraci a identifikaci parametrů.
Garant projektu RNDr. Milan Češka, Ph.D.
Složení studentského řešitelského týmu Petr Pilař, Andrej Tokarčík
Hodnocení projektu

Radek Stibora

Název projektu NTrace – systém pro sledování paprsku
Identifikační kód projektu MUNI33/042014
Doba trvání projektu 1. 9. 2014 - 30. 11. 2014
Anotace projektu NTrace je systém pro vizualizaci trojrozměrných modelů pomocí metody sledování paprsku. K akceleraci tohoto výpočetně náročného algoritmu je využíván paralelní grafický hardware, s jehož pomocí je dosaženo interaktivního výkonu. Cílem projektu je rozšíření tohoto systému o schopnost zpracovávat různé formáty grafických dat a o různé metody pro dynamickou alokaci paměti na GPU.
Garant projektu doc. Ing. Jiří Sochor, CSc.
Vedoucí projektu RNDr. Marek Vinkler
Složení studentského řešitelského týmu Radek Stibora
Hodnocení projektu

Milan Doležal, Antonín Hojný, Miroslava Jarešová, Aleksei Penzentcev, Ján Bella, Michal Hroš

Název projektu BRAIN - výzkum hrou
Identifikační kód projektu MUNI33/052014
Doba trvání projektu 1. 4. 2014 - 31. 10. 2014
Anotace projektu Cílem tohoto projektu je podpořit vývoj aplikace vytvářené v rámci projektu BRAIN, na němž spolupracuje Laboratoř interakce člověka s počítačem FI MU s Psychologickým ústavem FF MU. Projekt si klade za cíl vytvořit komplexní 3D hru v prostředí Unity 3D ovládanou pomocí zařízení Kinect, jejíž obsah bude navržen psychology a to s ohledem na specifické potřeby cílových skupin uživatelů (autismus, hyperaktivita, atd.). Hra bude následně nasazena přímo do testovaných rodin díky sponzorskému daru společnosti Microsoft v podobě několika zařízení Kinect.
Garant projektu RNDr. Barbora Kozlíková, Ph.D.
Složení studentského řešitelského týmu Milan Doležal, Antonín Hojný, Miroslava Jarešová, Aleksei Penzentcev, Ján Bella, Michal Hroš
Hodnocení projektu

Pavel Čadek, Viktor Toman

Název projektu Bugst - nástroj pro analýzu programů
Identifikační kód projektu MUNI33/062014
Doba trvání projektu 1. 4. 2014 - 30. 6. 2014
Anotace projektu Bugst je open-source nástroj, který poskytuje knihovny pro statickou analýzu programů pomocí symbolické exekuce. Cílem projektu je rozvoj Bugstu ve dvou směrech. Prvním je přidání automatického určení horního odhadu počtu iterací cyklů analyzovaného programu jako funkce nad vstupem programu. Druhým směrem je zrychlení Bugstu díky jeho napojení na SMT solvery CVC4 a MathSAT5 a paralelnímu volání SMT solverů.
Garant projektu doc. RNDr. Jan Strejček, Ph.D.
Vedoucí projektu Mgr. Marek Trtík
Složení studentského řešitelského týmu Pavel Čadek, Viktor Toman
Hodnocení projektu

Prosinec 2013

Vilém Otte, Radek Stibora

Název projektu NTrace – systém pro sledování paprsku
Identifikační kód projektu MUNI33/122013
Doba trvání projektu 1. 12. 2013 - 31. 5. 2014
Anotace projektu NTrace je systém pro vizualizaci trojrozměrných modelů pomocí metody sledování paprsku. K akceleraci tohoto výpočetně náročného algoritmu je využíván paralelní grafický hardware, s jehož pomocí je dosaženo interaktivního výkonu. Cílem projektu je rozšíření tohoto systému o nedávno publikované metody a vytvoření jeho webové prezentace a dokumentace.
Garant projektu doc. Ing. Jiří Sochor, CSc.
Vedoucí projektu RNDr. Marek Vinkler
Složení studentského řešitelského týmu Vilém Otte, Radek Stibora
Hodnocení projektu

Jan Botorek

Název projektu Rozšíření nástroje pro automatickou anotaci obrázků
Identifikační kód projektu MUNI33/142013
Doba trvání projektu 1. 12. 2013 - 30.11. 2014
Anotace projektu Cílem projektu je rozvoj automatické anotace obrázků v rámci knihovny MESSIF, která zahrnuje širokou škálu nástrojů pro práci s daty na základě podobnosti. Dosavadní implementace anotací obsahuje pouze základní funkcionalitu, kdy jsou k obrázku přiřazena klíčová slova získaná z popisků vizuálně podobných obrázků. Cílem projektu je návrh a implementace sofistikovanějších metod s využitím lexikální databáze WordNet a vhodně navržené ontologie kategorií, dále budou studovány možnosti vylepšení anotací na základě zpětné vazby od uživatele.
Garant projektu RNDr. Petra Budíková, Ph.D.
Složení studentského řešitelského týmu Jan Botorek
Hodnocení projektu

Vít Stanislav

Název projektu Rozříšení funkcionality slepemapy.cz
Identifikační kód projektu MUNI33/152013
Doba trvání projektu 1. 12. 2013 - 31. 5. 2014
Anotace projektu Slepemapy.cz je výuková webová aplikace na učení polohy států a po provedení toho projektu i měst, řek a jezer. Cílem projektu je aby aplikace poskytovala co nejefektivnější učení, a to zejména vhodným výběrem otázek, ale také využitím různým motivačních prvků (srovnání s jiným uživatelem, gamifikace). Aplikace bude pro výběr otázek využívat strojového učení z posbíraných dat.
Garant projektu doc. RNDr. Radek Pelánek, Ph.D.
Složení studentského řešitelského týmu Vít Stanislav
Hodnocení projektu

Jakub Adler, David Formánek, Dominik Szalai, Robert Šiška

Název projektu MathML Canonicalizer – Testování a rozšíření nástroje pro normalizaci MathML
Identifikační kód projektu MUNI33/162013
Doba trvání projektu 1. 12. 2013 - 30. 11. 2014
Anotace projektu MathML Canonicalizer je open-source nástroj vyvíjený a nasazený pro potřeby normalizace vstupních dat u systémů pro vyhledávání matematických formulí v plnotextových digitálních knihovnách vědeckých publikací. Cílem projektu je (i) vytvořit rozsáhlou testovací databázi matematických formulí pokrývající celé Presentation značkování standardu MathML 3.0 a webovou aplikaci umožňující s touto bází efektivně pracovat, (ii) vyhodnotit korektnost práce MathML Canonicalizeru nad touto bází a (iii) na základě toho vylepšit jeho implementaci.
Garant projektu doc. RNDr. Petr Sojka, Ph.D.
Vedoucí projektu RNDr. Michal Růžička
Složení studentského řešitelského týmu Jakub Adler, David Formánek, Dominik Szalai, Robert Šiška
Hodnocení projektu

Jaroslav Klech

Název projektu Japonský slovník pro platformu Android
Identifikační kód projektu MUNI33/182013
Doba trvání projektu 1. 12. 2013 - 30.11.2014
Anotace projektu Projekt si dává za cíl vytvoření offline japonského slovníku a japonského znakového slovníku a zlepšení tak možnosti studia japonštiny. V současnosti pro platformu Android neexistuje offline japonský slovník, který by byl aktuální po stránce využití funkcionality Android API a umožňoval efektivní vyhledávání slov pomocí zadaných kritérií (začátek, střed, konec slova), automatický převod predikátů do slovníkového tvaru, či využití všech standardních druhů japonské transkripce pro vstupní data. Tento projekt má uvedené nedostatky eliminovat a navíc šířením pod GNU/GPL napomoci k rozšiřování programu komunitou.
Garant projektu RNDr. Radek Ošlejšek, Ph.D.
Vedoucí projektu Mgr. Bc. Jonáš Ševčík
Složení studentského řešitelského týmu Jaroslav Klech
Hodnocení projektu

Desana Daxnerová, Pavel Kajaba, Matej Minárik, Michal Bábel

Název projektu Rozšíření pro MUSE framework
Identifikační kód projektu MUNI33/192013
Doba trvání projektu 1. 12. 2013 - 31.8. 2014
Anotace projektu MUSE Framework je nástroj pro vytváření tzv. přirozených uživatelských rozhraní (NUIs – Natural User Interfaces) pro velké vizualizační systémy – displejové stěny a dotykové stoly. Framework umožňuje sestavování dotykových vstupních vrstev škálovatelnou metodou skládání dotykových senzorů. Projekt má dva cíle – prvním je implementace modulů, které umožní propojení s existujícími middleware pro vizualizační klastry SAGE a DisplayCluster; druhým cílem je implementace modulů pro práci s RGB kamerami a jejich využití pro vícekamerové snímání.
Garant projektu doc. RNDr. Eva Hladká, Ph.D.
Vedoucí projektu RNDr. Vít Rusňák
Složení studentského řešitelského týmu Desana Daxnerová, Pavel Kajaba, Matej Minárik, Michal Bábel
Hodnocení projektu

Katarína Furmanová, Marek Galvánek, Zuzana Ferková, Matej Lobodáš, Zuzana Lýová

Název projektu FIDENTIS – tvorba novej funkcionality a vylepšenie použitých algoritmov
Identifikační kód projektu MUNI33/202013
Doba trvání projektu 1. 12. 2013 - 31. 10. 2014
Anotace projektu Projekt FIDENTIS sa zaoberá vývojom softvéru pre forenznú identifikáciu ľudských tvári. Vznikol v rámci medziodborovej spolupráce Laboratória interakcie človeka s počítačom FI MU a Ústavom antropológie PřF MU. Vyvíjaná aplikácia poskytuje funkcionalitu pre tvorbu 3D identikitu, vyhľadávanie antropometrických bodov a porovnávanie tvárí. Predkladaný projekt si kladie za cieľ rozšíriť funkcionalitu aplikácie a vylepšiť používané algoritmy.
Garant projektu doc. Ing. Jiří Sochor, CSc.
Vedoucí projektu Mgr. Igor Chalás
Složení studentského řešitelského týmu Katarína Furmanová, Marek Galvánek, Zuzana Ferková, Matej Lobodáš, Zuzana Lýová
Hodnocení projektu

Martin Demko, Aleš Pejznoch

Název projektu BioDiVinE v1.5: Nástroj pro formální analýzu dynamických systémů
Identifikační kód projektu MUNI33/212013
Doba trvání projektu 1. 1. 2014 - 30.6.2014
Anotace projektu Cílem projektu je refaktorizace, rozšíření a integrace výpočetních technik pro formální analýzu spojitých dynamických modelů biologických procesů. Jedná se o metody pro syntézu parametrů a model checking vzhledem k požadovaným dynamickým omezením reprezentovaným v temporální logice. Metody využívají obdélníkovou abstrakci. Techniky byly dosud implementovány pouze jako experimentální prototypy, cílem je tedy vytvoření integrovaného nástroje.
Garant projektu RNDr. David Šafránek, Ph.D.
Složení studentského řešitelského týmu Martin Demko, Aleš Pejznoch
Hodnocení projektu

Březen 2013

Ondřej Bouda

Název projektu DVN – rozšíření o podporu databázového systému PostgreSQL
Identifikační kód projektu MUNI33/112013
Doba trvání projektu 1. 7. 2013 - 31. 3. 2014
Anotace projektu DVN je rozšíření systému pro správu verzí Subversion o podporu verzování databázového schématu. Dosavadní implementace podporuje relační databázový systém MySQL. Cílem projektu je rozšíření tohoto nástroje o podporu databázového systému PostgreSQL. Výsledkem bude verzování jak stejných typů objektů jako dosud pro MySQL, tak nových typů objektů, které má PostgreSQL navíc.
Garant projektu doc. RNDr. Vlastislav Dohnal, Ph.D.
Složení studentského řešitelského týmu Ondřej Bouda
Hodnocení projektu

Prosinec 2012

Tomáš Hrabal, Hoa Quoc Tran, Michal Halaj

Název projektu SmartLib - rozšíření knihovního katalogu Aleph na mobilní platformy
Identifikační kód projektu MUNI33/012013
Doba trvání projektu 1. 12. 2012 - 30. 11. 2013
Anotace projektu Cílem projektu je uživatelům zprostředkovat snadný přístup do knihovního katalogu Aleph pomocí nativní mobilní aplikace. Umožnit tak, oproti současnému stavu, snadnější vyhledávání. A to nejen textově, ale i snímáním čárových kódů. Zobrazení dat bude zpřehledněno a přizpůsobeno velikosti displeje mobilního zařízení. Funkcionalita současného systému bude také rozšířena o možnost uživatelského hodnocení knih či vytváření seznamů uživatelem definovaných knih. Projekt bude šířen pod licencí GNU/AGPL, což zpřístupní knihovnám modernizaci svých katalogů.
Garant projektu doc. RNDr. Tomáš Pitner, Ph.D.
Vedoucí projektu Mgr. Bc. Jonáš Ševčík
Složení studentského řešitelského týmu Tomáš Hrabal, Hoa Quoc Tran, Michal Halaj
Hodnocení projektu projekt splněn

Jakub Valtar, Erik Vaněk, Filip Volner

Název projektu CAVER – vylepšení stávajících algoritmů a tvorba nové funkcionality
Identifikační kód projektu MUNI33/032013
Doba trvání projektu 1. 12. 2012 - 31. 5. 2013
Anotace projektu Cílem tohoto projektu je zkvalitnění implementace sady algoritmů a rozšíření funkcionality dlouhodobě běžícího projektu CAVER, který je uznáván a přijímán celosvětovou komunitou biochemiků a proteinových inženýrů. V současnosti má aplikace kolem 4500 registrovaných uživatelů. Tento studentský projekt se zaměřuje zejména na paralelizaci stávajících řešení a doplnění nových možností načítání molekul a interakce, které zkvalitní použití a robustnost nástroje CAVER.
Garant projektu RNDr. Barbora Kozlíková, Ph.D.
Složení studentského řešitelského týmu Jakub Valtar, Erik Vaněk, Filip Volner
Hodnocení projektu projekt splněn

Milan Lenčo, Vladimír Štill, Jiří Weiser, Vojtěch Havel

Název projektu DiVinE- nástroj pro paralelní verifikaci softwarových a hardwarových systémů
Identifikační kód projektu MUNI33/052013
Doba trvání projektu 1. 12. 2012 - 30. 11. 2013
Anotace projektu DiVinE je open-source nástroj pro ověřování LTL vlastností počítačových programů. K efektivní verifikaci využívá výhod soudobého hardware, zejména pak paralelních architektur, což mu umožňuje zpracovat i extrémně rozsáhlé systémy, které jsou standardními sekvenčními nástroji neverifikovatelné. Cílem projektu je implementace POSIX Threads a POSIX Semaphores standardů pro LLVM interpret, analýza metod a implementace bezztrátové komprese stavu a stavového prostoru, analýza paměťových struktur a jejich optimalizace a rozšíření o možnost ověřování LTL vlastností časových automatů.
Garant projektu doc. RNDr. Jiří Barnat, Ph.D.
Vedoucí projektu doc. RNDr. Jiří Barnat, Ph.D.
Složení studentského řešitelského týmu Milan Lenčo, Vladimír Štill, Jiří Weiser, Vojtěch Havel
Hodnocení projektu projekt splněn s pochvalou

Viktor Borza, Adrian Farmadin, Milan Malota, Tomáš Márton

Název projektu Rozšíření Sequence Chart Studia o novou funkcionalitu
Identifikační kód projektu MUNI33/062013
Doba trvání projektu 1. 12. 2012 - 30. 11. 2013
Anotace projektu Sequence Chart Studio je nástroj, jehož cílem je poskytnout uživateli pohodlné a přívětivé prostředí pro návrh a ověřování Message Sequence Charts (MSC, HMSC) diagramů. Cílem tohoto projektu je úprava uživatelského rozhraní a to konkrétně úprava existujících a přidání nových komponent pro kreslení a odstranění chyb nahlášených pomocí systému na správu požadavků (bug tracker, feature request).
Garant projektu RNDr. Vojtěch Řehák, Ph.D.
Vedoucí projektu Mgr. Matúš Madzin, Mgr. Ľuboš Korenčiak
Složení studentského řešitelského týmu Viktor Borza, Adrian Farmadin, Milan Malota, Tomáš Márton
Hodnocení projektu projekt splněn

Katarína Furmanová, Jan Kalát, Marek Galvánek, Zuzana Ferková

Název projektu Rozšírenie funkcionality programu FIDENTIS – softvéru pre forenznú identifikáciu tvári
Identifikační kód projektu MUNI33/072013
Doba trvání projektu 1. 12. 2012 - 31. 7. 2013
Anotace projektu Projekt FIDENTIS sa zaoberá vývojom softvéru pre forenznú identifikáciu ľudských tvári. Vznikol v rámci spolupráce medziodborovej Laboratória interakcie človeka s počítačom FI MU a Ústavom antropológie PřF MU. Súčasťou aplikácie FIDENTIS je modul pre tvorbu 3D identikitu. Použitie trojrozmerných modelov a reálnych textúr pri riešení tejto úlohy ho robí jedinečným. Predkladaný projekt si kladie za cieľ rozšíriť funkcionalitu modulu pre tvorbu 3D identikitu, vytvoriť nový modul pre vyhľadávanie antropometrických bodov a tiež vytvoriť modul pre určovanie miery podobnosti 3D skenov.
Garant projektu doc. Ing. Jiří Sochor, CSc.
Vedoucí projektu Mgr. Igor Chalás
Složení studentského řešitelského týmu Katarína Furmanová, Jan Kalát, Marek Galvánek, Zuzana Ferková
Hodnocení projektu projekt splněn

Marek Medveď

Název projektu Adaptace českých syntaktických analyzátorů pro slovenštinu
Identifikační kód projektu MUNI33/082013
Doba trvání projektu 1. 12. 2012 - 30. 11. 2013
Anotace projektu Projekt se zabývá vývojem open-source syntaktických analyzátorů SYNT a SET, primárně zaměřených na zpracování češtiny, pro slovenský jazyk. Projekt navazuje na úspěšně obhájenou bakalářskou práci a kromě další adaptace syntaktických analyzátorů zahrnuje i rozvoj nástrojů pro automatickou morfologickou analýzu slovenštiny, která představuje nezbytně nutné předzpracování dat pro samotnou syntaktickou analýzu. Pro tento úkol bude adaptován open-source tagger RFTagger.
Garant projektu RNDr. Miloš Jakubíček
Složení studentského řešitelského týmu Marek Medveď
Hodnocení projektu projekt splněn s pochvalou

Martin Pruška, Rastislav Tisovčík

Název projektu VRECKO – systém pro vývoj aplikací ve virtuálním prostředí
Identifikační kód projektu MUNI33/092013
Doba trvání projektu 1. 12. 2012 - 31. 5. 2013
Anotace projektu VRECKO je modulární systém sloužící pro podporu výzkumu a vývoje aplikací ve virtuálním prostředí. Cílem tohoto projektu je rozšíření systému VRECKO o nový modul PhysX umožňující snadné využití fyzikálního engine nVidia PhysX v rámci systému VRECKO. Dále pak revize zdrojových kódů a doplnění jejich dokumentace. V rámci projektu vznikne rovněž nová online prezentace projektu VRECKO a to včetně vzniklé dokumentace zdrojových kódů.
Garant projektu doc. Ing. Jiří Sochor, CSc.
Vedoucí projektu Mgr. Jiří Chmelík
Složení studentského řešitelského týmu Martin Pruška, Rastislav Tisovčík
Hodnocení projektu projekt splněn

Březen 2012

Martin Tesař

Název projektu Interaktivní nadstavba MTB mapy České republiky
Identifikační kód projektu MUNI33/012012
Doba trvání projektu 1. 4. 2012 - 31. 12. 2012
Anotace projektu Cílem projektu je rozšíření funkcionality webové mapy pro jízdu na horském kole na základě otevřených geografických dat projektu OpenStreetMap. Umožnit uživatelům získávat kvalitní tiskový výstup mapových dat, vyhledávat a vykreslovat vlastní trasy a zobrazovat podstatné mapové prvky interaktivně. Navíc trvale vylepšovat kartografický styl a zlepšit využití výpočetních kapacit při vykreslování mapových dlaždic.
Garant projektu doc. RNDr. Eva Hladká, Ph.D.
Složení studentského řešitelského týmu Martin Tesař
Hodnocení projektu projekt splněn s pochvalou

Lukáš Ručka

Název projektu dTUIO – implementace protokolu TUIO 2.0 s rozšířeními
Identifikační kód projektu MUNI33/022012
Doba trvání projektu 1. 6. 2012 - 31. 12. 2012
Anotace projektu TUIO 2.0 je následníkem vysokoúrovňového protokolu TUIO 1.1, který slouží k efektivnímu popisu a přenosu informací pro dotyková a hmatová rozhraní. Oproti svému předchůdci má bohatší syntax a je možné jej dále rozšiřovat. Cílem projektu je rozšířit implementaci protokolu TUIO 2.0 (knihovna Libkerat) o nové vlastnosti a funkce pro práci v heterogenním prostředí s více typy senzorů. Vzhledem k rozsahu, bude rozšíření implementováno jako samostatná knihovna dTUIO. Součástí budou i vzorové aplikace pro dotykové senzory, ovladač Nintendo Wii Remote a MS Kinect, komplementární klientská aplikace vizualizující dráhy souvislých gest a kompletní dokumentace k API včetně příkladů k jednotlivým modulům.
Garant projektu doc. RNDr. Eva Hladká, Ph.D.
Vedoucí projektu Mgr. Vít Rusňák
Složení studentského řešitelského týmu Lukáš Ručka
Hodnocení projektu projekt splněn s pochvalou

Jaromír Kala, Peter Novák

Název projektu Tabletové uživatelské rozhraní pro SAGE
Identifikační kód projektu MUNI33/032012
Doba trvání projektu 1. 4. 2012 - 31. 12. 2012
Anotace projektu SAGE je middleware umožňující sdílení obsahu na skládaných obrazovkách v extrémně vysokém rozlišení. Účelem projektu je zlepšení SAGE pomocí vývoje uživatelsky přívětivé aplikace, která umožní jeho ovládání pomocí tabletu s OS Android. Součástí projektu bude uživatelské testování aplikace a následná implementace změn.
Garant projektu doc. RNDr. Eva Hladká, Ph.D.
Vedoucí projektu Mgr. Vít Rusňák
Složení studentského řešitelského týmu Jaromír Kala, Peter Novák
Hodnocení projektu projekt splněn

Jan Papoušek, Tomáš Vejpustek

Název projektu Parasim: Nástroj pro paralelni simulaci a verifikaci
Identifikační kód projektu MUNI33/052012
Doba trvání projektu 1. 4. 2012 - 31. 12. 2012
Anotace projektu Projekt si klade za cíl vytvoření nástroje pro analýzu dynamických systémů modelovaných pomocí obyčejných diferenciálních rovnic. Na rozdíl od existujících nástrojů pro simulaci chování dynamických systémů a monitoring temporálních vlastností nad běhy těchto systémů je zde podstatný aspekt vzniku modulární architektury, jež by umožňovala budoucí vývoj a testování optimalizace a paralelizace jednotlivých modulů i analytických algoritmů.
Garant projektu RNDr. David Šafránek, Ph.D.
Vedoucí projektu Mgr. Sven Dražan
Složení studentského řešitelského týmu Jan Papoušek, Tomáš Vejpustek
Hodnocení projektu projekt splněn

Jan Havlíček, Jan Kriho, Pavel Mičan

Název projektu DiVinE – nástroj pro paralelní verifikaci softwarových a hardwarových systémů
Identifikační kód projektu MUNI33/082012
Doba trvání projektu 1. 4. 2012 - 31. 3. 2013
Anotace projektu DiVinE je open-source nástroj pro ověřování LTL vlastností počítačových programů. K efektivní verifikaci využívá výhod soudobého hardware, zejména pak paralelních architektur, což mu umožňuje zpracovat i extrémně rozsáhlé systémy, které jsou standardními sekvenčními nástroji neverifikovatelné. Cílem projektu je rozšíření modelovacího jazyka a zavedení aproximativních metod pro verifikaci obrovských modelů na hardwaru s omezenou pamětí a dalších postupů pro snížení celkové paměťové náročnosti výpočtu.
Garant projektu doc. RNDr. Jiří Barnat, Ph.D.
Složení studentského řešitelského týmu Jan Havlíček, Jan Kriho, Pavel Mičan
Hodnocení projektu projekt splněn

Ondřej Bouda

Název projektu Podpora verzování relačních schémat databáze
Identifikační kód projektu MUNI33/102012
Doba trvání projektu 1. 4. 2012 - 31. 1. 2013
Anotace projektu Cílem projektu je vytvoření sady nástrojů rozšiřujících systém pro správu verzí Subversion o podporu verzování databázového schématu. Výsledkem tak bude možnost verzování relačních databázových tabulek, pohledů, spouští a uložených procedur a funkcí současně s verzováním zdrojových kódů aplikace, a tak sledování souvislosti změn zdrojového kódu a databázového schématu, historie změn databázového schématu a možnost přechodu ke starší nebo novější verzi.
Garant projektu doc. RNDr. Vlastislav Dohnal, Ph.D.
Složení studentského řešitelského týmu Ondřej Bouda
Hodnocení projektu projekt splněn

Leden 2010

Ondřej Bouda

Název projektu Podpora verzování relačních schémat databáze
Identifikační kód projektu MUNI33/012010
Doba trvání projektu 1. 2. 2010 - 30. 11. 2010
Anotace projektu Cílem projektu je vytvoření sady nástrojů rozšiřujících systém pro správu verzí Subversion o podporu verzování databázového schématu. Výsledkem tak bude možnost verzování relačních databázových tabulek, pohledů, spouští a uložených procedur a funkcí současně s verzováním zdrojových kódů aplikace, a tak sledování souvislosti změn zdrojového kódu a databázového schématu, historie změn databázového schématu a možnost přechodu ke starší nebo novější verzi.
Garant projektu RNDr. Vlastislav Dohnal, Ph.D.
Složení studentského řešitelského týmu Ondřej Bouda
Hodnocení projektu projekt nebyl realizován

Petr Kunc, Martin Novák, Pavel Smolka

Název projektu Webtop Albireo II
Identifikační kód projektu MUNI33/022010
Doba trvání projektu 1. 2. 2010 - 31. 1. 2011
Anotace projektu Albireo II je pokročilý informační systém v prostředí Internetu rozsáhle aplikující prvky prostředí webtop (resp. cloud OS) pod licencí GNU/AGPL. K dosažení funkčnosti webtopu se systém široce inspiruje u desktopových operačních systémů. Cílem projektu však není nahradit klasický operační systém, záměrem je především využít jeho léty prověřené rozhraní a paradigmata k usnadnění práce s informačními systémy. V tomto směru se jedná o ojedinělý výzkum a vývoj v ČR a jen málo rozšířený ve světě.
Garant projektu doc. RNDr. Tomáš Pitner, Ph.D.
Vedoucí projektu Mgr. Jaroslav Škrabálek
Složení studentského řešitelského týmu Petr Kunc, Martin Novák, Pavel Smolka
Hodnocení projektu projekt splněn s pochvalou

Červen 2009

Michal Růžička

Název projektu Rozšíření redakčního systému odborného časopisu s podporou exportu do digitální knihovny
Identifikační kód projektu MUNI33/032009
Doba trvání projektu 1. 9. 2009 - 30. 4. 2010
Anotace projektu Cílem projektu je rozšířit komplexní, na typografickém systému TeX založený, redakční systém pro vydávání odborného časopisu o podporu MathML, přidat nezávislý modul pro validaci výstupů na straně digitální knihovny a zvýšit přístupnost výstupů systému.
Garant projektu doc. RNDr. Petr Sojka, Ph.D.
Složení studentského řešitelského týmu Michal Růžička
Hodnocení projektu projekt splněn

Tomáš Králíček

Název projektu Integrace běžných letových simulátorů do distribuovaných simulací HLA 1.3
Identifikační kód projektu MUNI33/012009
Doba trvání projektu 1. 7. 2009 - 30. 6. 2010
Anotace projektu Cílem projektu je prostřednictvím průmyslového simulačního rozhraní M&S HLA 1.3 propojit aplikaci pro 3D vizualizaci letového prostoru a běžné letové simulátory FlightGear, X-Plane a Microsoft Flight Simulator X.
Garant projektu RNDr. Vojtěch Řehák, Ph.D.
Vedoucí projektu Petr Gotthard
Složení studentského řešitelského týmu Tomáš Králíček
Hodnocení projektu projekt splněn s pochvalou

Listopad 2008

Vojtěch Přehnal

Název projektu Nástroje pro maximalizaci zvukového signálu
Identifikační kód projektu MUNI33/142008
Doba trvání projektu 1.12.2008 - 30.9.2009
Anotace projektu Cílem projektu je vytvořit softwarové nástroje pro maximizaci zvuku, tj. maximální zvýšení celkové hlasitosti zvukového signálu bez nežádoucích artefaktů, jako je slyšitelná komprese nebo distorze. Výsledek projektu bude samostatná aplikace pro přesný off-line výpočet při finálním masteringu a VST plug-in pro výpočet v reálném čase, který bude možno nasadit do programů používaných v každodenní studiové praxi (Nuendo, Cubase, Logic, Pro Tools aj.).
Garant projektu doc. RNDr. Ivan Kopeček, CSc.
Složení studentského řešitelského týmu Bc. Vojtěch Přehnal
Hodnocení projektu projekt splněn

Juraj Jurčo

Název projektu Nástroje pre prehľadávanie genómov
Identifikační kód projektu MUNI33/152008
Doba trvání projektu 1.12.2008 - 31.8.2009
Anotace projektu Cieľom projektu je dokončenie programu palex a jeho začlenenie do systému pre dvojstupňové prehľadávanie DNA sekvencií. Prvý stupeň využíva vysoko efektívne algoritmy pre rýchlu filtráciu/zúženie prehľadávaného súboru dát, druhý stupeň zohľadňuje biologické a štrukturálne hľadiská, ale výpočet je náročnejší na zdroje a čas. Výstupom projektu bude knižnica funkcií a jednoduché programy na vyhľadanie sekvencie v genóme, vyhľadávanie palindrómov ako aj na vyhľadanie užívateľom zadanej štruktúry, aby mohli byť uvedené funkcie využité v iných projektoch a prostrediach.
Garant projektu Ing. Matej Lexa, Ph.D.
Složení studentského řešitelského týmu Juraj Jurčo
Hodnocení projektu projekt splněn

Ľuboš Korenčiak, Ondřej Kocian, Martin Křivánek

Název projektu Rozšíření SCStudia o časové údaje
Identifikační kód projektu MUNI33/162008
Doba trvání projektu 1.12.2008 - 30.6.2009
Anotace projektu Sequence Chart Studio (SCStudio) je nástroj, jehož cílem je umožnit uživateli pohodlné a uživatelsky přívětivé prostředí pro návrh a ověřování Message Sequence Charts (MSC, HMSC). Náš projekt rozšiřuje SCStudio o časové informace a zavádí kontrolní algoritmy pro práci s časem. Implementuje tak další z vyjadřovacích možností HMSC obsažené ve standardu ITU Z.120 a dává uživatelům k dispozici další velmi žádanou funkcionalitu.
Garant projektu RNDr. Vojtěch Řehák, Ph.D.
Složení studentského řešitelského týmu Ľuboš Korenčiak
Ondřej Kocian
Martin Křivánek
Hodnocení projektu

Petr Ročkai, Tomáš Janoušek, Martin Moráček, Petr Bauch

Název projektu DiVinE – nástroj pro paralelní verifikaci
Identifikační kód projektu MUNI33/172008
Doba trvání projektu 1.12.2008 - 30.11.2009
Anotace projektu DiVinE je open-source, volně šiřitelný softwarový nástroj pro paralelní enumerativní ověřování LTL vlastností počítačových systémů. DiVinE využívá soudobý hardware k efektivní verifikaci extrémně rozsáhlých, tj. standardními sekvenčními nástroji neverifikovatelných, systémů. Cílem projektu je vývoj nástroje DiVinE pro dosud nepodporované platformy a vývoj nového uživatelského rozhraní.
Garant projektu RNDr. Jiří Barnat, Ph.D.
Složení studentského řešitelského týmu Petr Ročkai
Tomáš Janoušek
Martin Moráček
Petr Bauch
Hodnocení projektu

Milan Kabát, Petr Slovák, Pavel Troubil

Název projektu GColl – klient pro skupinové videokonference
Identifikační kód projektu MUNI33/182008
Doba trvání projektu 1.12.2008 - 31.5.2009
Anotace projektu Nově vyvinuté videokonferenční prostředí GColl má za cíl podporu komunikace týmů rozdělených do několika malých skupin. Účelem projektu je vytvoření uživatelsky použitelného nástroje z existujícího prototypu prostřednictvím vytvoření jednotného GUI zahrnujícího všechny používané nástroje. Komunikace bude dále podpořena skrze implementaci přesouvání pozornosti mezi ostatními účastníky videokonference pouhým pohledem.
Garant projektu RNDr. Eva Hladká, Ph.D.
Složení studentského řešitelského týmu Milan Kabát
Petr Slovák
Pavel Troubil
Hodnocení projektu projekt splněn

Václav Vacek, Matúš Madzin

Název projektu Nové algoritmy pro Sequence Chart Studio
Identifikační kód projektu MUNI33/192008
Doba trvání projektu 1.12.2008 - 31.8.2009
Anotace projektu Sequence Chart Studio je nástroj, jehož cílem je umožnit pohodlnou a uživatelsky přívětivou tvorbu a ověřování Message Sequence Charts (MSC, HMSC). Cílem tohoto projektu je optimalizace procesu testování již implementovaných algoritmů a dále tvorba nových algoritmů pro testování dalších vlastností MSC.
Garant projektu RNDr. Vojtěch Řehák, Ph.D.
Složení studentského řešitelského týmu Bc. Václav Vacek
Matúš Madzin
Hodnocení projektu projekt splněn

Miloš Jakubíček, Vojtěch Kovář

Název projektu Syntaktická analýza přirozeného jazyka s využitím postupné segmentace věty
Identifikační kód projektu MUNI33/202008
Doba trvání projektu 1.12.2008 - 30.11.2009
Anotace projektu Syntaktická analýza přirozených jazyků je jedním z důležitých kroků ke komplexní analýze výpovědí v přirozeném jazyce. Cílem projektu je poskytnout nástroje pro podporu nového přístupu k syntaktické analýze, který je založen na postupné detekci významných bodů v textu a jeho segmentaci. Projekt zahrnuje návrh a úpravy pravidlového formalismu, implementaci systému, jenž bude tento formalismus využívat, a další rozšíření tohoto systému.
Garant projektu RNDr. Aleš Hořák, Ph.D.
Složení studentského řešitelského týmu Miloš Jakubíček
Vojtěch Kovář
Hodnocení projektu

Marek Blahuš

Název projektu Kontrolor pravopisu pro Esperanto
Identifikační kód projektu MUNI33/212008
Doba trvání projektu 1.12.2008 - 31.7.2009
Anotace projektu Cílem projektu je dovedení stejnojmenné bakalářské práce, obhájené na FI MU, do uživatelsky použitelné podoby. Existující prototyp kontroloru pravopisu pro jazyk Esperanto, implementovaný prostřednictvím nástroje Hunspell, bude připraven pro nasazení v praxi, a to jak revizí a potřebným rozšířením stávající funkcionality, tak i technickým a administrativním zajištěním jeho distribuce jako součásti kancelářského balíku OpenOffice.org.
Garant projektu doc. RNDr. Petr Sojka, Ph.D.
Složení studentského řešitelského týmu Bc. Marek Blahuš
Hodnocení projektu

Martin Novák, Petr Kunc

Název projektu Albiero
Identifikační kód projektu MUNI33/222008
Doba trvání projektu 1.12.2008 - 31.5.2009
Anotace projektu Albireo je svobodný redakční systém pod licencí GNU/AGPL. Jedná se o informační systém, pro který je charakteristické napojení na centrální server (možnost automatických aktualizací, instalace přes jediný soubor), využívání metod Webu 2.0 a implementace desktopových paradigmat do webových systémů. Cílem projektu je celkový rozvoj systému, hlubší integrace pro Web 2.0 a výzkum v oblasti webových operačních systémů.
Garant projektu doc. RNDr. Tomáš Pitner, Ph.D.
Vedoucí projektu Mgr. Jaroslav Škrabálek
Složení studentského řešitelského týmu Martin Novák
Petr Kunc
Hodnocení projektu projekt splněn s pochvalou

Igor Zemský, Miroslav Warchil

Název projektu WYSIWYG editor a prohlížeč RDF dokumentů pracující na základě technologie Fresnel
Identifikační kód projektu MUNI33/242008
Doba trvání projektu 1. 12. 2008 - 30. 6. 2009
Anotace projektu V rámci W3C byl navržen standard Fresnel, „stylovací jazyk“ pro RDF. Cílem projektu je pro tento standard vytvořit použitelný modulární editor a prohlížeč. Takový nástroj, umožňující nespecializovaným uživatelům přípravu vizualizace dat, mezi existujícími nástroji chybí. Projekt zahrnuje tvorbu obecné modulární aplikace, vytvoření modulů umožňujících práci s podčástmi standardu Lenses a Formats a následnou vizualizaci a ukládání výsledků.
Garant projektu doc. RNDr. Tomáš Pitner, Ph.D.
Vedoucí projektu Mgr. Tomáš Gregar
Složení studentského řešitelského týmu Bc. Igor Zemský
Bc. Miroslav Warchil
Hodnocení projektu projekt splněn

Květen 2008

Michal Růžička

Název projektu Redakční systém odborného časopisu s podporou exportu do digitální knihovny
Identifikační kód projektu MUNI33/032008
Doba trvání projektu 1.7.2008 - 31.1.2009
Anotace projektu Cílem projektu je připravit komplexní na typografickém systému TeX založený redakční systém pro vydávání odborného časopisu. Systém automatizuje přípravu vydání jednotlivých čísel časopisu a zároveň generuje podklady pro potřeby digitální knihovny. Součástí projektu je také zpracování archivních elektronicky publikovaných článků do podoby vhodné pro digitální knihovnu.
Garant projektu RNDr. Petr Sojka, Ph.D.
Složení studentského řešitelského týmu Michal Růžička
Hodnocení projektu projekt splněn

Bc. Sven Dražan, Jana Fabriková

Název projektu GeNeSim – nástroj pro analýzu biologických sítí
Identifikační kód projektu MUNI33/042008
Doba trvání projektu 1.7.2008 - 30.6.2009
Anotace projektu Vývoj genetiky posledních let umožňuje posun biologického výzkumu, dosud typicky strukturálního, k systémové analýze mechanismů řídících živé organismy. Cílem tohoto projektu je vývoj nástroje GeNeSim pro diskrétní analýzu modelů rozsáhlých biologických sítí. Modely jsou reprezentované jako speciální konečněstavové automaty, základní analyzační technikou je adaptace metody ověřování modelů pro zjišťování kvalitativních vlastností biologických modelů.
Garant projektu Mgr. David Šafránek, Ph.D.
Složení studentského řešitelského týmu Bc. Sven Dražan
Jana Fabriková
Hodnocení projektu projekt splněn s pochvalou

Zdeněk Řehák

Název projektu Nástroje pro verifikaci VHDL návrhů
Identifikační kód projektu MUNI33/082008
Doba trvání projektu 1.7.2008 - 31.3.2009
Anotace projektu Cílem projektu je rozšíření skupiny podpůrných nástrojů pro verifikaci komplexního VHDL návrhu. Jmenovitě se jedná o vývoj překladače jazyka VHDL do XML za účelem unifikované reprezentace VHDL programů a jejich následnou statickou analýzu určenou k detekci chyb. Výsledek projektu bude rovněž základem pro následný překlad do formálního modelovacího jazyka.
Garant projektu Mgr. Jan Holeček
Složení studentského řešitelského týmu Zdeněk Řehák
Hodnocení projektu projekt splněn

Martin Beneš, Jiří Matela

Název projektu UltraGrid
Identifikační kód projektu MUNI33/092008
Doba trvání projektu 1.7.2008 - 31.12.2008
Anotace projektu UltraGrid vyvíjený v Laboratoři pokročilých síťových technologií je programové vybavení pro nízkolatenční přenos videa ve vysokém rozlišení. UltraGrid umožňuje přenos komprimovaného i nekomprimovaného videa v plném HD rozlišení (1920x1080 @ 30i/25i) po IP sítích se zpožděním 90ms. Předmětem projektu je kompatibilitní režim s iHDTV, striktnější rozdělení UltraGridu do modulů, přenos zvuku a podpora dalších rozlišení videa.
Garant projektu RNDr. Eva Hladká, Ph.D.
Složení studentského řešitelského týmu Jiří Matela
Martin Beneš
Hodnocení projektu projekt splněn

Zdeněk Kedaj

Název projektu DŽEMUj
Identifikační kód projektu MUNI33/102008
Doba trvání projektu 1.7.2008 - 30.11.2008
Anotace projektu Cílem práce je rozšířit existující systém DŽEMUj (Dobývání Znalostí z Elearningu MU) o interaktivní Java applety pro vizualizaci častých vzorů, rozhodovacích stromů a výsledků hierarchické shlukové analýzy. V plánu je také optimalizace výsledné distribuce, která zvýší rychlost načtení existujících appletů.
Garant projektu doc. RNDr. Lubomír Popelínský, Ph.D.
Složení studentského řešitelského týmu Zdeněk Kedaj
Hodnocení projektu projekt splněn

Matej Prisťák

Název projektu Rozvoj autentizačního modulu mod-auth-kerb
Identifikační kód projektu MUNI33/112008
Doba trvání projektu 1.7.2008 - 31.3.2009
Anotace projektu Další rozvoj modulu mod-auth-kerb, který umožňuje integraci autentizačního mechanismu Kerberos do webového serveru Apache. Hlavním cílem projektu je podpora nového systému správy autentizačních modulů, který byl zaveden v Apache v.2.2. Během projektu tak vznikne tzv. provider a další vrstva, která umožní integraci s jinými moduly.
Garant projektu doc. RNDr. Luděk Matyska, CSc.
Vedoucí projektu Daniel Kouřil
Složení studentského řešitelského týmu Matej Prisťák
Hodnocení projektu projekt splněn s pochvalou