Books+ Search Results
Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
Title
Mathematical and Engineering Methods in Computer Science [electronic resource] : 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers / edited by Jan Kofroň, Tomáš Vojnar.
ISBN
9783319298177
Edition
1st ed. 2016.
Publication
Cham : Springer International Publishing : Imprint: Springer, 2016.
Physical Description
IX, 157 p. 51 illus. in color : online resource.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Summary
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.).<ioinformatics, recommender="" systems,="" high-performance="" and="" cloud="" computing,="" non-traditional="" computational="" models="" (quantum="" etc.).
Variant and related titles
Springer ebooks.
Other formats
Printed edition:
Format
Books / Online
Language
English
Added to Catalog
April 06, 2016
Series
Lecture Notes in Computer Science, 9548
Contents
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.
Subjects
Also listed under
Bookmark As
Citation
