OASIcs, Volume 16
MEMICS 2010, October 22-24, 2010, Mikulov, Czech Republic
Editors: Ludek Matyska, Michal Kozubek, Tomas Vojnar, Pavel Zemcik, and David Antos
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Proceedings{matyska_et_al:OASIcs.MEMICS.2010, title = {{OASIcs, Volume 16, MEMICS'10, Complete Volume}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2012}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010}, URN = {urn:nbn:de:0030-drops-35789}, doi = {10.4230/OASIcs.MEMICS.2010}, annote = {Keywords: Control structures and microprogramming, Input/output and data communications, Integrated circuits, Performance and reliability} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. i-viii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{matyska_et_al:OASIcs.MEMICS.2010.i, author = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, title = {{Frontmatter, Preface, Table of Contents, Workshop Organization}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {i--viii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.i}, URN = {urn:nbn:de:0030-drops-30574}, doi = {10.4230/OASIcs.MEMICS.2010.i}, annote = {Keywords: Frontmatter, Preface, Table of Contents, Workshop Organization} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Petr Bauch and Milan Ceska. CUDA Accelerated LTL Model Checking - Revisited. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{bauch_et_al:OASIcs.MEMICS.2010.1, author = {Bauch, Petr and Ceska, Milan}, title = {{CUDA Accelerated LTL Model Checking - Revisited}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {1--8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.1}, URN = {urn:nbn:de:0030-drops-30729}, doi = {10.4230/OASIcs.MEMICS.2010.1}, annote = {Keywords: LTL Model Checking, CUDA, OWCTY} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Nikola Benes and Jan Kretinsky. Process Algebra for Modal Transition Systemses. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 9-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{benes_et_al:OASIcs.MEMICS.2010.9, author = {Benes, Nikola and Kretinsky, Jan}, title = {{Process Algebra for Modal Transition Systemses}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {9--18}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.9}, URN = {urn:nbn:de:0030-drops-30701}, doi = {10.4230/OASIcs.MEMICS.2010.9}, annote = {Keywords: modal transition systems, process algebra, specification} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Ondrej Danek and Martin Maska. A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 19-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{danek_et_al:OASIcs.MEMICS.2010.19, author = {Danek, Ondrej and Maska, Martin}, title = {{A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {19--25}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.19}, URN = {urn:nbn:de:0030-drops-30695}, doi = {10.4230/OASIcs.MEMICS.2010.19}, annote = {Keywords: maximum flow, topology preserving, image segmentation, graph cuts} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Jan Fousek, Tomas Golembiovsky, Jiri Filipovic, and Igor Peterlik. Haptic Rendering Based on RBF Approximation from Dynamically Updated Data. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 26-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{fousek_et_al:OASIcs.MEMICS.2010.26, author = {Fousek, Jan and Golembiovsky, Tomas and Filipovic, Jiri and Peterlik, Igor}, title = {{Haptic Rendering Based on RBF Approximation from Dynamically Updated Data}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {26--31}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.26}, URN = {urn:nbn:de:0030-drops-30592}, doi = {10.4230/OASIcs.MEMICS.2010.26}, annote = {Keywords: haptic rendering, radial-basis function approximation, precomputation, deformation modeling} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Artur Gintrowski. Modeling Gene Networks using Fuzzy Logic. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 32-39, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{gintrowski:OASIcs.MEMICS.2010.32, author = {Gintrowski, Artur}, title = {{Modeling Gene Networks using Fuzzy Logic}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {32--39}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.32}, URN = {urn:nbn:de:0030-drops-30749}, doi = {10.4230/OASIcs.MEMICS.2010.32}, annote = {Keywords: Fuzzy network, gene expression, time optimization} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Tomas Golembiovsky and Ales Krenek. Compression of Vector Field Changing in Time. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 40-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{golembiovsky_et_al:OASIcs.MEMICS.2010.40, author = {Golembiovsky, Tomas and Krenek, Ales}, title = {{Compression of Vector Field Changing in Time}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {40--46}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.40}, URN = {urn:nbn:de:0030-drops-30640}, doi = {10.4230/OASIcs.MEMICS.2010.40}, annote = {Keywords: Protein-ligand docking, vector compression} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Adam Husar, Miloslav Trmac, Jan Hranac, Tomas Hruska, and Karel Masarik. Automatic C Compiler Generation from Architecture Description Language ISAC. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 47-53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{husar_et_al:OASIcs.MEMICS.2010.47, author = {Husar, Adam and Trmac, Miloslav and Hranac, Jan and Hruska, Tomas and Masarik, Karel}, title = {{Automatic C Compiler Generation from Architecture Description Language ISAC}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {47--53}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.47}, URN = {urn:nbn:de:0030-drops-30654}, doi = {10.4230/OASIcs.MEMICS.2010.47}, annote = {Keywords: ISAC architecture, compiler generation} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Pavel Karas. Efficient Computation of Morphological Greyscale Reconstruction. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 54-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{karas:OASIcs.MEMICS.2010.54, author = {Karas, Pavel}, title = {{Efficient Computation of Morphological Greyscale Reconstruction}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {54--61}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.54}, URN = {urn:nbn:de:0030-drops-30679}, doi = {10.4230/OASIcs.MEMICS.2010.54}, annote = {Keywords: GPU, morphological reconstruction} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Ilja Kucevalovs. On Reliability and Refutability in Nonconstructive Identification. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 62-68, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{kucevalovs:OASIcs.MEMICS.2010.62, author = {Kucevalovs, Ilja}, title = {{On Reliability and Refutability in Nonconstructive Identification}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {62--68}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.62}, URN = {urn:nbn:de:0030-drops-30717}, doi = {10.4230/OASIcs.MEMICS.2010.62}, annote = {Keywords: inductive inference, identification, reliability, refutability, nonconstructive computation} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Martin Maska, Pavel Matula, and Michal Kozubek. Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 69-76, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{maska_et_al:OASIcs.MEMICS.2010.69, author = {Maska, Martin and Matula, Pavel and Kozubek, Michal}, title = {{Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {69--76}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.69}, URN = {urn:nbn:de:0030-drops-30625}, doi = {10.4230/OASIcs.MEMICS.2010.69}, annote = {Keywords: level set framework, topology preservation, object tracking} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Jiri Matela, Vit Rusnak, and Petr Holub. GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 77-84, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{matela_et_al:OASIcs.MEMICS.2010.77, author = {Matela, Jiri and Rusnak, Vit and Holub, Petr}, title = {{GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {77--84}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.77}, URN = {urn:nbn:de:0030-drops-30681}, doi = {10.4230/OASIcs.MEMICS.2010.77}, annote = {Keywords: JPEG2000, EBCOT, Context Modeling, GPU, GPGPU, parallel} }
Published in: OASIcs, Volume 16, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers (2011)
Boris Prochazka, Tomas Vojnar, and Martin Drahansky. Hijacking the Linux Kernel. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Open Access Series in Informatics (OASIcs), Volume 16, pp. 85-92, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{prochazka_et_al:OASIcs.MEMICS.2010.85, author = {Prochazka, Boris and Vojnar, Tomas and Drahansky, Martin}, title = {{Hijacking the Linux Kernel}}, booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers}, pages = {85--92}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-22-4}, ISSN = {2190-6807}, year = {2011}, volume = {16}, editor = {Matyska, Ludek and Kozubek, Michal and Vojnar, Tomas and Zemcik, Pavel and Antos, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.MEMICS.2010.85}, URN = {urn:nbn:de:0030-drops-30635}, doi = {10.4230/OASIcs.MEMICS.2010.85}, annote = {Keywords: Linux kernel hacking, rootkit} }
Feedback for Dagstuhl Publishing