Seminar program for 1999/2000

Autumn 1999

23. 9. 1999

Introductory Seminar

Program:
Information about the seminar concept.
Agenda of the seminar.
Discussion.

30. 9. 1999

Tomáš Staudek

To Birkhoff's aesthetic measure of Chinese vases

Abstract:
The paper deals with the use of Birkhoff's aesthetic measure in the process of algorithmic evaluation of regular geometric objects, namely Chinese vases. Based on the research of the properties of the aesthetic function, the correctness of such an application is discussed and then the definition of the extended Birkhoff aesthetic vase measure is introduced.

7. 10. 1999

Pavel Gaura

The Implementation of the Hypertext System AUDIS

Abstract:
Receiving information from the Internet, reading documents and retrieving computer information are procedures that we do almost every day to keep an informational overview. But there are people who can not do it in the 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 will show an overview of the developed AUDIS system, its current state, problems related to the implementation of such a system, and some future tasks.

14. 10. 1999

Petr Tobola

Local Approach to Dynamic Visibility in the Plane

Abstract:
This paper proposes the new method for maintaining 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 constructing the complete arrangement of discontinuity lines and use a default description instead. On the contrary to previously published papers, we use the structure containing only discontinuity lines that are in the proximity of the current viewpoint position.

21. 10. 1999

Pavel Rychlý

Indexing texts

Abstract:
In the lecture will be discussed possibilities of searching in extensive text data, in particular will be discussed in particular the indexing method. The methods of efficient index storage and efficient search algorithms will be presented using indexes. In conclusion, a library will be introduced implementing the described structures and algorithms.

4 November 1999

Luděk Bartek

CLAP - Data Structure

Abstract:
In this lecture, the structure of the data in the corpus of speech CLAP will be analyzed. This theme will be discussed from a variety of perspectives, such as the total amount of data, the ratio of tagged / non-tagged data, the proportion of sex in acoustic data, the representation of individual sources, and the quality of data. There will also be discussed the current development of the means for automatic and / semiautomatic corpus data processing and future plans in this area.

11. 11. 1999

Aleš Křenek

Interpolation algorithms in visualization of conformational processes

Abstract:
Computational analysis of conformational behavior (change of shape) of molecules generates a large number of data whose animated visualization can provide the user with overall information on the course of the event. Since the result of the calculation is a sequence of mutually different steps, and the exact calculation of the intermediate shapes is time-consuming, intelligent molecular-type interpolation based on relatively simple geometric principles is required for visualization purposes. The paper will present the method of interpolation of acyclical structures (already apparently satisfactorily solved) and the current state of development of interpolation of cycles. In good weather, the presentation will be accompanied by animation samples.

18. 11. 1999

Zdenko Staníček

What is the term and why IT should be interested

Abstract:
Motivation - a problem of communication between different professional cultures; the notion of "notion"
TIL, epistemic bases, and concepts of design intent (atomic, application, abstraction)
Corrected Triangle Marking (Object - Expression of Language - Structure)
Terms are intuitively identifiable: they can not be intentions (examples)
Structure of the concept versus nonstructured object
Terms such as closed constructions
The need for transition to higher order objects; TIL with a branched type theory; construction called trivialization
Correction of the corrected triangle
Metamodels and metamodeling, Data warehousy - what it is about
Zaver: Do we define language or objects or concepts?

25. 11. 1999

Adriana Jergová

Non-visual multimodal interface for programming in Prolog

Abstract:
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". Following the main principles of a non-visual multimodal interface for programming in Prolog oriented for visually impaired users will be presented. Attention is paid to support for comfortable and grammatically correct manipulation with program elements and support for good orientation in program source.

2 December 1999

Aleš Horák

Syntactic analysis of Czech

Abstract:
* syntactic analysis of natural language - differences from artificial language analysis
* Different approaches to analysis
* implementation of a system for syntactic analysis of Czech
- Using metagrams to reduce the number of rules
- compliance tests
- actions to create grammar auxiliary structures

9. 12. 1999

Eva Žáčková

Corpus-based Rules for Czech Verb Discontinuous Constituents

Abstract:
In this paper we present a method for extracting general structures of verb groups from a tagged and fully disambiguated corpus and consecutive exploitation of these structures for building a formal grammar in Prolog DCG fashion. Our goal is to apply them as rules for the analysis of 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 of QoS

Abstract:
The lecture will be devoted to the issue of quality assurance of multicast services. The first part of the lecture will briefly repeat the principles of multicast with an emphasis on the presentation of practical problems in its implementation in the Internet environment. The following part of the lecture will focus on Quality of Service (QoS) issues in the Internet environment and consequently on the question of ensuring the quality of services for multicast transmissions. In the last part of the lecture, a brief introduction to active networking (Active Networks) will be presented and how this approach can help solve the problem of multicast service quality (and not only there).

Spring 2000

24. 2. 2000

Introductory Seminar of the Spring Semester

Program:
Seminar program for the spring semester.
Discussion.

2. 3. 2000

Jan Pazdziora

IS MU - the System and the People

Abstract:
Information System of Masaryk University is developed in-house by a team at the Faculty of Informatics. The talk will present the status of the project, its achievements and failures, its impact on the University, its future. We will briefly look at the tools used and evaluate the experience the team gained. Since the most important are the users, we will also focus on their role in bringing the project to success.

9. 3. 2000

Hana Rudová

Problem of the schedule at FI

Abstract:
The specificity of the FI schedule is the requirement of individualisation for individual students, ie the need to create de facto individual schedules. Because of the diverse requirements of students when registering subjects, this is a major problem in the area of ​​planning and allocating resources. The problem is solved by limiting programming that allows a declarative description of the problem, and using annotated variables to help minimize student-student conflicts, allow for preferential schedule requirements, and control searches in the state space of the solution. A program for solving this problem is implemented through the ILOG C ++ library and this implementation has been verified on real data for two different semesters.

16. 3. 2000

Zdeněk Kabeláč

Haptic display

Abstract:
Power back in virtual reality. Overview of area tax - how can we imagine how we can use, how we simulate it? Use Hard Real Time operating system in this area. Current state of development.

23 March 2000

Petr Matula

Correction of Chromatic Aberrations in Optical Microscopy

Abstract:
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 software correction is highly desirable. A new 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

What is a Multiuser Virtual Environment User?

Abstract:
Historically look at the origin and development of MUVE. Some of the features that are currently in place, the education of MUVE. Trends in MUVE development in the future. Psychological impacts of MUVE communication. State of play of your own MUVE.

Mirka Misáková

Experience with IT at Stone University

Abstract:
Masaryk University opted for the school IS to build its own system, tailored to a highly heterogeneous and large-scale organization. This entails some specific approaches and impacts; let us mention
- a "barrier-free" approach to tens of thousands of users in an institution with a lack of IT
- approaches to continuous friction between efforts to unify administrative and procedural issues of the whole MU against the necessity of providing a sufficiently variable and customizable system according to the needs of individual sub-centers
- tricks that make the system more user-friendly; we will evaluate the greatest successes and failures
According to the time possibilities, other variants of IS MU development will be outlined, or specific questions answered.

6.4. 2000

Radek Sedláček

Morphological analyzer of Czech

Abstract:
The lecture will be devoted to the problem of automatic morphological analysis using computer and demonstration of suitable data structures for storing morphological information and language units on the example of a specific implementation of the morphological analyzer used in the natural language processing laboratory.

Petr Sojka

Title: A Note on Pattern-Driven Disambiguation
Subtitle: Deterministic Part-of-Speech Tagging with Finite-State Transducers

Abstract:
A novel paradigm for language engineering - a pattern based on natural language processing will be described taking the example of Part-of-Speech Tagging Disambiguation Problem. An argumentation for a model based approach based on our case study on hyphenation will be given.

13.4. 2000

Pavel Matula

3D reconstruction of cell nuclei

Abstract:
TBA

Jan Sluka

RISO 2000

Abstract:
RISO 2000 is an information system that is responsible for keeping records of waste management at district (OÚ) and regional (KÚ) offices in the Slovak Republic (SR) and providing information on the basis of the Act on Access to Environmental Information. The initial RISO system was developed in cooperation with SAŽP and MoE SR.
The RISO2000 information system is designed as a web server that can be used in both the Internet and Intranet environments. The basis is a set of scripts and libraries created in PHP. The great advantage of this language is that it is platform independent and therefore easily portable between Windows and Unix operating systems, Linux. The basic data model was designed in MS Access. In the next development, the transition to another database, such as MS SQL and Oracle, is expected.
Last year, the first prototype version of this system was created. Its first deployment will take place at selected OÚ and KÚ in Slovakia in the course of February and March 2000. After verifying the prototype RISO 2000, the system will be further elaborated on the basis of knowledge from the pilot area in 2000 so that it could be deployed throughout 2001 SR.

20.4. 2000

Pavel Nygrýn

Problems in speech synthesis and the possibilities of solving them

Abstract:
NLP part
* phonetic transcription
* Need for semantic and syntactic analysis
DSP part
* sample quality
* concatenation of segments
* segments modification
Body WLASTA
* Motivation of origin
* tools

Rober Batůšek

Prosody in synthesis and speech recognition

Abstract:
* definition of prosody
* parts of prosody - intonation, volume, timings and more
* Factors influencing prosody
* Approaches to modeling prosody

April 27, 2000

Prof. Juraj Hromkovič

THE LAS VEGAS OUTPUT SURFACE AUTOMAT

Abstract:
One of the central theories of complexity is the study of the calculating power of probability algorithms. Due to the fact that the polynomial time has failed to prove any separation between deterministic, non-deterministic and probable Turing machines, it is an effort to break the force by randomly calculated calculations and at least for the bounded calculation models. In this lecture, Las Vegas will probably calculate probabilities that are very practical because I never lead to a false result. I present some results describing the computational power of Las Vegas finite automata (both one-way and two-way) and I formulate problems openly with the problem.

4.5. 2000

Petr Vydržal

The machine teaches the system to simulate human activity

Abstract:
In the lecture, two methods of machine learning with hand-picked data will be compared to the model problem of driving a car in faults caused by a side wind.

Tomáš Staudek

Exp. aesthetics from the point of view of information

Abstract:
Beauty as the acquisition of "beautiful information". Aesthetic message, symbol. Entropy, redundancy and information content of an artwork. Surprise (unexpected) and imaginativeness (extraordinaryness). Semantic entropy. Psychological aspects and limits of aesthetic perception. Influence of composition of the message on aesthetic perception.

11.5. 2000

Jaroslav Racek

IS for waste management

Abstract:
TBA

Lubomir Markovich

Standards for creating distributed systems

Abstract:
Based on CORBA, basic principles and concepts of current standards for the distribution of distributed systems (interface, stub, skeleton, ...) will be demonstrated. The margins will be referred to as DCOM and RMI.

18.5. 2000

Robert Král

Semantic desabiguation and the possibilities of its management

Abstract:
Dilemma about the procedures used, the first own rumble. * About meaning, its summary and identification according to its context. Wordnets, corpora, and lexicons. How to overcome the speed of data and reduce the amount of manual work. * Handwriting handwriting. Introduce statistics.

Antonín Rozsypal

Optimizing t-standards

Abstract:
Abstract: Fuzzy Logic and Fuzzy Regulatory. Definition of t-norm, t-norm as an AND coupling. Parametric t standards. Geneticke algoritmy. Optimization results for the car drive model in a side-by-side environment.

25.5. 2000

Radek Czerny

Build body of error texts

Abstract:
Motivation and method of building the error corpus (corpus of text with labeled grammatical errors). Typology of errors and their occurrence statistics. Use the data obtained (example of rules for punctuation corrector).