Bøker i Lecture Notes in Computer Science-serien

The twovolume set LNAI 9413 + 9414 constitutes the proceedings of the 14thMexican International Conference on Artificial Intelligence, MICAI 2015, heldin Cuernavaca,. natural language processing applications;

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.

Thisbook constitutes the thoroughly refereed post-conference proceedings of the 28thInternational Workshop on Languages and Compilers for Parallel Computing, LCPC2015, held in Raleigh, NC, USA, in September 2015. The19 revised full papers were carefully reviewed and selected from 44 submissions.

This book constitutes the refereed proceedings of the 15th International Workshop on Algorithms in Bioinformatics, WABI 2015, held in Atlanta, GA, USA, in September 2015. The selected papers cover a wide range of topics from networks to phylogenetic studies, sequence and genome analysis, comparative genomics, and RNA structure.

This book constitutes the refereed proceedings of the 12th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2015, held in Rome, Italy, in August 2015. The papers are organized in topical sections such as mobile services and applications; smart phones and mobile commerce applications.

This book constitutes the thoroughly refereed proceedings of the 19th East European Conference on Advances in Databases and Information Systems, ADBIS 2015, held in Poitiers, France, in September 2015. The 31 full papers and 18 short papers presented were carefully selected and reviewed from 135 submissions.

The papers cover a wide range of topics in the area of computer speech processing such as recognition, synthesis, and understanding and related domains including signal processing, language and text processing, multi-modal speech processing or human-computer interaction.

This book constitutes the joint refereed proceedings of the 15th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2015, and the 8th Conference on Internet of Things and Smart Spaces, ruSMART 2015, held in St. Petersburg, Russia, in August 2015.

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

The two volume set LNCS 9256 and 9257 constitutes the refereed proceedings of the 16th International Conference on Computer Analysis of Images and Patterns, CAIP 2015, held in Valletta, Malta, in September 2015.

This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Algorithmic Decision Theory , ADT 2015, held in September 2015 in Lexington, USA. The 32 full papers presented were carefully selected from 76 submissions. The papers are organized in topical sections such as preferences;

MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).

This book constitutes the proceedings of the 10th International Conference on Information Processing in Cells and Tissues, IPCAT 2015, held in San Diego, CA, USA, in September 2015. They were organized in topical sections named: biochemical information processing; biochemical regulatory networks; and neural modelling and neural networks.

The papers are organized in topical sections on runtime process management, process modeling, process modeling discovery, business process models and analytics, BPM in industry, process compliance and deviations, energing and practical areas of BPM, and process monitoring.

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics such as data models and coding theory;

This book constitutes the proceedings of the 4th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2015, held in Barcelona, Spain, in July 2015. The 34 full and 13 short papers presented in this volume were carefully reviewed and selected from 50 submissions. novel sensing and autonomous control systems;

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications. The 19 papers presented in this volume were carefully reviewed and selected from 42 initial submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions.

This book constitutes the refereed proceedings of the Third International Conference on Games and Learning Alliance, GALA 2014, held in Bucharest, Romania, in July 2014. The 15 revised papers presented were carefully reviewed and selected from 26 submissions. The papers presented cover a variety of aspects and knowledge fields.

This book constitutes the refereed proceedings of the 12th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2015, held in Valencia, Spain, in September 2015 in conjunction with DEXA 2015. trust and privacy issues in mobile environments; and privacy requirements and privacy audit.

This book constitutes the refereed proceedings of the Second International Conference on Augmented and Virtual Reality, AVR 2015, held in Lecce, Italy, in September 2015. The 32 papers and 8 short papers presented were carefully reviewed and selected from 82 submissions.

This book constitutes the revised selected papers of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, held in Paris, France, in November 2014. The conference hosted the following seven workshops: 10th International Workshop in Engineering Service-Oriented Applications, WESOA 2014;

This three volume set LNAI 9244, 9245, and 9246 constitutes the refereed proceedings of the 8th International Conference on Intelligent Robotics and Applications, ICIRA 2015, held in Portsmouth, UK, in August 2015. robot design, development and control; robot motion analysis and planning;

This three volume set LNAI 9244, 9245, and 9246 constitutes the refereed proceedings of the 8th International Conference on Intelligent Robotics and Applications, ICIRA 2015, held in Portsmouth, UK, in August 2015. The 60 papers included in the first volume are organized in topical sections on analysis and control for complex systems;

This three volume set LNAI 9244, 9245, and 9246 constitutes the refereed proceedings of the 8th International Conference on Intelligent Robotics and Applications, ICIRA 2015, held in Portsmouth, UK, in August 2015. The 46 papers included in the third volume are organized in topical sections on mobile robots and intelligent autonomous systems;

This book constitutes the refereed proceedings of the 7th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2015, held in Valencia, Spain, in September 2015.

data management algorithms.These volumes also include accepted papers of the 8th International Conference on Data Management in Cloud, Grid and P2P Systems, Globe 2015, held in Valencia, Spain, September 2, 2015.

data management algorithms.These volumes also include accepted papers of the 8th International Conference on Data Management in Cloud, Grid and P2P Systems, Globe 2015, held in Valencia, Spain, September 2, 2015.