05036nam 22008175 450 991048370380332120200630013511.03-319-29817-810.1007/978-3-319-29817-7(CKB)4340000000001288(SSID)ssj0001659437(PQKBManifestationID)16441404(PQKBTitleCode)TC0001659437(PQKBWorkID)14988636(PQKB)10652223(DE-He213)978-3-319-29817-7(MiAaPQ)EBC5590706(PPN)192771574(EXLCZ)99434000000000128820160330d2016 u| 0engurnn|008mamaatxtccrMathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /edited by Jan Kofroň, Tomáš Vojnar1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (IX, 157 p. 51 illus. in color.) Programming and Software Engineering ;9548Bibliographic Level Mode of Issuance: Monograph3-319-29816-X 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.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.).Programming and Software Engineering ;9548Software engineeringComputer communication systemsAlgorithmsManagement information systemsComputer scienceApplication softwareBioinformaticsSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Computational Biology/Bioinformaticshttps://scigraph.springernature.com/ontologies/product-market-codes/I23050Software engineering.Computer communication systems.Algorithms.Management information systems.Computer science.Application software.Bioinformatics.Software Engineering.Computer Communication Networks.Algorithm Analysis and Problem Complexity.Management of Computing and Information Systems.Information Systems Applications (incl. Internet).Computational Biology/Bioinformatics.005.1Kofroň Janedthttp://id.loc.gov/vocabulary/relators/edtVojnar Tomášedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483703803321Mathematical and Engineering Methods in Computer Science2596803UNINA