國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Mathematical and Engineering Methods in Computer Science/ edited by Jan Kofroň, Tomáš Vojnar.
其他題名:	10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /
其他作者:	Kofroň, Jan.
面頁冊數:	IX, 157 p. 51 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-319-29817-7
ISBN:	9783319298177

Mathematical and Engineering Methods in Computer Science = 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /
Mathematical and Engineering Methods in Computer Science10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /[electronic resource] :edited by Jan Kofroň, Tomáš Vojnar. - 1st ed. 2016. - IX, 157 p. 51 illus. in color.online resource. - Programming and Software Engineering ;9548. - Programming and Software Engineering ;8987.

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

ISBN: 9783319298177

Standard No.: 10.1007/978-3-319-29817-7doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Mathematical and Engineering Methods in Computer Science = 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers /
LDR:03135nam a22004095i 4500 001 981009
003 DE-He213
005 20200630013511.0
007 cr nn 008mamaa
008 201211s2016 gw | 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
035 $a 978-3-319-29817-7
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 ; $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. $3 562952
650 0 $a Computer communication systems. $3 1115394
650 0 $a Algorithms. $3 527865
650 0 $a Management information systems. $3 561123
650 0 $a Computer science. $3 573171
650 0 $a Application software. $3 528147
650 0 $a Bioinformatics. $3 583857
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Management of Computing and Information Systems. $3 593928
650 2 4 $a Information Systems Applications (incl. Internet). $3 881699
650 2 4 $a Computational Biology/Bioinformatics. $3 677363
700 1 $a Kofroň, Jan. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1273574
700 1 $a Vojnar, Tomáš. $e editor. $1 https://orcid.org/0000-0002-2746-8792 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1273575
710 2 $a SpringerLink (Online service) $3 593884
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 ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-29817-7
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)