Final Program of MOSIS'03



Moday, April 28, 10:00-12:00

Invited Paper (MOSIS & ISIM)

MARUŠINEC Jaromír: Simulation and Visualisation of Living Systems

VONDRÁK Ivo - KOŽUSZNIK J.: Using Modified Concept Lattices for Organizational Structure Modeling and Analysis

BENEŠ Miroslav: Three-Cycle Education in Computer Science - The Great Expectations

Moday, April 28, 14:00 – 18:00, A

Simulation General Application

ČECH Vladimír – JEVICKÝ Jiří – MÜLLER Antonín: Modelování vlivu diskontinuid systému kvalifikačních kategorii na dynamiku vývoje personálního systému

KIJONKA Jaromír – KULECZ Barbara – STRNAD Radek: Circuits Models of Electrical Quantities

ŻOŁNIEREK Andrzej: The Simulation Investigations of Pattern Recognition Algorithm for Second-Order Markov Chains

ALEXÍK Samuel: Analysis of Marsik Algorithm on Åström’s Benchmark Systems for PID Control

ALEXÍK Mikuláš: Verification of Self Tuning Control Algorithms by the Hardware in Loop Simulation

FRANEKOVÁ Mária: Modelovanie komunikačných systémov v rovine pravdepodobnosti chyby

PEŠIČKA Ladislav – ŠIMEK Martin: Modelling of Communication of Asynchronous Distributed Components

KUTÁLEK Vladimír – DVOŘÁK Václav: Tuning Parallel Performance of Global Image Processing Operators

STAROBA Jiří: Collective Communication Scheduling for Parallel Computers

Moday, April 28, 14:00 – 18:00, B

Modelling and Simulation Methods, Methodologies and Techniques

KAVIČKA Antonín: Petriho síť s rozhodovacími přechody

KWIATKOWSKI Jan – ABRICH Daniel: Designing PVM Applications using Graphic Development Tool

BRÁT Michal – ŠNOREK Miroslav: Improvement of Neural ICA Method The Audio Divider System

HEROUT Pavel: Simulační metoda testování funkce RT programu odolného proti poruchám

RACEK Stanislav – ČÍRTEK Pavel: Possibilities of C-Sim Programs Decomposition Using Components

ŠIMEK Martin – PEŠIČKA Ladislav: A Performance Model of Interaction immobile Agent Systems

PUCHALA Edward: The Complex Pattern Recognition Algorithms

MIKA Daniel – KOTÁSEK Zdeněk: The Test Controller Model Based On The Timed Automata

STRNADEL Josef: Scan Layout Encoding by Means of a Binary String

Moday, April 28, 19:00 – 22:00

Raut (all participants)



Tuesday, April 29, 8:30 – 12:00, A

Simulation Tools

CODL David – KAČER Jaroslav – KOUTNÝ Tomáš: Comparison-Evaluation of Java-Based Discrete-Time Simulation Tools

KOZIOL Mariusz: Universal Software System to Support Distributed Simulation Algorithms

ČERNOHORSKÝ Jakub – MARTÍNEK David – RÁBOVÁ Zdena: Graphical Interface of Simulation

ZACIOS Dalibor: Simulation Tools vs. Modern Database Technologies

HRUBÝ Martin: Formal Specification of The HELEF Simulation Language

KOČÍ Radek: Purposes of the PNtalk System

MARTINEK David – PERINGER Petr: Parallel Simulation in FuzzySIMLIB/C++

KUNOVSKÝ Jiří – MELKES František – PETŘEK Jiří: Equation System Simplification in the Taylor Series Method

KUNOVSKÝ Jiří – ŘEZÁČ David: Electrical Fields Solved by TKSL/C

HAŠA Luděk – ČEŠKA Milan: Allocation Temporal Logic in Model Checking for Object-Oriented Petri Nets

Tuesday, April 29, 8:30 – 12:00, B

Simulation of Environmental Systems, Medicine and Biology

PALATOVÁ Marta – ZITTA Roman – NÁHLÍK Jan: Activated sludge models for continuous wastewater treatment – temperature influence

MAŠKOVÁ Hana: Probability Models of Large Data Registries

HLUCHÝ Ladislav – ASTALOŠ Ján – DOBRUCKÝ Miroslav – HABALA Ondrej – ŠIMO Branislav – TRAN Viet D.: Grid-based Problem Solving Environment for Flood Forecasting

ALEXÍK Mikuláš: Modelling the Eye-Hand Muscular Motion Dynamics by Driver/Vehicle Interaction

MAŠOVSKÝ František – KRŠEK Přemysl: Segmentation model of CT/MR data

Simulation of Technical Systems

ŠOLC František – HONZÍK Bohumil: Simulation of Differentially Controlled Mobile Robot

DAVID Jiří: Statistický model technické analýzy poruchovosti rozhodujících prvků technologických zařízení

WALKOWIAK Krzysztof: Simulation of Dynamic Routing in Survivable Computer Networks

ZHENG Xiaosong: Modelling and Simulation of Advanced Robot Manufacturing System

Tuesday, April 29, 13:30 – 16:00

Artificial Intelligence and Neural Networks

JIRSÍK Václav: Diagnostic Expert Systems

WOŻNIAK Michal: Concept of Expert Quality Measure for Knowledge Acquisition Process

RATYŃSKA Jadwiga: Building Natural Language Generation system

ORSÁG Filip – ZBOŘIL František: Endpoint Detection in the Continuous Speech Using the Neural Networks

ZBOŘIL František jr.: Information Sharing and Distribution in Multiagent System

RAKOCZY Witold – ZABINSKA Malgorzata: Cyberspace – a Word of Traveling Software Agents

Wednesday, April 30, 8:30 – 12:00

Simulation in Economy

ZMRHAL David: Forecasting Model using the Predictor-Corrector Method

KUNCOVÁ Martina – DLOUHÝ Martin: Simulation for Economist

RÁBOVÁ Ivana: Business Process Modelling

BEDNÁŘ David – KRESLÍKOVÁ Jitka: Object-Oriented Modelling an Simulation of Software Development Lifecycle

Simulation in Research and Development

ZABINSKA Malgorzata – CETNAROWICZ K.: Multi-Agent Simulation Model for Control of Transport System

ŠALOUN Petr: Parallel LRP(q,k) Parsing and its Simulation

MARKOWSKI Martin – KASPRZAK Andrzej: An Approximate for Servers Allocation, Capacity and Flow Assignment Problem in WAN

GRZYBOWSKI Arkadiusz: The Simulation of Parameters for the Decision Feedback Calculation System