000 03902nam a22006255i 4500
001 978-3-319-14896-0
003 DE-He213
005 20200421112550.0
007 cr nn 008mamaa
008 141231s2014 gw | s |||| 0|eng d
020 _a9783319148960
_9978-3-319-14896-0
024 7 _a10.1007/978-3-319-14896-0
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aMathematical and Engineering Methods in Computer Science
_h[electronic resource] :
_b9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers /
_cedited by Petr Hliněn�y, Zdeněk Dvoř�ak, Jiř�i Jaroš, Jan Kofroň, Jan Kořenek, Petr Matula, Karel Pala.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aXI, 159 p. 50 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8934
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aComputer communication systems.
650 0 _aSoftware engineering.
650 0 _aAlgorithms.
650 0 _aManagement information systems.
650 0 _aEconomic theory.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer Communication Networks.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aManagement of Computing and Information Systems.
650 2 4 _aEconomic Theory/Quantitative Economics/Mathematical Methods.
700 1 _aHliněn�y, Petr.
_eeditor.
700 1 _aDvoř�ak, Zdeněk.
_eeditor.
700 1 _aJaroš, Jiř�i.
_eeditor.
700 1 _aKofroň, Jan.
_eeditor.
700 1 _aKořenek, Jan.
_eeditor.
700 1 _aMatula, Petr.
_eeditor.
700 1 _aPala, Karel.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319148953
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v8934
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-14896-0
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c58806
_d58806