Hliněný P., Dvořák Z., Jaroš J., Kofroň J., Kořenek J., Matula P., Pala K. (eds.) Mathematical and Engineering Methods in Computer Science

New York: Springer, 2014. - 159p.This 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.An 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