Mathematical and Engineering Methods in Computer Science  10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /  [electronic resource] : 
edited by Jan Kofroň, Tom�aš Vojnar. 
 - 1st ed. 2016. 
 - IX, 157 p. 51 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  9548  0302-9743 ; .
 - Lecture Notes in Computer Science,  9548 .
<br/><br/>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. 
<br/><br/> 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&#x10D;, 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.). 
<br/><br/><label>ISBN: </label>9783319298177 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-29817-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Algorithms.<br/>Bioinformatics.<br/>Management information systems.<br/>Computer Science.<br/>Software Engineering.<br/>Computer Communication Networks.<br/>Algorithm Analysis and Problem Complexity.<br/>Management of Computing and Information Systems.<br/>Information Systems Applications (incl. Internet).<br/>Computational Biology/Bioinformatics.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1