Books in the Theoretical Computer Science and General Issues series

This book constitutes the refereed proceedings of the 5th International Workshop on the Arithmetic of Finite Field, WAIFI 2014, held in Gebze, Turkey, in September 2014.

This book constitutes the proceedings of the 28th International Conference on Architecture of Computing Systems, ARCS 2015, held in Porto, Portugal, in March 2015. The 19 papers presented together with three invited papers were carefully reviewed and selected from 45 submissions.

This book constitutes the refereed proceedings of the 8th International Conference on Quantum Interaction, QI 2014, held in Filzbach, Switzerland, in June/July 2014.

This book constitutes the refereed proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015, held in Nice, France in March 2015. algorithms for semi-structured data mining, algorithms on automata and words; trees, tree languages and tree automata;

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014.

This book constitutes the thoroughly refereed proceedings of the 5th International Workshop, PMBS 2014 in New Orleans, LA, USA in November 2014. The 12 full and 2 short papers presented in this volume were carefully reviewed and selected from 53 submissions. The papers cover topics on performance benchmarking and optimization;

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 2017. Artificial Neural Networks in Industry ANNI'17; Computational Intelligence Tools and Techniques for Biomedical Applications;

This book constitutes the refereed proceedings of the 14th International Symposium on Neural Networks, ISNN 2017, held in Sapporo, Hakodate, and Muroran, Hokkaido, Japan, in June 2017. The 135 revised full papers presented in this two-volume set were carefully reviewed and selected from 259 submissions.

This bookconstitutes revised selected papers from the International Conference onMembrane Computing, CMC 2015, held in Valencia, Spain, in August 2015. The 22 fullpapers presented in this volume were carefully reviewed and selected from 34submissions. The volume also contains 3 invited talks in full-paper length.

This book constitutes the thoroughly refereedpost-conference proceedings of the Second International Workshop on AdaptiveResource Management and Scheduling for Cloud Computing, ARMS-CC 2015, held inConjunction with ACM Symposium on Principles of Distributed Computing, PODC2015, in Donostia-San Sebastián, Spain, in July 2015.The 12 revised full papers, including 1 invited paper,were carefully reviewed and selected from 24 submissions. The papers haveidentified several important aspects of the problem addressed by ARMS-CC:self-* and autonomous cloud systems, cloud quality management and service levelagreement (SLA), scalable computing, mobile cloud computing, cloud computingtechniques for big data, high performance cloud computing, resource managementin big data platforms, scheduling algorithms for big data processing, cloudcomposition, federation, bridging, and bursting, cloud resource virtualizationand composition, load-balancing and co-allocation, fault tolerance,reliability, and availability of cloud systems.

This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. domain theory logics; logicalfoundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;

This book constitutes the thoroughly refereedpost-conference proceedings of the 25th International Symposium on Logic-BasedProgram Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, inJuly 2015. The 21 revised full papers presented together with 3invited talks were carefully reviewed and selected from 30 submissions.

The four volume set LNCS 9489, LNCS 9490, LNCS 9491, andLNCS 9492 constitutes the proceedings of the 22nd International Conference onNeural Information Processing, ICONIP 2015, held in Istanbul, Turkey, inNovember 2015. The 231 full papers presented were carefully reviewed andselected from 375 submissions.

This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology;

This book constitutes the refereed proceedings of the 32nd International Conference, ISC High Performance 2017, held in Frankfurt, Germany, in June 2017. The 22 revised full papers presented in this book were carefully reviewed and selected from 66 submissions. The papers cover the following topics: applications and algorithms;

This monograph proposes a comprehensive and fully automatic approach to designing text analysis pipelines for arbitrary information needs that are optimal in terms of run-time efficiency and that robustly mine relevant information from text of any kind.

This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015. The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions.

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Curves and Surfaces, held in Paris, France, in June 2014. The conference had the overall theme: "Representation and Approximation of Curves and Surfaces and Applications". The 32 revised full papers presented were carefully reviewed and selected from 39 submissions. The scope of the conference was on following topics: approximation theory, computer-aided geometric design, computer graphics and visualization, computational geometry and topology, geometry processing, image and signal processing, interpolation and smoothing, mesh generation, finite elements and splines, scattered data processing and learning theory, sparse and high-dimensional approximation, subdivision, wavelets and multi-resolution method.

This book constitutes the proceedings of the 12th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICS 2015, held in Liberec, Czech Republic, in August 2015. Five special topics are addressed: tensor-based methods for blind signal separation;

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. They are organized in topical sections named: modelling and applications; and queuing systems and hybrid systems.

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.

They cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

They cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. applications: technical papers, and tool presentations.