MEMICS
MEMICS
Annual Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2012
2011
2010
2009
2008
2007
NEWS
 
October 14—16, 2011    My Hotel    Lednice    Czech Republic
 

Regular Papers
  • Steven Van Der Vegt and Alfons Laarman. A Parallel Compact Hash Table
  • Monika Krausová. Prefix-Free  Languages: Closure Properties, Difference, and Left Quotient
  • Pavel Jancik, Pavel Parizek and Jan Kofron. Advanced Debugging with JPF Inspector
  • Martin Tomec, Petr Mikušek and Václav Dvořák. A Cascade Decomposition of Application-Specific Systems
  • Radovan Fusek, Karel Mozdren and Milan Surkala. Heat Flooding Image Segmentation
  • Jan Obdrzalek, Jiří Slabý and Marek Trtík. STANSE: Bug-finding Framework for C Programs
  • Roman Žilka, Vashek Matyáš and Libor Kyncl. Four Authorization Protocols for an Electronic Payment System
  • Christos Sakellariou and Peter Bentley. Introducing the FPGA-based Hardware Architecture of Systemic Computation (HAoS)
  • Ondrej Moriš and Petr Hlineny. Generalized Maneuvers in Route Planning
  • Alexandre David, Daniel Ejsing-Duun, Lisa Fontani, Kim Guldstrand Larsen, Vasile Popescu and Jacob Haubach Smedegrd. Optimal Infinite Runs in One-Clock Priced Timed Automata
  • Jiří Koutný, Zbyněk Křivka and Alexander Meduna. Pumping Properties of Path-Restricted Tree-Controlled Languages
  • Jiri Matela, Martin Šrom and Petr Holub. Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000
  • Zdenek Letko, Tomas Vojnar and Bohuslav Krena. Noise Injection Heuristics for Concurrency Testing
  • Alina Vasilieva. Uniformly Distributed Quantum Query Algorithms for Multifunctions
  • Jaroslav Borecký, Pavel Vít and Hana Kubátová. Self Repair Architectures Based on Partial Dynamic and Static Reconfiguration
  • Roland Cmorik and Galina Jiraskova. Basic Operations on Binary Suffix-Free Languages
  • Radomír Polách, Jan Janoušek and Bořivoj Melichar. Ragular Tree Expressions and Pushdown Automata
  • Jozef Janovský. Gerrymandering as Graph Partitioning: Introducing the Heuristic Algorithm
  • Jakub Zahradník and Miroslav Skrbek. Classification of Spatio-Temporal Data Using Complex-Valued Neural Network
  • Kaspars Balodis, Ilja Kucevalovs and Rusins Freivalds. Frequency prediction of functions
  • Petr Horáček and Alexander Meduna. Regulated Rewriting in Natural Language Translation
  • Jakub Mažgut, Martina Paulinyová and Peter Tiňo. Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis
  • Dalibor Klusacek and Hana Rudová. Efficient Data Representation of Large Job Schedules
  • Jiri Barnat, Ivana Cerna and Jana Tumova. Timed Automata Approach to Verification of  Systems with Degradation
  • Jaroslav Bayer, Hana Bydžovská, Jan Géryk, Tomáš Obšívač and Lubos Popelinsky. Improving the classification of study-related data through social network analysis.

 
 
MEMICS Photo
 
MEMICS
 
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2011
FIFIT
Photos and Design