IV115 - Seminář laboratoře paralelních a distribuovaných systémů
Způsob výuky
Seminární výuka založená výhradně na prezentacích připravených studenty. Na
začátku semestru představí učitelé několik hlavních témat současného výzkumu a
zadají úvodní články. Studenti připravují a přednášejí prezentace. Postupně se
přibližují k nejnovějších poznatkům s cílem poznat současný stav výzkumu a
odhadnout bílá místa a důležité dosud nevyřešené problémy. Studenti mají velký
prostor ovlivnit obsah semináře volbou témat a článků. Pro úspěšné ukončení
předmětu musí každý student aktivně vystoupit, nebo úspěšně absolvovat
závěrečný test.
Více informací o předmětu:
IV115 - Katalog předmětů v IS
Program semináře (podzim 2009)
Program semináře je k nalezení na
stránkách
laboratoře ParaDiSe.
Předchozí semestry
-
Podzimní semestr, 2010
- Výzkumné aktivity v rámci laboratoře ParaDiSe
-
Jarní semestr, 2010
- Saturace v symbolickém MC, MATLAB, Návrh systémů pomocí komponent
-
Podzimní semestr, 2009
- Výzkumné aktivity v rámci laboratoře ParaDiSe, Interpretace a
zpracování protipříkladů
-
Jarní semestr, 2009
- Hybridní systémy, modelování a verifikace
-
Podzimní semestr, 2008
- Výzkumné aktivity v rámci laboratoře ParaDiSe, Výpočty s pomocí
externí paměti
-
Jarní semestr, 2008
- Verifikace systémů pro řízení letecké dopravy
-
Podzimní semestr, 2007
- Úvod do Systems Biology