Seminar program for 1999/2000Thu. 12.00 - 13.00, D2
Lecturer: doc. RNDr. Ivan Kopeček, CSc. (
- 23. 9. 1999
- Introductory Seminar
Information about the seminar concept.
Agenda of the seminar.
- 30. 9. 1999
- Tomáš Staudek
- To Birkhoff's aesthetic measure of Chinese vases
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
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
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
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
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
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
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
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
* 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
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
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).
- 24. 2. 2000
- Introductory Seminar of the Spring Semester
Seminar program for the spring semester.
- 2. 3. 2000
- Jan Pazdziora
- IS MU - the System and the People
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
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
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
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?
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
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
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
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
- Jan Sluka
- RISO 2000
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
* phonetic transcription
* Need for semantic and syntactic analysis
* sample quality
* concatenation of segments
* segments modification
* Motivation of origin
- Rober Batůšek
- Prosody in synthesis and speech recognition
* 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
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
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
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
- Lubomir Markovich
- Standards for creating distributed systems
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
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: 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
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).