LEADER 05036nam 22008175 450 001 9910483703803321 005 20200630013511.0 010 $a3-319-29817-8 024 7 $a10.1007/978-3-319-29817-7 035 $a(CKB)4340000000001288 035 $a(SSID)ssj0001659437 035 $a(PQKBManifestationID)16441404 035 $a(PQKBTitleCode)TC0001659437 035 $a(PQKBWorkID)14988636 035 $a(PQKB)10652223 035 $a(DE-He213)978-3-319-29817-7 035 $a(MiAaPQ)EBC5590706 035 $a(PPN)192771574 035 $a(EXLCZ)994340000000001288 100 $a20160330d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMathematical and Engineering Methods in Computer Science $e10th International Doctoral Workshop, MEMICS 2015, Tel?, Czech Republic, October 23-25, 2015, Revised Selected Papers /$fedited by Jan Kofro?, Tomá? Vojnar 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (IX, 157 p. 51 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v9548 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-29816-X 327 $aProgramming 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. 330 $aThis 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.).