2008
NEWS
January 6, 2009
Photos
Photos
You can have a look at the photos.
November 27, 2008
Slides
Slides
You can download slides for papers or presentations.
November 14—16, 2008 • Prestige Hotel • Znojmo • Czechia
Presentations
List of accepted presentations
- Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil, PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets
- Martin Kot, Petr Jancar, Zdenek Sawa, Normed BPA vs. Normed BPP Revisited
- Zbyšek Gajda, Polymorphic circuit design
- Ivan Szabolcs, Characterizations of branching-time future temporal logics on finite trees
- Jaroslav Skarvada, Zdenek Kotasek, Tomas Herrman, Power Conscious RTL Test Scheduling
- Robert Ganian, Petr Hliněný, Automata Approach to Graphs of Bounded Rank-width
- Jan Sedmidubsky, A Self-organized System for Large-scale Content-based Information Retrieval
- Tomáš Brázdil, Václav Brožek, Jan Holeček, and Antonín Kučera, Discounted Properties of Probabilistic Pushdown Automata
- Tomáš Brázdil, Vojtěch Forejt, Antonín Kučera, Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
- Viliam Solčány, The Lookahead in a User-Transparent Conservative Parallel Simulator
- Pavel Simecek, Stefan Edelkamp and Peter Sanders, Semi-External LTL Model Checking
- Javier Esparza, Thomas Gawlitza, Stefan Kiefer and Helmut Seidl, Approximative Methods for Monotone Systems of min-max-Polynomial Equations
- Pavlína Moravcová Vařeková, Ivana Černá, Model Checking of Control-User Component-Based Parametrised Systems
- Šimek, V., Slaný, K., Vašíček, Z., Can the performance of GPGPU really beat CPU in evolutionary design task?
- Petr Mikušek, Václav Dvořák, On Lookup Table Cascade-Based Realizations of Arbiters
- Zdenek Buk, Miroslav Snorek, Presentation of Hybrid Evolution of Heterogeneous Neural Networks
•
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2008
Photos and Design
