Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9548)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: MEMICS 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 papers)
-
Front Matter
-
Back Matter
Other volumes
-
Mathematical and Engineering Methods in Computer Science
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
About this book
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.).
Editors and Affiliations
Bibliographic Information
Book Title: Mathematical and Engineering Methods in Computer Science
Book Subtitle: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Editors: Jan Kofroň, Tomáš Vojnar
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-29817-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-29816-0Published: 04 February 2016
eBook ISBN: 978-3-319-29817-7Published: 03 February 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 157
Number of Illustrations: 51 illustrations in colour
Topics: Software Engineering, Computer Communication Networks, Algorithm Analysis and Problem Complexity, Management of Computing and Information Systems, Information Systems Applications (incl. Internet), Computational Biology/Bioinformatics