Editors:
- 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)
Conference series link(s): MEMICS: International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference proceedings info: MEMICS 2015.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (13 papers)
-
Front Matter
-
Back Matter
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.).
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
-
Charles University, Prague, Czech Republic
Jan Kofroň
-
Brno University of Technology, Brno, Czech Republic
Tomáš Vojnar
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