Final Programm of the Conference MOSIS 2000

Invited Papers (Conference Hall)					         May 2, 10:15-12:00
*Urbášek M.: Categories in Modelling
*Chountas P. – Petrounias I.:Precise Enterprises and Flexible Databases

Invited Paper (Room 1)						         May 2, 13:30-14:15
*Jura P.: On Mathematical Model of a Signal and its Uncertainty

Graphic, Visualisation, and Animation in Simulation (Room 1)   May 2, 14:15-15:30
*Drábek V.: Applications of Daubechies Wavelets for Image Compression
*Marušinec J.: Data Structures for Virtual Reality 
*Kwiatkowski J. – Nitkiewicz J.: VPCT: A Visual Tool for Programming under PVM
*Sllame A. - Drábek V.: Design of Graphical Hardware

Neural Nets, Fuzzy Logic, Evolutionary Algorithms and Simulation
(Room 1)								         May 2, 15:30-18:30  
*Molnárová M. - Spalek J.: Hypotheses Evaluation and Decision Making Using Fuzzy Logic 
*Zbořil F. – Zbořil F.: The Use of the RCE Neural Network in a Pattern Recognition 
*Minh D. A.: Optimal Linear Neural Associative Memory Using for Pattern Association
*Marek V.: Category of Markov Systems

New Simulation Tools, Software (Room 2)			         May 2, 13:30-18:30
*Cendelín J.: Bude UML sloužit praxi?
*Štika J. – Racek S. – Herout P. – Kačírek R.: Experimentální ověření simulační metody návrhu RT programů
*Kunovský J. – Pospíšil P. – Sezemský, P.: The Structure and Programming of TKSL/C
*Rábová Z. – Peringer P. – Janoušek V. – Vojnar T.: An Environment for Building Heterogeneous Models
*Nalepa J.: SIMULINK Modelling and Simulation of Instruments to Measure Electric Network Parameters
*Chebotarev P. – Agaev R.: The Matrix of Maximal Out Forests and Structural Properties of Systems Modeled by Digraphs
*Chladný V. – Havlice Z. – Szaniszló P.: Modeling Tools Description Language
*Stoffová V. – Čičala D.: Softvérový systém na simulovanie spojitých systémov

Parallel and Object-Oriented Simulation (Room 2)		        May 3, 8:30 – 12:00
*Petrásek M.: Program Realisation of Control Algorithms
*Vrba P.: Real-time a objektová orientovanost 
*Petrlík L. - Racek S.: Gemini – an Object-Based Model of Parallel Computation
*Hanč P.: Adding a Simulation Property by Means of AOP
*Čejka R. - Dvořák V.: CSP-Based Modeling of Emerging Scalable Parallel Computers
*Mišovič M.: Functional Correctness of Complex Transactions
Artifical Intelligence Methods in Simulation (Room 2)	         May 3, 15:30-18:30
*Ratynska J.: Natural Language Processing in D&K System
*Krištof J. - Ocelíková E.: Štatistické techniky klasifikácie
*Sielicki A.: Simulation of a Genetic Method of Finding Solutions for Constrained Design Problems
*Grebeníček F.: Sparse Distributed Memory - Pattern Data Analysis
*Alexík S.: Hybridná simulácia paralelného výpočtu regulačných STR algoritmov

Applications: Simulation in Industry (Room 3+4)		         May 2, 13:30-18:30
*Holý R. - Poživil J.: Separation of Physical Model from Procedural Control Model for Flexible Batch Manufacturing 
*Bubelíny P. - Kostúr K. - Laciak M.: Simulačný model LD konvertora
*Maňásek R.: Model elektrohydraulického load-sensing systému
*Poživil J.: Use of Simulations for Process Improvement in Batch Chemical Plants
*Lacko B.: Problémy s manažerským modelováním v ČR aneb kde hledat pro manažery nástroj na podporu zlepšování procesů
*Zvirinský V.- Badida M.: Simulačné modelovanie pri projektovaní PVS
*Guniš A. - Zongor J.: Počítačová podpora technológa
*Hanta V.: Alternative Scheduling of Multi-Product Batch Processes by Means of Simulation
*Dzwonkowski A.: Reliability of Power-Electronic Drive Systems

Applications: Simulation of Communication and Logistic Systems
(Room 3+4)								           May 3, 8:30-12:00
*Franeková M. - Bubeníková E.: The Calculation of the Probability of Undetected Sequence Error for the ARQ Systems
*Seidmann T. - Adamec P.: Transparent Network Topology Simulation
*Al-Akaidi M. - Blackledge J.: Diversity Techniques for the TETRA Network
*Klosow A.: Using an Object Database Simulation Model to Evaluate an Object Clustering Performance
*Šujanský M.: Projektovanie počítačových sietí  a simulácia
*Šotek K.: Simulační modely na dopravní síti

Applications:Ecology, Biology, Medicine (Room 2)		         May 3, 15:30-17:00
*Palatová M. - Finkeová J. - Kmínek M.: Matematický model půdního dekontaminačního reaktoru
*Kubátová H. - Andrle J.: Predikce průběhu EKG pomocí neuronové sítě
*Warchoł M.: Development of Least-Cost Sewage-Treatment Plants Distribution, Case Study Results

Applications:Other Applications (Room 1)			           May 4, 8:30-10:35
*Arnošt V.: Discrete Simulation of Sound Wave Propagation
*Twardowski T.: Extended Model in Optimal Parameter Estimation
*Alexík M.: Identification of Varying Parameters in Eye-Hand Human Dynamic Model
*Zarzycki Z.: Application of the Pade's Approximation for Simulation of a One-Dimensional Distributed Systems
*Gutowski P.: Evaluation of the Machine Tool Model Consistency with an Object on the Basis of frequency characteristics
*Lazar T. – Kvasnica P.: Invariantné riadenie ťahu motora lietadla a vizualizácia zmeny letovej rýchlosti

MANAM 2000 (Modelling in Manager Work)(Room 1)		
May 3, 8:30 – 12:00
*Dlouhý M.: Efficiency Decomposition Using Data Envelopment Analysis
*Eck V. – Janků L. – Šorf M. – Fejtová M.: Aplikace neuronové sítě a fuzzy systému jako klasifikátorů při simulaci odhadu zátěžových stavů operátora
*Máče M.: Finanční kriterium regulační plochy pro hodnocení investic
*Čech V. - Müller A.: Součinitel započitatelné výuky a jeho model;
*Nový P. - Rojík A. - Vávra F. - Zmrhal D.: Markovský simulační model časové řady (Využití pro předpověď trendu CZK)
*Sobota B. – Spišák J. – Straka M. – Grofčík M.: Technológie virtuálnej reality v simulácii modelu výrobného procesu

May 3, 15:30-19:30
*Hajšman V.: Řízení systémů jakosti 
*Szewczyk A. - Źabińska M.: Some Critical Remarks on the IFIP FRISCO'98 Report
*Jablonský J.: Optimalizace v podmínkách rizika a neurčitosti 
*Fiala P.: Modelování produkčních systémů řízených tahem
*Brejcha M.: Modelové myšlení v manažérské práci
*Čech V. – Jevický J.: Exit Flows in Simulations of Personnel Development
*Źabińska M.- Rakoczy W.: “Ignorance Tree” – Examination with the Use of Agents

Workshop ISM 2000 (Modelling of Information Systems)

Database technology (Conference Hall)				         May 2, 13:30-15:15
*Seok I. S. – Seok H. L. – Yoo J. S.: Design and Implementation of a Concurrency Control Algorithm for High-Dimensional Index Structures
*Smolík P. C. – Tesáček J.: Data Source Independent XML Data Access
*Snášel V.: Fuzzy Signatures for Information Retrieval
*Dvorský J.: Text Compression with Random Access

Postrelational databases (Conference Hall)			         May 2, 15:30-17:45
*Hruška T. – Máčel M.: Concept Definition Language for Object-Oriented Databases  
*Ježek K. – Zíma M.: Efficient Evaluation of Fuzzy Deduction
*Pankowski T.: Integrating Complex Values and Semistructured Data into a Database of Partially Labeled Objects
*Šeda M.: Fuzzy Functional Dependencies in Relational Databases
*Gaura P. – Nygrýn P.: Hypertext System Audis for Visually Impaired Users

Data warehousing and mining (Conference Hall) 		           May 3, 8:30-10:00
*Vella J. – Musu J.: Materialised Views Performance in a Data Warehouse Environment
*Kotásek P. – Zendulka J.: Comparison of Three Mining Algorithms for Association Rules
*Kotásek P. – Zendulka J.: An XML-Based Solution to Knowledge Discovery in Databases
*Hynek J. – Ježek K.: Document Classification Using Itemsets 
*Dvořák J. – Eliáš R.: Fuzzy Logic for Retrieval in Case-Based Reasoning

Networks and security (Conference Hall)			         May 3, 10:45-12:00
*Kasprzak A. – Walkowiak K.: Designing of Virtual Private Networks in the Public ATM Network Environment
*Hanáček P.: Problems of Tamper Resistant Software
*Kapustík I. – Horniš T.: Security Enhancements for Internet Testing System

Modelling languages (Conference Hall)				         May 3, 15:30-17:10
*Hnatkowska B. – Huzar Z: UML Use-Cases and Timing Requirements
*Rovner J. – Brada P.: Methods of SOFA Component Bahavior Description
*Valdman J.: SOFA Approach to Design of Flexible Manufacturing Systems
*Dubielewicz I. – Hnatkowska B.: Teaching of Information System Modelling with UML

Business process and workflow modelling (Conference Hall)        May 3, 17:25-19:00
*Beneš M. – Kružel M. – Vondrák I.: A Process Description Language
*Vondrák I: Quality Management and Business Process Modeling
*Kolář D.: A Petri Net Class for Better Process Verification
*Peňás P.:Workflow Specification Languages

Methodologies and formal specifications (Conference Hall)		May 4, 8:30-10:35
*Král J. – Žemlička M.: Autonomous Components and Wide Area Information Systems
*Vranić V.: Multiple Software Development Paradigms and Multi-Paradigm Software Development
*Novitzká V.: Some Ideas about the Model Theory of Correct Programming
*Kollár J.: Object Modelling using Process Functional Paradigm
*Matoušek P.: Evolving Algebras and Formalisation of Dynamic Systems