Práce na příbuzné téma (mají shodná klíčová slova):

markovovy rozhodovaci procesy, modelovani, distribuovane systemy, pravdepodobnostni systemy, divine

Klíčová slova abecedně | Klíčová slova dle četnosti

« 1 2 » (celkem 90 prací)
1.
Bednářová, Hana
Fakulta: Fakulta sociálních studií
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Mediální a komunikační studia / Mediální studia a žurnalistika (kombinace/zaměření: Žurnalistika), Politologie
Obhajoba bakalářské práce: Návraty ke kořenům – série publicistických rozhovorů se slavnými rodáky Zlínského okresu | Práce na příbuzné téma Zobrazit popisek

2.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE

3.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Ověřování interaktivních vlastností komponentových systémů | Práce na příbuzné téma

4.
Bezděk, Peter
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Modelování pro verifikační nástroj DiVinE

5.
Bleha, Jan
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování základních demografických procesů | Práce na příbuzné téma

6.
Burget, Rostislav
Fakulta: Fakulta informatiky
Rok: 2013, studium probíhá
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Experimentální vyhodnocení robustnosti verifikačního nástroje DiVinE | Práce na příbuzné téma

7.
Crhová, Lucie
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Využití prvků arteterapie u osob s mentálním postižením | Práce na příbuzné téma

8.
Čermák, Jiří
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Porovnání modelovacích schopností verifikačních nástrojů | Práce na příbuzné téma

9.
Dobranská, Kamila
Fakulta: Přírodovědecká fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Fyzika / Biofyzika (kombinace/zaměření: Aplikovaná biofyzika)
Obhajoba diplomové práce: Studium biofyzikálních vlastností biomembrán | Práce na příbuzné téma

10.
Dražan, Sven
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Rozhraní pro správu modelů genových regulačních sítí | Práce na příbuzné téma

11.
Eibenová, Patrícia
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Vzory ve vzdělávacích procesech | Práce na příbuzné téma

12.
Forejt, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Graficke rozhraní pro komunikaci s nástrojem DiVinE | Práce na příbuzné téma

13.
Frantová, Vendula
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Speciální pedagogika se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Kaktusy, konfrontace vlastního prostorového vyjádření s dětským pojetím představ kaktusů | Práce na příbuzné téma

14.
Gajdoš, Andrej
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Testování grafických uživatelských rozhraní | Práce na příbuzné téma

15.
Gajdoš, Daniel
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: PVM rozhraní pro DiVinE | Práce na příbuzné téma

16.
Hadámek, Jakub
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování chování sociálního hmyzu | Práce na příbuzné téma

17.
Hájek, Martin
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Elektronická sbírka úloh z prostorového modelování v programu Cinema4D | Práce na příbuzné téma

18.
Hájková, Miroslava
Fakulta: Pedagogická fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro střední školy / Speciální pedagogika, Výtvarná výchova
Obhajoba diplomové práce: Využití prvků arteterapie při práci s dětmi s autismem | Práce na příbuzné téma

19.
Havel, Vojtěch
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Relaxed Memory Models in DiVinE | Práce na příbuzné téma

20.
Havlíček, Jan
Fakulta: Fakulta informatiky
Rok: 2013, studium probíhá
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Untimed LTL Model Checking of Timed Automata | Práce na příbuzné téma

21.
Jakubík, Daniel
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování a simulace komunikační sběrnice | Práce na příbuzné téma

22.
Janoušek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Návrh modelovacího jazyka nástroje DiVinE | Práce na příbuzné téma

23.
Janová, Veronika
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Speciální pedagogika se zaměřením na vzdělávání, Výtvarná výchova se zaměřením na vzdělávání
Obhajoba bakalářské práce: Keramická plastika | Práce na příbuzné téma

24.
Ježová, Marcela
Fakulta: Pedagogická fakulta
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství občanské výchovy pro základní školy, Pedagogické asistentství výtvarné výchovy pro základní školy
Obhajoba bakalářské práce: Busta stařenky | Práce na příbuzné téma

25.
Kočička, Petr
Fakulta: Ekonomicko-správní fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Práce na příbuzné téma

26.
Komárková, Petra
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Dynamic Modeling for Service Systems: Innovation-Cooperation Paradigm in Service Systems | Práce na příbuzné téma

27.
Konečný, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium neúspěšně ukončeno
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: VRML průvodce Fakultou informatiky | Práce na příbuzné téma

28.
Koníčková, Lenka
Fakulta: Ekonomicko-správní fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Ekonomika a management / Podnikové hospodářství
Obhajoba diplomové práce: Simulační metody jako nástroj pro rozhodování podniku - modelování pomocí programu Witness | Práce na příbuzné téma

29.
Krajíček, Adam
Fakulta: Přírodovědecká fakulta
Rok: 2013, studium probíhá
Program/obor Matematika / Finanční matematika
Obhajoba diplomové práce: Modely počtu pojistných nároků a výše škod v pojišťovnictví | Práce na příbuzné téma

30.
Krčál, Jan
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Motifs in State Spaces | Práce na příbuzné téma

31.
Kriho, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Post-mortem analýza stavového prostoru | Práce na příbuzné téma

32.
Kroupa, Michal
Fakulta: Přírodovědecká fakulta
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Geologie / Geologie
Obhajoba bakalářské práce: Regionálně hydrogeologické poměry při formování uranové mineralizace v oblasti Dolní Rožínky | Práce na příbuzné téma

33.
Křivánek, Milan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verifikační nástroj pro komponentové systémy | Práce na příbuzné téma

34.
Kubíček, Ondřej
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Systém pro správu požadavků na software | Práce na příbuzné téma

35.
Kudrnáčová, Jitka
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Kešování stavů pod DiVinE | Práce na příbuzné téma

36.
Kuchař, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Technická fotografie kovových produktů - její zpracování a uplatnění v reklamě za použití informačních technologií | Práce na příbuzné téma

37.
Kumhálová, Jitka
Fakulta: Přírodovědecká fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Geografie (čtyřleté) / Kartografie, geoinformatika a dálkový průzkum Země
Obhajoba disertační práce: Využití GIS v precizním zemědělství | Práce na příbuzné téma

38.
Lamr, Tomáš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Akcelerace procesu verifikace pomocí grafické karty | Práce na příbuzné téma

39.
Lapáček, Vladimír
Fakulta: Fakulta informatiky
Rok: 2005, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: DiVinE - modul pro swapování stavů do sítě

40.
Láska, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování parametrizovaných systémů v jazyce DiVinE | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma
Obhajoba bakalářské práce: Analýza a hodnocení webových stránek veřejné správy | Práce na příbuzné téma

41.
Laurinčík, Tomáš
Fakulta: Fakulta informatiky
Rok: 2007, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Prevodník formulí lineárneho mu-kalkulu na Buchi automaty | Práce na příbuzné téma

42.
Lenčo, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Interaktivní modelování molekul ve skupině | Práce na příbuzné téma

43.
Lévek, Zdeněk
Fakulta: Fakulta informatiky
Rok: 2008, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Modelování chování sociálního hmyzu | Práce na příbuzné téma

44.
Malec, Daniel
Fakulta: Ekonomicko-správní fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Ekonomika a management / Podniková ekonomika a management
Obhajoba bakalářské práce: Využití simulačních metod při řízení podniku | Práce na příbuzné téma

45.
Mareček, Jakub
Fakulta: Fakulta informatiky
Rok: 2006, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Univerzální editor gramatik | Práce na příbuzné téma
Obhajoba bakalářské práce: Polyedrální přístup k multikriteriální optimalizaci | Práce na příbuzné téma

46.
Matúška, Peter
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Knihovna pro komprimované ukládání stavových prostorů na disk | Práce na příbuzné téma

47.
Michelfeit, Jan
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Bezpečnost informačních technologií
Obhajoba diplomové práce: Security and routing in the Ripple payment network | Práce na příbuzné téma

48.
Míka, Tomáš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Simulace procesů v krizovém řízení | Práce na příbuzné téma

49.
Moráček, Martin
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Simulátor pro modelovací jazyk nástroje DiVinE | Práce na příbuzné téma

50.
Neuvirtová, Lucie
Fakulta: Přírodovědecká fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Biologie / Matematická biologie
Obhajoba diplomové práce: Epidemiologické analýzy dat onkologických pacientů se zaměřením na modelování časových trendů (aplikace na diagnózu rakoviny prsu) | Práce na příbuzné téma

« 1 2 » (celkem 90 prací)

Relevantní odkazy 

Nahoru | Aktuální datum a čas: 24. 5. 2013 19:28, 21. (lichý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Více o informačním systému