Now showing items 1-20 of 35

  • Abstraktní datové typy pro jazyk C 

    Duda, Tomáš
    Tato práce se zabývá abstraktními datovými typy v jazyce C. Jsou zde vysvětleny principy abstraktních datových typů a operace nad nimi. Hlavním úkolem je přepsání studentské opory, která je napsána v jazyce Pascal do jazyka ...
  • Algoritmy řazení v jazyce C 

    Vaněk, Jiří
    Tato práce se zabývá řadicími algoritmy z pohledu jejich studia. Jejím účelem je poskytnout studentům materiály, které jim mohou pomoci v pochopení těchto algoritmů. Práce se skládá z přepsání části studijní opory předmětu ...
  • Ambulantní systém založený na IZIP a jeho zabezpečení 

    Janečka, Lukáš
    Tato práce pojednává o analýze, návrhu a implementaci zjednodušeného ambulantního informačního systému praktického lékaře komunikujího se systémem IZIP. Při návrhu systému je užita architektura Model-View-Controller, ...
  • Applet pro hraní hry Go 

    Dosoudil, Jan
    Tato bakalářská práce se zabývá tvorbou appletu v jazyce Java, umožňujícího hraní deskové hry Go pomocí počítače a také hru dvou hráčů přes Internet. Cílem práce však není vytvořit applet, který by pomocí vlastní inteligence ...
  • BiBTeX styl pro ČSN ISO 690 a ČSN ISO 690-2 

    Pyšný, Radek
    Tato práce popisuje průběh vytváření bibliografického stylu pro nástroj BibTeX, pomocí něhož lze v LaTeXu sázet bibliografické citace v souladu s normou ČSN ISO 690. V úvodu práce je proveden rozbor ČSN ISO 690. Následuje ...
  • Bounded model checking v nástroji Java PathFinder 

    Dudka, Vendula
    Diplomová práce je věnovaná aplikaci formální metody bounded model checking pro automatickou opravu chyb. Oprava se specializuje na chyby spojené se souběžností. Práce je zaměřena na programy napsané v jazyce Java, a proto ...
  • Datové nosiče minulosti a současnosti 

    Berecz, Tomáš
    Táto práca sa zaoberá prenosnými dátovými nosčmi. V úvode sú popísané metriky, ktoré slúžia pre hodnotenie dátových nosičov, taktiež ako popis druhov ukládaných informácií. Ďalej prezentujem chronologický prehľad dátových ...
  • Demonstrační program metod řazení v jazyce C 

    Pernica, Lukáš
    V oboru informačních technologií je jednou ze základních dovedností každého programátora zvládnutí problematiky řadicích algoritmů. Řadicí algoritmy jsou využívány ve velmi širokém rozmezí a i když se v každém programovacím ...
  • Elektronická podatelna VUT 

    Tomášek, Milan
    Hlavním cílem této práce je vytvořit elektronickou podatelnu pro VUT. V první řadě jsem popsal problematiku týkající se elektronického podpisu, jeho použití, bezpečnosti a s elektronickým podpisem také úzce související ...
  • Elektronická podatelna VUT 2 

    Beran, Martin
    Tato práce se věnuje problematice elektronické podatelny pro VUT. Rozebírá princip fungování elektronické podatelny, elektronického podepisování a porovnává nabídku komerčních podatelen. Věnuje se návrhu a realizaci ...
  • Etické a právní otázky spojené s IT 

    Žila, Milan
    Práca pojednáva o probléme softwarového pirátstva. Analyzuje právne hľadisko na problematiku softwarového pirátstva a autorský zákon, popisuje možnosti ochrán proti kopírovaniu a dopad softwarového pirátstva na spoločnosť. ...
  • Frontend pro generátor testovacích dat 

    Naňo, Andrej
    Táto bakalárska práca sa zaoberá návrhom a vývojom webovej aplikácie Dataster, ktorá umožňuje generovať dáta pre účely testovania softvéru. Webová aplikácia je súčasťou platformy Testos, ktorá sa zaoberá automatizovaním ...
  • Heuristické řešení plánovacích problémů 

    Novotná, Kateřina
    Tato práce se zabývá metaheuristickými algoritmy a jejich implementací do nástroje Drools Planner. Drools Planner je open source nástroj pro řešení optimalizačních problémů. V této práci je popsán návrh a implementace ...
  • Konjunkce a disjunkce ve fuzzy logice 

    Havlena, Vojtěch
    Tato práce se věnuje triangulárním normám a jejich zobecněním - uninormám, zejména jejich transformacím pomocí jednotkové funkce, a také modelování fuzzy logické konjunkce a disjunkce na základě empirických dat. Byly ...
  • Model checking nekonečně stavových systémů založený na inferenci jazyků 

    Rozehnal, Pavel
    Regulární model checking je metoda pro verifikaci nekonečně stavových systémů. Je založena na kódování jejich konfigurace jako slov nad konečnou abecedou, množiny konfigurací jako konečného automatu a přechodů jako konečných ...
  • Modelování umělého života 

    Slavík, Jiří
    Modelování umělého života je příliš obsáhlým tématem ke zpracování v jedné práci zvoleného rozsahu. Práce je tedy značně omezena a hlavní ideou se stává modelování lidského chování. Předložená práce se zabývá vytvořením ...
  • Modul pro komunikaci s portálem České daňové správy 

    Havlena, Jan
    Bakalářská práce "Modul pro komunikaci s portálem České daňové správy" má za cíl vytvoření modulu pro komunikaci s portálem České daňové správy (ČDS) a implementování jedno pilotní elektronické podání přiznání na tento ...
  • Nástroj pro správu Active Directory 

    Radimák, Samuel
    Jedným z kľúčových faktorov v oblasti informačných technológií sú ľudia. Ľudia v zamestnaní často používajú rôzne zdroje, ktoré im daná firma ponúka, pričom tieto zdroje je možné nájsť v rôznych tvaroch a veľkostiach - ...
  • Negace ve fuzzy logice 

    Dekrét, Lukáš
    Táto práca sa venuje fuzzy logickým spojkám, najmä negátorom, ich vlastnostiam a konštrukciám. Zamerali sme sa aj na trojuholníkové normy a konormy, teda na funkcie, ktoré sa často používajú na modelovanie fuzzy konjunkcie ...
  • Optimalizace uložení materiálu pro přepravu 

    Vacek, Michal
    Práce se zabývá aplikací pro optimalizaci uložení materiálu pro přepravu. Aplikace je vyvíjena ve spolupráci se společností Škoda Auto a.s., která řeší problém přepravy materiálu v kontejnerech z výrobních hal v České ...