LEADER 05162nam 22008655 450 001 996211262103316 005 20200630004849.0 010 $a3-319-14896-6 024 7 $a10.1007/978-3-319-14896-0 035 $a(CKB)3710000000325064 035 $a(SSID)ssj0001408305 035 $a(PQKBManifestationID)11774003 035 $a(PQKBTitleCode)TC0001408305 035 $a(PQKBWorkID)11346187 035 $a(PQKB)10280944 035 $a(DE-He213)978-3-319-14896-0 035 $a(MiAaPQ)EBC6288146 035 $a(MiAaPQ)EBC5592568 035 $a(Au-PeEL)EBL5592568 035 $a(OCoLC)900614897 035 $a(PPN)183152689 035 $a(EXLCZ)993710000000325064 100 $a20141231d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aMathematical and Engineering Methods in Computer Science$b[electronic resource] $e9th International Doctoral Workshop, MEMICS 2014, Tel?, Czech Republic, October 17--19, 2014, Revised Selected Papers /$fedited by Petr Hlin?ný, Zden?k Dvo?ák, Ji?í Jaro?, Jan Kofro?, Jan Ko?enek, Petr Matula, Karel Pala 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XI, 159 p. 50 illus.) 225 1 $aProgramming and Software Engineering ;$v8934 300 $aIncludes index. 311 $a3-319-14895-8 327 $aAn Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic -- Today?s Challenges for Embedded ASR -- Automating Software Analysis at Large Scale -- 3D Model-Based Segmentation of 3D Biomedical Images -- LTL Model Checking of LLVM Bitcode with Symbolic Data.- Steiner Tree 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions Synthesis on Intel Xeon Phi Coprocessor -- Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition -- Mapping Problems to Skills Combining Expert Opinion and Student Data -- Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes -- Context-Switch-Directed Verification in DIVINE -- A New Concept in Advice Complexity of Job Shop Scheduling. 330 $aThis volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Tel?, Czech Republic, in October 2014. The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers. The topics covered by the papers include: algorithms, logic, and games; high performance computing; computer aided analysis, verification, and testing; hardware design and diagnostics; computer graphics and image processing; and artificial intelligence and natural language processing. 410 0$aProgramming and Software Engineering ;$v8934 606 $aSoftware engineering 606 $aComputer communication systems 606 $aAlgorithms 606 $aManagement information systems 606 $aComputer science 606 $aEconomic theory 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 606 $aEconomic Theory/Quantitative Economics/Mathematical Methods$3https://scigraph.springernature.com/ontologies/product-market-codes/W29000 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aAlgorithms. 615 0$aManagement information systems. 615 0$aComputer science. 615 0$aEconomic theory. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aManagement of Computing and Information Systems. 615 24$aEconomic Theory/Quantitative Economics/Mathematical Methods. 676 $a005.1 702 $aHlin?ný$b Petr$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDvo?ák$b Zden?k$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJaro?$b Ji?í$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKofro?$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKo?enek$b Jan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMatula$b Petr$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPala$b Karel$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996211262103316 996 $aMathematical and Engineering Methods in Computer Science$92596803 997 $aUNISA