2009
NEWS
January 6, 2010
Photos
Photos
Have a look at MEMICS 2009 photos.
December 23, 2009
DROPS
DROPS
Selected MEMICS'09 papers have just appeared in a distinguished
workshop postproceedings
published by Dagstuhl Research Online Publication Server DROPS.
November 13—15, 2009 • Prestige Hotel • Znojmo • Czechia
Regular Papers
List of accepted papers
- Ivan Fialík, Cryptographic Applications of Pseudo-Telepathy Games
- Filip Goldefus, Weak Leftmost Derivation For Cooperative Distributed Grammar Systems
- Alina Vasilieva, Exact Quantum Query Algorithm for Error Detection Code Verification
- Nikola Benes, Milan Krivanek and Filip Stefanak, Space Effective Model Checking for Component-Interaction Automata
- Milos Liska, On Media Streams Planning Problem in CoUniverse
- Robert Ganian, The Parameterized Complexity of Oriented Colouring
- Andriy Stetsko and Vashek Matyas, One Size Does Not Fit All -- How to Approach Intrusion Detection in Wireless Sensor Networks
- Jakub Chaloupka and Luboš Brim, Faster Algorithm for Mean-Payoff Games
- Ota Jirák and Dušan Kolář, Derivation in SCG via Lazy Function Application
- Lukas Holik and Jiri Simacek, Optimizing an LTS-Simulation Algorithm
- Zdenek Prikryl and Tomas Hruska, Cycle accurate profiler for ASIPs
- Kim G. Larsen, Uli Fahrenberg and Claus Thrane. A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic
- Marek Olšák, Jiří Filipovič and Martin Prokop, FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking
- Karsten Behrmann, Quickly finding trees with maximum leaves
- Jakob Lechner and Marcus Jeitler, Comparing the Robustness of Synchronous and Asynchronous Circuits by Fault Injection
- Jiri Matela, GPU-Based DWT Acceleration for JPEG2000
- Alexander Wenner, Weighted Dynamic Pushdown Networks
- Andreas Gaiser and Stefan Schwoon, On On-the-fly Algorithms for Checking Emptiness of Buechi Automata
- Marian Novotny, A Privacy-Aware Protocol for Sociometric Questionnaires
- Monika Steinova, Approximability of the Minimum Steiner Cycle Problem
- Jiří Balcárek, Petr Fišer and Jan Schmidt, On Properties of SAT Instances Produced by SAT-Based ATPGs
- Mikael H. Moller, Morten Jacobsen and Lasse Jacobsen, Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants
- Zdenek Vasicek and Lukas Sekanina, Efficient Hardware Accelerator for Symbolic Regression Problems
- Jan Gaura, Eduard Sojka and Rostislav Dudek, Surface Tension Measurement of Melted Metals and Slag by the Methods of Image Analysis
- Ahmed Bouajjani, Cezara Dragoi, Yan Jurski and Mihaela Sighireanu, Rewriting Systems over Nested Words with Data
- Marek Běhálek and Petr Saloun, Embedded Process Functional Language
•
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2009
Photos and Design
