MEMICS 2010: Mikulov, Czech Republic
Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos (Eds.): Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2011 OASICS ISBN 978-3-939897-22-4
Frontmatter, Preface, Table of Contents, Workshop Organization.

Ondrej Danek, Martin Maska: A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation. 19-25
Jan Fousek, Tomas Golembiovsky, Jiri Filipovic, Igor Peterlík: Haptic Rendering Based on RBF Approximation from Dynamically Updated Data. 26-31
Artur Gintrowski: Modeling Gene Networks using Fuzzy Logic. 32-39
Adam Husar, Miloslav Trmac, Jan Hranac, Tomas Hruska, Karel Masarik: Automatic C Compiler Generation from Architecture Description Language ISAC. 47-53
Pavel Karas: Efficient Computation of Morphological Greyscale Reconstruction. 54-61
Ilja Kucevalovs: On Reliability and Refutability in Nonconstructive Identification. 62-68
Martin Maska, Pavel Matula, Michal Kozubek: Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm. 69-76
Jiri Matela, Vit Rusnak, Petr Holub: GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000. 77-84
Zdenek Prikryl, Jakub Kroustek, Tomas Hruska, Dusan Kolár: Fast Translated Simulation of ASIPs. 93-100
Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski: Test-Case Generation for Embedded Binary Code Using Abstract Interpretation. 101-108
Miloslav Trmac, Adam Husar, Jan Hranac, Tomas Hruska, Karel Masarik: Instructor Selector Generation from Architecture Description. 109-115
Tim Wegner, Claas Cornelius, Andreas Tockhorn, Dirk Timmermann: Monitoring and Control of Temperature in Networks-on-Chip. 124-131



