Advertisement

Mathematical and Engineering Methods in Computer Science

10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23–25, 2015, Revised Selected Papers

  • Jan Kofroň
  • Tomáš Vojnar
Conference proceedings MEMICS 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9548)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9548)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
    Pages 11-22
  3. Vojtěch Havlena, Dana Hliněná
    Pages 42-53
  4. Petr Hliněný, Ondřej Slámečka
    Pages 54-66
  5. Ali Isavudeen, Eva Dokladalova, Nicolas Ngan, Mohamed Akil
    Pages 67-78
  6. Nikolajs Nahimovs, Alexander Rivosh
    Pages 79-92
  7. Thomas Odaker, Dieter Kranzlmueller, Jens Volkert
    Pages 107-118
  8. Sajad Saydali, Hamid Parvin, Ali A. Safaei
    Pages 119-132
  9. Vlasta Stavova, Vashek Matyas, Kamil Malinka
    Pages 133-143
  10. Vladimír Štill, Petr Ročkai, Jiří Barnat
    Pages 144-155
  11. Back Matter
    Pages 157-157

About these proceedings

Introduction

This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telč, Czech Republic, in October 2015.

The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers. The topics covered include: security and safety, bioinformatics, recommender systems, high-performance and cloud computing, and non-traditional computational models (quantum computing, etc.).

Keywords

graph algorithms massively parallel algorithms quantum computation software verification supervised learning algorithms and complexity colored petri nets ensemble learning experimentation FPGA hardware accelerators image processing online learning algorithms parallelization performance analysis recommender systems stream processing testing user understanding verification

Editors and affiliations

  • Jan Kofroň
    • 1
  • Tomáš Vojnar
    • 2
  1. 1.Charles UniversityPragueCzech Republic
  2. 2.Brno University of TechnologyBrnoCzech Republic

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-29817-7
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-29816-0
  • Online ISBN 978-3-319-29817-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site