FINAL PROGRAM OF MOSIS'99

Plenary session, April 27, 10:15-12:00			                            CONFERENCE HALL
PLANDER Ivan: Funkcie umelej inteligencie v informačnej spoločnosti
ČULÍK Jan: Simulation of Road and Railway Vehicle Vibration
FARANA Radim - KAČMÁŘ Dalibor - KULHÁNEK Jiří: Simulační program SIPRO s podporou distribuovaných výpočtů
BREJCHA Milan: Model jako užitečný nástroj manažera

Graphics, visualization, and simulation, April 27, 13:30-18:30				    ROOM 4
CENEK Petr: Vyhodnocení a vizualizace výsledků simulačních a výpočetních experimentů
FĚDOR Martin - DOBŠÍK Martin: Capturing and Visualization of Human Body Motion
HAMATA Vladimír - KŘEMEN Jaromír: Toward Applications: Automatic Creation of Thermodynamic Simulation Model Building Given by its CAD Representation
KISILEWICZ J. - ZAJAC W.: An improved Method of Error Concealment in Digital Image Transmission
MARUŠINEC Jaromír: Natural virtual reality system
STOFFOVÁ Veronika - SKALKA J.: Animačno-simulačné modely ako súčasť bazy znalsoti ICAI - systémov.
ZOLOTOVÁ Iveta - ŠTOFKO Marek: Simulácia a procesná vizualizácia pre podporu rozhodovania

Control systems and simulation, April 27, 13:30-18:30				            ROOM 1+2
DAVID Jiří - VROŽINA Milan: Model pro predikci poruch zařízení plynulého odlévání oceli
DMOCHOWSKI Zbigniew: Simulation of Arc Furnace Characteristics with Consideration of Exploitational Environment
HANTA Vladimír: Optimum  Storage Configuration of Multi-Product Process by Means of Storage Occupation Simulation
ALEXÍK Mikuláš - JAROŠ Adam: Simulácia adaptivného riadenia s PLC Bernecker&Reiner
FINDURA Milan: Simulace optimálního řízení rozlehlého nelineárního systému
KOSTÚR Karol - BUBELINY Peter: Matematický model procesov v LD konvertore
PASEK Kazimierz: Dynamical Model of Fluidized-Solids  Drying Plant
RATYŃSKA Jadwiga: D&K System for Communication betweem User and Computer
PETRÁŠ Ivo - DORČÁK Ľubomír - KOŠTIAL Imrich - KOSTÚR Karel: Simulácia regulačného obvodu s neceločíselným rádom oneskorenia
ŠOTEK Karel: The Transport Line Control Simulation Model
ŠTIKA Jiří - RACEK Stanislav - HEROUT Pavel: Simulační verifikace aplikací pracujících v oblasti reálného času

MANAM'99, April 27, 13:30-18:30							                ROOM 3
BREJCHA Milan: Návraty systémového přístupu
BARVÍŘ Miroslav: Systémové přístupy v období modelového myšlení
ČECH Vladimír - JEVICKÝ Jiří - MÜLLER Antonín: K otázkám vědeckopedagogického a vědeckovýzkumného potenciálu učitele vysoké školy a vědeckovýzkumného pracovníka
HAJŠMAN Václav: Objektově orientované modelování podnikových procesů
KINDLER Evžen: Simulation of a Logistic System Containing Internal Simulation Models
CENDELÍN Jiří: Strukturní modely
TEDA Jaroslav - SCHINDLER Jiří: Realizace systému plánování servisních činností metodami umělé inteligence v NS 993, VÍTKOVICE a.s.

ISM'99, April 27, 13:30-18:30								         CLUB
HANÁČEK Petr: Security Verification of Smartcard Scripts
GENČI Ján: The Acces Right Model in the University Information System
DUBILEWICZ Iwona - HNATKOWSKA Bogumila: Applying UML to Information Systems Modelling
SMOLÍK Peter: The Importance of Flexible Markup Language
KOLLÁR Ján: Process Functional Programming
KOTÁSEK Petr - ZENDULKA Jaroslav: AprioriItemset - A New Algorithm for Discovering Frequent Itemsets
ALL PARTICIPANTS, April 27, 19:30-				              		 Restaurant
EVENING PARTY

Formal methods and tools for simulation, April 28, 8:30-12:00				    ROOM 4
BOJANOWICZ Dariusz: How Faults Can Be Simulated in Self-Testable VLSI Digital Circuits
DOGARU Octavian - DOGARU Roxana: The Finding of All Occurences of a Pattern in a String
PETRLÍK Lukáš - RACEK Stanislav: Simulátor běhu distribuované aplikace v Gemini
SKRBEK Miroslav - HARTMAN Luboš: Logic circuits simulator in JAVA
ČIČÁK Pavel: Modelovanie riadiacich jednotiek číslicových systémov
JANOUŠEK Vladimír: Synchronous Inreactions of Objects in Object Oriented Petri Nets

Nets, networks, fuzzy logic and simulation, April 28, 8:30-12:00			            ROOM 1+2
ADAMČÍK Tomáš: Neural Networks in Process Control
BLAŽEK Stanislav - SROVNAL Vilém: Adaptivní organizující se neuronová síť
GREBENÍČEK František: Educational Model of Selected Neural Net Types
KYSELA Pavol: Simulácia neuro-fuzzy nelineárneho procesu
MATOUŠEK Petr: Fuzzy matching as a technique for the same correction
ONDRÁČEK Tomáš - ZBOŘIL František: Identification of Time Coefficients of Systems using Neural NetworkB: LAUBER Josef: Podpora manažérského rozhodování v podmínkách rizika a neurčitosti
SCHWARZ Josef -  PERINGER Petr: Simulation Model of the Traffic Light Crossing with Fuzzy Control
ŠEDA Miloš - DVOŘÁK Jiří: Fuzzy Approaches to Flow Shop Scheduling

MANAM’99, April 28, 8:30-12:00							                ROOM 3
HOLÝ Roman - POŽIVIL Jaroslav: Model sedmi principů vysoce efektivních organizací dle Coveyho
HÁN Jan - ULRYCH Zdeněk: Využití modelování pro trénink manažerů
KOLÁŘ Pavel: Manažerské modely sekvenčních rozhodovacích úloh
BREJCHA Milan: Modelové myšlení v manažerské práci
LAUBER Josef: Podpora manažérského rozhodování v podmínkách rizika a neurčitosti
ŠLECHTOVÁ Yvona: Primavera Project Planner jako nástroj modelování projektů
ŠTAUD Karel: Praxe manažerského modelování a systémového myšlení
DEMOČ Vojtech: Zavádzanie informačných systémov do podnikov drevospracujúceho priemyslu

ISM’99, April 28, 8:30-12:00							                     CLUB
BIELIKOVÁ Maria - NÁVRAT Pavol: Team Projects as a Means to Learn Some Aspects of Development Process of Information Systems
IVASIUTA Oksana - OSIS Janis: An Approach to Comparing System Design Methodologies
POLČICOVÁ Gabriela: Recommender system for WWW using the Feature Guided Automated Collaborative filtering
ŠALOUN Petr - ČUDEK Libor: Information System for Testing
CVRČEK Daniel: Acces Control in Workflow Systems
KOLÁŘ Dušan: SFC - A Language For Workflow Description
POMYKAL Erik: Comparative Study of Workflow Process Models

ALL PARTICIPANS, April 28, 13:20-15:30
Visit of the Valachian Natural Open Air Museum (Skanzen)

Formal methods and tools for simulation, April 28, 15:30-18:30			                ROOM 4
KLOSOW Aleksander - SIELICKI Adam: Application of a Genetic Algorithm for Object Clutering in Databases
KUBÁTOVÁ Hana: Hardware Implementation of Petri Nets
KUNOVSKÝ Jiří - POSPÍŠIL Pavel - SEZEMSKÝ Petr: TKSK/C Methodology of Solving PDE
KWIATKOWSKI Jan - DUCZMAL Piotr: Using Granularity for Evaluation of Parallel Programs
MIKULÁŠEK Pavel - KUNOVSKÝ Jiří: Exact Computations of Taylorian Initial Problems
PŘIKRYL Petr: Beauty - Parallel Abstractions in Simulation

Nets, networks, fuzzy logic and simulation, April 28, 15:30-18:30			ROOM 1+2
ŠNOREK Miroslav: Data Visualization? Why not by Artifical Neural Nets!
SUCHÝ Jozef - MAJLÁTH Ján: Modelling and Simulation of Kohonen Self-Organizing Feature Maps
WALKOWIAK Krzysztof: Genetic Algorithms for Backup Virtual Path Routing in Survivable ATM Networks
ZBOŘIL František: Neural Associative Memories
JURÁK Štěpán: Statická optimalizace modelu potrubní sítě
KOSINKIEWICZ Leszek: Simulation of Adaptive Load Sharing with Broadcast in Homogeneous Distributed System
VAIS Václav - LEDVINA Jiří: A Tool  for Fast and Efficient Dependability Modeling of a Distributed Authentication System

MANAM’99, April 28, 15:30-18:30							                ROOM 3
ULRYCH Zdeněk - HORVATH Gejza - VOTAVA Václav: Využití simulace v podnikové logistice
FIALA Petr: Performance Analysis of Production Systems
ČECH Vladimír - JEVICKÝ Jiří - MÜLLER Antonín: Vědecké stáří jako subjektivní tok času a jeho důsledky pro kvalifikační složení vědeckopedagogického sboru
ČERNOCH Felix - HEKŠ Karel: System prognostických modelů LIBUŠE
MARČEK Dušan: Aplikácia fuzzy množin vo finančníctve
VÁVRA František -  NOVÝ Pavel - ZUZÁK František: Interest Rate Trend Modelling
JABLONSKÝ Josef: Implementing DEA in modelling systems

ISM’99, April 28, 15:30-18:30								         CLUB
BENEŠ Miroslav: Dynamic Model of Object Types
HRUŠKA Tomáš - MÁČEL Marcel: G2 - Component Architecture of An Object-Oriented Database Systém
LOYD-WILLIAMS Michael – COLLINS Janet: Functional Aspects of Object-Oriented Systems Modelling: A Computer Assisted Aproach 
OBLUK Karel: G2 Transaction Model
OSIS Janis - RUSAKOV Pavel: Concurrency in the Object-Oriented approach: ADA´95 and Java
VONDRÁK Ivo - SZTURC Roman - KRUŽEL Marcel: BPM - OO Method for Business process Modelling
KRUŽEL Marcel - VONDRÁK Ivo - SZTURC Roman: Cellular Process and its Reconfiguration with Petri Nets

April 29, 8:30-12:00										    ROOM 1
Formal methods and tools for simulation 
RYŠÁNEK Martin: Load Balancing Techniques for Parallel Simulation
TYC Otto: Prediction of Path of an Acoustic Signal Source
URBÁŠEK Milan - ČEŠKA Milan: Categorical approach to Petri nets transformations
VOJNAR Tomáš: Towards Using State Space of Object-Oriented Petri Nets
VRBA Pavel: Programovací jazyk BETA - prostředek pro systémovou analýzu
Knowledge-based simulation, 
LAUBER Josef: Crystal Ball - a new tool  for managerial decision under the risk and uncertainty 
OCELÍKOVÁ Eva - KRIŠTOF Ján: Štatistická klasifikácia obrazovej informácie
ZONGOR Jozef - GUNIŠ Adrian - BORGUĽA Martin: Poradenský systém pro podporu technológa

Application, April 29, 8:30-12:00								    ROOM 2
KINDLER Evžen: Integration of Information Technologies in Maritime Harbor: First Stimuli for Modeling
NALEPA Jacek: Modelling and Simulation of A/D Converters  Operating in Measurements System
SLEZÁK Miroslav - RÁBOVÁ Zdena: Notes on Modelling Human Activity in Heterogenous Systems
VOJKVKA Michal: Prime Factorization on a Quantum Computer
DEMČÁKOVÁ Blanka, FILIP Marcel, NEVŘIVA Pavel: Detekce úniku media přenášeného produktovodem
DUBOVEC Juraj: Posúdenie kapacity parku vozidiel pre fyzickú distribúciu pohonných hmt
MUZIKÁŘOVÁ Ľudmila - FRANEKOVÁ Mária: Digital Track Circuit Receiver Based on the Cross-Correlation Analysis
GOLA Mariusz - KASPRZAK Andrzej: On the Optimal Design of Wide Area Network with Combined Cost Criterion - numarical experiments
ZEMÁNEK Petr: Monitoring and Tuning the Performance of the SCOP Open Server
Application, April 29, 8:30-12:00							                ROOM 3
HLUCHÝ Ladislav - VIET Dinh Tran - HALADA Ladislav - DOBRUCKÝ Miro: Parallel Numerical Solutions for Graund Water Flow Modelling
KINDLER Evžen - SKUHRAVÝ Václav: Attempt to Simulation of Forest Calamities by Means of SIMULA
KOUMAROVÁ Miluše - JÍLKOVÁ J.: Modelování ekonomických dopadů environmentální regulace
POŽIVIL Jaroslav: The Application of Tabu Search Method to the Waste Minimization through Flowshop Senquencing
CZERWINSKA Alina: Simulation of cardiac elecrical field in interval ST of ECG cycle
CZERWINSKA Alina - DOROS Marek - KOLEBSKA Krystyna: Calculating the maps of epicardial isochrones by computer simulation method
DOROS Marek: Comparison of anatomical types of thorax for simulation of cardiac electrical field
NEUMANN Jiří - NOVÁK Vladimír: Definovatelnost počátečních podmínek biologického systému

April 29, 8:30-12:00									                ROOM 4
Application
BOŽEK Pavol - HALAMA Juraj: Identifikácia dynamického systému vykurovania
TUROŇOVÁ Monika - NEVŘIVA Pavel: Modelování a regulace podlahového vytápění
ARNOŠT Vladimír: Software Musical Synthetiser
DRÁBEK Vladimír: A Model of PicoJava CPU Core
DULÍK Tomáš: An FPGA implementation of Goertzel algorithm
DVOŘÁK  Václav - ČEJKA Rudolf: The CSP-Based Simulation of Interconnection Networks and Routing Algorithms
SLLAME Azeddien: Componen Reuse and Recursivness in VHDL Modelling: a Practical Experience
THAI Nguyen Duc - HLUCHÝ Ladislav: Fixed-Priority Servers In Real-Time Systemas

ISM’99, April 29, 8:30-12:00								         CLUB
BÁRTEK Luděk: Phonetic Corpus Based on PHC Format
BATŠEK Robert: Programming Hypertexts in DIALOG
GRZECH Adam - KOLLEK Rafa: Routing Performance as Dependent on Network Monitoring
JEŽEK Karel - ZÍMA Martin: Problem of Information Passing in Magic Sets Methods
NOVITZKÁ Valéria: Systems for Deriving Correct Implementations
TLOUŠŤ Vojtěch: References and Dereferences in WinBase 602

Final Plenary Session, April 29, 12.00-12.45						         CLUB
TANGUY Alain - KINDLER Eugene: ISIMA and LIMOS