37th Spring International Conference MOSIS 2003 Modelling and Simulation of Systems

 

Brno 28.-30.4.2003

The conference further continues in series of Moravo-Silesian professional meetings oriented towards advanced modelling and system simulation.

Organizing Committee (members from FIT)

Rábová Zdeňka, doc. Ing., CSc.
Štefan Jan

Programme Committee (members from FIT)

Češka Milan, prof. RNDr., CSc.
Rábová Zdeňka, doc. Ing., CSc.
Štefan Jan
Zbořil František V., doc. Ing., CSc.
Zendulka Jaroslav, doc. Ing., CSc.

Section moderators (members from FIT)

Rábová Zdeňka, doc. Ing., CSc., Modelling of Technical Systems
Zbořil František V., doc. Ing., CSc., Artificial Intelligence and Neural Networks

Selected publications

2003Bednář David, Kreslíková Jitka: Object-oriented modelling and simulation of software development lifecycle, In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 8, ISBN 80-85988-86-0
 Haša Luděk, Češka Milan: Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets, In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 177-182, ISBN 80-85988-86-0
 Hrubý Martin: Formal Specification of the HELEF Simulation Language, In: Proceedings of 37th Internation Conference MOSIS'03, Ostrava, CZ, MARQ, 2003, p. 143-148, ISBN 80-85988-86-0
 Kaláb Petr: Dual grammars, In: Proceedings of 6th International Conference ISIM'03 Information Systems Implementation and Modeling, Ostrava, CZ, MARQ, 2003, p. 201-208, ISBN 80-85988-84-4
 Kočí Radek, Rábová Zdeňka: Purposes of the PNtalk System, In: Proceedings of International Conference MOSIS '03, Ostrava, CZ, MARQ, 2003, p. 149-156, ISBN 80-85988-86-0
 Kunovský Jiří, Melkes František, Petřek Jiří: Equation System Simplification in the Taylor Series Method, In: Proceedings of 37th International Conference MOSIS'03, Ostrava, CZ, MARQ, 2003, p. 165-170, ISBN 80-85988-86-0
 Kunovský Jiří, Řezáč David: Electrical Fields Solved by TKSL/C, In: Proceedings of 37th International Conference MOSIS'03, Ostrava, CZ, MARQ, 2003, p. 171-176, ISBN 80-85988-86-0
 Kutálek Vladimír, Dvořák Václav: Tuning Parallel Performance of Global Image Processing Operators, In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 57-64, ISBN 80-85988-86-0
 Lorenc Luboš: A New Method of Optimization in Parallel Compilers, In: Proceedings of 6th International Conference ISIM'03 Information Systems Implementation and Modelling, Ostrava, CZ, MARQ, 2003, p. 187-194, ISBN 80-85988-84-4
 Martinek David, Černohorský Jakub, Rábová Zdeňka: Graphical Interface of Simulation, In: Proceedings of 37th International Conference MOSIS'03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 131-136, ISBN 80-85988-86-0
 Martinek David, Peringer Petr: Parallel modelling in FuzzySIMLIB/C++, In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 157-164, ISBN 80-85988-86-0
 Mika Daniel, Kotásek Zdeněk: The Test Controller Model Based on The Timed Automaton, In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 107-114, ISBN 80-85988-86-0
 Orság Filip, Zbořil František V.: Endpoint Detection in the Continuous Speech Using the Neural Networks, In: Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 10-16, ISBN 80-85988-86-0
 Staroba Jiří: Collective Communication Scheduling for Parallel Computers, In: Proceedings of 37th International Conference MOSIS'03 Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 65-70, ISBN 80-85988-86-0
 Strnadel Josef: Scan Layout Encoding by Means of a Binary String, In: Proceedings of 37th International Conference on Modelling and Simulation of Systems, Ostrava, CZ, MARQ, 2003, p. 115-122, ISBN 80-85988-86-0
 Škrkal Oto: The Leftmost Derivation of Type Two in Matrix Grammars, In: Proceedings of 6th International Conference ISIM'03 Information System Implementation and Modeling, Ostrava, CZ, MARQ, 2003, p. 195-199, ISBN 80-85988-84-4
 Zacios Dalibor: Simulation System TKSL in a Database Environment, In: Proceedings of 37th International Conference MOSIS '03, Ostrava, CZ, MARQ, 2003, p. 137-142, ISBN 80-85988-86-0
 Zbořil František: Information Sharing and Distribution in Multiagent Systems, In: Proceedings of 37th International Conference MOSIS '03, Ostrava, CZ, MARQ, 2003, p. 287-292, ISBN 80-85988-86-0

Your IPv4 address: 54.226.5.29
Switch to IPv6 connection

DNSSEC [dnssec]