Cargando…

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /

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 pre...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kofroň, Jan (Editor ), Vojnar, Tomáš (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Programming and Software Engineering, 9548
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-319-29817-7
003 DE-He213
005 20220311193809.0
007 cr nn 008mamaa
008 160330s2016 sz | s |||| 0|eng d
020 |a 9783319298177  |9 978-3-319-29817-7 
024 7 |a 10.1007/978-3-319-29817-7  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Mathematical and Engineering Methods in Computer Science  |h [electronic resource] :  |b 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /  |c edited by Jan Kofroň, Tomáš Vojnar. 
250 |a 1st ed. 2016. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2016. 
300 |a IX, 157 p. 51 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Programming and Software Engineering,  |x 2945-9168 ;  |v 9548 
505 0 |a 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. 
520 |a 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.). 
650 0 |a Software engineering. 
650 0 |a Computer networks . 
650 0 |a Algorithms. 
650 0 |a Electronic data processing-Management. 
650 0 |a Application software. 
650 0 |a Bioinformatics. 
650 1 4 |a Software Engineering. 
650 2 4 |a Computer Communication Networks. 
650 2 4 |a Algorithms. 
650 2 4 |a IT Operations. 
650 2 4 |a Computer and Information Systems Applications. 
650 2 4 |a Computational and Systems Biology. 
700 1 |a Kofroň, Jan.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Vojnar, Tomáš.  |e editor.  |0 (orcid)0000-0002-2746-8792  |1 https://orcid.org/0000-0002-2746-8792  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319298160 
776 0 8 |i Printed edition:  |z 9783319298184 
830 0 |a Programming and Software Engineering,  |x 2945-9168 ;  |v 9548 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-319-29817-7  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)