Program kolokvií s abstrakty pro semestr Jaro 2010

23. 2. 2010
doc. RNDr. Václav Matyáš, M.Sc., Ph.D., FIMU, Brno
Identity (in computer and communication systems)
Abstrakt: The issue of identity verification (as one of the two main aspects of authentication) in computer and communication systems has been studied for decades, and our failures at doing this properly are a good illustration of the problem complexity. We've been adding something in the order of 10^8 ``classical'' new computers and 10^10 of mobiles, car chips, smart-cards and -dust every year. And so various other problems with identity and identification arise. In this talk we'll look at some of these interesting problems with identity and authentication in computer and communication systems, and we'll discuss identity-related solutions used or considered for the future.
Prof. Masakazu Suzuki, Kyushi University
Adaptive method for the digitization of mathematical documents
Abstrakt: In our laboratory in Kyushu University, Japan we are developping Math OCR software InftyReader for more than ten years. It recognizes scanned images or PDF of mathematical documents including various formulae of pure and applied mathematics and outputs the results in various "editable" form documents such as XML, LaTeX sources, MathML, Word documents, etc. It segments the page images automatically into figures, tables, and text areas, and then recognizes ordinary texts and mathematical formulae in the text areas by using different OCR engines.

In many cases, OCR is used to digitize documents with large number of pages from hundreds of pages to more than ten thousands of pages depending on the users purpose. In the talk, with some demonstration of our newly developed system, our approach to improve recognition rates efficient in such a large scale digitization of mathematical documents based on adaptive method using character features and some other statistic information extracted from the target documents will be presented.

2. 3. 2010
akad. sochař Štěpán Pala, Bratislava
Úvahy o geometrii
Abstrakt: V přednášce o vztahu geometrie a výtvarného umění bude věnována pozornost:
  1. syntaxi základních geometrických těles, prostorovým růstům a otevřené a kompaktní geometrii,
  2. pohybu a transformaci základních geometrických struktur,
  3. stavbě sfér,
  4. teoretický závěr, další směřování v dané oblasti.

Na přednášku naváže v 16.00 vernisáž výstavy vybraných prací přednášejícího v Bezejmenné galerii. Všichni jsou zváni.

9. 3. 2010
doc. RNDr. Rastislav Královič, Ph.D., Fakulta matematiky, fyziky a informatiky Univerzity Komenského, Bratislava
Online výpočty: Kedy sa oplatí kryštálová guľa
Abstrakt: Ako ``online'' označujeme také výpočty, pri ktorých treba fixovať časť výstupu skôr, ako sa dočíta celý vstup; príslušné algoritmy teda pracujú bez znalosti kompletnej informácie o vstupe. Typickým príkladom je stránkovanie pamäti: pri požiadavke na stránku, ktorá momentálne nie je vo fyzickej pamäti (tzv. page fault), je nutné niektorú existujúcu stránku z pamäti vyhodiť a nahradiť požadovanou, pričom vyhadzovanú stránku treba vybrať bez znalosti nasledujúcich požiadaviek. Štandardnou mierou hodnotenia kvality online algoritmov je tzv. competitive ratio, t.j. pomer ceny online riešenia k optimu v najhoršom prípade. Competitive ratio teda hovorí, koľko stojí (v zmysle ceny riešenia) neznalosť kompletného vstupu. V prvej časti prednášky stručne spomenieme základné definície a niekoľko typických výsledkov z oblasti onlne výpočtov.

Druhá časť prednášky bude venovaná nedávnym výsledkom, ktoré skúmajú množstvo takej informácie v neznámej časti vstupu, ktorá je relevantná pre daný problém. Ide o modely, v ktorých online algoritmus má k dispozícii okrem doteraz načítaného vstupu aj obmedzený počet bitov pomocnej informácie (advice) o celom vstupe, pričom sa uvažuje najlepší prípad pomocnej informácie. Zaujíma nás, ako veľkosť pomocnej informácie ovplyvňuje kvalitu výsledného riešenia.

16. 3. 2010
Prof. Hermann Maurer, Graz University of Technology,
Chairman of the Informatics Section of Academia Europaea
Theory is important but can be dangerous
Abstrakt: In this talk I explain that many breakthroughs in applied science have been due to new theoretical discoveries in mathematics and computer science, hence fundamental research is of crucial importance for technical progress. I will present some typical examples. The down-side is that some theoretical results have also discouraged researchers to look for solutions where despite negative theoretical results solutions that are very helpful did exist. Finally, a dangerous effect is discussed: learning is not always beneficial, it can indeed hide important knowledge!
23. 3. 2010
Doc. Dr. Ing. Pavel Zemčík, FIT VUT Brno
Nové metody v syntéze hologramů
Abstrakt: V přednášce bude uveden přehled postupu syntézy hologramů. Budou identifikovány ty části postupu, které jsou předmětem výzkumu obecně a na FIT a pro vybrané části bude uveden postup a perspektivy řešení a výhled do budoucna, zejména se jedná o reprezentaci scény pomocí "point cloud", výpočet optického pole bodového zdroje světla a lokální osvětlovací modely. Bude též provedena rozvaha výpočetní složitosti postupu a jeho realizovatelnosti.
30. 3. 2010
prof. Rudolf Freund, TU Wien
Current trends in molecular computing
Abstrakt: In this talk some of the newest developments in the area of membrane computing shall be presented, including several open problems That have appeared just recently. Moreover, some connections between the area of membrane computing and of DNA computing will be demonstrated.
6. 4. 2010
doc. PhDr. Karel Pala, CSc., FI MU Brno
Umí počítač opravit naše chyby?
Abstrakt: Jaké chyby dělají v textech lidé a jak je lze opravovat na počítači? Klasifikace chyb v textech a vytvoření textového korpusu 'Chyby' na základě písemných prací studentů informatiky v předmětu VB000. V korpusu se anotují chyby pravopisné, typografické, gramatické (syntaktické), sémantické a lexikální a stylistické. Pro anotování byl vytvořen nástroj OOCorr, pracují s ním studenti v předmětu VB000. Počítačové nástroje pro opravování chyb - pravopisné a gramatické korektory, současný stav, jejich úspěšnost a meze.
13. 4. 2010
prof. RNDr. Jaroslav Koča, DrSc., PřF MU Brno,
Národní centrum pro výzkum biomolekul
Chemie, výpočetní chemie, info-chemie - kdo vyhrává?
Abstrakt: Výpočetní chemie (computational chemistry) je disciplína, která existuje již několik desetiletí. Jejím důležitým cílem je pomoci při interpretaci experimentálních dat různých kategorií. Hlavním cílem výpočetní chemie je ovšem různé informace o chemickém systému předpovědět bez existujícího experimentu či tam, kde experiment není možné provést. Přednášející bude hledat odpověď na otázku položenou v názvu přednášky s pomocí příkladů výzkumných projektů, řešených v Národním centru pro výzkum biomolekul.
20. 4. 2010
RNDr. Petr Holub, Ph.D., ÚVT MU Brno
Network-Based Collaborative Environments
Abstrakt: Because of globalization both in businesses and academia, distributed collaborative environments have become commonplace for efficient management of distributed teams working together. From the research perspective, the distributed collaborative environments is highly-multidisciplinary applied field which overlaps psychology, user interfaces and human-computer interaction in general, multimedia processing, and networking. This talk will review advances of collaborative environments that were possible due to changes in networking and distributed infrastructures. Research done in the Laboratory of Advanced Networking Technologies will be described in this context, too. Future research directions based on emerging technologies such as on-demand network circuits and massively parallel programmable hardware together with novel user interfaces will be discussed.
27. 4. 2010
prof. RNDr. Ivana Černá, CSc., FI MU Brno
Formal Verification of Component System Interactions - Motivation, Methods & Challenges
Abstrakt: Component-based software engineering addresses the issue of building large systems by combining existing and new components. Establishing the correctness of such systems is a challenging concern. Among the formal analysis necessary to ensure the global correctness, the component interaction arises as one of the key problems. Over the years, various mechanisms have been proposed to tackle this problem. In this talk, we focus on automata-based components and interactions specifications. This approach provides an elegant framework to capture and automatically verify the interactive behavior of component-based systems. We deal with all the aspects of the verification process starting with system modelling and property specification through verification methods to the interpretation of resulting observations.
4. 5. 2010
doc. RNDr. Petr Sojka, Ph.D.,, FI MU Brno
Towards a Digital Mathematics Library
Abstrakt: I will start with the succes story of the DML-CZ http://dml.cz library, and with the vision and goals of the project of the European Digital Mathematics Library. I will describe the challenges of math OCR, indexing and search, digital library visualization, and other problems of document engineering and how we have tackled them in the DML-CZ and in EuDML.
11. 5. 2010
doc. RNDr. Michal Kozubek, Ph.D., CABO FI MU Brno
From autofocusing to automatic 3D information content analysis
Abstrakt: The autofocus feature has become an indispensable part of consumer as well as professional cameras. Scientific cameras typically rely on software autofocusing performed on-line by host computer. The autofocusing procedure may be tailor-made for specific application and implemented in a different way by different users. Nevertheless, the common strategy of all software autofocus routines is to acquire a sequence of low-resolution 2D images so that each image is taken at a different focal plane position. For each image in this sequence the degree of focus is computed and maximal value position is determined.

In real world, however, there may exist more than one important focal plane and less dominant objects are often missed during acquisition. We have optimized the autofocusing procedure and developed an algorithm that makes use of the low-resolution image sequence acquired during autofocusing procedure to perform automatic 3D information content analysis of the whole image volume and to determine all important spatial regions of interest that deserve subsequent high-resolution 2D or 3D acquisition. The approach is demonstrated on examples from optical microscopy.

18. 5. 2010
Mgr. Mário Ziman, Ph.D., SAV Bratislava, FI MU Brno
Complexity of Physics, Physics of Complexity
Abstrakt: We will observe that quantum systems are, in general, difficult to simulate on classical computers. This obstacle has led to idea of quantum-based computers. On simple examples we will illustrate the basic principles determining their computational power. Further we focus on particular problems from physics that could be difficult also for quantum computers. In fact, potential simplicity of these problems would have interesting impact on the complexity theory.
12. 10. 2010
doc. Ing. Petr Tůma, Dr., MFF UK Praha
Software Performance: Can It Be Modeled ?
Abstrakt: Spolu se samotnou funkcí je důležitou vlastností software také jeho výkonnost.Vedle postupů pro vývoj software s konkrétními funkcemi (requirements modeling, functional testing, formal verification ...) se proto hledají také podobné postupy pro vývoj software s konkrétní výkonností. Mezi ně patří modelování výkonnosti software, které lze dobře kombinovat s dalšími modelovacími postupy (MDD): seminář proto představuje současný stav modelování výkonnosti software, postupy validace přesnosti modelování, soustředí se také na zatím obtížně modelovatelné vlastnosti moderních architektur (multicore,virtualizace). Seminář částečně prezentuje výsledky projektu 7. RP EU Q-ImPrESS.