Mathematical and Engineering Methods in Computer Science

10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

Häftad, Engelska, 2016

Av Jan Kofroň, Tomáš Vojnar, Jan Kofron, Tomas Vojnar, Jan Kofroň, Tomás Vojnar, Tomá, Vojnar, Jan Kofro¿

1 409 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2016-02-04
Mått155 x 235 x 10 mm
Vikt265 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor157
FörlagSpringer International Publishing AG
ISBN9783319298160

Tillhör följande kategorier

Tillämpad datateknik inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it
Hårdvara inom Data och it
Biovetenskap inom Naturvetenskap och teknik
Affärsförhandlingar inom Ekonomi och ledarskap

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.