Mathematical and Engineering Methods in Computer Science
10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015, Revised Selected Papers
Published on 3. February 2016
IX, 157 pages
978-3-319-29817-7 (ISBN)
Description
This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telc, 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.).
More details
Series
Edition
1st ed. 2016
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
IX, 157 p. 51 illus. in color.
File size
10,05 MB
ISBN-13
978-3-319-29817-7 (9783319298177)
DOI
10.1007/978-3-319-29817-7
Schweitzer Classification
Other editions
Additional editions
Jan Kofron | Tomás Vojnar
Mathematical and Engineering Methods in Computer Science
10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015, Revised Selected Papers
Book
02/2016
Springer
€106.99
Shipment within 10-15 days
Content
Programming Support for Future Parallel Architectures.- Flexible Interpolation for Efficient Model Checking.- Understanding Transparent and Complicated Users as Instances of Preference Learning for Recommender Systems.- Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity.- Fitting Aggregation Operators.- Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs.- Self-adaptive Architecture for Multi-sensor Embedded Vision System.- Exceptional Configurations of Quantum Walks with Grover's Coin.- Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets.- GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses.- Classifier Ensemble by Semi-supervised Learning: Local Aggregation Methodology.- The Challenge of Increasing Safe Response of Antivirus Software Users.- Weak Memory Models as LLVM-to-LLVM Transformations.
