Přednášky proběhly jako hlavní program dne otevřených dveří Ústavu informatiky AV ČR. Jejich přímý přenos jste mohli sledovat na Technet.cz celé dopoledne 5. listopadu. Nyní přinášíme záznam tohoto vysílání.
Přednáška: Jak včas a bezpečně zaparkovat?
autoři: Mgr. Ondřej Konár a Mgr. Ivan Kasanický
přednáší: Mgr. Ivan Kasanický
Tuto otázku řeší denně tisíce řidičů. Velkým problémem je zejména parkování nákladních vozidel. Pravidla pro bezpečnostní přestávky jsou přísná a kapacita parkovacích míst je omezená. Představíme unikátní systém vyvíjený ve spolupráci ÚI s dalšími partnery za podpory Technologické agentury ČR, který umožní řidičům nákladních vozidel zjistit předpokládanou obsazenost nejbližších dálničních parkovišť v čase jejich očekávaného příjezdu.
zdroj: www.youtube.comVývoj takto složitého systému obnáší mnoho typů problémů od informatických (přenos, zpracování a skladování obrovského množství dopravních dat) přes matematicko-statistické (identifikace vhodného predikčního modelu) po psychologické (efektivní způsob distribuce předpovědi řidičům). Přednáška je zároveň názornou ukázkou, jak se lze z „ ničeho“ přiblížit k funkčnímu systému, který může významně pomoci.
Přednáška: Zaostřování obrazu pomocí matematických metod
autoři: RNDr. Iveta Hnětynková a Ph.D., Mgr. Marie Kubínová
přednáší: RNDr. Iveta Hnětynková
Jedním z příkladů praktické aplikace matematiky je zpětné zaostřování obrazu (například fotografií nebo videí), kdy se snažíme rekonstruovat ostrý obraz z jeho rozmazané verze na základě znalosti typu rozmazání.
zdroj: www.youtube.comProblémem této rekonstrukce je její vysoká citlivost na šum (chyby), který vzniká na čipu a je v rozmazaném obrázku vždy přítomen. Pokud je šum ignorován, výsledek je tímto šumem dominován a je obvykle zcela nepoužitelný. Pomocí praktických ukázek se seznámíme s problémem zaostřování obrazu a jeho matematickou formulací.
Přednáška: Hledáme chyby a odvracíme katastrofy
autor / přednáší: Mgr. Jan Kuřátko
V průmyslu se pro testování funkčnosti a bezpečnosti vestavěných zařízení, což jsou zařízení s řídicí elektronikou jako např. auta, letadla a roboti, využívají počítačové simulace. Vývoj metod a efektivních algoritmů pro takové testování je velmi důležitý, protože vede ke zvýšení spolehlivosti výrobků a snižování nákladů při výrobě.
zdroj: www.youtube.comV přednášce si ukážeme techniku, jak najít skryté chyby, které v průmyslu běžně používané metody odhalí jen s obtížemi.
Přednáška: Rozhodovací pravidla v analýze dat
autor / přednáší: RNDr. Jan Kalina, Ph.D.
Na každém kroku nás provází rozhodování jako proces volby jedné možnosti z několika alternativ. Často je třeba se rozhodovat na základě naměřených dat. Například lékař se rozhoduje pro určitou léčbu pacienta na základě velkého počtu klinických a laboratorních veličin. Jak se v takové záplavě dat vyznat?
zdroj: www.youtube.comPrezentace vysvětluje principy statistických a informatických metod pro klasifikační a shlukovou analýzu, jejichž cílem může být např. určit diagnózu pacienta. Jinou úlohou je rozčlenit pacienty do shluků tak, aby pacienti v rámci jednoho shluku měli podobné symptomy.
Přednáška: Jednoduché nerozhodnutelné problémy
autor / přednášející: Mgr. Karel Chvalovský
Každý programátor občas napíše program, který se dostane do nekonečné smyčky, a nikdy se tedy nezastaví. Klasický výsledek říká, že neexistuje obecný algoritmus (program) jak takové programy rozpoznávat, problém zastavení je algoritmicky nerozhodnutelný.
zdroj: www.youtube.comPodívejte se na pár jiných problémů, které jsou sice na první pohled jednoduché, přesto také algoritmicky nerozhodnutelné.