Program kolokvií pro semestr Podzim 2001

25. 9. 2001: Prof. Roland Vollmar, Fachbereich Informatik, Universitaet Karlsruhe,; The study center for blind and visually impaired students at the Universitaet Karlsruhe; Abstract: For persons with special needs, information technology brings some new problems but also offers a lot of possibilities for support. The efforts to realize such a support will be discussed using the example of blind and visually impaired students at a technically oriented university. The main goal is to enable a participation in "normal" daily, academic and professional life. Special attention has to be devoted to access to the different types of information. Computers connected to the World Wide Web have opened a new world, but the new trends of multimedia will bring new problems. The talk will concentrate on the experiences at our Study Center to enable a comparison with the "Blind and Visually Impaired Students Support Centre" at the Masaryk University.
2. 10. 2001: Doc. Jan Staudek, CSc, FI MU, Brno; Certifikacni infrastruktury verejnich klicu, PKI; Abstract: Motivace pro zavádění PKI, role PKI v infrastuktuře IT organizace, základní bezpečnosnostní principy v IT související s PKI, architektury a principy činnosti PKI, procesy ľivotního cyklu certifikátu. Přehled stavu standardizace. Aplikace na bázi PKI. Problémy implementace a zavádění PKI. Přehled dostupných produktů a poskytovaných sluľeb.
9. 10. 2001: Dr. Richard Mayr, Universitaet Freiburg, Deutschland; Automata theoretic models for recursive procedures with parameters
16. 10. 2001: Dr. Michal Winczer, MFF UK Bratislava; Medzinarodne sutaze v programovani -- pozadie uspechov MFF UK timov; Abstract: Teams of Comenius University, formed from the students of the Faculty of Mathematics, Physics and Computer Science of Commenius University, took part in the ACM International Collegiate Programming Contests for nearly ten years. Our teams participated seven times in the world finals. In the talk I will try to analyse the background of our success and also to answer the following questions:
** How is our success connected with the secondary school programming competitions: mathematical olympiad - category P, the Correspondent seminar in programming and with other high school activities?
** Can we expect that our success will continue or not?
** How successful are now our students that had been so successful in the above competitions?
In addition, I will talk about how are the ACM programming contests organized and what impact that has on the choice of the successful strategies of contestants.
23. 10. 2001: Dr Michael Nolle, Austria Research Centre Seibersdorf; Distributed image search; Abstract: Content-based retrieval allows to find information by searching about its content rather than about attributes like keywords. Based on the current state of content-based image and video retrieval art, this talk addresses the problem in distributed environments with large, heterogeneous, and dynamically changing data repositories. Besides motivation, it describes an appropriate system architecture, and outlines a potentionally automatic and generic retrieval approach based on invariants. A surveillance system will be used as a realistic testbed of a real world application scenario.
30. 10. 2001: Prof. Milos Dokulil, FI MU Brno; O exponencialnom vyvoji nasej civilizacie; Abstract: V tom case, ktery o sobe nevedel, ze bude "stredovekem", v Evrope zili lidi vesmes bez osobni identity a bez gramotnosti; s nizkou urovni vicemene prevazne zemedelske produkce. Sam svet byl vniman az do poloviny 19. stoleti staticky. Jeste na prelomu do 20. stoleti bylo druhou nepocetnejsi socialni tridou sluzebnictvo. Teprve ve 2. svetove valce vstoupila masove do pracovniho procesu zena. Brzy nato se rozpada soustava kolonii. Stale dramaticteji a vsestraneji se rozvijeji jednotlive, stale specialnejsi vedy. Na konci 20. stoleti mizi ve vyspelych statech jako socialni trida rolnictvo a status rodiny prestava byt navenek stabilni. Ekonomicka integrace a globalizace jsou na postupu. Vyroba od predchozi mechanizace presla v rade odvetvi k pocitacove rizenem procesum.
Dlouha, ale stale strmejsi cesta od kone, pary, elektriny, kabeloveho telefonu k tryskovym letadlum, atomove energii, mobilum; anebo take k laseru jako nositeli informace, k internetu, k bio- a k nanotechnologiim. Kdo se narodil po roce 1970, nemuze zkusenostne posoudit strmost exponencialy, jez modeluje naznaceny vyvoj.
6. 11. 2001: Doc. Libor Polak, CSc, PrF MU, Brno; Syntakticky semiring -klasifikace regularnich jazyku, rovnice v jazycich; Abstract: Eilenbergova korespondence mezi tzv. varietami regulárních jazyků a pseudovarietami monoidů dává transparentní pozadí pro Schuetzenbergerovu charakterizaci star-free jazyků, Simonovu charakterizaci piecewise testable jazyků a podobné věty převádějící vlastnosti jazyků na vlastnosti odpovídajících syntaktických monoidů. Nedávno autor zavedl tzv. syntaktický semiring jazyka. Ten je konečný právě kdyľ je daný jazyk regulární. Budeme prezentovat a dokumentovat příklady větu Eilenbergova typu pro tzv. konjunktivní variety jazyků a pseudovariety idempotentních semiringů. Syntaktický semiring je téľ vhodným nástrojem pro řeąení rovnic v jazycích typu $r(x_1,\dots,x_m) = L$, kde $L$ je daný regulární jazyk a $r$ je regulární výraz nad konečnou abecedou $A$ v proměnných $x_1,\dots,x_m$. Zejména zde umíme rozhodnout řeąitelnost a popsat vąechna maximální řeąení. Budeme se téľ věnovat algoritmu pro konstrukci syntaktického semiringu daného regulárního jazyka.
13. 11. 2001: Doc. Alexander Meduna, CSc, Fakulta elektrotechniky a informatiky, VUT Brno; Paraleleni gramatiky; Abstract: Na rozdil od sekvencnich gramatik, paralelni gramatiky prepisuji radu symbolu* vetni formy behem jedineho derivacniho kroku. Lze je rozdelit do dvou zakladnich skupin. Do prvni skupiny patri uplne paralelni gramatiky, jako napr. L systemy, ktere prepisuji vsechny symboly vetni formy behem jednoho derivacniho kroku. Do druhe skupiny patri castecne paralelni gramatiky, jako napr. gramatiky s rozptylenym kontextem (scattered context grammars) ci multigramatiky, ktere simultanne prepisuji pouze nekolik symbolu a zbyvajici symboly vetni formy ponechavaji neprepsane. Prestoze kolokvium prehladne gramatiky obou skupin, bude se prevazne soustredit na gramatiky z druhe skupiny. Zameri se zejmena na diskusi jejich slozitosti popisu (descriptional complexity) nebot prave tato oblast je v soucasnosti intenzivne zkoumana v teorii formalnich jazyku.
20. 11. 2001: Prof. Jana Zvarova, DrSc, UI CAV, Praha; Medecinska informatika; Abstract: Medicína se tradičně zabývá studiem zdraví a nemoci, příčinami a důsledky nemocí, jejich rozpoznáním, léčbou a prevencí. Medicínská informatika odvozuje svou oprávněnou existenci z toho, ľe dosahuje nových praktických výsledků aplikovatelných v lékařství a zdravotnictví. Kromě toho, ľe je typickou aplikovanou vědou, medicínská informatika jiľ vytvořila řadu nových teoretických postupů pro řeąení medicínských problémů a tím přispěla k rozvoji vědeckého poznání v medicíně. Tato skutečnost je jasně viditelná na odborných článcích publikovaných v IMIA Yearbooks, které kaľdým rokem vydává Mezinárodní Asociace Medicínské Informatiky IMIA (International Medical Informatics Association). Výzkum a vývoj v oblasti medicínské informatiky je velmi rozsáhlý. Podrobněji se budeme věnovat výzkumu a vývoji elektronické zdravotní dokumentace, elektronických lékařských doporučení a systémů pro podporu rozhodování. Aktuální stav legislativy v oblasti poskytování zdravotní péče definuje určitým způsobem obsah, formu a přístupová oprávnění k uľívání zdravotní dokumentace občana. V České republice existuje jen omezené mnoľství podzákonných norem, předpisů, rozhraní a daląích standardů, které upravují zřizování a provoz zdravotnických informačních systémů určených k zabezpečení zdravotní dokumentace v elektronické podobě. Výzkum a vývoj zdravotnických informačních a znalostních systémů, včetně personálních, je součástí vznikající informační společnost ve zdravotnictví, která přivodí řadu změn. Pro mnoho lidí se postupně otevírá snaząí přístup k informačním zdrojům, zejména prostřednictvím Internetu. To se samozřejmě týká i informačních zdrojů o jejich zdraví a daląích informací o nemocech, potravinách, ľivotním stylu, lécích či systémech péče o zdraví. V budoucnu se očekává, ľe bude moľné prostřednictvím telekonsultací v případě naléhavé potřeby oslovit různé experty, a ľe pacienti sebou budou neustále mít vlastní elektronický zdravotní záznam. Internet/Web společně se sítěmi Intranetu nabízí otevřené a globální schéma spolupráce. Uvaľuje se o provozování zdravotnických informačních systémů přímo ze zdravotnických zařízení nebo jiných institucí, o nabídce informací o prevenci a léčbě nemocí, o lékařských konzultacích či volbě lékaře na dálku. Kliničtí pracovníci postupně získávají přístup k nezměrnému mnoľství mezinárodních databází a bází znalostí, které mohou slouľit pro daląí vzdělávání či jako virtuální elektronické knihovny. Mají tak snadný přístup k lékařským doporučením a protokolům, lékařské praxi zaloľené na evidenci a k výsledkům výzkumu. Interdisdiplinární výzkum a vývoj v medicínské informatice se dále soustřeďuje na rozvoj inteligentního vyuľívání dat a znalostí uloľených ve zdravotnických informačních a znalostních systémech a na rozvoj nových technologií v oblasti telemetrie a telemedicíny. Jeho hlavním cílem je zkvalitnit a zefektivnit diagnostické a terapeutické procesy a prevenci, zavést nové přístupy vyuľívání medicínských znalostí z lékařských publikací, kvalitně interpretovat data a znalosti a usnadnit rychlé vyhledávání informačních zdrojů.
27. 11. 2001: Dr. Barbara Koenig, TU Muenchen; Analyzing graph transformation systems; Abstract: Graph transformation systems provide intuitive ways to model concurrent systems, such as dynamic networks, interacting processes and mobile systems. However, the development of analysis and verification techniques for graph transformation systems is still in its early stages.
This talk presents one possible analysis technique which is based on the so-called unfolding approach for Petri nets. From a Petri net one can derive a (usually infinite) structure which represents all possible computations of a Petri net. This method can also be applied to graph transformation system. In order to obtain an analysis technique, it is possible to over-approximate this infinite unfolding by a finite structure.
This talk introduces graph transformation systems and the unfolding technique. It furthermore presents an algorithm which computes the so-called approximated unfolding and shows how it can be used for the analysis of concurrent systems specified by graph transformation rules.
In a simple example it will be shown how to model a network of mobile processes where our method can detect possible security violations.
4. 12. 2001: Doc. Karel Oliva, CSc; Formalni aspekty slovosledu prirodzenych jazyku; Abstract: V prvni casti prednasky vymezime pojem mira volneho slovosledu a potom srovname z tohoto hlediska empiricke vlastnosti cestiny a anglictiny (okrajove prip. i dalsich jazyku). Ukazeme tak, ze tradicni lingvisticke (intutitivni) pozorovani, ze anglictina ma slovosled pevnejsi nez cestina, je mozne postavit na formalni bazi, ze je mozne vymezit celou skalu stupnu volneho slovosledu a volnost slovosledu opravdu exaktne merit (alespon ve smyslu definovane miry).
V druhe casti prednasky se zamerime na vysledky, ktere lze pomoci teto miry dosahnout v oblasti asymptoticke komplexity analyzy (parsingu) vet prirozeneho jazyka. Ukazeme, ze analyza cestiny je prave kvuli vyssimu stupni volneho slovosledu nutne casove slozitejsi (exponencialne) nez analyza anglictiny (pro kterou lze najit polynomialni algoritmy).
11. 12. 2001: Prof. Jiri Jan, Fakulta elektrotechniky a informatiky, VUT, Brno; TBA
18. 12. 2001: Prof. J. Koca, DrSc, PrF MU, Brno; Soucasne trendy a bolava mista pocitacoveho modelovani a simulaci molekul; Abstract: To, co fyzika a klasicka chemie zna uz relativne davno, zaziva chemie biomolekul nyni -- pocitacove modelovani a simulace se stavaji nedelnou soucasti vyzkumu v tomto teritoriu. Kolokvium se bude dotykat nekolika oblasti: Prvni bude zamerena na diskusi otazky, jakou informaci moze pocitacove modelovani a simulace v oblasti biomolekul prinest a co muzeme ocekavat od kvality techto informaci. Ve druhe casti budou uvedeny zakladni metody vypoctu energie, ktera je klicovym fenomenem pri pocitacovem modelovani a simulacich.
Treti cast bude venovana nejdulezitejsi a nejmodernejsi pocitacove metode soucasnosti -- molekulove dynamice, ktere umoznuje studovat trojrozmernou strukturu molekul v zavislosti na case.
Stvrta cast uvede na prikladech nekolik pripadu, kdy pocitacove modelovani a simulace poskytuje informace jen ztezka nebo vubec dostupn? experiment?ln?.
Zaverecna kapitola bude podrobneji diskutovat to, co bude zmineno ci naznaceno uz v kazde z predchozrich casti. Budou to klicove problemy (jak podstaty fyzikalni tak algoritmicke), ktere bezprostredne souviseji s pocitacovou implementaci vyse uvedenych metod, a ktere jsou tedy svim charakterem povahy informaticke.