Program seminářů pro rok 1999/2000
Čt. 12.00 - 13.00, D2Vedoucí semináře: doc. RNDr. Ivan Kopeček, CSc. (
kopecekf=UcUBzWt@fi9WWmr8yRh.munivhnpDL5LW.cz
)
Podzim 1999
- 23. 9. 1999
- Úvodní seminář
- Program:
Informace o koncepci semináře.
Domluva programu semináře.
Diskuse. - 30. 9. 1999
- Tomáš Staudek
- K Birkhoffově estetické míře čínských váz
- Abstrakt:
Příspěvek pojednává o vyuzití Birkhoffovy estetické míry v procesu algoritmické evaluace pravidelných geometrických objektů, konkrétně čínských váz. Na základě výzkumu vlastností funkce estetické míry je diskutována korektnost takové aplikace a posléze je zavedena definice rozšířené Birkhoffovy estetické míry váz. - 7. 10. 1999
- Pavel Gaura
- The Implementation of the Hypertext System AUDIS
- Abstrakt:
Receiving information from Internet, reading documents and retrieving computer information are procedures we are doing almost every day to keep an informational overview. But there are people, who cannot do it in usual way, even though they are working with computers: visually impaired users of computers and also visually impaired students of our faculty. We try to help them by developing a tool for accessing information from textbooks and HTML documents. This talk wants to show an overview of the developed system AUDIS, its current state, problems connected with the implementation of such system, and some future tasks. - 14. 10. 1999
- Petr Tobola
- Local Approach to Dynamic Visibility in the Plane
- Abstrakt:
This paper proposes the new method for maintaining of the view around a moving point in a static scene in the plane. The scene is composed of n line segments. To maintain the view efficiently, present algorithms avoid construction of the full arrangement of discontinuity lines and use an implicit description instead. On the contrary to previously published papers, we use the structure containing information only about discontinuity lines that are in the proximity of the current viewpoint position. - 21. 10. 1999
- Pavel Rychlý
- Indexace textů
- Abstrakt:
V přednášce budou diskutovány možnosti vyhledávání v rozsáhlých textových datech, podrobně bude rozebrána zejména metoda indexování. Prezentovány budou metody efektivního uložení indexů a algoritmy efektivního vyhledávání pomocí indexů. Závěrem bude představena knihovna implementující popsané struktury a algoritmy. - 4. 11. 1999
- Luděk Bártek
- CLAP - Struktura dat
- Abstrakt:
V teto prednasce bude rozebrana struktura dat v korpusu mluvene reci CLAP. Toto tema bude diskutovano z ruznych pohledu jako je celkove mnozstvi dat, pomer oznackovanych/neoznackovanych dat, pomer zastoupeni pohlavi v akustickych datech, zastoupeni jednotlivych zdroju, kvalita dat. Dale zde bude diskutovan aktualni vyvoj prostredku pro automaticke resp. semiautomaticke zpracovani korpusovych dat a plany do budoucna v teto oblasti. - 11. 11. 1999
- Aleš Křenek
- Interpolační algoritmy ve visualizaci konformačních dějů
- Abstrakt:
Výpočetní analýza konformačního chování (změn tvarů) molekul generuje velké množství dat, jejichž animovaná visualizace dokáže předat uživateli celkovou informaci o průběhu děje. Protože výsledkem výpočtu je posloupnost vzájemně značně odlišných kroků a exaktní výpočet mezilehlých tvarů je časově neúnosný, je pro účely visualizace třeba provádět inteligentní interpolaci tvaru molekuly založenou na relativně jednoduchých geometrických principech. V příspěvku bude prezentována metoda interpolace acyklických struktur (již zřejmě uspokojivě vyřešena) a současný stav vývoje interpolace cyklů. Za příznivého počasí bude prezentace doplněna ukázkami animací. - 18. 11. 1999
- Zdenko Staníček
- Co je to pojem a proč by to mělo zajímat informatiky
- Abstrakt:
Motivace - problem komunikace mezi ruznymi profesnimi kulturami; bezne nazory na pojem "pojem"
TIL, epistemicka baze a pojmy jako intenze konstrukce (atomicka, aplikace, abstrakce)
korigovany trojuhelnik oznaceni (objekt - vyraz jazyka - konstrukce)
Pojmy jsou intuitivne identifikacni pocedury: pak to nemohou byt intenze (priklady)
Strukturovanost pojmu versus nestrukturovanost objektu
Pojmy jako uzavrene konstrukce
Nutnost prechodu k objektum vyssich radu; TIL s rozvetvenou teorii typu; konstrukce zvana trivializace
Oprava korigovaneho trojuhelniku oznaceni
Metamodely a metamodelovani, Data warehousy - o cem to je
Zaver: definujeme vyrazy jazyka nebo objekty nebo pojmy? - 25. 11. 1999
- Adriana Jergová
- Non-visual multimodal interface for programming in Prolog
- Abstrakt:
In the introductory part of the talk we will discuss "graphical user interfaces versus non-visual user interfaces" and "what is (not) an intelligent interface". Afterwards main principles of a non-visual multimodal interface for programming in Prolog oriented for visually impaired users will be presented. Attention is paid namely to support for comfortable and grammatically correct manipulation with program elements and support for good orientation in program source. - 2. 12. 1999
- Aleš Horák
- Syntaktická analýza češtiny
- Abstrakt:
* syntaktická analýza přirozeného jazyka - odlišnosti od analýzy umělých jazyků
* různé přístupy k analýze
* implementace systému pro syntaktickou analýzu češtiny
- použití metagramatiky pro snížení počtu pravidel
- testy na shody
- akce pro tvorbu pomocných gramatických struktur
- 9. 12. 1999
- Eva Žáčková
- Corpus-based Rules for Czech Verb Discontinuous Constituents
- Abstrakt:
In this paper we present a method for extracting general structures of the verb groups from a tagged and fully disambiguated corpus and consecutive exploitation of these structures for the building a formal grammar in the Prolog DCG fashion. Our goal is to apply them as a rules for the analysis of the Czech verb groups in the non-disambiguated grammatically tagged Czech corpus texts. The problem of the recognition of verb discontinuous constituents in Czech is also approached and obtained statistical data are presented. - 16. 12. 1999
- Eva Hladká
- Multicast a QoS
- Abstrakt:
Přednáška bude věnována problematice zajištění kvality služeb při práci s multicastem. V první části přednášky budou stručně zopakovány principy multicastu s důrazem na prezentaci praktických problémů při jeho realizaci v prostředí Internetu. Následující část přednášky se zaměří na problematiku kvality služeb (Quality of Service, QoS) v prostředí Internetu a následně na otázku zajištění kvality služeb pro multicastové přenosy. V poslední části přednášky bude prezentován stručný úvod do problematiky aktivních sítí (Active Networks) a ukázáno, jak tento přístup může přispět k řešení problému kvality služeb v multicastu (a nejen tam).
Jaro 2000
- 24. 2. 2000
- Úvodní seminář jarního semestru
- Program:
Domluva programu semináře pro jarní semestr.
Diskuse. - 2. 3. 2000
- Jan Pazdziora
- IS MU -- the System and the People
- Abstrakt:
Information System of Masaryk University is developed in-house by a team at Faculty of Informatics. The talk will present the status of the project, the achievements and failures, the impact it has on the University, and its future. We will briefly look at the tools used and evaluate the experience the team gained. Since the most important about the system are its users, we'll also focus on their role in bringing the project to success. - 9. 3. 2000
- Hana Rudová
- Problém rozvrhu na FI
- Abstrakt:
Specifikou rozvrhu na FI je požadavek jeho individualizace pro jednotlivé studenty, tj. potřeba vytváření de facto individuálních rozvrhů. Vzhledem k různorodým požadavkům studentů při registraci předmětů se jedná o rozsáhlý problém z oblasti plánování a přidělování prostředků. Problém je řešen prostřednictvím programování s omezujícími podmínkami, které umožňuje deklarativní popis zadaného problému, a s využitím anotovaných proměnných, které pomáhají minimalizovat konflikty mezi předměty pro jednotlivé studenty, umožňují brát v úvahu preferenční požadavky na rozvrh a řídí prohledávání ve stavovém prostoru řešení. Program pro řešení tohoto problému je implementován prostřednictvím C++ knihovny firmy ILOG a tato implementace byla ověřena na reálných datech pro dva různé semestry. - 16. 3. 2000
- Zdeněk Kabeláč
- Haptic display
- Abstrakt:
Silova zpetna ve virtualni realite. Celkovy prehled dane oblasti - co si pod silovou zpetnou vazbou muzeme predstavit, jak se da vyuzit, jakymi prostedky ji simulujeme. Vyuziti Hard Real Time operacniho systemy v teto oblasti. Aktualni stav vyvoje. - 23. 3. 2000
- Petr Matula
- Correction of Chromatic Aberrations in Optical Microscopy
- Abstrakt:
Even the best optical microscopes available on the market exhibit chromatic aberrations of some extent. In some types of studies, chromatic aberrations of current optics can not be neglected and a software correction is highly desirable. A novel method of chromatic aberration measurement and software correction using sub-resolution bead imaging and computer image analysis will be presented. - 30.3. 2000
- Tomáš Dudaško
- Co to je Viceuzivatelke virtualni prostredi (Multiuser Virtual Environment)?
- Abstrakt:
Historicky pohled na vznik a vyvoj MUVE. Nektere vlastnosti dnes provozovanych, na vzdelani zamerenych MUVE. Trendy vyvoje MUVE v budoucnosti. Psychologicke dopady komunikace pomoci MUVE. Stav vyvoje vlastniho MUVE. - Mirka Misáková
- Zkušenosti s IT na kamenné univerzitě
- Abstrakt:
Masarykova univerzita zvolila v záležitosti školního IS cestu budování vlastního systému, produktu šitého na míru krajně heterogenní a rozsáhlé organizaci. To sebou nese některé specifické přístupy a dopady; zmíníme se o
- řešení "bezbariérového" přístupu desítek tisíc uživatelů v prostředí instituce s nedostatkem výpočetní techniky
- přístupech k neustálému tření mezi snahou sjednocovat administrativní i procesní záležitosti celé MU kontra nutností poskytovat dostatečně variabilní a kustomizovatelný systém dle potřeb jednotlivých podpracovišť
- tricích, které systém činí pro uživatele přijatelnějším; zhodnotíme největší úspěchy a neúspěchy
Dle časových možností budou nastíněny další varianty rozvoje IS MU, případně zodpovězeny konkrétní otázky. - 6.4. 2000
- Radek Sedláček
- Morfologický analyzátor češtiny
- Abstrakt:
Přednáška bude věnována nastínění problému automatické morfologické analýzy pomocí počítače a demonstraci vhodných datových struktur pro uložení morfologické informace a jazykových jednotek na příkladu konkrétní implementace morfologického analyzátoru používaného v laboratoři zpracování přirozeného jazyka. - Petr Sojka
-
Title: A Note on Pattern-Driven Disambiguation
Subtitle: Deterministic Part-of-Speech Tagging with Finite-State Transducers - Abstrakt:
A novel paradigm for language engineering -- pattern based natural language processing will be described taking the example of Part-of Speech Tagging Disambiguation problem. An argumentation for pattern based approach based on our case study on hyphenation will be given. - 13.4. 2000
- Pavel Matula
- 3D rekonstrukce buněčných jader
- Abstrakt:
TBA - Jan Sluka
- RISO 2000
- Abstrakt:
RISO 2000 je informační systém, který má za úkol vedení evidence odpadového hospodářství na okresních (OÚ) a krajských (KÚ) úřadech ve Slovenské republice (SR) a poskytování informací na základě zákona o přístupu k informacím o životním prostředí. Prvotní systém RISO byl vyvíjen ve spolupráci se SAŽP a MŽP SR.
Informační systém RISO2000 je koncipován jako webovský server, který může být použit jak v prostředí Internetu, tak i Intranetu. Základ tvoří sada skriptů a knihoven vytvořených v jazyku PHP. Velkou výhodou tohoto jazyka je, že je nezávislý na platformě a tudíž snadno přenositelný mezi operačními systémy Windows a Unix, příp. Linux. Základní datový model byl navržen v MS Accessu. V dalším vývoji se předpokládá přechod na jinou databázi, např. MS SQL či Oracle.
V loňském roce byla vytvořena první verze prototypu tohoto systému. Jeho první nasazení proběhne na vybraných OÚ a KÚ na Slovensku v průběhu měsíce února a března roku 2000. Po ověření prototypu RISO 2000 se systém dále v roce 2000 dopracuje na základě poznatků z pilotního území tak, aby mohl být od roku 2001 nasazen v rámci celé SR. - 20.4. 2000
- Pavel Nygrýn
- Problémy v syntéze řeči a možnosti jejich řešení
- Abstrakt:
NLP část
* fonetický přepis
* potřeba sémantické a syntaktické analýzy
DSP část
* kvalita vzorků
* konkatenace segmentů
* modifikace segmentů
Korpus WLASTA
* motivace vzniku
* nástroje - Rober Batůšek
- Prozodie v synteze a rozpoznavani reci
- Abstrakt:
* definice prozodie
* soucasti prozodie - intonace,hlasitost, casovani a dalsi
* faktory ovlivnujici prozodii
* pristupy k modelovani prozodie
- 27. 4. 2000
- Prof. Juraj Hromkovič
- O VYPOCTOVEJ SILE LAS VEGAS KONECNYCH AUTOMATOV
- Abstrakt:
Jednou z centralnych tem teorii zlozitosti je studium vypoctovej sily pravdepodobnostnych algoritmov. Vzhladom na to, ze pre polynomialny cas sa nepodarilo dokazat ziadnu separaciu medzi deterministickymi , nedeterministickymi a pravdepodobnostnymi Turingovymi strojmi , je snaha skumat silu nahodou riadenych vypoctov aspon pre ohranicene vypoctove modely. V tejto prednaske sa sustredime na Las Vegas pravdepodobnostne vypocty, ktore su velmi prakticke, lebo nikdy nevedu k chybnemu vysledku. Prezentuju sa niektore vysledky popisujuce vypoctovu silu Las Vegas konecnych automatov (jednosmernych i dvojsmernych) a formuluju s problematikou suvisiace otvorene problemy. - 4.5. 2000
- Petr Vydržal
- Strojove uceni ridicich systemu napodobenim cinnosti cloveka
- Abstrakt:
V prednasce budou porovnany dve metody strojoveho uceni s rucne ziskanymi daty na modelovem problemu rizeni automobilu pri pusobeni poruch zpusobenych bocnim vetrem. - Tomáš Staudek
- Exp. estetika z pohledu toerie informace
- Abstrakt:
Krása jako nabytí "krásné informace". Estetická zpráva, symbol. Entropie, redundance a informační obsah uměleckého díla. Překvapení (neočekávanost) a nápaditost (neobyčejnost). Sémantická entropie. Psychologické aspekty a meze estetického vnímání. Vliv kompozice zprávy na estetické vnímání. - 11.5. 2000
- Jaroslav Racek
- IS pro odpadové hospodářství
- Abstrakt:
TBA - Lubomír Markovič
- Standardy pro tvorbu distribuovanych systemu
- Abstrakt:
Na standardu CORBA budou demonstrovany zakladni principy a pojmy soucasnych standardu pro tvorbu distribuovanych systemu (interface, stub, skeleton, ...). Okrajove bude zminen standard DCOM a RMI. - 18.5. 2000
- Robert Král
- Semanticka desambiguace a moznosti jejiho zvladani
- Abstrakt:
Dilem o pouzivanych postupech, dilem o prvnich vlastnich kruccich. * O vyznamu, jeho sumarizaci a identifikaci dle kontextu. Pomucky typu wordnet, korpusy a lexikony. O tom, jak se prekonava ridkost dat a snizuje podil manualni prace. * Zazitky z rucniho znackovani. Zavadejici statistiky. - Antonín Rozsypal
- Optimalizace t-norem
- Abstrakt:
Abstrakt: Fuzzy logika a fuzzy regulatory. Definice t-normy, t-norma jako spojka AND. Parametricke t-normy. Geneticke algoritmy. Vysledky optimalizace pro model rizeni auta v prostredi s bocnim vetrem. - 25.5. 2000
- Radek Czerny
- Budování korpusu chybových textů
- Abstrakt:
Motivace a zpusob budovani chyboveho korpusu (korpus textu s oznacenymi gramatickymi chybami). Typologie chyb a statistiky jejich vyskytu. Vyuziti ziskanych dat (na prikladu pravidel pro interpunkcni korektor).