Přednášky pro odbornou veřejnost
Jménem předsedkyně hodnotící komise prof. Černé si Vás dovoluji pozvat na
přednášku pro odbornou veřejnost v rámci řízení ke jmenování profesorem doc.
RNDr. Michala Kozubka, CSc., s názvem Automatizace pořizování obrazů buněk v
optické mikroskopii.
Přednáška se uskuteční v úterý 11. ledna 2011 ve 13 hod v posluchárně D2.
Anotace: Současný biomedicínský výzkum klade stále větší nároky na kvalitu i
kvantitu obrazových dat pořizovaných pomocí optické mikroskopie. Přestože
současné mikroskopy i obrazové detektory lze plně řídit pomocí počítače, není
zcela jednoduché vyvinout plně automatický systém schopný samostatného
vyhledávání objektů na mikroskopickém sklíčku a jejich záznamu. V přednášce
budou shrnuty problémy, kterým je nutno čelit, a možné způsoby řešení těchto
problémů včetně představení vlastních metod. Zvláštní pozornost bude věnována
sledování živých buněk v čase.
Zároveň jménem předsedy habilitační komise prof. Matyáše si Vás dovoluji pozvat
na odbornou prednášku v rámci habilitačního řízení RNDr. Jiřího Barnata, Ph.D.,
s názvem Model checking v prostředí s distribuovanou pamětí.
Přednáška se uskuteční v úterý 11. ledna 2011 v 15 hod v posluchárně D2.
Anotace:* Verifikace metodou ověřování modelu (model checking) * Motivace a
průmyslové zkušenosti * Ověřování modelu a grafové algoritmy *
Uložení rozsáhlých orientovaných grafů v prostředí s distribuovanou pamětí *
Související algoritmika * Aplikace metody nad rámec verifikace
Všichni zájemci jsou srdečně zváni