LoveReading

Becoming a member of the LoveReading community is free.

No catches, no fine print just unadulterated book loving, with your favourite books saved to your own digital bookshelf.

New members get entered into our monthly draw to win £100 to spend in your local bookshop Plus lots lots more…

Find out more

Book Series

Lecture Notes in Computer Science

Autonomous Agents and Multiagent Systems

Autonomous Agents and Multiagent Systems

Author: Nardine Osman Format: Paperback Release Date: 24/09/2016

This book features a selection of best papers from 11 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, in Singapore in May 2016.The 11 full papers were carefully reviewed and selected for inclusion in this volume. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems.

Autonomous Agents and Multiagent Systems

Autonomous Agents and Multiagent Systems

Author: Nardine Osman Format: Paperback Release Date: 24/09/2016

This book constitutes the most visionary papers of the AAMAS 2016 Workshops, held in Singapore, Singapore, in May 2016. The 12 revised full papers presented were carefully reviewed and selected from the 12 workshops. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems.

Provable Security

Provable Security

Author: Liqun Chen Format: Paperback Release Date: 13/10/2016

This book constitutes the refereed proceedings of the 10th International Conference on Provable Security, ProvSec 2016, held in Nanjing, China, in November 2016. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 79 submissions. The papers are grouped in topical sections on attribute/role-based cryptography, data in cloud, searchable encryption, key management, encryption, leakage analysis, homomorphic encryption.

Deep Learning and Data Labeling for Medical Applications First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece,

Deep Learning and Data Labeling for Medical Applications First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece,

Author: Gustavo Carneiro Format: Paperback Release Date: 27/09/2016

This book constitutes the refereed proceedings of two workshops held at the 19th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2016, in Athens, Greece, in October 2016: the First Workshop on Large-Scale Annotation of Biomedical Data and Expert Label Synthesis, LABELS 2016, and the Second International Workshop on Deep Learning in Medical Image Analysis, DLMIA 2016. The 28 revised regular papers presented in this book were carefully reviewed and selected from a total of 52 submissions. The 7 papers selected for LABELS deal with topics from the following fields: crowd-sourcing methods; active learning; transfer learning; semi-supervised learning; and modeling of label uncertainty.The 21 papers selected for DLMIA span a wide range of topics such as image description; medical imaging-based diagnosis; medical signal-based diagnosis; medical image reconstruction and model selection using deep learning techniques; meta-heuristic techniques for fine-tuning parameter in deep learning-based architectures; and applications based on deep learning techniques.

Advanced Concepts for Intelligent Vision Systems

Advanced Concepts for Intelligent Vision Systems

Author: Jacques Blanc-Talon Format: Paperback Release Date: 22/10/2016

This book constitutes the refereed proceedings of the 17th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2016, held in Lecce, Italy, in October 2016. The 64 revised full papers presented in this volume were carefully selected from 137 submissions. They deal with classical low-level image processing techniques; image and video compression; 3D; security and forensics; and evaluation methodologies.

Machine Learning in Medical Imaging

Machine Learning in Medical Imaging

Author: Li Wang Format: Paperback Release Date: 01/10/2016

This book constitutes the refereed proceedings of the 7th International Workshop on Machine Learning in Medical Imaging, MLMI 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016. The 38 full papers presented in this volume were carefully reviewed and selected from 60 submissions. The main aim of this workshop is to help advance scientific research within the broad field of machine learning in medical imaging. The workshop focuses on major trends and challenges in this area, and presents works aimed to identify new cutting-edge techniques and their use in medical imaging.

Logics in Artificial Intelligence

Logics in Artificial Intelligence

Author: Loizos Michael Format: Paperback Release Date: 01/11/2016

This book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

Advances in Brain Inspired Cognitive Systems

Advances in Brain Inspired Cognitive Systems

Author: Cheng-Lin Liu Format: Paperback Release Date: 13/11/2016

This book constitutes the refereed proceedings of the 8th International Conference on Brain Inspired Cognitive Systems, BICS 2016, held in Beijing, China, in November 2016. The 32 full papers presented were carefully reviewed and selected from 43 submissions. They discuss the emerging areas and challenges, present the state of the art of brain-inspired cognitive systems research and applications in diverse fields by covering many topics in brain inspired cognitive systems related research including biologically inspired systems, cognitive neuroscience, models consciousness, and neural computation.

Mobile, Secure, and Programmable Networking

Mobile, Secure, and Programmable Networking

Author: Selma Boumerdassi Format: Paperback Release Date: 10/12/2016

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Mobile, Secure and Programmable Networking, held in Paris, France, This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Mobile, Secure and Programmable Networking, held in Paris, France, in June 2016. The 17 papers presented in this volume were carefully reviewed and selected from 37 submissions. They discuss new trends in networking infrastructures, security, services and applications while focusing on virtualization and cloud computing for networks, network programming, software defined networks (SDN) and their security.

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Author: Roderick Bloem Format: Paperback Release Date: 01/11/2016

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

Structural, Syntactic, and Statistical Pattern Recognition

Structural, Syntactic, and Statistical Pattern Recognition

Author: Antonio Robles-Kelly Format: Paperback Release Date: 05/11/2016

This book constitutes the proceedings of the Joint IAPR International Workshop on Structural Syntactic, and Statistical Pattern Recognition, S+SSPR 2016, consisting of the International Workshop on Structural and Syntactic Pattern Recognition SSPR, and the International Workshop on Statistical Techniques in Pattern Recognition, SPR. The 51 full papers presented were carefully reviewed and selected from 68 submissions. They are organized in the following topical sections: dimensionality reduction, manifold learning and embedding methods; dissimilarity representations; graph-theoretic methods; model selection, classification and clustering; semi and fully supervised learning methods; shape analysis; spatio-temporal pattern recognition; structural matching; text and document analysis.

Advances in Cryptology - ASIACRYPT 2016

Advances in Cryptology - ASIACRYPT 2016

Author: Jung Hee Cheon Format: Paperback Release Date: 09/11/2016

The two-volume set LNCS 10031 and LNCS 10032 constitutes the refereed proceedings of the 22nd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2016, held in Hanoi, Vietnam, in December 2016. The 67 revised full papers and 2 invited talks presented were carefully selected from 240 submissions. They are organized in topical sections on Mathematical Analysis; AES and White-Box; Hash Function; Randomness; Authenticated Encryption; Block Cipher; SCA and Leakage Resilience; Zero Knowledge; Post Quantum Cryptography; Provable Security; Digital Signature; Functional and Homomorphic Cryptography; ABE and IBE; Foundation; Cryptographic Protocol; Multi-Party Computation.

On the Move to Meaningful Internet Systems: OTM 2016 Conferences

On the Move to Meaningful Internet Systems: OTM 2016 Conferences

Author: Christophe Debruyne Format: Paperback Release Date: 18/10/2016

This volume constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2016, Ontologies, Databases, and Applications of Semantics, ODBASE 2016, and Cloud and Trusted Computing, C&TC, held as part of OTM 2016 in October 2016 in Rhodes, Greece. The 45 full papers presented together with 16 short papers were carefully reviewed and selected from 133 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workow and collaboration, ubiquity, interoperability, mobility,grid and high-performance computing.

On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Pape

On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Pape

Author: Ioana Ciuciu Format: Paperback Release Date: 29/03/2017

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ) , Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), and OnTheMove Academy (OTMA 2016), held as part of OTM 2016 in October 2016 in Rhodes, Greece. The 27 full papers presented together with 8 short papers were carefully reviewed and selected from 58 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing.

Internet of Vehicles - Technologies and Services

Internet of Vehicles - Technologies and Services

Author: Ching-Hsien Hsu Format: Paperback Release Date: 20/01/2017

This book constitutes the refereed proceedings of the Third International Conference on Internet of Vehicles, IOV 2016, held in Nadi, Fiji, in December 2016. The 22 full papers presented were carefully reviewed and selected from 55 submissions. IOV 2016 is intended to play an important role for researchers and industry practitioners to exchange information regarding advancements in the state of art and practice of IOV architectures, protocols, services, and applications, as well as to identify emerging research topics and define the future directions of IOV.

AI*IA 2016 Advances in Artificial Intelligence

AI*IA 2016 Advances in Artificial Intelligence

Author: Giovanni Adorni Format: Paperback Release Date: 05/11/2016

This book constitutes the refereed proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2016, held in Genova, Italy, in November/December 2016. The 39 full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on optimization and evolutionary algorithms; classification, pattern recognition, and computer vision; multi-agent systems; machine learning; semantic web and description logics; natural language processing; planning and scheduling; and formal verification.

Health Information Science

Health Information Science

Author: Xiaoxia Yin Format: Paperback Release Date: 15/10/2016

This book constitutes the refereed proceedings of the 5th International Conference on Health Information Science, HIS 2016, held in Shanghai, China, in November 2016. The 13 full papers and 9 short papers presented were carefully reviewed and selected from numerous submissions. The scope of the papers includes medical/health/biomedicine information resources such as patient medical records, devices and equipments, software and tools to capture, store, retrieve, process, analyze, and optimize the use of information in the health domain; data management, data mining, and knowledge discovery, all of which play a key role in decision making, management of public health, examination of standards, privacy and security issues; computer visualization and artificial intelligence for computer aided diagnosis; development of new architectures and applications for health information systems.

Cloud Computing and Security

Cloud Computing and Security

Author: Xingming Sun Format: Paperback Release Date: 01/11/2016

This two volume set LNCS 10039 and LNCS 10040 constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Cloud Computing and Security, ICCCS 2016, held in Nanjing, China, during July 29-31, 2016. The 97 papers of these volumes were carefully reviewed and selected from 272 submissions. The papers are organized in topical sections such as: Information Hiding, Cloud Computing, Cloud Security, IOT Applications, Multimedia Applications, Multimedia Security and Forensics.

Web Information Systems Engineering - WISE 2016

Web Information Systems Engineering - WISE 2016

Author: Wojciech Cellary Format: Paperback Release Date: 02/11/2016

This two volume set LNCS 10041 and LNCS 10042 constitutes the proceedings of the 17th International Conference on Web Information Systems Engineering, WISE 2016, held in Shanghai, China, in November 2016. The 39 full papers and 31 short papers presented in these proceedings were carefully reviewed and selected from 233 submissions. The papers cover a wide range of topics such as Social Network Data Analysis; Recommender Systems; Topic Modeling; Data Diversity; Data Similarity; Context-Aware Recommendation; Prediction; Big Data Processing; Cloud Computing; Event Detection; Data Mining; Sentiment Analysis; Ranking in Social Networks; Microblog Data Analysis; Query Processing; Spatial and Temporal Data; Graph Theory; Non-Traditional Environments; and Special Session on Data Quality and Trust in Big Data.

Combinatorial Optimization and Applications

Combinatorial Optimization and Applications

Author: T-H. Hubert Chan Format: Paperback Release Date: 31/10/2016

This book constitutes the refereed proceedings of the 10th International Conference on Combinatorial Optimization and Applications, COCOA 2016, held in Hong Kong, China, in December 2016. The 60 full papers included in the book were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections such as graph theory, geometric optimization, complexity and data structure, combinatorial optimization, and miscellaneous.

Big Data Benchmarking 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected P

Big Data Benchmarking 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected P

Author: Tilmann Rabl Format: Paperback Release Date: 06/12/2016

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Big Data Benchmarking, WBDB 2015, held in Toronto, ON, Canada, in June 2015 and the 7th International Workshop, WBDB 2015, held in New Delhi, India, in December 2015. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They deal with recent trends in big data and HPC convergence, new proposals for big data benchmarking, as well as tooling and performance results.

Algorithms for Sensor Systems

Algorithms for Sensor Systems

Author: Marek Chrobak Format: Paperback Release Date: 24/01/2017

This book constitutes revised selected papers from the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, held in Aarhus, Denmark, in August 2016. The 9 full papers presented in this volume were carefully reviewed and selected from 19 submissions. This year papers were solicited into three tracks: Distributed and Mobile, Experiments and Applications, and Wireless and Geometry.

Agent Based Modelling of Urban Systems

Agent Based Modelling of Urban Systems

Author: Mohammad-Reza Namazi-Rad Format: Paperback Release Date: 11/01/2017

This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016. The 11 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: urban systems modeling; traffic simulation in urban modeling; and applications.

Multi-disciplinary Trends in Artificial Intelligence

Multi-disciplinary Trends in Artificial Intelligence

Author: Chattrakul Sombattheera Format: Paperback Release Date: 10/11/2016

This book constitutes the refereed conference proceedings of the 10th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2016, held in Chiang Mai, Thailand, in December 2016. The 22 revised full papers presented together with 5 short papers and 2 abstracts of invited talks were carefully reviewed and selected from 50 submissions. The workshop solicits papers from all areas of AI including cognitive science; computational intelligence; computational philosophy; game theory; machine learning; multi-agent systems; natural language; representation and reasoning; speech; vision and the web; as well as applications of AI in big data; bioinformatics; biometrics; decision support; e-commerce; image processing; analysis and retrieval; industrial applications; knowledge management; privacy; recommender systems; security; software engineering; spam filtering; surveillance; telecommunications; and web services.

Semantic Technology

Semantic Technology

Author: Yuan-Fang Li Format: Paperback Release Date: 30/11/2016

This book constitutes the thoroughly refereed proceedings of the 6th Joint International Semantic Technology Conference, JIST 2016, held in Singapore, Singapore, in November 2016. The main topics of JIST 2016 include among others ontology and reasoning; linked data; knowledge graph. The JIST 2016 conference consists of two keynotes, a main technical track, including (full and short papers) from the research and the in-use tracks, a Poster and Demo session, a workshop and two tutorials. The 16 full and 8 short papers presented were carefully reviewed and selected from 34 submissions. The papers cover the following topics: ontology and data management; linked data; information retrieval and knowledge discovery; RDF and query; knowledge graph; application of semantic technologies.

Games and Learning Alliance

Games and Learning Alliance

Author: Rosa Bottino Format: Paperback Release Date: 23/11/2016

This book constitutes the refereed proceedings of the 5th International Conference on Games and Learning Alliance, GALA 2016, held in Utrecht, The Netherlands, in December 2016. The 27 revised regular papers presented together with 14 poster papers were carefully reviewed and selected from 55 submissions. The papers cover topics such as games and sustainability; games for math and programming; games and health; games and soft skills; games and management; games and learning; game development and assessment; and mobile games.

Information Systems Security

Information Systems Security

Author: Indrajit Ray Format: Paperback Release Date: 24/11/2016

This book constitutes the refereed proceedings of the 12th International Conference on Information Systems Security, ICISS 2016, held in Jaipur, India, in December 2016. The 24 revised full papers and 8 short papers presented together with 4 invited papers were carefully reviewed and selected from 196 submissions. The papers address the following topics: attacks and mitigation; authentication; authorization and information flow control; crypto systems and protocols; network security and intrusion detection; privacy; software security; and wireless, mobile and IoT security.

Advances in Services Computing

Advances in Services Computing

Author: Guojun Wang Format: Paperback Release Date: 10/11/2016

This book constitutes the refereed proceedings of the 10th Asia-Pacific Services Computing Conference, APSCC 2016, held in Zhangjiajie, China, in November 2016. The 38 revised full papers presented in this book were carefully reviewed and selected from 107 submissions. The papers cover a wide range of topics in the fields of cloud/utility/Web computing/big data; foundations of services computing; social/peer-to-peer/mobile/ubiquitous/pervasive computing; service-centric computing models; integration of telecommunication SOA and Web services; business process integration and management; and security in services.

Ubiquitous Computing and Ambient Intelligence

Ubiquitous Computing and Ambient Intelligence

Author: Carmelo R. Garcia Format: Paperback Release Date: 02/11/2016

This LNCS double volume LNCS 10069-10070 constitutes the refereed proceedings of the 10th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2016, which includes the International Work Conference on Ambient Assisted Living (IWAAL), and the International Conference on Am-bient Intelligence for Health (AmIHEALTH), held in Las Palmas de Gran Canaria, Spain, in November/December 2016. The 69 full papers presented together with 40 short papers and 5 doctoral consortium papers were carefully reviewed and selected from 145 submissions. UCAmI 2016 is focused on research topics related to ambient assisted living, internet of things, smart cities, ambient intelligence for health, human-computer interaction, ad-hoc and sensor networks, and security.

Theory and Practice of Natural Computing

Theory and Practice of Natural Computing

Author: Carlos Martin-Vide Format: Paperback Release Date: 01/11/2016

This book constitutes the refereed proceedings of the 5th International Conference on Theory and Practice of Natural Computing, TPNC 2016, held in Sendai, Japan, in December 2016. The 16 revised full papers presented together with one invited talk in this book were carefully reviewed and selected from 33 submissions. The papers are grouped in topical sections on applications of natural computing, evolutionary computation, formal models, and machine learning.

Advances in Speech and Language Technologies for Iberian Languages

Advances in Speech and Language Technologies for Iberian Languages

Author: Alberto Abad Format: Paperback Release Date: 08/11/2016

This book constitutes the refereed proceedings of the IberSPEECH 2016 Conference, held in Lisbon, Portugal, in November 2016. The 27 papers presented were carefully reviewed and selected from 48 submissions. The selected articles in this volume are organized into four different topics: Speech Production, Analysis, Coding and Synthesis; Automatic Speech Recognition; Paralinguistic Speaker Trait Characterization; Speech and Language Technologies in Different Application Fields

Collective Online Platforms for Financial and Environmental Awareness First International Workshop on the Internet for Financial Collective Awareness and Intelligence, IFIN 2016 and First Internationa

Collective Online Platforms for Financial and Environmental Awareness First International Workshop on the Internet for Financial Collective Awareness and Intelligence, IFIN 2016 and First Internationa

Author: Anna Satsiou Format: Paperback Release Date: 01/12/2016

This book contains the papers presented at the two CAPS (Collective Awareness Platforms for Sustainability and Social Innovation) workshops, namely the First International Workshop on the Internet for Financial Collective Awareness and Intelligence, IFIN 2016, and the First International Workshop on Internet and Social Media for Environmental Monitoring, ISEM 2016, held in Florence, Italy in September 2016. The two workshops were collocated with the third International Conference on Internet Science, INSCI 2016. The 8 papers presented have been carefully reviewed and selected from 13 submissions. The papers of the two workshops although targeting different goals aim at developing platforms promoting awareness on different but critical sustainability issues.

Learning and Intelligent Optimization

Learning and Intelligent Optimization

Author: Paola Festa Format: Paperback Release Date: 06/12/2016

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Learning and Optimization, LION 10, which was held on Ischia, Italy, in May/June 2016. The 14 full papers presented together with 9 short papers and 2 GENOPT papers were carefully reviewed and selected from 47 submissions. The papers address all fields between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. Special focus is given to new ideas and methods; challenges and opportunities in various application areas; general trends, and specific developments.

Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things

Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things

Author: Raghunath Nambiar Format: Paperback Release Date: 18/02/2017

This book constitutes the thoroughly refereed post-conference proceedings of the 8th TPC Technology Conference, on Performance Evaluation and Benchmarking, TPCTC 2016, held in conjunction with the 41st International Conference on Very Large Databases (VLDB 2016) in New Delhi, India, in September 2016. The 9 papers presented were carefully reviewed and selected from 20 submissions. They reflect the rapid pace at which industry experts and researchers develop innovative techniques for evaluation, measurement and characterization of complex systems.

Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

Author: Borzoo Bonakdarpour Format: Paperback Release Date: 04/11/2016

This book constitutes the refereed proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2016, held in Lyon, France, in November 2016. This year the Program Committee was organized into three groups reflecting the major trends related to self-* systems: (a) Self-* and Autonomic Computing, (b)Foundations, and (c) Networks, Multi-Agent Systems, and Mobility.

Advanced Visual Interfaces. Supporting Big Data Applications

Advanced Visual Interfaces. Supporting Big Data Applications

Author: Marco X. Bornschlegl Format: Paperback Release Date: 17/12/2016

This book constitutes the thoroughly refereed post-workshop proceedings of the AVI 2016 Workshop on Road Mapping Infrastructures for Advanced Visual Interfaces Supporting Big Data Applications in Virtual Research Environments, AVI-BDA 2016, held in Bari, Italy, in June 2016. The 10 revised full papers in this volume present the elaborated outcome of the initial position papers capturing the results oft the roadmapping discussions in the workshop at which comments of several external reviewers for these full publications were also integrated.

Advanced Data Mining and Applications

Advanced Data Mining and Applications

Author: Jinyan Li Format: Paperback Release Date: 13/11/2016

This book constitutes the proceedings of the 12th International Conference on Advanced Data Mining and Applications, ADMA 2016, held in Gold Coast, Australia, in December 2016. The 70 papers presented in this volume were carefully reviewed and selected from 105 submissions. The selected papers covered a wide variety of important topics in the area of data mining, including parallel and distributed data mining algorithms, mining on data streams, graph mining, spatial data mining, multimedia data mining, Web mining, the Internet of Things, health informatics, and biomedical data mining.

Brain-Inspired Computing

Brain-Inspired Computing

Author: Katrin Amunts Format: Paperback Release Date: 11/12/2016

This book constitutes revised selected papers from the Second International Workshop on Brain-Inspired Computing, BrainComp 2015, held in Cetraro, Italy, in July 2015. The 14 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with brain structure and function; computational models and brain-inspired computing methods with practical applications; high performance computing; and visualization for brain simulations.

New Frontiers in Artificial Intelligence

New Frontiers in Artificial Intelligence

Author: Mihoko Otake Format: Paperback Release Date: 12/04/2017

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2015 Workshops LENLS 12, JURISIN 9, AAA 2015, HAT-MASH 2015, TSDAA 2015, ASD-HR 2015, and SKL 2015, held in Kanagawa, Japan, in November 2015. The 39 regular papers presented in this volume were carefully reviewed and selected from 114 submissions. LENLS 12 (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics and focused on discourse particles; disjunction; truth; copredication; expressive content; categorial grammar; dependent type semantics; sequent calculus; and various aspects of formal pragmatics. JURISIN 9 (Juris-Informatics) is the 9th event in the series. The purpose of this workshop is to discuss fundamental and practical issues such as law, social science, information and intelligent technology, logic and philosophy, including the conventional AI and law area. AAA 2015 (Argument for Agreement and Assurance) has the goal of deepening a mutual understanding and exploring a new research field involving researchers/practitioners in formal and informal logic, artificial intelligence, and safety engineering working on agreement and assurance through argument. HAT-MASH 2015 (Healthy Aging Tech Mashup Service, Data and People) provides a forum to discuss important research questions and practical challenges in healthy aging and elderly care support to promote transdisciplinary approaches. TSDAA 2015 (Workshop on Time Series Data Analysis and its Applications) aimes at providing an interdisciplinary forum for discussion of different approaches and techniques of time series data analysis and their implementation in various real life applications. ASD-HR 2015 (Autism Spectrum Disorders Using a Humanoid Robot) presents the studies in the interdisciplinary field of research including both engineering and medical sides. SKL 2015 (Skill Science) discusses the theoretical foundations of skill science as well as practical and engineering issues.

Progress in Cryptology - INDOCRYPT 2016

Progress in Cryptology - INDOCRYPT 2016

Author: Orr Dunkelman Format: Paperback Release Date: 11/11/2016

This book constitutes the refereed proceedings of the 17th International Conference on Cryptology in India, INDOCRYPT 2016, held in Kolkata, India, in December 2016. The 23 revised full papers presented in this book were carefully reviewed and selected from 84 submissions. The focus of the conference includes works on Public-Key Cryptography, Cryptographic Protocols, Side-Channel Attacks, Implementation of Cryptographic Schemes, Functional Encryption, Symmetric-Key Cryptanalysis, Foundations, and New Cryptographic Constructions.

Data Analytics for Renewable Energy Integration

Data Analytics for Renewable Energy Integration

Author: Wei Lee Woon Format: Paperback Release Date: 19/01/2017

This book constitutes revised selected papers from the 4th ECML PKDD Workshop on Data Analytics for Renewable Energy Integration, DARE 2016, held in Riva del Garda, Italy, in September 2016. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book and handle topics such as time series forecasting, the detection of faults, cyber security, smart grid and smart cities, technology integration, demand response and many others.

Social Information Access

Social Information Access

Author: Peter Brusilovsky Format: Paperback Release Date: 03/05/2018

Social information access is defined as a stream of research that explores methods for organizing the past interactions of users in a community in order to provide future users with better access to information. Social information access covers a wide range of different technologies and strategies that operate on a different scale, which can range from a small closed corpus site to the whole Web. The 16 chapters included in this book provide a broad overview of modern research on social information access. In order to provide a balanced coverage, these chapters are organized by the main types of information access (i.e., social search, social navigation, and recommendation) and main sources of social information.

Data Mining and Constraint Programming

Data Mining and Constraint Programming

Author: Christian Bessiere Format: Paperback Release Date: 06/12/2016

A successful integration of constraint programming and data mining has the potential to lead to a new ICT paradigm with far reaching implications. It could change the face of data mining and machine learning, as well as constraint programming technology. It would not only allow one to use data mining techniques in constraint programming to identify and update constraints and optimization criteria, but also to employ constraints and criteria in data mining and machine learning in order to discover models compatible with prior knowledge. This book reports on some key results obtained on this integrated and cross- disciplinary approach within the European FP7 FET Open project no. 284715 on Inductive Constraint Programming and a number of associated workshops and Dagstuhl seminars. The book is structured in five parts: background; learning to model; learning to solve; constraint programming for data mining; and showcases.

Swarm Intelligence Based Optimization

Swarm Intelligence Based Optimization

Author: Patrick Siarry Format: Paperback Release Date: 25/11/2016

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Swarm Intelligence Based Optimization, ICSIBO 2016, held in Mulhouse, France, in June 2016. The 9 full papers presented were carefully reviewed and selected from 20 submissions. They are centered around the following topics: theoretical advances of swarm intelligence metaheuristics; combinatorial discrete, binary, constrained, multi-objective, multi-modal, dynamic, noisy, and large scale optimization; artificial immune systems, particle swarms, ant colony, bacterial forging, artificial bees, fireflies algorithm; hybridization of algorithms; parallel/distributed computing, machine learning, data mining, data clustering, decision making and multi-agent systems based on swarm intelligence principles; adaptation and applications of swarm intelligence principles to real world problems in various domains.

Cyber Physical Systems. Design, Modeling, and Evaluation

Cyber Physical Systems. Design, Modeling, and Evaluation

Author: Christian Berger Format: Paperback Release Date: 13/01/2017

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016. The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.

Small Dynamic Complexity Classes

Small Dynamic Complexity Classes

Author: Thomas Zeume Format: Paperback Release Date: 18/02/2017

Small Dynamic Complexity Classes was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. One of the contributions to the former aspect helped to confirm the conjecture by Patnaik and Immerman (1997) that reachability can be maintained by first-order update formulas.

Computer Vision - ACCV 2016

Computer Vision - ACCV 2016

Author: Shang-Hong Lai Format: Paperback Release Date: 10/03/2017

The five-volume set LNCS 10111-10115 constitutes the thoroughly refereed post-conference proceedings of the 13th Asian Conference on Computer Vision, ACCV 2016, held in Taipei, Taiwan, in November 2016. The total of 143 contributions presented in these volumes was carefully reviewed and selected from 479 submissions. The papers are organized in topical sections on Segmentation and Classification; Segmentation and Semantic Segmentation; Dictionary Learning, Retrieval, and Clustering; Deep Learning; People Tracking and Action Recognition; People and Actions; Faces; Computational Photography; Face and Gestures; Image Alignment; Computational Photography and Image Processing; Language and Video; 3D Computer Vision; Image Attributes, Language, and Recognition; Video Understanding; and 3D Vision.

Computer Vision - ACCV 2016 Workshops

Computer Vision - ACCV 2016 Workshops

Author: Chu-Song Chen Format: Paperback Release Date: 16/03/2017

The three-volume set, consisting of LNCS 10116, 10117, and 10118, contains carefully reviewed and selected papers presented at 17 workshops held in conjunction with the 13th Asian Conference on Computer Vision, ACCV 2016, in Taipei, Taiwan in November 2016. The 134 full papers presented were selected from 223 submissions. LNCS 10116 contains the papers selected

Computer Vision - ACCV 2016 Workshops ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III

Computer Vision - ACCV 2016 Workshops ACCV 2016 International Workshops, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part III

Author: Chu-Song Chen Format: Paperback Release Date: 16/03/2017

The three-volume set, consisting of LNCS 10116, 10117, and 10118, contains carefully reviewed and selected papers presented at 17 workshops held in conjunction with the 13th Asian Conference on Computer Vision, ACCV 2016, in Taipei, Taiwan in November 2016. The 134 full papers presented were selected from 223 submissions. LNCS 10116 contains the papers selected

Multiple Access Communications

Multiple Access Communications

Author: Tatiana K. Madsen Format: Paperback Release Date: 20/12/2016

This book constitutes the proceedings of the 9th International Workshop on Multiple Access Communications, MACOM 2016, held in Aalborg, Denmark, in November 2016. The 10 full papers presented in this volume were carefully reviewed and selected from 12 submissions. They were organized in topical sections named: physical layer aspects; MAC layer aspects; and information theory.

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Author: Cesar Beltran-Castanon Format: Paperback Release Date: 16/02/2017

This book constitutes the refereed post-conference proceedings of the 21st Iberoamerican Congress on Pattern Recognition, CIARP 2016, held in Lima, Peru, in November 2016. The 69 papers presented were carefully reviewed and selected from 131 submissions. The papers feature research results in the areas of pattern recognition, biometrics, image processing, computer vision, speech recognition, and remote sensing. They constitute theoretical as well as applied contributions in many fields related to the main topics of the conference.

Spectral and Shape Analysis in Medical Imaging First International Workshop, SeSAMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Revised Selected Papers

Spectral and Shape Analysis in Medical Imaging First International Workshop, SeSAMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Revised Selected Papers

Author: Martin Reuter Format: Paperback Release Date: 11/12/2016

This book constitutes the refereed post-conference proceedings of the First International Workshop on Spectral and Shape Analysis in Medical Imaging, SeSAMI 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016. The 10 submitted full papers presented in this volume were carefully reviewed. The papers reflect the following topics: spectral methods; longitudinal methods; and shape methods.

Enterprise Security

Enterprise Security

Author: Victor Chang Format: Paperback Release Date: 19/03/2017

Enterprise security is an important area since all types of organizations require secure and robust environments, platforms and services to work with people, data and computing applications. The book provides selected papers of the Second International Workshop on Enterprise Security held in Vancouver, Canada, November 30-December 3, 2016 in conjunction with CloudCom 2015. The 11 papers were selected from 24 submissions and provide a comprehensive research into various areas of enterprise security such as protection of data, privacy and rights, data ownership, trust, unauthorized access and big data ownership, studies and analysis to reduce risks imposed by data leakage, hacking and challenges of Cloud forensics.

MultiMedia Modeling

MultiMedia Modeling

Author: Laurent Amsaleg Format: Paperback Release Date: 31/12/2016

The two-volume set LNCS 10132 and 10133 constitutes the thoroughly refereed proceedings of the 23rd International Conference on Multimedia Modeling, MMM 2017, held in Reykjavik, Iceland, in January 2017. Of the 149 full papers submitted, 36 were selected for oral presentation and 33 for poster presentation; of the 34 special session papers submitted, 24 were selected for oral presentation and 2 for poster presentation; in addition, 5 demonstrations were accepted from 8 submissions, and all 7 submissions to VBS 2017. All papers presented were carefully reviewed and selected from 198 submissions. MMM is a leading international conference for researchers and industry practitioners for sharing new ideas, original research results and practical development experiences from all MMM related areas, broadly falling into three categories: multimedia content analysis; multimedia signal processing and communications; and multimedia applications and services.

MultiMedia Modeling

MultiMedia Modeling

Author: Laurent Amsaleg Format: Paperback Release Date: 31/12/2016

The two-volume set LNCS 10132 and 10133 constitutes the thoroughly refereed proceedings of the 23rd International Conference on Multimedia Modeling, MMM 2017, held in Reykjavik, Iceland, in January 2017. Of the 149 full papers submitted, 36 were selected for oral presentation and 33 for poster presentation; of the 34 special session papers submitted, 24 were selected for oral presentation and 2 for poster presentation; in addition, 5 demonstrations were accepted from 8 submissions, and all 7 submissions to VBS 2017. All papers presented were carefully reviewed and selected from 198 submissions. MMM is a leading international conference for researchers and industry practitioners for sharing new ideas, original research results and practical development experiences from all MMM related areas, broadly falling into three categories: multimedia content analysis; multimedia signal processing and communications; and multimedia applications and services.

Unifying Theories of Programming

Unifying Theories of Programming

Author: Jonathan P. Bowen Format: Paperback Release Date: 11/01/2017

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.

Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

Author: Chen Ding Format: Paperback Release Date: 20/01/2017

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016. The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and persistence, compiler analysis and optimization, dynamic computation and languages, GPUs and private memory, and runt-time and performance analysis.

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Author: Yuliya Lierler Format: Paperback Release Date: 17/12/2016

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages.

Approximation and Online Algorithms

Approximation and Online Algorithms

Author: Klaus Jansen Format: Paperback Release Date: 07/01/2017

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Approximation and Online Algorithms, WAOA 2016, held in Aarhus, Denmark, in August 2016 as part of ALGO 2016. The 16 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. Topics of interest for WAOA 2016 were: coloring and partitioning, competitive analysis, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, randomization techniques, real world applications, and scheduling problems.

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Author: Ahmed Bouajjani Format: Paperback Release Date: 12/01/2017

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Logic, Language, and Computation

Logic, Language, and Computation

Author: Helle Hvid Hansen Format: Paperback Release Date: 22/02/2017

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015. The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publication. The biennial conference series and the proceedings are representative of the aims of the organizing institutes: to promote the integrated study of logic, information and language. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.

Numerical Software Verification

Numerical Software Verification

Author: Sergiy Bogomolov Format: Paperback Release Date: 17/02/2017

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Requirements Engineering: Foundation for Software Quality

Requirements Engineering: Foundation for Software Quality

Author: Paul Grunbacher Format: Paperback Release Date: 21/02/2017

This book constitutes the proceedings of the 23rd International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2017, held in Essen, Germany, in February/March 2017. The 16 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers were organized in topical sections named: use case models; ecosystems and innovation; human factors in requirements engineering; goal-orientation in requirements engineering; communication and collaboration; process and tool integration; visualization and representation of requirements; agile requirements engineering; natural language processing, information retrieval and machine learning traceability; quality of natural language requirements; research methodology in requirements engineering.

Topics in Cryptology - CT-RSA 2017

Topics in Cryptology - CT-RSA 2017

Author: Helena Handschuh Format: Paperback Release Date: 10/01/2017

This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2017, CT-RSA 2017, held in San Francisco, CA, USA, in February 2017. The 25 papers presented in this volume were carefully reviewed and selected from 77 submissions. CT-RSA has become a major publication venue in cryptography. It covers a wide variety of topics from public-key to symmetric key cryptography and from cryptographic protocols to primitives and their implementation security. This year selected topics such as cryptocurrencies and white-box cryptography were added to the call for papers.

Concurrency, Security, and Puzzles

Concurrency, Security, and Puzzles

Author: Thomas Gibson-Robinson Format: Paperback Release Date: 18/12/2016

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP. He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more. Many of these areas are reflected in the 15 invited research articles in this festschrift, and in the presentations at the BILL-60 symposium held in Oxford, UK, on January 9 and 10, 2017.

Pattern Recognition Applications and Methods

Pattern Recognition Applications and Methods

Author: Ana Fred Format: Paperback Release Date: 03/02/2017

This book contains revised and extended versions of selected papers from the 5th International Conference on Pattern Recognition, ICPRAM 2016, held in Rome, Italy, in February 2016. The 13 full papers were carefully reviewed and selected from 125 initial submissions and describe up-to-date applications of pattern recognition techniques to real-world problems, interdisciplinary research, experimental and/or theoretical studies yielding new insights that advance pattern recognition methods.

Security of Industrial Control Systems and Cyber-Physical Systems

Security of Industrial Control Systems and Cyber-Physical Systems

Author: Nora Cuppens-Boulahia Format: Paperback Release Date: 13/06/2017

This book constitutes the refereed proceedings of the Second Conference on Security of Industrial Control Systems and Cyber-Physical Systems, CyberICPS 2016, held in Crete, Greece, in September 2016 in conjunction with ESORICS 2016, the 21st annual European Symposium on Research in Computer Security. The 5 revised full papers 2 invited papers presented were carefully reviewed and selected from 18 initial submissions. CyberICPS 2016 focuses on topics related to the management of cyber security in industrial control systems and cyber-physical systems, including security monitoring, trust management, security policies and measures.

Language and Automata Theory and Applications

Language and Automata Theory and Applications

Author: Frank Drewes Format: Paperback Release Date: 16/02/2017

This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umea, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions. The papers cover the following topics: algorithmic learning and semantics; automata and logics; combinatorics on words, compression, and pattern matching; complexity; finite automata; grammars, languages, and parsing; graphs and Petri Nets; non-classical automata; and pushdown automata and systems.

Latent Variable Analysis and Signal Separation

Latent Variable Analysis and Signal Separation

Author: Petr Tichavsky Format: Paperback Release Date: 15/02/2017

This book constitutes the proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2017, held in Grenoble, France, in Feburary 2017. The 53 papers presented in this volume were carefully reviewed and selected from 60 submissions. They were organized in topical sections named: tensor approaches; from source positions to room properties: learning methods for audio scene geometry estimation; tensors and audio; audio signal processing; theoretical developments; physics and bio signal processing; latent variable analysis in observation sciences; ICA theory and applications; and sparsity-aware signal processing.

Computer-Assisted and Robotic Endoscopy

Computer-Assisted and Robotic Endoscopy

Author: Terry Peters Format: Paperback Release Date: 22/02/2017

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016. The 11 revised full papers were carefully selected out of 13 initial submissions. The papers are organized on topical secttion such as computer vision, graphics, robotics, medical imaging, external tracking systems, medical device controls systems, information processing techniques, endoscopy planning and simulation.

Architecture of Computing Systems - ARCS 2017

Architecture of Computing Systems - ARCS 2017

Author: Jens Knoop Format: Paperback Release Date: 06/03/2017

This book constitutes the proceedings of the 30th International Conference on Architecture of Computing Systems, ARCS 2017, held in Vienna, Austria, in April 2017. The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections entitled: resilience; accelerators; performance; memory systems; parallelism and many-core; scheduling; power/energy.

Evolutionary Multi-Criterion Optimization

Evolutionary Multi-Criterion Optimization

Author: Heike Trautmann Format: Paperback Release Date: 19/02/2017

This book constitutes the refereed proceedings of the 9th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2017 held in Munster, Germany in March 2017. The 33 revised full papers presented together with 13 poster presentations were carefully reviewed and selected from 72 submissions. The EMO 2017 aims to discuss all aspects of EMO development and deployment, including theoretical foundations; constraint handling techniques; preference handling techniques; handling of continuous, combinatorial or mixed-integer problems; local search techniques; hybrid approaches; stopping criteria; parallel EMO models; performance evaluation; test functions and benchmark problems; algorithm selection approaches; many-objective optimization; large scale optimization; real-world applications; EMO algorithm implementations.

Knowledge Engineering and Knowledge Management

Knowledge Engineering and Knowledge Management

Author: Paolo Ciancarini Format: Paperback Release Date: 20/05/2017

This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open Data, Drift-an-LOD 2016. The 6 revised full papers included in this volume were carefully reviewed and selected from the 13 full papers that were accepted for presentation at the conference from the initial 82 submissions. This volume also contains the 37 accepted contributions for the EKAW 2016 tutorials, demo and poster sessions, and the doctoral consortium. The special focus of this year's EKAW was evolving knowledge , which concerns all aspects of the management and acquisition of knowledge representations of evolving, contextual, and local models. This includes change management, trend detection, model evolution, streaming data and stream reasoning, event processing, time-and space dependent models, contextual and local knowledge representations with a special emphasis on the evolvability and localization of knowledge and the correct usage of these limits.

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction

Author: Friedhelm Schwenker Format: Paperback Release Date: 31/05/2017

This book constitutes the thoroughly refereed post-workshop proceedings of the Fourth IAPR TC9 Workshop on Pattern Recognition of Social Signals in Human-Computer-Interaction, MPRSS 2016, held in Cancun, Mexico, in December 2016.The 13 revised papers presented focus on pattern recognition, machine learning and information fusion methods with applications in social signal processing, including multimodal emotion recognition, user identification, and recognition of human activities.

Data Management and Analytics for Medicine and Healthcare

Data Management and Analytics for Medicine and Healthcare

Author: Fusheng Wang Format: Paperback Release Date: 21/04/2017

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2016, in New Delhi, India, in September 2016, held in conjunction with the 42nd International Conference on Very Large Data Bases, VLDB 2016. The 7 revised full papers presented together with 2 invited papers and 3 keynote abstracts were carefully reviewed and selected from 11 initial submissions. The papers are organized in topical sections on knowledge discovery of biomedical data; managing, querying and processing of medical image data; information extraction and data integration for biomedical data; and health information systems.

Intelligent Information and Database Systems

Intelligent Information and Database Systems

Author: Ngoc Thanh Nguyen Format: Paperback Release Date: 28/02/2017

The two-volume set LNAI 10191 and 10192 constitutes the refereed proceedings of the 9th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2017, held in Kanazawa, Japan, in April 2017. The total of 152 full papers accepted for publication in these proceedings was carefully reviewed and selected from 420 submissions.They were organized in topical sections named: Knowledge Engineering and Semantic Web; Social Networks and Recommender Systems; Text Processing and Information Retrieval; Intelligent Database Systems; Intelligent Information Systems; Decision Support and Control Systems; Machine Learning and Data Mining; Computer Vision Techniques; Advanced Data Mining Techniques and Applications; Intelligent and Context Systems; Multiple Model Approach to Machine Learning; Applications of Data Science; Artificial Intelligence Applications for E-services; Automated Reasoning and Proving Techniques with Applications in Intelligent Systems; Collective Intelligence for Service Innovation, Technology Opportunity, E-Learning and Fuzzy Intelligent Systems; Intelligent Computer Vision Systems and Applications; Intelligent Data Analysis, Applications and Technologies for Internet of Things; Intelligent Algorithms and Brain Functions; Intelligent Systems and Algorithms in Information Sciences; IT in Biomedicine; Intelligent Technologies in the Smart Cities in the 21st Century; Analysis of Image, Video and Motion Data in Life Sciences; Modern Applications of Machine Learning for Actionable Knowledge Extraction; Mathematics of Decision Sciences and Information Science; Scalable Data Analysis in Bioinformatics and Biomedical Informatics; and Technological Perspective of Agile Transformation in IT organizations.

Advances in Information Retrieval

Advances in Information Retrieval

Author: Joemon M Jose Format: Paperback Release Date: 08/04/2017

This book constitutes the refereed proceedings of the 39th European Conference on IR Research, ECIR 2017, held in Aberdeen, UK, in April 2017. The 36 full papers and 47 poster papers presented together with 5 Abstracts, were carefully reviewed and selected from 248 submissions. Being the premier European forum for the presentation of new research results in the field of Information Retrieval, ECIR features a wide range of topics such as: IR Theory and Practice; Deep Learning and IR; Web and Social Media IR; User Aspects; IR System Architectures; Content Representation and Processing; Evaluation; Multimedia and Cross-Media IR; Applications.

Genetic Programming

Genetic Programming

Author: James McDermott Format: Paperback Release Date: 15/03/2017

This book constitutes the refereed proceedings of the 20th European Conference on Genetic Programming, EuroGP 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo* 2017 events, EvoCOP, EvoMUSART, and EvoApplications. The 14 revised full papers presented together with 8 poster papers were carefully reviewed and selected from 32 submissions. The wide range of topics in this volume reflects the current state of research in the field. Thus, we see topics and applications including program synthesis, genetic improvement, grammatical representations, self-adaptation, multi-objective optimisation, program semantics, search landscapes, mathematical programming, games, operations research, networks, evolvable hardware, and program synthesis benchmarks.

Computational Intelligence in Music, Sound, Art and Design

Computational Intelligence in Music, Sound, Art and Design

Author: Joao Correia Format: Paperback Release Date: 22/03/2017

This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo*2017 events EuroGP, EvoCOP and EvoApplications. The 24 revised full papers presented were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics and application areas, including: generative approaches to music, graphics, game content, and narrative; music information retrieval; computational aesthetics; the mechanics of interactive evolutionary computation; computer-aided design; and the art theory of evolutionary computation.

Applications of Evolutionary Computation

Applications of Evolutionary Computation

Author: Giovanni Squillero Format: Paperback Release Date: 25/03/2017

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, collocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments).

Applications of Evolutionary Computation

Applications of Evolutionary Computation

Author: Giovanni Squillero Format: Paperback Release Date: 25/03/2017

The two volumes LNCS 10199 and 10200 constitute the refereed conference proceedings of the 20th European Conference on the Applications of Evolutionary Computation, EvoApplications 2017, held in Amsterdam, The Netherlands, in April 2017, colocated with the Evo* 2016 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented together with 26 poster papers were carefully reviewed and selected from 108 submissions. EvoApplications 2016 consisted of the following 13 tracks: EvoBAFIN (natural computing methods in business analytics and finance), EvoBIO (evolutionary computation, machine learning and data mining in computational biology), EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoKNOW (knowledge incorporation in evolutionary computation), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoROBOT (evolutionary robotics), EvoSET (nature-inspired algorithms in software engineering and testing), and EvoSTOC (evolutionary algorithms in stochastic and dynamic environments).

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, U

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, U

Author: Javier Esparza Format: Paperback Release Date: 16/03/2017

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 32 papers presented in this volume were carefully reviewed and selected from 101 submissions. They were organized in topical sections named: coherence spaces and higher-order computation; algebra and coalgebra; games and automata; automata, logic and formal languages; proof theory; probability; concurrency; lambda calculus and constructive proof; and semantics and category theory.

Multi-Agent Systems and Agreement Technologies

Multi-Agent Systems and Agreement Technologies

Author: Natalia Criado Pacheco Format: Paperback Release Date: 23/06/2017

This book constitutes the revised selected papers from the 14th European Conference on Multi-Agent Systems, EUMAS 2016, and the Fourth International Conference on Agreement Technologies, AT 2016, held in Valencia, Spain, in December 2016. The 43 papers and 2 invited papers presented in this volume were carefully reviewed and selected from 68 submissions. The papers cover thematic areas as agent and multi-agent system models, algorithms, applications, simulations, theoretical studies, and for AT the thematic areas are: algorithms

Bioinformatics and Biomedical Engineering

Bioinformatics and Biomedical Engineering

Author: Ignacio Rojas Format: Paperback Release Date: 01/04/2017

This two volume set LNBI 10208 and LNBI 10209 constitutes the proceedings of the 5th International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2017, held in Granada, Spain, in April 2017. The 122 papers presented were carefully reviewed and selected from 309 submissions. The scope of the conference spans the following areas: advances in computational intelligence for critical care; bioinformatics for healthcare and diseases; biomedical engineering; biomedical image analysis; biomedical signal analysis; biomedicine; challenges representing large-scale biological data; computational genomics; computational proteomics; computational systems for modeling biological processes; data driven biology - new tools, techniques and resources; eHealth; high-throughput bioinformatic tools for genomics; oncological big data and new mathematical tools; smart sensor and sensor-network architectures; time lapse experiments and multivariate biostatistics.

Bioinformatics and Biomedical Engineering

Bioinformatics and Biomedical Engineering

Author: Ignacio Rojas Format: Paperback Release Date: 01/04/2017

This two volume set LNBI 10208 and LNBI 10209 constitutes the proceedings of the 5th International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2017, held in Granada, Spain, in April 2017. The 122 papers presented were carefully reviewed and selected from 309 submissions. The scope of the conference spans the following areas: advances in computational intelligence for critical care; bioinformatics for healthcare and diseases; biomedical engineering; biomedical image analysis; biomedical signal analysis; biomedicine; challenges representing large-scale biological data; computational genomics; computational proteomics; computational systems for modeling biological processes; data driven biology - new tools, techniques and resources; eHealth; high-throughput bioinformatic tools for genomics; oncological big data and new mathematical tools; smart sensor and sensor-network architectures; time lapse experiments and multivariate biostatistics.

Advances in Cryptology - EUROCRYPT 2017

Advances in Cryptology - EUROCRYPT 2017

Author: Jean-Sebastien Coron Format: Paperback Release Date: 01/04/2017

The three-volume proceedings LNCS 10210-10212 constitute the thoroughly refereed proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017, held in Paris, France, in April/May 2017. The 67 full papers included in these volumes were carefully reviewed and selected from 264 submissions. The papers are organized in topical sections named: lattice attacks and constructions; obfuscation and functional encryption; discrete logarithm; multiparty computation; universal composability; zero knowledge; side-channel attacks and countermeasures; functional encryption; elliptic curves; symmetric cryptanalysis; provable security for symmetric cryptography; security models; blockchain; memory hard functions; symmetric-key constructions; obfuscation; quantum cryptography; public-key encryption and key-exchange.

Advances in Cryptology - EUROCRYPT 2017

Advances in Cryptology - EUROCRYPT 2017

Author: Jean-Sebastien Coron Format: Paperback Release Date: 01/04/2017

The three-volume proceedings LNCS 10210-10212 constitute the thoroughly refereed proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017, held in Paris, France, in April/May 2017. The 67 full papers included in these volumes were carefully reviewed and selected from 264 submissions. The papers are organized in topical sections named: lattice attacks and constructions; obfuscation and functional encryption; discrete logarithm; multiparty computation; universal composability; zero knowledge; side-channel attacks and countermeasures; functional encryption; elliptic curves; symmetric cryptanalysis; provable security for symmetric cryptography; security models; blockchain; memory hard functions; symmetric-key constructions; obfuscation; quantum cryptography; public-key encryption and key-exchange.

Advances in Cryptology - EUROCRYPT 2017

Advances in Cryptology - EUROCRYPT 2017

Author: Jean-Sebastien Coron Format: Paperback Release Date: 01/04/2017

The three-volume proceedings LNCS 10210-10212 constitute the thoroughly refereed proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017, held in Paris, France, in April/May 2017. The 67 full papers included in these volumes were carefully reviewed and selected from 264 submissions. The papers are organized in topical sections named: lattice attacks and constructions; obfuscation and functional encryption; discrete logarithm; multiparty computation; universal composability; zero knowledge; side-channel attacks and countermeasures; functional encryption; elliptic curves; symmetric cryptanalysis; provable security for symmetric cryptography; security models; blockchain; memory hard functions; symmetric-key constructions; obfuscation; quantum cryptography; public-key encryption and key-exchange.

Reproducible Research in Pattern Recognition

Reproducible Research in Pattern Recognition

Author: Bertrand Kerautret Format: Paperback Release Date: 05/04/2017

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Reproducible Research in Pattern Recognition, RRPR 2016, held in Cancun, Mexico, in December 2016. The 12 revised full papers, among them 2 invited talks, presented were carefully reviewed and selected from 16 submissions. They focus on pattern recognition algorithms; reproducible research frameworks; reproducible research results, previous works on reproducible research.

Applied Reconfigurable Computing

Applied Reconfigurable Computing

Author: Stephan Wong Format: Paperback Release Date: 31/03/2017

This book constitutes the refereed proceedings of the 13th International Symposium on Applied Reconfigurable Computing, ARC 2017, held in Delft, The Netherlands, in April 2017. The 17 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They are organized in topical sections on adaptive architectures, embedded computing and security, simulation and synthesis, design space exploration, fault tolerance, FGPA-based designs, neural neworks, and languages and estimation techniques.

Mastering Scale and Complexity in Software Reuse

Mastering Scale and Complexity in Software Reuse

Author: Goetz Botterweck Format: Paperback Release Date: 05/04/2017

This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017. The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software product lines; variability management and model variants; verification and refactoring for reuse; tools demonstrations; doctorial symposium; tutorials; and workshop.

Communication Technologies for Vehicles

Communication Technologies for Vehicles

Author: Alain Pirovano Format: Paperback Release Date: 05/04/2017

This book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, held in Toulouse, France, in May 2017. The 12 full papers presented together with 2 demo papers in this volumewere carefully reviewed and selected from 16 submissions. The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for: Vehicles on road: e.g. cars, tracks and buses; Air: e.g. aircraft and unmanned aerial vehicles; and Rail: e.g. trains, metros and trams.

Grand Timely Topics in Software Engineering

Grand Timely Topics in Software Engineering

Author: Jacome Cunha Format: Paperback Release Date: 29/06/2017

This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials/briefings cover probabilistic program analysis, ontologies in software engineering, empirical evaluation of programming and programming languages, model synchronization management of software product families, people analytics in software development, DSLs in robotics, structured program generation techniques, advanced aspects of software refactoring, and name binding in language implementation.

Risk Assessment and Risk-Driven Quality Assurance

Risk Assessment and Risk-Driven Quality Assurance

Author: Jurgen Grossmann Format: Paperback Release Date: 25/04/2017

This book constitutes the thoroughly refereed conference proceedings of the Fourth International Workshop on Risk Assessment and Risk-Driven Quality Assurance, RISK 2016, held in conjunction with ICTSS 2016, in Graz, Austria, in October 2016. The revised 9 full papers were carefully reviewed and selected from 11 submissions. They focus on research studying, developing and evaluating innovative techniques, tools, languages and methods risk assessment and risk-driven quality engineering. The papers are organized topical sections: security risk management; security risk analysis; risk-based testing.

Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science

Author: Peter Hoefner Format: Paperback Release Date: 25/04/2017

This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

Challenges and Opportunity with Big Data

Challenges and Opportunity with Big Data

Author: Lin Zhang Format: Paperback Release Date: 04/08/2017

This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 18 revised full papers presented were significantly extended and improved by the insights gained from the productive and lively discussions at the workshop, and the feedback from the post-workshop peer reviews. 2016 marks the 23rd anniversary for the Monterey Workshop series which started in 1993. For nearly a quarter of century, the Monterey Workshops have established themselves as an important international forum to foster, among academia, industry, and government agencies, discussion and exchange of ideas, research results and experience in developing software intensive systems, and have significantly advanced the field. The community of the workshop participants has grown to become an influential source of ideas and innovations and its impact on the knowledge economy has been felt worldwide.

Research in Computational Molecular Biology 21st Annual International Conference, RECOMB 2017, Hong Kong, China, May 3-7, 2017, Proceedings

Research in Computational Molecular Biology 21st Annual International Conference, RECOMB 2017, Hong Kong, China, May 3-7, 2017, Proceedings

Author: S. Cenk Sahinalp Format: Paperback Release Date: 12/04/2017

This book constitutes the proceedings of the 21th Annual Conference on Research in Computational Molecular Biology, RECOMB 2017, held in Hong Kong, China, in May 2017. The 22 regular papers presented in this volume were carefully reviewed and selected from 184 submissions. 16 short abstracts are included in the back matter of the volume. They report on original research in all areas of computational molecular biology and bioinformatics

Green, Pervasive, and Cloud Computing

Green, Pervasive, and Cloud Computing

Author: Man Ho Allen Au Format: Paperback Release Date: 13/04/2017

This book constitutes the proceedings of the 12th International Conference on Green, Pervasive, and Cloud Computing, GPC 2017, held in Cetara, Italy, in May 2017 and the following colocated workshops: First International Workshop on Digital Knowledge Ecosystems 2017; and First Workshop on Cloud Security Modeling, Monitoring and Management, CS3M 2017. The 58 full papers included in this volume were carefully reviewed and selected from 169 initial submissions. They deal with cryptography, security and biometric techniques; advances network services, algorithms and optimization; mobile and pervasive computing; cybersecurity; parallel and distributed computing; ontologies and smart applications; and healthcare support systems.

Advances in Artificial Intelligence

Advances in Artificial Intelligence

Author: Malek Mouhoub Format: Paperback Release Date: 11/04/2017

This book constitutes the refereed proceedings of the 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, held in Edmonton, AB, Canada, in May 2017. The 19 regular papers and 24 short papers presented together with 6 Graduate Student Symposium papers were carefully reviewed and selected from 62 submissions. The focus of the conference was on the following subjects: Data Mining and Machine Learning; Planning and Combinatorial Optimization; AI Applications; Natural Language Processing; Uncertainty and Preference Reasoning; and Agent Systems.

Advances in Knowledge Discovery and Data Mining

Advances in Knowledge Discovery and Data Mining

Author: Jinho Kim Format: Paperback Release Date: 23/04/2017

This two-volume set, LNAI 10234 and 10235, constitutes the thoroughly refereed proceedings of the 21st Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2017, held in Jeju, South Korea, in May 2017. The 129 full papers were carefully reviewed and selected from 458 submissions. They are organized in topical sections named: classification and deep learning; social network and graph mining; privacy-preserving mining and security/risk applications; spatio-temporal and sequential data mining; clustering and anomaly detection; recommender system; feature selection; text and opinion mining; clustering and matrix factorization; dynamic, stream data mining; novel models and algorithms; behavioral data mining; graph clustering and community detection; dimensionality reduction.

Progress in Cryptology - AFRICACRYPT 2017

Progress in Cryptology - AFRICACRYPT 2017

Author: Marc Joye Format: Paperback Release Date: 20/04/2017

This book constitutes the refereed proceedings of the 9th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2017, held in Dakar, Senegal, in May 2017. The 13 papers presented in this book were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on cryptographic schemes, side-channel analysis, differential cryptanalysis, applications, and number theory.

Unconventional Computation and Natural Computation

Unconventional Computation and Natural Computation

Author: Matthew J. Patitz Format: Paperback Release Date: 28/04/2017

This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017. The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions. The UCNC series of international conferences is genuinely interdisciplinary and it covers theory as well as experiments and applications. It is concerned with various proposals for computation that go beyond the Turing model, human designed computation inspired by nature, and with the computational nature of processes taking place in nature. Typical, but not exclusive, topics are: hypercomputation; chaos and dynamical systems based computing; granular, fuzzy and rough computing; mechanical computing; cellular, evolutionary, molecular, neural, and quantum computing; membrane computing; amorphous computing, swarm intelligence; artificial immune systems; physics of computation; chemical computation; evolving hardware; the computational nature of self-assembly, developmental processes, bacterial communication, and brain processes.

Intelligence and Security Informatics

Intelligence and Security Informatics

Author: G. Alan Wang Format: Paperback Release Date: 14/04/2017

This book constitutes the refereed proceedings of the 12th Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2017, held in Jeju Island, South Korea, in May 2017 in conjunction with PAKDD 2017, the 21st Pacific-Asia Conference on Knowledge Discovery and Data Mining. The 8 revised full papers and one short paper were carefully reviewed and selected from 13 submissions. The papers cover topics such as information access and security, cybersecurity and infrastructure protection, data and text mining, and network based data analytics.

Designing the Digital Transformation

Designing the Digital Transformation

Author: Alexander Maedche Format: Paperback Release Date: 23/05/2017

This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2017, held in May/June 2017 in Karlsruhe, Germany. The 25 full and 11 short papers presented in this volume were carefully reviewed and selected from 66 full and 19 short papers. The contributions are organized in topical sections named: DSR in business process management; DSR in human computer interaction; DSR in data science and business analytics; DSR in service science; methodological contributions; domain-specific DSR applications; emerging themes and new ideas; and products and prototypes.

Artificial Intelligence and Soft Computing

Artificial Intelligence and Soft Computing

Author: Leszek Rutkowski Format: Paperback Release Date: 24/05/2017

The two-volume set LNAI 10245 and LNAI 10246 constitutes the refereed proceedings of the 16th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2017, held in Zakopane, Poland in June 2017. The 133 revised full papers presented were carefully reviewed and selected from 274 submissions. The papers included in the second volume are organized in the following five parts: data mining; artificial intelligence in modeling, simulation and control; various problems of artificial intelligence; special session: advances in single-objective continuous parameter optimization with nature-inspired algorithms; special session: stream data mining.

Cellular Automata and Discrete Complex Systems

Cellular Automata and Discrete Complex Systems

Author: Alberto Dennunzio Format: Paperback Release Date: 06/05/2017

This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017. The 14 full papers presented together with one full-length invited paper and 2 invited talk abstracts were carefully reviewed and selected from a total of 28 submissions. The papers feature research on correlated models of automata. The topics include aspects and features of such models: dynamics; topological, ergodic, and algebraic aspects; algorithmic and complexity issues; emergent properties; formal languages; symbolic dynamics; tilings; models of parallelism and distributed systems; timing schemes; synchronous versus asynchronous models; phenomenological descriptions; scientific modelling; practical applications.

The Semantic Web

The Semantic Web

Author: Eva Blomqvist Format: Paperback Release Date: 16/05/2017

The two volumes LNCS 10249 and 10250 constitute the refereed proceedings of the 14th International Semantic Web Conference, ESWC 2017, held in Portoroz, Slovenia. The 51 revised full papers presented were carefully reviewed and selected from 183 submissions. In addition, 10 PhD papers are included, selected out of 14 submissions. The papers are organized in the following tracks: semantic data management, big data, and scalability; linked data; machine learning; mobile web, sensors, and semantic streams; natural language processing and information retrieval; vocabularies, schemas, and ontologies; reasoning; social web and web science; semantic web and transparency; in use and industrial track; and PhD symposium. The paper 'Linked Data Notifications: A Resource-Centric Communication Protocol' is published open access under a CC BY 4.0 license at link.springer.com.

Wireless Algorithms, Systems, and Applications

Wireless Algorithms, Systems, and Applications

Author: Liran Ma Format: Paperback Release Date: 28/05/2017

This book constitutes the proceedings of the 12th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2017, held in Guilin, China, in June 2017.The 70 full papers and 9 short papers presented in this book werde carefully reviewed and selected from 238 submissions. The papers cover various topics such as cognitive radio networks; wireless sensor networks; cyber-physical systems; distributed and localized algorithm design and analysis; information and coding theory for wireless networks; localization; mobile cloud computing; topology control and coverage; security and privacy; underwater and underground networks; vehicular networks; internet of things; information processing and data management; programmable service interfaces; energy-efficient algorithms; system and protocol design; operating system and middle-ware support; and experimental test-beds, models and case studies.

Algorithms for Computational Biology

Algorithms for Computational Biology

Author: Daniel Figueiredo Format: Paperback Release Date: 25/04/2017

This book constitutes the proceedings of the 4th InternationalConference on Algorithms for Computational Biology, AlCoB 2017, held in Aveiro, Portugal, in June 2017. The 10 full papers presented together with 2 invited papers were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: Graph Algorithms for Computational Biology; Phylogenetics; and Sequence Analysis and Other Biological Processes.

Advanced Information Systems Engineering

Advanced Information Systems Engineering

Author: Eric Dubois Format: Paperback Release Date: 27/05/2017

This book constitutes the refereed proceedings of the 29th International Conference on Advanced Information Systems Engineering, CAiSE 2017, held in Essen, Germany, in June 2017. The 37 papers presented together with 3 keynote papers in this volume were carefully reviewed and selected from 175 submissions. The papers are organized in topical sections on information systems architecture; business process alignment; user knowledge discovery; business process performance; big data exploration; process variability management; information systems transformation and evolution; business process modeling readability; business process adaption; data mining; process discovery; business process modeling notation.

Pattern Recognition and Image Analysis 8th Iberian Conference, IbPRIA 2017, Faro, Portugal, June 20-23, 2017, Proceedings

Pattern Recognition and Image Analysis 8th Iberian Conference, IbPRIA 2017, Faro, Portugal, June 20-23, 2017, Proceedings

Author: Luis A. Alexandre Format: Paperback Release Date: 12/05/2017

This book constitutes the refereed proceedings of the 8th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2017, held in Faro, Portugal, in June 2017. The 60 regular papers presented in this volume were carefully reviewed and selected from 86 submissions. They are organized in topical sections named: Pattern Recognition and Machine Learning; Computer Vision; Image and Signal Processing; Medical Image; and Applications.

Artificial Intelligence in Medicine

Artificial Intelligence in Medicine

Author: Annette ten Teije Format: Paperback Release Date: 31/05/2017

This book constitutes the refereed proceedings of the 16th Conference on Artificial Intelligence in Medicine, AIME 2017, held in Vienna, Austria, in June 2017. The 21 revised full and 23 short papers presented were carefully reviewed and selected from 113 submissions. The papers are organized in the following topical sections: ontologies and knowledge representation; Bayesian methods; temporal methods; natural language processing; health care processes; and machine learning, and a section with demo papers.

Advances in Neural Networks - ISNN 2017

Advances in Neural Networks - ISNN 2017

Author: Fengyu Cong Format: Paperback Release Date: 31/05/2017

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. The papers cover topics like perception, emotion and development, action and motor control, attractor and associative memory, neurodynamics, complex systems, and chaos.

Advances in Neural Networks - ISNN 2017

Advances in Neural Networks - ISNN 2017

Author: Fengyu Cong Format: Paperback Release Date: 31/05/2017

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. The papers cover topics like perception, emotion and development, action and motor control, attractor and associative memory, neurodynamics, complex systems, and chaos.

Functional Imaging and Modelling of the Heart

Functional Imaging and Modelling of the Heart

Author: Mihaela Pop Format: Paperback Release Date: 23/05/2017

This book constitutes the refereed proceedings of the 9th International Conference on Functional Imaging and Modeling of the Heart, held in Toronto, ON, Canada, in June 2017. The 48 revised full papers were carefully reviewed and selected from 63 submissions. The focus of the papers is on following topics: novel imaging and analysis methods for myocardial tissue characterization and remodeling; advanced cardiac image analysis tools for diagnostic and interventions; electrophysiology: mapping and biophysical modeling; biomechanics and flow: modeling and tissue property measurements.

Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments

Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments

Author: Daniel Archambault Format: Paperback Release Date: 29/09/2017

As the outcome of the Dagstuhl Seminar 15481 on Crowdsourcing and Human-Centered Experiments, this book is a primer for computer science researchers who intend to use crowdsourcing technology for human centered experiments. The focus of this Dagstuhl seminar, held in Dagstuhl Castle in November 2015, was to discuss experiences and methodological considerations when using crowdsourcing platforms to run human-centered experiments to test the effectiveness of visual representations. The inspiring Dagstuhl atmosphere fostered discussions and brought together researchers from different research directions. The papers provide information on crowdsourcing technology and experimental methodologies, comparisons between crowdsourcing and lab experiments, the use of crowdsourcing for visualisation, psychology, QoE and HCI empirical studies, and finally the nature of crowdworkers and their work, their motivation and demographic background, as well as the relationships among people forming the crowdsourcing community.

Smart Cities

Smart Cities

Author: Enrique Alba Format: Paperback Release Date: 26/05/2017

This book constitutes the proceedings of the second International Conference on Smart Cities, Smart-CT 2017, held in Malaga, Spain, in June 2017. The 16 papers presented in this volume were carefully reviewed and selected from 21 submissions. The topics covered include studies and tools to improve road traffic, energy consumption, logistics, frameworks to provide new services and take decisions in a holistic way, driving assistance, electric vehicles, public transport, and surveys on smart city concepts.

Image Analysis

Image Analysis

Author: Puneet Sharma Format: Paperback Release Date: 19/05/2017

The two-volume set LNCS 10269 and 10270 constitutes the refereed proceedings of the 20th Scandinavian Conference on Image Analysis, SCIA 2017, held in Tromso, Norway, in June 2017. The 87 revised papers presented were carefully reviewed and selected from 133 submissions. The contributions are structured in topical sections on history of SCIA; motion analysis and 3D vision; pattern detection and recognition; machine learning; image processing and applications; feature extraction and segmentation; remote sensing; medical and biomedical image analysis; faces, gestures and multispectral analysis.

Human-Computer Interaction. Interaction Contexts

Human-Computer Interaction. Interaction Contexts

Author: Masaaki Kurosu Format: Paperback Release Date: 14/05/2017

The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017. The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. They cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers included in this volume cover the following topics: games in HCI; mobile and wearable interaction; HCI, children and learning; and HCI in complex human environments.

Human Interface and the Management of Information: Supporting Learning, Decision-Making and Collaboration 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017,

Human Interface and the Management of Information: Supporting Learning, Decision-Making and Collaboration 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017,

Author: Sakae Yamamoto Format: Paperback Release Date: 18/05/2017

The two-volume set LNCS 10273 and 10274 constitutes the refereed proceedings of the thematic track on Human Interface and the Management of Information, held as part of the 19th HCI International 2017, in Vancouver, BC, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 102 papers presented in these volumes were organized in topical sections as follows: Part I: Visualization Methods and Tools; Information and Interaction Design; Knowledge and Service Management; Multimodal and Embodied Interaction. Part II: Information and Learning; Information in Virtual and Augmented Reality; Recommender and Decision Support Systems; Intelligent Systems; Supporting Collaboration and User Communities; Case Studies.

Virtual, Augmented and Mixed Reality

Virtual, Augmented and Mixed Reality

Author: Stephanie Lackey Format: Paperback Release Date: 15/05/2017

This book constitutes the refereed proceedings of the 9th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2017, held as part of HCI International 2017 in Vancouver, BC, Canada. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 45 papers presented in this volume were organized in topical sections named: developing virtual and augmented environments; interaction techniques in VAMR; VAMR in education and training; virtual worlds and games; user experience in VAMR; and health issues in VR.

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC

Author: Vincent G. Duffy Format: Paperback Release Date: 14/05/2017

The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 75 papers presented in these volumes were organized in topical sections as follows: Part I: anthropometry, ergonomics, design and comfort; human body and motion modelling; smart human-centered service system design; and human-robot interaction. Part II: clinical and health information systems; health and aging; health data analytics and visualization; and design for safety.

Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Pro

Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Pro

Author: Aaron Marcus Format: Paperback Release Date: 15/05/2017

The three-volume set LNCS 10288, 10289, and 10290 constitutes the proceedings of the 6th International Conference on Design, User Experience, and Usability, DUXU 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 168 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this three-volume set. LNCS 10288: The 56 papers included in this volume are organized in topical sections on design thinking and design philosophy; aesthetics and perception in design; user experience evaluation methods and tools; user centered design in the software development lifecycle; DUXU education and training. LNCS 10289: The 56 papers included in this volume are organized in topical sections on persuasive and emotional design; mobile DUXU; designing the playing experience; designing the virtual, augmented and tangible experience; wearables and fashion technology. LNCS 10290: The 56 papers included in this volume are organized in topical sections on information design; understanding the user; DUXU for children and young users; DUXU for art, culture, tourism and environment; DUXU practice and case studies.

Design, User Experience, and Usability: Designing Pleasurable Experiences 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proce

Design, User Experience, and Usability: Designing Pleasurable Experiences 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proce

Author: Aaron Marcus Format: Paperback Release Date: 15/05/2017

The three-volume set LNCS 10288, 10289, and 10290 constitutes the proceedings of the 6th International Conference on Design, User Experience, and Usability, DUXU 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, jointly with 14 other thematically similar conferences. The total of 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 168 contributions included in the DUXU proceedings were carefully reviewed and selected for inclusion in this three-volume set. LNCS 10288: The 56 papers included in this volume are organized in topical sections on design thinking and design philosophy; aesthetics and perception in design; user experience evaluation methods and tools; user centered design in the software development lifecycle; DUXU education and training. LNCS 10289: The 56 papers included in this volume are organized in topical sections on persuasive and emotional design; mobile DUXU; designing the playing experience; designing the virtual, augmented and tangible experience; wearables and fashion technology. LNCS 10290: The 56 papers included in this volume are organized in topical sections on information design; understanding the user; DUXU for children and young users; DUXU for art, culture, tourism and environment; DUXU practice and case studies.

HCI in Business, Government and Organizations. Interacting with Information Systems 4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14,

HCI in Business, Government and Organizations. Interacting with Information Systems 4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14,

Author: Fiona Fui-Hoon Nah Format: Paperback Release Date: 13/05/2017

This 2-volume set constitutes the refereed proceedings of the 4th International Conference on HCI in Business, Government and Organizations, HCIBGO 2017, held as part of the 19 International Conference on Human-Computer Interaction , HCII 2017, which took place in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 31 papers presented in this volume, focusing on interacting with information systems, are organized in topical sections named: human-centered design in information systems; information systems in healthcare, learning, cultural heritage and government; novel interaction devices and techniques;

Learning and Collaboration Technologies. Novel Learning Ecosystems 4th International Conference, LCT 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings,

Learning and Collaboration Technologies. Novel Learning Ecosystems 4th International Conference, LCT 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings,

Author: Panayiotis Zaphiris Format: Paperback Release Date: 09/06/2017

The two-volume set LNCS 10295 and 10296 constitute the refereed proceedings of the 4th International Conference on Learning and Collaboration Technologies, LCT 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, in July 2017, in conjunction with 15 thematically similar conferences. The 1228 papers presented at the HCII 2017 conferences were carefully reviewed and selected from 4340 submissions. The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers included in this volume are organized in the following topical sections: multimodal and natural interaction for learning; learning and teaching ecosystems; e-learning, social media and MOOCs; beyond the classroom; and games and gamification for learning.

Human Aspects of IT for the Aged Population. Aging, Design and User Experience Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017

Human Aspects of IT for the Aged Population. Aging, Design and User Experience Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017

Author: Jia Zhou Format: Paperback Release Date: 15/05/2017

The two-volume set LNCS 10297 + 10298 constitutes the refereed proceedings of the Third International Conference on Human Aspects of IT for the Aged Population, ITAP 2017, held as part of HCI International 2017 in Vancouver, BC, Canada. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The 83 papers presented in the two volumes of ITAP 2017 were organized in topical sections as follows: Part I: aging and technology acceptance; user-centred design for the elderly; product design for the elderly; aging and user experience; digital literacy and training. Part II: mobile and wearable interaction for the elderly; aging and social media; silver and intergenerational gaming; health care and assistive technologies and services for the elderly; aging and learning, working and leisure.

Networked Systems

Networked Systems

Author: Amr El Abbadi Format: Paperback Release Date: 14/05/2017

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017. The 28 full and 6 short papers presented together with 3 keynotes were carefully reviewed and selected from 81 submissions. They are organized around the following topics: networking; distributed algorithms; atomicity; security and privacy; software engineering; concurrency and specifications; policies; agreement and consensus; clustering based techniques; verification; communication.

Reversible Computation

Reversible Computation

Author: Iain Phillips Format: Paperback Release Date: 25/05/2017

This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017. The 13 full and 5 short papers included in this volume together with one invited paper were carefully reviewed and selected from 47 submissions. The papers are organized in the following topical sections: foundations; reversible circuit synthesis; reversible circuit optimization; testing and fault tolerance; and quantum circuits.

Advances in Computational Intelligence

Advances in Computational Intelligence

Author: Ignacio Rojas Format: Paperback Release Date: 18/05/2017

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. The 126 revised full papers presented in this double volume were carefully reviewed and selected from 199 submissions. The papers are organized in topical sections on Bio-inspired Computing; E-Health and Computational Biology; Human Computer Interaction; Image and Signal Processing; Mathematics for Neural Networks; Self-organizing Networks; Spiking Neurons; Artificial Neural Networks in Industry ANNI'17; Computational Intelligence Tools and Techniques for Biomedical Applications; Assistive Rehabilitation Technology; Computational Intelligence Methods for Time Series; Machine Learning Applied to Vision and Robotics; Human Activity Recognition for Health and Well-Being Applications; Software Testing and Intelligent Systems; Real World Applications of BCI Systems; Machine Learning in Imbalanced Domains; Surveillance and Rescue Systems and Algorithms for Unmanned Aerial Vehicles; End-User Development for Social Robotics; Artificial Intelligence and Games; and Supervised, Non-Supervised, Reinforcement and Statistical Algorithms.

Blended Learning. New Challenges and Innovative Practices

Blended Learning. New Challenges and Innovative Practices

Author: Simon K.S. Cheung Format: Paperback Release Date: 27/05/2017

This book constitutes the refereed proceedings of the 10th International Conference on Blended Learning, ICBL 2017, held in Hong Kong, China, in June 2017. The 42 papers presented were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections named: Keynotes; Experiences in Blended Learning; Strategies in Blended Learning; Assessment for Blended Learning; Computer-Support Collaborative Learning; Improved Flexibility of Learning Processes; Open Educational Resources; Pedagogical and Psychological Issues.

Graph-Based Representations in Pattern Recognition

Graph-Based Representations in Pattern Recognition

Author: Pasquale Foggia Format: Paperback Release Date: 10/05/2017

This book constitutes the refereed proceedings of the 11th IAPR-TC-15 International Workshop on Graph-Based Representation in Pattern Recognition, GbRPR 2017, held in Anacapri, Italy, in May 2017. The 25 full papers and 2 abstracts of invited papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers discuss research results and applications in the intersection of pattern recognition, image analysis, graph theory, and also the application of graphs to pattern recognition problems in other fields like computational topology, graphic recognition systems and bioinformatics.

Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology

Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology

Author: Raphael C.-W. Phan Format: Paperback Release Date: 14/07/2017

This book constitutes the refereed post-conference proceedings of the Second International Conference on Cryptology and Malicious Security, held in Kuala Lumpur, Malaysia, December 1-2, 2016. The 26 revised full papers, two short papers and two keynotes presented were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on revisiting tradition; different paradigms; cryptofication; malicious cryptography; advances in cryptanalysis; primitives and features; cryptanalysis correspondence.

New Frontiers in Mining Complex Patterns

New Frontiers in Mining Complex Patterns

Author: Annalisa Appice Format: Paperback Release Date: 04/07/2017

This book features a collection of revised and significantly extended versions of the papers accepted for presentation at the 5th International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2016, held in conjunction with ECML-PKDD 2016 in Riva del Garda, Italy, in September 2016. The book is composed of five parts: feature selection and induction; classification prediction; clustering; pattern discovery; applications.

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, Augus

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, Augus

Author: Stephen Cranefield Format: Paperback Release Date: 30/08/2017

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016. The 9 full papers were carefully reviewed and selected from 15 submissions for inclusion in this volume. They cover the following topics: Social Issues: The papers focus on the security of personal data, support for self-care for individuals with chronic conditions, analysis of the risk of information leakage in social networks, and an analysis of issues arising in the design of on-line environments whose participants are human and software. Teams: The papers consider different aspects of team working: what kinds of knowledge sharing best contribute to effective team performance and how to organize a tea m to function effectively in different kinds of scenarios. Rights and Values: The papers examine complementary issues that influence the effective design of normative systems, namely how to detect opportunism so that it may be discouraged, how individuals values influence (collective) decision-making processes and how rights and powers relate to value and conflict resolution in nested organizational structures.

Image Analysis and Recognition

Image Analysis and Recognition

Author: Fakhri Karray Format: Paperback Release Date: 03/06/2017

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Image Analysis and Recognition, ICIAR 2017, held in Montreal, QC, Canada, in July 2017. The 73 revised full papers presented were carefully reviewed and selected from 133 submissions. The papers are organized in the following topical sections: machine learning in image recognition; machine learning for medical image computing; image enhancement and reconstruction; image segmentation; motion and tracking; 3D computer vision; feature extraction; detection and classification; biomedical image analysis; image analysis in ophthalmology; remote sensing; applications.

Language, Data, and Knowledge

Language, Data, and Knowledge

Author: Jorge Gracia Format: Paperback Release Date: 27/05/2017

This book constitutes the proceedings of the First International Conference on Language, Data and Knowledge, LDK 2017, held in Galway, Ireland, in June 2017. The 14 full papers and 19 short papers included in this volume were carefully reviewed and selected from 68 initial submissions. They deal with language data; knowledge graphs; applications in NLP; and use cases in digital humanities, social sciences, and BioNLP.

Financial Cryptography and Data Security

Financial Cryptography and Data Security

Author: Aggelos Kiayias Format: Paperback Release Date: 23/12/2017

This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Conference on Financial Cryptography and Data Security, FC 2017, held in Sliema, Malta, in April 2017. The 30 revised full papers and 5 short papers were carefully selected and reviewed from 132 submissions. The papers are grouped in the following topical sections: Privacy and Identity Management; Privacy and Data Processing; Cryptographic Primitives and API's; Vulnerabilities and Exploits; Blockchain Technology; Security of Internet Protocols; Blind signatures; Searching and Processing Private Data; Secure Channel Protocols; and Privacy in Data Storage and Retrieval.

Augmented Reality, Virtual Reality, and Computer Graphics

Augmented Reality, Virtual Reality, and Computer Graphics

Author: Lucio Tommaso De Paolis Format: Paperback Release Date: 09/06/2017

The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017. The 54 full papers and 24 short papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in the following topical sections: virtual reality; augmented and mixed reality; computer graphics; human-computer interaction; applications of VR/AR in medicine; and applications of VR/AR in cultural heritage.

Detection of Intrusions and Malware, and Vulnerability Assessment

Detection of Intrusions and Malware, and Vulnerability Assessment

Author: Michalis Polychronakis Format: Paperback Release Date: 04/06/2017

This book constitutes the refereed proceedings of the 14th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2017, held in Bonn, Germany, in July 2017. The 18 revised full papers included in this book were carefully reviewed and selected from 67 submissions. They present topics such as enclaves and isolation; malware analysis; cyber-physical systems; detection and protection; code analysis; and web security.

Bioinformatics Research and Applications

Bioinformatics Research and Applications

Author: Zhipeng Cai Format: Paperback Release Date: 31/05/2017

This book constitutes the proceedings of the 13th International Symposium on Bioinformatics Research and Applications, ISBRA 2017, held in Honolulu, HI, USA, in May/June 2017. The 27 full papers presented together with 18 short papers and 24 invited abstracts were carefully reviewed and selected from 131 submissions. They cover topics such as: biomarker discovery; biomedical databases and data integration; biomedical text mining and ortologies; biomolecular imaging; comparative genomics; computational genetic epidemiology; computational proteomics; data mining and visualization; gene expression analysis; genome analysis; high-performance bio-computing; metagenomics; molecular evolution; molecular modelling and simulation; next-generation sequencing data analysis; pattern discovery and classification; population genetics; software tools and applications; structural biology; and systems biology.

Artificial Intelligence in Education

Artificial Intelligence in Education

Author: Elisabeth Andre Format: Paperback Release Date: 23/06/2017

This book constitutes the refereed proceedings of the 18th International Conference on Artificial Intelligence in Education, AIED 2017, held in Wuhan, China, in June/July 2017. The 36 revised full papers presented together with 4 keynotes, 37 poster, presentations, 4 doctoral consortium papers, 5 industry papers, 4 workshop abstracts, and 2 tutorial abstracts were carefully reviewed and selected from 159 submissions. The conference provides opportunities for the cross-fertilization of approaches, techniques and ideas from the many fields that comprise AIED, including computer science, cognitive and learning sciences, education, game design, psychology, sociology, linguistics as well as many domain-specific areas.

Flexible Query Answering Systems

Flexible Query Answering Systems

Author: Henning Christiansen Format: Paperback Release Date: 24/05/2017

This book constitutes the refereed proceedings of the 12th International Conference on Flexible Query Answering Systems, FQAS 2017, held in London, UK, in June 2017. The 21 full papers presented in this book together with 4 short papers were carefully reviewed and selected from 43 submissions. The papers cover the following topics: foundations of flexible querying; recommendation and ranking; technologies for flexible representations and querying; knowledge discovery and information/data retrieval; intuitionistic sets; and generalized net model.

Hybrid Artificial Intelligent Systems

Hybrid Artificial Intelligent Systems

Author: Francisco Javier Martinez de Pison Format: Paperback Release Date: 03/06/2017

This volume constitutes the refereed proceedings of the 12th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2017, held in La Rioja, Spain, in June 2017. The 60 full papers published in this volume were carefully reviewed and selected from 130 submissions. They are organized in the following topical sections: data mining, knowledge discovery and big data; bioinspired models and evolutionary computing; learning algorithms; visual analysis and advanced data processing techniques; data mining applications; and hybrid intelligent applications.

Integration of AI and OR Techniques in Constraint Programming

Integration of AI and OR Techniques in Constraint Programming

Author: Domenico Salvagnin Format: Paperback Release Date: 31/05/2017

This book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2017, held in Padua, Italy, in June 2017. The 32 full papers presented together with 6 abstracts were carefully reviewed and selected from numerous submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.

Communication Systems and Networks

Communication Systems and Networks

Author: Nishanth Sastry Format: Paperback Release Date: 30/09/2017

This book constitutes the refereed post-conference proceedings of the 9th International Conference on Communication Systems and Networks, COMSNETS 2017, held in Bengaluru, India, in January 2017.The 9 invited and 10 selected best papers have been carefully reviewed and selected from 192 submissions. They cover various topics in networking and communications systems.

Information Security and Privacy

Information Security and Privacy

Author: Josef Pieprzyk Format: Paperback Release Date: 31/05/2017

The two volume set LNCS 10342 and 10343 constitutes the refereed Proceedings of the 22nd Australasian Conference on Information Security and Privacy, ACISP 2017, held in Auckland, New Zealand, in July 2017. The 45 revised full papers, 2 keynotes, 8 invited papers and 10 short papers presented in this double volume, were carefully revised and selected from 150 submissions. The papers of Part I (LNCS 10342) are organized in topical sections on public key encryption; attribute-based encryption; identity-based encryption; searchable encryption; cryptanalysis; digital signatures. The papers of Part II (LNCS 10343) are organized in topical sections on symmetric cryptography; software security; network security; malware detection; privacy; authentication; elliptic curve cryptography.

Information Security and Privacy

Information Security and Privacy

Author: Josef Pieprzyk Format: Paperback Release Date: 31/05/2017

The two volume set LNCS 10342 and 10343 constitutes the refereed Proceedings of the 22nd Australasian Conference on Information Security and Privacy, ACISP 2017, held in Auckland, New Zealand, in July 2017. The 45 revised full papers, 2 keynotes, 8 invited papers and 10 short papers presented in this double volume, were carefully revised and selected from 150 submissions. The papers of Part I (LNCS 10342) are organized in topical sections on public key encryption; attribute-based encryption; identity-based encryption; searchable encryption; cryptanalysis; digital signatures. The papers of Part II (LNCS 10343) are organized in topical sections on symmetric cryptography; software security; network security; malware detection; privacy; authentication; elliptic curve cryptography.

Towards Integrative Machine Learning and Knowledge Extraction

Towards Integrative Machine Learning and Knowledge Extraction

Author: Andreas Holzinger Format: Paperback Release Date: 29/10/2017

The BIRS Workshop Advances in Interactive Knowledge Discovery and Data Mining in Complex and Big Data Sets (15w2181), held in July 2015 in Banff, Canada, was dedicated to stimulating a cross-domain integrative machine-learning approach and appraisal of hot topics toward tackling the grand challenge of reaching a level of useful and useable computational intelligence with a focus on real-world problems, such as in the health domain. This encompasses learning from prior data, extracting and discovering knowledge, generalizing the results, fighting the curse of dimensionality, and ultimately disentangling the underlying explanatory factors in complex data, i.e., to make sense of data within the context of the application domain. The workshop aimed to contribute advancements in promising novel areas such as at the intersection of machine learning and topological data analysis. History has shown that most often the overlapping areas at intersections of seemingly disparate fields are key for the stimulation of new insights and further advances. This is particularly true for the extremely broad field of machine learning.

Post-Quantum Cryptography

Post-Quantum Cryptography

Author: Tanja Lange Format: Paperback Release Date: 05/06/2017

This book constitutes the refereed proceedings of the 8th International Workshop on Post-Quantum Cryptography, PQCrypto 2017, held in Utrecht, The Netherlands, in June 2017. The 23 revised full papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on code-based cryptography, isogeny-based cryptography, lattice-based cryptography, multivariate cryptography, quantum algorithms, and security models.

Smart Health

Smart Health

Author: Hsinchun Chen Format: Paperback Release Date: 28/10/2017

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference for Smart Health, ICSH 2017, held in Hong Kong, China,in June 2017.The 18 full papers and 13 short papers presented were carefully reviewed and selectedfrom 38 submissions. They focus on studies on the principles, approaches, models, frameworks, new applications, and effects of using novel information technology to address healthcare problems and improve social welfare.

Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection

Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection

Author: Yves Demazeau Format: Paperback Release Date: 03/06/2017

This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017. The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, and technologies in a number of key application areas, including day life and real world, energy and networks, human and trust, markets and bids, models and tools, negotiation and conversation, scalability and resources.

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France,

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France,

Author: Salem Benferhat Format: Paperback Release Date: 04/06/2017

The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017. The 70 revised full papers presented together with 45 short papers and 3 invited talks were carefully reviewed and selected from 180 submissions. They are organized in topical sections: constraints, planning, and optimization; data mining and machine learning; sensors, signal processing, and data fusion; recommender systems; decision support systems; knowledge representation and reasoning; navigation, control, and autonome agents; sentiment analysis and social media; games, computer vision; and animation; uncertainty management; graphical models: from theory to applications; anomaly detection; agronomy and artificial intelligence; applications of argumentation; intelligent systems in healthcare and mhealth for health outcomes; and innovative applications of textual analysis based on AI.

Foundations of Intelligent Systems

Foundations of Intelligent Systems

Author: Marzena Kryszkiewicz Format: Paperback Release Date: 14/06/2017

This book constitutes the proceedings of the 23rd International Symposium on Foundations of Intelligent Systems, ISMIS 2017, held in Warsaw, Poland, in June 2017. The 56 regular and 15 short papers presented in this volume were carefully reviewed and selected from 118 submissions. The papers include both theoretical and practical aspects of machine learning, data mining methods, deep learning, bioinformatics and health informatics, intelligent information systems, knowledge-based systems, mining temporal, spatial and spatio-temporal data, text and Web mining. In addition, four special sessions were organized; namely, Special Session on Big Data Analytics and Stream Data Mining, Special Session on Granular and Soft Clustering for Data Science, Special Session on Knowledge Discovery with Formal Concept Analysis and Related Formalisms, and Special Session devoted to ISMIS 2017 Data Mining Competition on Trading Based on Recommendations, which was launched as a part of the conference.

Social, Cultural, and Behavioral Modeling

Social, Cultural, and Behavioral Modeling

Author: Dongwon Lee Format: Paperback Release Date: 15/06/2017

This book constitutes the refereed proceedings of the 10th International Conference on Social, Cultural, and Behavioral Modeling & Prediction and Behavior Representation in Modeling and Simulation, SBP-BRiMS 2017, held in Washington, DC, USA, in July 2017.The 16 full papers and 27 short papers presented were carefully reviewed and selected from 79 submissions. Owing to its strong multi-disciplinary heritage, the papers represent a large range of disciplines including computer science, psychology, sociology, communication science, public health, bioinformatics, political science, and organizational science and use numerous types of computational methods such as machine learning, language technology, social network analysis and visualization, agent-based simulation, and statistics. They are organized in the following topical sections: behavioral and social sciences; cyber and intelligence applications; information, systems, and network sciences; and methodology.

Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13

Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13

Author: Daphne Tuncer Format: Paperback Release Date: 17/06/2017

This book is open access under a CC BY 4.0 license. This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, held in Zurich, Switzerland, in July 2017. The 8 full papers presented together with 11 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in the following topical sections: security management; management of cloud environments and services, evaluation and experimental study of rich network services; security, intrusion detection, and configuration; autonomic and self-management solutions; and methods for the protection of infrastructure.

Machine Learning and Data Mining in Pattern Recognition

Machine Learning and Data Mining in Pattern Recognition

Author: Petra Perner Format: Paperback Release Date: 04/07/2017

This book constitutes the refereed proceedings of the 13th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2017, held in New York, NY, USA in July/August 2017.The 31 full papers presented in this book were carefully reviewed and selected from 150 submissions. The topics range from theoretical topics for classification, clustering, association rule and pattern mining to specific data mining methods for the different multi-media data types such as image mining, text mining, video mining, and Web mining.

Data and Applications Security and Privacy XXXI

Data and Applications Security and Privacy XXXI

Author: Giovanni Livraga Format: Paperback Release Date: 22/06/2017

This book constitutes the refereed proceedings of the 31st Annual IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2017, held in Philadelphia, PA, USA, in July 2017. The 21 full papers and 9 short papers presented were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on access control, privacy, cloud security, secure storage in the cloud, secure systems, and security in networks and Web.

Web Engineering

Web Engineering

Author: Jordi Cabot Format: Paperback Release Date: 01/06/2017

This book constitutes the refereed proceedings of the 17th International Conference on Web Engineering, ICWE 2017, held in Rome, Italy, in June 2017. The 20 full research papers and 12 short papers presented together with 6 application papers, 6 demonstration papers, and 6 contributions to the PhD Symposium, were carefully reviewed and selected from 139 submissions. The papers cover research areas such as Web application modeling and engineering, human computation and crowdsourcing applications, Web applications composition and mashup, Social Web applications, Semantic Web applications, Web of Things applications, and big data.

Intelligent Computing Theories and Application

Intelligent Computing Theories and Application

Author: De-Shuang Huang Format: Paperback Release Date: 20/07/2017

This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the refereed proceedings of the 13th International Conference on Intelligent Computing, ICIC 2017, held in Liverpool, UK, in August 2017. The 212 full papers and 20 short papers of the three proceedings volumes were carefully reviewed and selected from 612 submissions. This first volume of the set comprises 71 papers. The papers are organized in topical sections such as Evolutionary Computation and Learning; Neural Networks; Nature Inspired Computing and Optimization; Signal Processing; Pattern Recognition; Biometrics Recognition; Image Processing; Information Security; Virtual Reality and Human-Computer Interaction; Business Intelligence and Multimedia Technology; Genetic Algorithms; Biomedical Informatics Theory and Methods; Particle Swarm Optimization and Niche Technology; Swarm Intelligence and Optimization; Independent Component Analysis; Compressed Sensing and Sparse Coding; Natural Computing; Intelligent Computing in Computer Vision; Computational Intelligence and Security for Image Applications in Social Network; Neural Networks: Theory and Application.

Rules and Reasoning

Rules and Reasoning

Author: Stefania Costantini Format: Paperback Release Date: 14/06/2017

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely RuleML (International Web Rule Symposium) and RR (Web Reasoning and Rule Systems). The 16 regular papers presented together with 2 keynote abstracts were carefully reviewed and selected from 29 submissions. The RR conference series has been a forum for discussion and dissemination of new results on all topics concerning Web Reasoning and Rule Systems, with an emphasis on rule-based approaches and languages. The RuleML conference series has been devoted to disseminating research, applications, languages and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas and industrial applications. Both series of conferences aimed at building bridges between academia and industry in the field of rules and their applications. Therefore, RuleML+RR is expected to become a leading conference for all subjects concerning theoretical advances, novel technologies, and innovative applications about knowledge representation and reasoning with rules. This new joint conference provides a valuable forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. It provides the possibility to present and discuss applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas.

Web and Big Data

Web and Big Data

Author: Lei Chen Format: Paperback Release Date: 03/08/2017

This two -volume set, LNCS 10366 and 10367, constitutes the thoroughly refereed proceedings of the First International Joint Conference, APWeb-WAIM 2017, held in Beijing, China in July 2017. The 44 full papers presented together with 32 short papers and 10 demonstrations papers were carefully reviewed and selected from 240 submissions. The papers are organized around the following topics: spatial data processing and data quality; graph data processing; data mining, privacy and semantic analysis; text and log data management; social networks; data mining and data streams; query processing; topic modeling; machine learning; recommendation systems; distributed data processing and applications; machine learning and optimization.

Security Protocols XXIV

Security Protocols XXIV

Author: Jonathan Anderson Format: Paperback Release Date: 19/07/2017

This book constitutes the thoroughly refereed post-workshop proceedings of the 24 th International Workshop on Securit Protocols, held in Brno, Czech Republic, in April 2016. The 13 thoroughly revised papers presented together with the respective transcripts of discussions have been carefully reviewed. The theme of the workshop was Evolving Security - considering that security protocols evolve with their changing requirements, their changing mechanisms and attackers' changing agendas and capabilities.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Author: Alessandro Antonucci Format: Paperback Release Date: 15/06/2017

This book constitutes the refereed proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, held in Lugano, Switzerland, in July 2017. The 44 revised full papers presented together with 5 abstracts of invited talks were carefully reviewed and selected from 63 submissions and cover topics on analogical reasoning; argumentation; Bayesian networks; belief functions; conditionals; credal sets, credal networks; decision theory, decision making and reasoning under uncertainty; fuzzy sets, fuzzy logic; logics; orthopairs; possibilistic networks; and probabilistic logics, probabilistic reasoning.

Reasoning Web. Semantic Interoperability on the Web

Reasoning Web. Semantic Interoperability on the Web

Author: Giovambattista Ianni Format: Paperback Release Date: 12/06/2017

This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017. In 2017, the theme of the school was Semantic Interoperability on the Web , which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies.

Serviceology for Services

Serviceology for Services

Author: Yoshinori Hara Format: Paperback Release Date: 04/07/2017

This book constitutes the refereed proceedings of the 5th International Conference on Serviceology for Services, held in Vienna, Austria, in July 2017. The 21 full papers and one tutorial paper presented in this volume were carefully reviewed and selected from 75 submissions. The papers are organized around the following topics: human-centered service; customer satisfaction; service innovation and marketing; service design.

Wired/Wireless Internet Communications

Wired/Wireless Internet Communications

Author: Yevgeni Koucheryavy Format: Paperback Release Date: 15/06/2017

This book constitutes the proceedings of the 15th IFIP International Conference on Wired/Wireless Internet Communications, WWIC 2017, held in St. Petersburg, Russia, in June 2017. The 27 papers presented in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections named: network analysis and dimensioning; 5G communications; network design and planning; network protocols; information technology; and circuit design.

Graph Transformation

Graph Transformation

Author: Juan de Lara Format: Paperback Release Date: 22/06/2017

This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven engineering, chemical reactions as well as various applications. They are organized in the following topical sections: foundations; graph language and parsing; analysis and verification; and model transformation and tools.

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Author: Herman Geuvers Format: Paperback Release Date: 29/06/2017

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.

Biomimetic and Biohybrid Systems

Biomimetic and Biohybrid Systems

Author: Michael Mangan Format: Paperback Release Date: 17/07/2017

This book constitutes the proceedings of the 6th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2017, held in Stanford, CA, USA, in July 2017.The 42 full and 19 short papers presented in this volume were carefully reviewed and selected from 63 submissions. The theme of the conference encompasses biomimetic methods for manufacture, repair and recycling inspired by natural processes such as reproduction, digestion, morphogenesis and metamorphosis.

Advances in Swarm Intelligence

Advances in Swarm Intelligence

Author: Ying Tan Format: Paperback Release Date: 26/06/2017

The two-volume set of LNCS 10385 and 10386, constitutes the proceedings of the 8th International Confrence on Advances in Swarm Intelligence, ICSI 2017, held in Fukuoka, Japan, in July/August 2017. The total of 133 papers presented in these volumes was carefully reviewed and selected from 267 submissions. The paper were organized in topical sections as follows: Part I: theories and models of swarm intelligence; novel swarm-based optimization algorithms; particle swarm optimization; applications of particle swarm optimization; ant colony optimization; artificial bee colony algorithms; genetic algorithms; differential evolution; fireworks algorithm; brain storm optimization algorithm; cuckoo searh; and firefly algorithm. Part II: multi-objective optimization; portfolio optimization; community detection; multi-agent systems and swarm robotics; hybrid optimization algorithms and applications; fuzzy and swarm approach; clustering and forecast; classification and detection; planning and routing problems; dialog system applications; robotic control; and other applications.

Advances in Swarm Intelligence

Advances in Swarm Intelligence

Author: Ying Tan Format: Paperback Release Date: 26/06/2017

The two-volume set of LNCS 10385 and 10386, constitutes the proceedings of the 8th International Conference on Advances in Swarm Intelligence, ICSI 2017, held in Fukuoka, Japan, in July/August 2017. The total of 133 papers presented in these volumes was carefully reviewed and selected from 267 submissions. The paper were organized in topical sections as follows: Part I: theories and models of swarm intelligence; novel swarm-based optimization algorithms; particle swarm optimization; applications of particle swarm optimization; ant colony optimization; artificial bee colony algorithms; genetic algorithms; differential evolution; fireworks algorithm; brain storm optimization algorithm; cuckoo searh; and firefly algorithm. Part II: multi-objective optimization; portfolio optimization; community detection; multi-agent systems and swarm robotics; hybrid optimization algorithms and applications; fuzzy and swarm approach; clustering and forecast; classification and detection; planning and routing problems; dialog system applications; robotic control; and other applications.

Data Mining and Big Data

Data Mining and Big Data

Author: Ying Tan Format: Paperback Release Date: 26/06/2017

This book constitutes the refereed proceedings of the Second International Conference on Data Mining and Big Data, DMBD 2017, held in Fukuoka, Japan, in July/August 2017. The 53 papers presented in this volume were carefully reviewed and selected from 96 submissions. They were organized in topical sections named: association analysis; clustering; prediction; classification; schedule and sequence analysis; big data; data analysis; data mining; text mining; deep learning; high performance computing; knowledge base and its framework; and fuzzy control.

Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

Author: Juliette Kennedy Format: Paperback Release Date: 30/06/2017

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation.

Algorithms and Data Structures

Algorithms and Data Structures

Author: Faith Ellen Format: Paperback Release Date: 05/07/2017

This book constitutes the refereed proceedings of the 15th Algorithms and Data Structures Symposium, WADS 2017, held in St. John's, NL, Canada, in July/August 2017. The 49 full papers presented together with 3 abstracts of invited talks were carefully reviewed and selected from 109 submissions. They present original research on the theory and application of algorithms and data structures in many areas, including combinatorics, computational geometry, databases, graphics, and parallel and distributed computing. The WADS Symposium, which alternates with the Scandinavian Symposium and Workshops on Algorithm Theory, SWAT, is intended as a forum for researchers in the area of design and analysis of algorithms and data structures. Papers presenting original research on the theory and application of algorithms and data structures

Information Retrieval

Information Retrieval

Author: Jirong Wen Format: Paperback Release Date: 21/10/2017

This book constitutes the refereed proceedings of the 23rd China Conference on Information Retrieval, CCIR 2017, held in Shanghai, China, in July 2017. The 21 full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections: recommendation; understanding users; NLP for IR; IR and applications; query processing and analysis.

Collaboration and Technology

Collaboration and Technology

Author: Carl Gutwin Format: Paperback Release Date: 09/07/2017

This book constitutes the refereed proceeding of the 23rd International Conference on Collaboration and Technology, CRIWG 2017, held in Saskatoon, Canada, in August 2017. The 14 full papers presented together with 5 work-in-progress papers were carefully reviewed and selected from 33 submissions. The papers focus on collaboration technology design, development, and evaluation. The background research is influenced by a number disciplines, such as computer science, management science, information systems, engineering, psychology, cognitive sciences, and social sciences

Algorithms and Architectures for Parallel Processing

Algorithms and Architectures for Parallel Processing

Author: Shadi Ibrahim Format: Paperback Release Date: 12/08/2017

This book constitutes the proceedings of the 17th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2017, held in Helsinki, Finland, in August 2017. The 25 full papers presented were carefully reviewed and selected from 117 submissions. They cover topics such as parallel and distributed architectures; software systems and programming models; distributed and network-based computing; big data and its applications; parallel and distributed algorithms; applications of parallel and distributed computing; service dependability and security in distributed and parallel systems; service dependability and security in distributed and parallel systems; performance modeling and evaluation.This volume also includes 41 papers of four workshops, namely: the 4th International Workshop on Data, Text, Web, and Social Network Mining (DTWSM 2017), the 5th International Workshop on Parallelism in Bioinformatics (PBio 2017), the First International Workshop on Distributed Autonomous Computing in Smart City (DACSC 2017), and the Second International Workshop on Ultrascale Computing for Early Researchers (UCER 2017).

Automated Deduction - CADE 26

Automated Deduction - CADE 26

Author: Leonardo de Moura Format: Paperback Release Date: 11/07/2017

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

Collaboration Technologies and Social Computing

Collaboration Technologies and Social Computing

Author: Takashi Yoshino Format: Paperback Release Date: 12/07/2017

This book constitutes the refereed proceedings of the 9th International Conference on Collaboration Technologies, CollabTech 2017, held in Saskatoon, SK, Canada, in August 2017. The 10 revised full papers presented in this book together with 6 short papers were carefully reviewed and selected from 37 submissions. The papers focus on topics such as: CSCW system architectures and applications; social computing; crowdsourcing; inter-cultural collaboration; collaborative communication systems; embodied collaboration systems; shared virtual/augmented environments; smart devices for collaboration; computer supported collaborative learning (CSCL); collaborative entertainment systems; computer supported cooperative design (CSCD); and social science studies on collaboration.

Theoretical Computer Science and Discrete Mathematics

Theoretical Computer Science and Discrete Mathematics

Author: S. Arumugam Format: Paperback Release Date: 17/08/2017

This volume constitutes the refereed post-conference proceedings of the International Conference on Theoretical Computer Science and Discrete Mathematics, held in Krishnankoil, India, in December 2016. The 57 revised full papers were carefully reviewed and selected from 210 submissions. The papers cover a broad range of topics such as line graphs and its generalizations, large graphs of given degree and diameter, graphoidal covers, adjacency spectrum, distance spectrum, b-coloring, separation dimension of graphs and hypergraphs, domination in graphs, graph labeling problems, subsequences of words and Parike matrices, lambda-design conjecture, graph algorithms and interference model for wireless sensor networks.

Multi-Agent Based Simulation XVII

Multi-Agent Based Simulation XVII

Author: Luis Gustavo Nardin Format: Paperback Release Date: 04/10/2017

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Multi-Agent-Based Simulation, MABs 2016, held in Singapore, in May 2016. The workshop was held in Conjunction with the 15th International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2016. The 10 revised full papers included in this volume were carefully selected from 15 submissions. The topic of the papers is about modeling and analyzing multi-agent systems and applying agent-based simulation techniques to real-world problems, focusing on the confluence of socio-technical- natural sciences and multi-agents systems with a strong application/empirical vein. Special emphasis is given on exploratory agent-based simulation as a principled way of undertaking scientific research in the social sciences and on using social theories as an inspiration to new frameworks and developments in multi-agent systems.

Advances in Cryptology - CRYPTO 2017

Advances in Cryptology - CRYPTO 2017

Author: Jonathan Katz Format: Paperback Release Date: 02/08/2017

The three volume-set, LNCS 10401, LNCS 10402, and LNCS 10403, constitutes the refereed proceedings of the 37th Annual International Cryptology Conference, CRYPTO 2017, held in Santa Barbara, CA, USA, in August 2017. The 72 revised full papers presented were carefully reviewed and selected from 311 submissions. The papers are organized in the following topical sections: functional encryption; foundations; two-party computation; bitcoin; multiparty computation; award papers; obfuscation; conditional disclosure of secrets; OT and ORAM; quantum; hash functions; lattices; signatures; block ciphers; authenticated encryption; public-key encryption, stream ciphers, lattice crypto; leakage and subversion; symmetric-key crypto, and real-world crypto.

Computational Science and Its Applications - ICCSA 2017

Computational Science and Its Applications - ICCSA 2017

Author: Osvaldo Gervasi Format: Paperback Release Date: 06/07/2017

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.

Computational Science and Its Applications - ICCSA 2017

Computational Science and Its Applications - ICCSA 2017

Author: Osvaldo Gervasi Format: Paperback Release Date: 15/07/2017

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017. The 313 full papers and 12 short papers included in the 6-volume proceedings set were carefully reviewed and selected from 1052 submissions. Apart from the general tracks, ICCSA 2017 included 43 international workshops in various areas of computational sciences, ranging from computational science technologies to specific areas of computational sciences, such as computer graphics and virtual reality. Furthermore, this year ICCSA 2017 hosted the XIV International Workshop On Quantum Reactive Scattering. The program also featured 3 keynote speeches and 4 tutorials.

Machine Learning and Knowledge Extraction

Machine Learning and Knowledge Extraction

Author: Andreas Holzinger Format: Paperback Release Date: 24/08/2017

This book constitutes the refereed proceedings of the IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference for Machine Learning and Knowledge Extraction, CD-MAKE 2017, held in Reggio, Italy, in August/September 2017. The 24 revised full papers presented were carefully reviewed and selected for inclusion in this volume. The papers deal with fundamental questions and theoretical aspects and cover a wide range of topics in the field of machine learning and knowledge extraction. They are organized in the following topical sections: MAKE topology; MAKE smart factory; MAKE privacy; MAKE VIS; MAKE AAL; and MAKE semantics.

Knowledge Science, Engineering and Management

Knowledge Science, Engineering and Management

Author: Gang Li Format: Paperback Release Date: 19/07/2017

This book constitutes the refereed proceedings of the 10th International Conference on Knowledge Science, Engineering and Management, KSEM 2017, held in Melbourne, Australia, in August 2017. The 35 revised full papers and 12 short papers presented were carefully reviewed and selected from 134 submissions. The papers are organized in the following topical sections: text mining and document analysis; formal semantics and fuzzy logic; knowledge management; knowledge integration; knowledge retrieval; recommendation algorithms and systems; knowledge engineering; and knowledge representation and reasoning.

Artificial General Intelligence

Artificial General Intelligence

Author: Tom Everitt Format: Paperback Release Date: 15/07/2017

This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017. The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submissions. They cover topics such as architectures; mathematical foundations; algorithms; safety; understanding; human cognition; and philosophy.

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Author: Alessandro Abate Format: Paperback Release Date: 03/08/2017

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

Computer Analysis of Images and Patterns

Computer Analysis of Images and Patterns

Author: Michael Felsberg Format: Paperback Release Date: 28/07/2017

The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017. The 72 papers presented were carefully reviewed and selected from 144 submissions The papers are organized in the following topical sections: Vision for Robotics; Motion and Tracking; Segmentation; Image/Video Indexing and Retrieval; Shape Representation and Analysis; Biomedical Image Analysis; Biometrics; Machine Learning; Image Restoration; and Poster Sessions.

Computer Aided Verification

Computer Aided Verification

Author: Rupak Majumdar Format: Paperback Release Date: 13/07/2017

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

Electronic Participation

Electronic Participation

Author: Peter Parycek Format: Paperback Release Date: 28/07/2017

This book constitutes the proceedings of the 9th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2017, held in St. Petersburg, Russia, in September 2017.The 11 revised full papers presented in this book were carefully reviewed and selected from 14 submissions. The papers reflect completed multi-disciplinary research ranging from policy analysis and conceptual modeling to programming and visualization of simulation models. They are organized in four topical threads: methodological issues in e-participation; e-participation implementations; policy modeling and policy informatics; critical reflections.

Medical Image Computing and Computer Assisted Intervention MICCAI 2017

Medical Image Computing and Computer Assisted Intervention MICCAI 2017

Author: Maxime Descoteaux Format: Paperback Release Date: 04/09/2017

The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2017, held inQuebec City, Canada, in September 2017. The 255 revised full papers presented were carefully reviewed and selected from 800 submissions in a two-phase review process. The papers have been organized in the following topical sections: Part I: atlas and surface-based techniques; shape and patch-based techniques; registration techniques, functional imaging, connectivity, and brain parcellation; diffusion magnetic resonance imaging (dMRI) and tensor/fiber processing; and image segmentation and modelling. Part II: optical imaging; airway and vessel analysis; motion and cardiac analysis; tumor processing; planning and simulation for medical interventions; interventional imaging and navigation; and medical image computing. Part III: feature extraction and classification techniques; and machine learning in medical image computing.

Medical Image Computing and Computer-Assisted Intervention MICCAI 2017

Medical Image Computing and Computer-Assisted Intervention MICCAI 2017

Author: Maxime Descoteaux Format: Paperback Release Date: 04/09/2017

The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2017, held inQuebec City, Canada, in September 2017. The 255 revised full papers presented were carefully reviewed and selected from 800 submissions in a two-phase review process. The papers have been organized in the following topical sections: Part I: atlas and surface-based techniques; shape and patch-based techniques; registration techniques, functional imaging, connectivity, and brain parcellation; diffusion magnetic resonance imaging (dMRI) and tensor/fiber processing; and image segmentation and modelling. Part II: optical imaging; airway and vessel analysis; motion and cardiac analysis; tumor processing; planning and simulation for medical interventions; interventional imaging and navigation; and medical image computing. Part III: feature extraction and classification techniques; and machine learning in medical image computing.

Medical Image Computing and Computer Assisted Intervention MICCAI 2017

Medical Image Computing and Computer Assisted Intervention MICCAI 2017

Author: Maxime Descoteaux Format: Paperback Release Date: 04/09/2017

The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2017, held inQuebec City, Canada, in September 2017. The 255 revised full papers presented were carefully reviewed and selected from 800 submissions in a two-phase review process. The papers have been organized in the following topical sections: Part I: atlas and surface-based techniques; shape and patch-based techniques; registration techniques, functional imaging, connectivity, and brain parcellation; diffusion magnetic resonance imaging (dMRI) and tensor/fiber processing; and image segmentation and modelling. Part II: optical imaging; airway and vessel analysis; motion and cardiac analysis; tumor processing; planning and simulation for medical interventions; interventional imaging and navigation; and medical image computing. Part III: feature extraction and classification techniques; and machine learning in medical image computing.

Model-Based Safety and Assessment

Model-Based Safety and Assessment

Author: Marco Bozzano Format: Paperback Release Date: 02/08/2017

This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.

Database and Expert Systems Applications

Database and Expert Systems Applications

Author: Djamal Benslimane Format: Paperback Release Date: 01/08/2017

This two volume set LNCS 10438 and LNCS 10439 constitutes the refereed proceedings of the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, August 2017. The 37 revised full papers presented together with 40 short papers were carefully reviewed and selected from 166 submissions. The papers discuss a range of topics including: Semantic Web and Semantics; Graph Matching; Data Modeling, Data Abstraction, and Uncertainty; Preferences and Query Optimization; Data Integration and RDF Matching; Security and Privacy; Web Search; Data Clustering; Top-K and Skyline Queries; Data Mining and Big Data; Service Computing; Continuous and Temporal Data, and Continuous Query Language; Text Processing and Semantic Search; Indexing and Concurrency Control Methods; Data Warehouse and Data Stream Warehouse; Data Mining and Machine Learning; Recommender Systems and Query Recommendation; Graph Algorithms; Semantic Clustering and Data Classification.

Big Data Analytics and Knowledge Discovery

Big Data Analytics and Knowledge Discovery

Author: Ladjel Bellatreche Format: Paperback Release Date: 03/08/2017

This book constitutes the refereed proceedings of the 19th International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2017, held in Lyon, France, in August 2017. The 24 revised full papers and 11 short papers presented were carefully reviewed and selected from 97 submissions. The papers are organized in the following topical sections: new generation data warehouses design; cloud and NoSQL databases; advanced programming paradigms; non-functional requirements satisfaction; machine learning; social media and twitter analysis; sentiment analysis and user influence; knowledge discovery; and data flow management and optimization.

Trust, Privacy and Security in Digital Business

Trust, Privacy and Security in Digital Business

Author: Javier Lopez Format: Paperback Release Date: 27/07/2017

This book constitutes the refereed proceedings of the 14th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2017, held in Lyon, France, in August 2017 in conjunction with DEXA 2017. The 15 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in the following topical sections: Privacy in Mobile Environments; Transparence and Privacy Enhancing Technologies; Security Measures; Cloud - IoT Security and Privacy; Security Awareness and Social Engineering - Policy Languages.

Information Technology in Bio- and Medical Informatics

Information Technology in Bio- and Medical Informatics

Author: Miroslav Bursa Format: Paperback Release Date: 26/07/2017

This book constitutes the refereed proceedings of the 8th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2017, held in Lyon, France, in August 2017. The 3 revised full papers and 6 poster papers presented were carefully reviewed and selected from 15 submissions. The papers address a broad range of topics in applications of information technology to biomedical engineering and medical informatics.

Computer Network Security

Computer Network Security

Author: Jacek Rak Format: Paperback Release Date: 06/08/2017

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, held in Warsaw, Poland, in August 2017. The 12 revised full papers, 13 revised short presentations, and 3 invited papers were carefully reviewed and selected from a total of 40 submissions. The papers are organized in topical sections on Critical Infrastructure Protection and Visualization; Security and Resilience of Network Systems; Adaptive Security; Anti-malware Techniques: Detection, Analysis, Prevention; Security of Emerging Technologies; Applied Cryptography; New Ideas and Paradigms for Security.

Computational Collective Intelligence

Computational Collective Intelligence

Author: Ngoc Thanh Nguyen Format: Paperback Release Date: 07/09/2017

This two-volume set (LNAI 10448 and LNAI 10449) constitutes the refereed proceedings of the 9th International Conference on Collective Intelligence, ICCCI 2017, held in Nicosia, Cyprus, in September 2017. The 117 full papers presented were carefully reviewed and selected from 248 submissions. The conference focuseson the methodology and applications of computational collective intelligence, included: multi-agent systems, knowledge engineering and semantic web, social networks and recommender systems, text processing and information retrieval, data mining methods and applications, sensor networks and internet of things, decision support & control systems, and computer vision techniques.

Cooperative Design, Visualization, and Engineering

Cooperative Design, Visualization, and Engineering

Author: Yuhua Luo Format: Paperback Release Date: 26/08/2017

This book constitutes the refereed proceedings of the 14th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2017, held in Mallorca, Spain, in September 2017. The 31 full papers presented in this book together with 4 short papers were carefully reviewed and selected from 84 submissions. The papers cover a broad range of topics in the field of cooperative visualization; cooperative design; cooperative engineering; basic theories, methods and technologies that support CDVE; and cooperative applications.

Experimental IR Meets Multilinguality, Multimodality, and Interaction

Experimental IR Meets Multilinguality, Multimodality, and Interaction

Author: Gareth J.F. Jones Format: Paperback Release Date: 17/08/2017

This book constitutes the refereed proceedings of the 8th International Conference of the CLEF Initiative, CLEF 2017, held in Dublin, Ireland, in September 2017. The 7 full papers and 9 short papers presented together with 6 best of the labs papers were carefully reviewed and selected from 38 submissions. In addition, this volume contains the results of 10 benchmarking labs reporting their year long activities in overview talks and lab sessions. The papers address all aspects of information access in any modality and language and cover a broad range of topics in the field of multilingual and multimodal information access evaluation.

Speech and Computer

Speech and Computer

Author: Alexey Karpov Format: Paperback Release Date: 15/08/2017

This book constitutes the proceedings of the 19th International Conference on Speech and Computer, SPECOM 2017, held in Hatfield, UK, in September 2017. The 80 papers presented in this volume were carefully reviewed and selected from 150 submissions. The papers present current research in the area of computer speech processing (recognition, synthesis, understanding etc.) and related domains (including signal processing, language and text processing, computational paralinguistics, multi-modal speech processing, human-computer interaction).

Models, Algorithms, Logics and Tools

Models, Algorithms, Logics and Tools

Author: Luca Aceto Format: Paperback Release Date: 25/07/2017

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013. The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.

Intelligent Robotics and Applications

Intelligent Robotics and Applications

Author: Yongan Huang Format: Paperback Release Date: 06/08/2017

The three volume set LNAI 10462, LNAI 10463, and LNAI 10464 constitutes the refereed proceedings of the 10th International Conference on Intelligent Robotics and Applications, ICIRA 2017, held in Wuhan, China, in August 2017. The 235 papers presented in the three volumes were carefully reviewed and selected from 310 submissions. The papers in this first volume of the set are organized in topical sections on soft, micro-nano, bio-inspired robotics; human-machine interaction; swarm robotics; underwater robotics.

Service-Oriented and Cloud Computing

Service-Oriented and Cloud Computing

Author: Flavio De Paoli Format: Paperback Release Date: 01/09/2017

This book constitutes the refereed proceedings of the 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, in September 2017. The 6 short and 10 full papers presented in this volume were carefully reviewed and selected from 37 submissions. The volume also contains one invited talk in full paper length. The contributions were organized in topical sections named: microservices and containers; security; cloud resources; services; internet of things and data streams; and industrial applications of service and cloud computing.

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Author: Alessandro Cimatti Format: Paperback Release Date: 15/08/2017

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles.

Advances in Web-Based Learning - ICWL 2017

Advances in Web-Based Learning - ICWL 2017

Author: Haoran Xie Format: Paperback Release Date: 18/08/2017

This book constitutes the proceedings of the 16th International Conference on Web-Based Learning, ICWL 2017, held in Cape Town, South Africa, in September 2017. The 13 revised full papers presented together with 9 short papers and 3 poster papers were carefully reviewed and selected from 56 submissions. The papers are organized in topical sections on Inquiry-Based Learning and Gamification; Learning Analytics; Social Media and Web 2.0-based Learning Environments; Assessment and Accessibility in Higher Education; Open Educational Resources and Recommender Systems; and Practice and Experience Sharing.

Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

Author: Alexander Romanovsky Format: Paperback Release Date: 12/08/2017

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.

Transactions on Computational Collective Intelligence XXVII

Transactions on Computational Collective Intelligence XXVII

Author: Ngoc Thanh Nguyen Format: Paperback Release Date: 26/11/2017

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This twenty-seventh issue is a special issue with 13 selected papers from the Second Seminar on Quantitative Methods of Group Decision Making.

Computer Vision, Graphics, and Image Processing

Computer Vision, Graphics, and Image Processing

Author: Snehasis Mukherjee Format: Paperback Release Date: 24/10/2017

This book constitutes the refereed conference proceedings of the ICVGIP 2016 Satellite Workshops, WCVA, DAR, and MedImage, held in Guwahati, India, in December 2016. The papers presented are extended versions of the papers of three of the four workshops: Computer Vision Applications, Document Analysis and Recognition and Medical Image Processing. The Computer Vision Application track received 52 submissions and after a rigorous review process, 18 papers were presented. The focus is mainly on industrial applications of computer vision and related technologies. The Document Analysis and Recognition track received 10 submissions from which 7 papers were selected. The MedImage workshops focuses on problems in medical image computing and received 14 papers from which 9 were accepted for presentation in this book.

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Author: Deepak D'Souza Format: Paperback Release Date: 04/10/2017

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

Image Analysis and Processing - ICIAP 2017

Image Analysis and Processing - ICIAP 2017

Author: Sebastiano Battiato Format: Paperback Release Date: 14/10/2017

The two-volume set LNCS 10484 and 10485 constitutes the refereed proceedings of the 19th International Conference on Image Analysis and Processing, ICIAP 2017, held in Catania, Italy, in September 2017. The 138 papers presented were carefully reviewed and selected from 229 submissions. The papers cover both classic and the most recent trends in image processing, computer vision, and pattern recognition, addressing both theoretical and applicative aspects. They are organized in the following topical sections: video analysis and understanding; pattern recognition and machine learning; multiview geometry and 3D computer vision; image analysis, detection and recognition; multimedia; biomedical and assistive technology; information forensics and security; imaging for cultural heritage and archaeology; and imaging solutions for improving the quality of life.

Mobile Web and Intelligent Information Systems

Mobile Web and Intelligent Information Systems

Author: Muhammad Younas Format: Paperback Release Date: 28/07/2017

This book constitutes the refereed proceedings of the 14th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2017, held in Prague, Czech Republic, in August 2017. The 23 full papers together with 4 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The call for papers of the MobiWis 2017 included new and emerging areas such as: mobile web systems, recommender systems, security and authentication, context-awareness, mobile web and advanced applications, cloud and IoT, mobility management, mobile and wireless networks, and mobile web practice and experience.

Theory and Applications of Satisfiability Testing - SAT 2017

Theory and Applications of Satisfiability Testing - SAT 2017

Author: Serge Gaspers Format: Paperback Release Date: 09/08/2017

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.

Coding Theory and Applications

Coding Theory and Applications

Author: Angela I. Barbero Format: Paperback Release Date: 23/08/2017

This book constitutes the refereed proceedings of the 5th International Castle Meeting on Coding Theory and Applications, ICMCTA 2017, held in Vihula, Estonia, in August 2017.The 24 full papers presented were carefully reviewed and selected for inclusion in this volume. The papers cover relevant research areas in modern coding theory, including codes and combinatorial structures, algebraic geometric codes, group codes, convolutional codes, network coding, other applications to communications, and applications of coding theory in cryptography.

Pattern Recognition

Pattern Recognition

Author: Volker Roth Format: Paperback Release Date: 16/08/2017

This book constitutes the refereed proceedings of the 39th German Conference on Pattern Recognition, GCPR 2017, held in Basel, Switzerland, in September 2017.The 33 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on biomedical image processing and analysis; classification and detection; computational photography; image and video processing; machine learning and pattern recognition; mathematical foundations, statistical data analysis and models; motion and segmentation; pose, face and gesture; reconstruction and depth; and tracking.

Interactive Theorem Proving

Interactive Theorem Proving

Author: Mauricio Ayala-Rincon Format: Paperback Release Date: 21/08/2017

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Author: Renate A. Schmidt Format: Paperback Release Date: 31/08/2017

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.

KI 2017: Advances in Artificial Intelligence

KI 2017: Advances in Artificial Intelligence

Author: Gabriele Kern-Isberner Format: Paperback Release Date: 19/09/2017

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017. The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions. The conference cover a range of topics from, e. g., agents, robotics, cognitive sciences, machine learning, planning, knowledge representation, reasoning, and ontologies, with numerous applications in areas like social media, psychology, transportation systems and reflecting the richness and diversity of their field.

Reachability Problems

Reachability Problems

Author: Matthew Hague Format: Paperback Release Date: 25/08/2017

This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions. The aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and to promote the exploration of new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques. Topics of interest include (but are not limited to): reachability for innite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps, and new computational paradigms.

String Processing and Information Retrieval

String Processing and Information Retrieval

Author: Gabriele Fici Format: Paperback Release Date: 06/09/2017

This book constitutes the proceedings of the 24th International Symposium on String Processing and Information Retrieval, SPIRE 2017, held in Palermo, Italy, in September 2017. The 26 papers presented in this volume were carefully reviewed and selected from 71 submissions. They focus on fundamental studies on string processing and information retrieval, as well as on computational biology.

Human-Computer Interaction - INTERACT 2017

Human-Computer Interaction - INTERACT 2017

Author: Regina Bernhaupt Format: Paperback Release Date: 20/09/2017

The four-volume set LNCS 10513-10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017. The total of 68 papers presented in these books was carefully reviewed and selected from 221 submissions. The contributions are organized in topical sections named: Part I: adaptive design and mobile applications; aging and disabilities; assistive technology for blind users; audience engagement; co-design studies; cultural differences and communication technology; design rationale and camera-control. Part II: digital inclusion; games; human perception, cognition and behavior; information on demand, on the move, and gesture interaction; interaction at the workplace; interaction with children. Part III: mediated communication in health; methods and tools for user interface evaluation; multi-touch interaction; new int eraction techniques; personalization and visualization; persuasive technology and rehabilitation; and pointing and target selection.

Human-Computer Interaction - INTERACT 2017

Human-Computer Interaction - INTERACT 2017

Author: Regina Bernhaupt Format: Paperback Release Date: 21/09/2017

The four-volume set LNCS 10513-10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017. The total of 68 papers presented in these books was carefully reviewed and selected from 221 submissions. The contributions are organized in topical sections named: Part I: adaptive design and mobile applications; aging and disabilities; assistive technology for blind users; audience engagement; co-design studies; cultural differences and communication technology; design rationale and camera-control. Part II: digital inclusion; games; human perception, cognition and behavior; information on demand, on the move, and gesture interaction; interaction at the workplace; interaction with children. Part III: mediated communication in health; methods and tools for user interface evaluation; multi-touch interaction; new interact ion techniques; personalization and visualization; persuasive technology and rehabilitation; and pointing and target selection.

Privacy Technologies and Policy

Privacy Technologies and Policy

Author: Erich Schweighofer Format: Paperback Release Date: 11/10/2017

This book constitutes the thoroughly refereed post-conference proceedings of the 5th Annual Privacy Forum, APF 2017, held in Vienna, Austria, in June 2017. The 12 revised full papers were carefully selected from 41 submissions on the basis of significance, novelty, and scientific quality. These selected papers are organized in three different chapters corresponding to the conference sessions. The first chapter, Data Protection Regulation , discusses topics concerning big genetic data, a privacy-preserving European identity ecosystem, the right to be forgotten und the re-use of privacy risk analysis. The second chapter, Neutralisation and Anonymization , discusses neutralisation of threat actors, privacy by design data exchange between CSIRTs, differential privacy and database anonymization. Finally, the third chapter, Privacy Policies in Practice , discusses privacy by design, privacy scores, privacy data management in healthcare and trade-offs between privacy and utility.

Algorithms and Models for the Web Graph

Algorithms and Models for the Web Graph

Author: Anthony Bonato Format: Paperback Release Date: 06/09/2017

This book constitutes the proceedings of the 14th International Workshop Algorithms and Models for the Web Graph, WAW 2017, held in Toronto, ON, Canada, in June 2017. The 7 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers are organized around topics such as graphs that arise from the Web and various user activities on the Web; the development of high Performance algorithms and applications that exploit these graphs; graph-theoretic and algorithmic aspects of related complex networks; social networks, citation networks, biological networks; molecular networks, and other networks arising from the Internet.

Graph-Theoretic Concepts in Computer Science

Graph-Theoretic Concepts in Computer Science

Author: Hans L. Bodlaender Format: Paperback Release Date: 02/11/2017

This book constitutes the revised selected papers of the 43rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2017, held in Eindhoven, The Netherlands, in June 2017. The 31 full papers presented in this volume were carefully reviewed and selected from 71 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic concepts can be applied in various areas of computer science. Another focus is on presenting recent results and on identifying and exploring promising directions of future research.

Mathematics and Computation in Music

Mathematics and Computation in Music

Author: Octavio A. Agustin-Aquino Format: Paperback Release Date: 18/11/2017

This book constitutes the thoroughly refereed proceedings of the 6th International Conference on Mathematics and Computation in Music, MCM 2017, held in Mexico City, Mexico, in June 2017. The 26 full papers and 2 short papers presented were carefully reviewed and selected from 40 submissions. The papers feature research that combines mathematics or computation with music theory, music analysis, composition, and performance. They are organized in topical sections on algebraic models, computer assisted performance, Fourier analysis, Gesture Theory, Graph Theory and Combinatorics, Machine Learning, and Probability and Statistics in Musical Analysis and Composition.

Cryptographic Hardware and Embedded Systems - CHES 2017

Cryptographic Hardware and Embedded Systems - CHES 2017

Author: Wieland Fischer Format: Paperback Release Date: 25/08/2017

This book constitutes the proceedings of the 19th International Conference on Cryptographic Hardware and Embedded Systems, CHES 2017, held in Taipei, Taiwan, in September 2017. The 33 full papers presented in this volume were carefully reviewed and selected from 130 submissions. The annual CHES conference highlights new results in the design and analysis of cryptographic hardware and soft- ware implementations. The workshop builds a valuable bridge between the research and cryptographic engineering communities and attracts participants from industry, academia, and government organizations.

Selected Areas in Cryptography - SAC 2016

Selected Areas in Cryptography - SAC 2016

Author: Roberto Avanzi Format: Paperback Release Date: 21/10/2017

This book contains revised selected papers from the 23rd International Conference on Selected Areas in Cryptography, SAC 2016, held in St. John's, NL, Canada in August 2016. The 28 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 100 submissions. They are organized in the following topical sections: side channels and fault attacks; design and implementation of symmetric cryptography; efficient symmetric primitives; cryptanalysis of symmetric primitives; MACs and PRNGs; lattice-based cryptography; and cryptanalysis of asymmetric primitives.

Testing Software and Systems

Testing Software and Systems

Author: Nina Yevtushenko Format: Paperback Release Date: 15/09/2017

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions. The topics of the volume cover model based testing; test derivation and monitoring; fault localization and system testing including real time systems.

Machine Learning and Knowledge Discovery in Databases

Machine Learning and Knowledge Discovery in Databases

Author: Michelangelo Ceci Format: Paperback Release Date: 10/01/2018

The three volume proceedings LNAI 10534 - 10536 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2017, held in Skopje, Macedonia, in September 2017. The total of 101 regular papers presented in part I and part II was carefully reviewed and selected from 364 submissions; there are 47 papers in the applied data science, nectar and demo track. The contributions were organized in topical sections named as follows: Part I: anomaly detection; computer vision; ensembles and meta learning; feature selection and extraction; kernel methods; learning and optimization, matrix and tensor factorization; networks and graphs; neural networks and deep learning. Part II: pattern and sequence mining; privacy and security; probabilistic models and methods; recommendation; regression; reinforcement learning; subgroup discovery; time series and streams; transfer and multi-task learning; unsupervised and semisupervised learning. Part III: applied data science track; nectar track; and demo track.

Machine Learning and Knowledge Discovery in Databases

Machine Learning and Knowledge Discovery in Databases

Author: Yasemin Altun Format: Paperback Release Date: 30/12/2017

The three volume proceedings LNAI 10534 - 10536 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2017, held in Skopje, Macedonia, in September 2017. The total of 101 regular papers presented in part I and part II was carefully reviewed and selected from 364 submissions; there are 47 papers in the applied data science, nectar and demo track. The contributions were organized in topical sections named as follows: Part I: anomaly detection; computer vision; ensembles and meta learning; feature selection and extraction; kernel methods; learning and optimization, matrix and tensor factorization; networks and graphs; neural networks and deep learning. Part II: pattern and sequence mining; privacy and security; probabilistic models and methods; recommendation; regression; reinforcement learning; subgroup discovery; time series and streams; transfer and multi-task learning; unsupervised and semisupervised learning. Part III: applied data science track; nectar track; and demo track.

Ubiquitous Networking

Ubiquitous Networking

Author: Essaid Sabir Format: Paperback Release Date: 09/11/2017

This book constitutes the refereed proceedings of the Third International Symposium on Ubiquitous Networking, UNet 2017, held in Casablanca, Morocco, in May 2017. The 56 full papers presented in this volume were carefully reviewed and selected from 127 submissions. They were organized in topical sections named: context-awareness and autonomy paradigms; mobile edge networking and virtualization; ubiquitous internet of things: emerging technologies and breakthroughs; and enablers, challenges and applications.

Computational Methods in Systems Biology

Computational Methods in Systems Biology

Author: Jerome Feret Format: Paperback Release Date: 01/09/2017

This book constitutes the refereed proceedings of the 15th International Conference on Computational Methods in Systems Biology, CMSB 2017, held in Darmstadt, Germany, in September 2017. The 15 full papers, 4 tool papers and 4 posters presented together with 1 invited talk were carefully reviewed and selected from 41 regular paper submissions. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verication, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; and computational approaches for synthetic biology.

Security and Trust Management

Security and Trust Management

Author: Giovanni Livraga Format: Paperback Release Date: 14/09/2017

This book constitutes the proceedings of the 13th International Workshop on Security and Trust Management, STM 2017, held in Oslo, Norway, in September 2017, in conjunction with the 22nd European Symposium Research in Computer Security, ESORICS 2017. The 10 full papers and 6 short papers were carefully reviewed and selected from 33 submissions. The focus of the workshop was on the following topics: cryptosystems and applied cryptography; software security and risk management; authorization; security vulnerabilities and protocols; and secure systems.

Computer Assisted and Robotic Endoscopy and Clinical Image-Based Procedures 4th International Workshop, CARE 2017, and 6th International Workshop, CLIP 2017, Held in Conjunction with MICCAI 2017, Queb

Computer Assisted and Robotic Endoscopy and Clinical Image-Based Procedures 4th International Workshop, CARE 2017, and 6th International Workshop, CLIP 2017, Held in Conjunction with MICCAI 2017, Queb

Author: M. Jorge Cardoso Format: Paperback Release Date: 08/09/2017

This book constitutes the refereed joint proceedings of the 4th International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2017, and the 6th International Workshop on Clinical Image-Based Procedures: Translational Research in Medical Imaging, CLIP 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 7 full papers presented at CARE 2017 and the 10 full papers presented at CLIP 2017 were carefully reviewed and selected. The papers deal with interventional and diagnostic endoscopy integrating the latest advances in computer vision, robotics, medical imaging and information processing and the development and evaluation of new translational image-based techniques in the modern hospital.

Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGe

Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGe

Author: M. Jorge Cardoso Format: Paperback Release Date: 09/09/2017

This book constitutes the refereed joint proceedings of the First International Workshop on Graphs in Biomedical Image Analysis, GRAIL 2017, the 6th International Workshop on Mathematical Foundations of Computational Anatomy, MFCA 2017, and the Third International Workshop on Imaging Genetics, MICGen 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 7 full papers presented at GRAIL 2017, the 10 full papers presented at MFCA 2017, and the 5 full papers presented at MICGen 2017 were carefully reviewed and selected. The GRAIL papers cover a wide range of graph based medical image analysis methods and applications, including probabilistic graphical models, neuroimaging using graph representations, machine learning for diagnosis prediction, and shape modeling. The MFCA papers deal with theoretical developments in non-linear image and surface registration in the context of computational anatomy. The MICGen papers cover topics in the field of medical genetics, computational biology and medical imaging.

Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 6th Joint International Workshops, CVII-STENT 2017 and Second Internation

Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 6th Joint International Workshops, CVII-STENT 2017 and Second Internation

Author: M. Jorge Cardoso Format: Paperback Release Date: 08/09/2017

This book constitutes the refereed joint proceedings of the 6th Joint International Workshop on Computing and Visualization for Intravascular Imaging and Computer Assisted Stenting, CVII-STENT 2017, and the Second International Workshop on Large-Scale Annotation of Biomedical Data and Expert Label Synthesis, LABELS 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 6 full papers presented at CVII-STENT 2017 and the 11 full papers presented at LABELS 2017 were carefully reviewed and selected. The CVII-STENT papers feature the state of the art in imaging, treatment, and computer-assisted intervention in the field of endovascular interventions. The LABELS papers present a variety of approaches for dealing with few labels, from transfer learning to crowdsourcing.

Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support Third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction

Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support Third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, Held in Conjunction

Author: M. Jorge Cardoso Format: Paperback Release Date: 09/09/2017

This book constitutes the refereed joint proceedings of the Third International Workshop on Deep Learning in Medical Image Analysis, DLMIA 2017, and the 6th International Workshop on Multimodal Learning for Clinical Decision Support, ML-CDS 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 38 full papers presented at DLMIA 2017 and the 5 full papers presented at ML-CDS 2017 were carefully reviewed and selected. The DLMIA papers focus on the design and use of deep learning methods in medical imaging. The ML-CDS papers discuss new techniques of multimodal mining/retrieval and their use in clinical decision support.

Discovery Science

Discovery Science

Author: Akihiro Yamamoto Format: Paperback Release Date: 16/09/2017

This book constitutes the proceedings of the 20th International Conference on Discovery Science, DS 2017, held in Kyoto, Japan, in October 2017, co-located with the International Conference on Algorithmic Learning Theory, ALT 2017. The 18 revised full papers presented together with 6 short papers and 2 invited talks in this volume were carefully reviewed and selected from 42 submissions. The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, big data analysis as well as their application in various scientific domains. The papers are organized in topical sections on machine learning: online learning, regression, label classification, deep learning, feature selection, recommendation system; and knowledge discovery: recommendation system, community detection, pattern mining, misc.

Intelligence Science and Big Data Engineering

Intelligence Science and Big Data Engineering

Author: Yi Sun Format: Paperback Release Date: 14/09/2017

This book constitutes the proceedings of the 7th International Conference on Intelligence Science and Big Data Engineering, IScIDE 2017, held in Dalian, China, in September 2017.The 48 full papers and 14 short papers presented in this volume were carefully reviewed and selected from 121 submissions. They deal with statistics and learning; deep neural networks; faces and people; objects; classification and clustering; imaging; biomedical signal processing; and recommendation.

Comparative Genomics

Comparative Genomics

Author: Joao Meidanis Format: Paperback Release Date: 22/09/2017

This book constitutes the proceedings of the 15th International Workshop Comparative Genomics, RECOMB-CG 2017, held in Barcelona, Spain, in October 2017. The 16 full papers presented were carefully reviewed and selected from 32 submissions. The papers report original research in all areas of Comparative Genomics.

Scalable Uncertainty Management

Scalable Uncertainty Management

Author: Serafin Moral Format: Paperback Release Date: 14/09/2017

This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017. The 24 full and 6 short papers presented in this volume were carefully reviewed and selected from 35 submissions. The book also contains 3 invited papers. Managing uncertainty and inconsistency has been extensively explored in Artificial Intelligence over a number of years. Now, with the advent of massive amounts of data and knowledge from distributed, heterogeneous, and potentially conflicting sources, there is interest in developing and applying formalisms for uncertainty and inconsistency in systems that need to better manage this data and knowledge. The International Conference on Scalable Uncertainty (SUM) aims to provide a forum for researchers who are working on uncertainty management, in different communities and with different uncertainty models, to meet and exchange ideas.

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 16th China National Conference, CCL 2017, and 5th International Symposium, NLP-NABD 2017, Nanjin

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data 16th China National Conference, CCL 2017, and 5th International Symposium, NLP-NABD 2017, Nanjin

Author: Maosong Sun Format: Paperback Release Date: 07/10/2017

This book constitutes the proceedings of the 16th China National Conference on Computational Linguistics, CCL 2017, and the 5th International Symposium on Natural Language Processing Based on Naturally Annotated Big Data, NLP-NABD 2017, held in Nanjing, China, in October 2017. The 39 full papers presented in this volume were carefully reviewed and selected from 272 submissions. They were organized in topical sections named: Fundamental theory and methods of computational linguistics; Machine translation and multilingual information processing; Knowledge graph and information extraction; Language resource and evaluation; Information retrieval and question answering; Text classification and summarization; Social computing and sentiment analysis; NLP applications; Minority language information processing.

SDL 2017: Model-Driven Engineering for Future Internet

SDL 2017: Model-Driven Engineering for Future Internet

Author: Tibor Csoendes Format: Paperback Release Date: 07/09/2017

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL models; model-driven engineering of database queries; network service design and regression testing; and modeling for Internet of Things (IoT) data processing.

Web Information Systems Engineering - WISE 2017

Web Information Systems Engineering - WISE 2017

Author: Athman Bouguettaya Format: Paperback Release Date: 04/10/2017

The two-volume set LNCS 10569 and LNCS 10570 constitutes the proceedings of the 18th International Conference on Web Information Systems Engineering, WISE 2017, held in Puschino, Russia, in October 2017. The 49 full papers and 24 short papers presented were carefully reviewed and selected from 195 submissions. The papers cover a wide range of topics such as microblog data analysis, social network data analysis, data mining, pattern mining, event detection, cloud computing, query processing, spatial and temporal data, graph theory, crowdsourcing and crowdsensing, web data model, language processing and web protocols, web-based applications, data storage and generator, security and privacy, sentiment analysis, and recommender systems.

Web Information Systems Engineering - WISE 2017

Web Information Systems Engineering - WISE 2017

Author: Athman Bouguettaya Format: Paperback Release Date: 04/10/2017

The two-volume set LNCS 10569 and LNCS 10570 constitutes the proceedings of the 18th International Conference on Web Information Systems Engineering, WISE 2017, held in Puschino, Russia, in October 2017. The 49 full papers and 24 short papers presented were carefully reviewed and selected from 195 submissions. The papers cover a wide range of topics such as microblog data analysis, social network data analysis, data mining, pattern mining, event detection, cloud computing, query processing, spatial and temporal data, graph theory, crowdsourcing and crowdsensing, web data model, language processing and web protocols, web-based applications, data storage and generator, security and privacy, sentiment analysis, and recommender systems.

Modeling Decisions for Artificial Intelligence

Modeling Decisions for Artificial Intelligence

Author: Prof. Vicenc Torra Format: Paperback Release Date: 13/09/2017

This book constitutes the proceedings of the 14th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2017, held in Kitakyushu, Japan, in October 2017.The 18 revised full papers presented together with one invited paper and three abstracts of invited talks were carefully reviewed and selected from 30 submissions. Providing a forum for researchers to discuss models for decision and information fusion (aggregation operators) and their applications to AI, the papers are organized in topical sections on aggregation operators, fuzzy measures and integrals; clustering and classication; data privacy and security; data mining and applications.

Computational Logistics

Computational Logistics

Author: Tolga Bektas Format: Paperback Release Date: 03/10/2017

This book constitutes the refereed proceedings of the 8th InternationalConference on Computational Logistics, ICCL 2017, held in Southampton,UK, in October 2017.The 38 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections entitled: vehicle routing and scheduling; maritime logistics;synchromodal transportation; and transportation, logistics and supply chain planning.

On the Move to Meaningful Internet Systems. OTM 2017 Conferences

On the Move to Meaningful Internet Systems. OTM 2017 Conferences

Author: Herve Panetto Format: Paperback Release Date: 21/10/2017

This double volumes LNCS 10573-10574 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2017, Ontologies, Databases, and Applications of Semantics, ODBASE 2017, and Cloud and Trusted Computing, C&TC, held as part of OTM 2017 in October 2017 in Rhodes, Greece. The 61 full papers presented together with 19 short papers were carefully reviewed and selected from 180 submissions. The OTM program every year covers data and Web semantics, distributed objects, Web services, databases, information systems, enterprise workflow and collaboration, ubiquity, interoperability, mobility, grid and high-performance computing.

The Semantic Web: ESWC 2017 Satellite Events

The Semantic Web: ESWC 2017 Satellite Events

Author: Eva Blomqvist Format: Paperback Release Date: 08/11/2017

This book constitutes the thoroughly refereed post-conference proceedings of the Satellite Events of the 14th European Conference on the Semantic Web, ESWC 2017, held in Portoroz, Slovenia, in May/June2017.The volume contains 8 poster and 24 demonstration papers, selected from 105 submissions. Additionally, this book includes a selection of 13 best workshop papers. The papers cover various aspects of the semantic web.The chapter 'Scholia, Scientometrics and Wikidata' is available open access under a CC BY 4.0 license via link.springer.com.

Network and Parallel Computing

Network and Parallel Computing

Author: Xuanhua Shi Format: Paperback Release Date: 19/09/2017

This book constitutes the proceedings of the 14th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2017, held in Hefei, China, in October 2017.The 9 full papers and 10 short papers presented in this book were carefully reviewed and selected from 88 submissions. The papers cover traditional areas of network and parallel computing including parallel applications, distributed algorithms, software environments, and distributed tools.

Knowledge Graphs and Language Technology

Knowledge Graphs and Language Technology

Author: Marieke van Erp Format: Paperback Release Date: 29/10/2017

This book constitutes the combined refereed proceedings of ISWC Satellite Wor shops KEKIand NLP&DBpedia 2016 which were held in conjunction with ISWC 2016 in Kobe, Japan, inOctober 2016. The 9 papers presented were carefully selected and reviewed from 20submissions. They focus on the use of linguistic linked open data, the linguistic aspectsof DBpedia, the improvement of of DBpedia through NLP applications, on increasing theNLP applications through integrating knowledge from DPpedia.

Cyberspace Safety and Security

Cyberspace Safety and Security

Author: Sheng Wen Format: Paperback Release Date: 24/10/2017

This book constitutes the proceedings of the 9th International Symposium on Cyberspace Safety and Security, CSS 2017, held in Xi'an, China in October 2017. The 31 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 120 submissions. The papers focus on cyberspace safety and security such as authentication, access control, availability, integrity, privacy, confidentiality, dependability and sustainability issues of cyberspace.

Next Generation Computer Animation Techniques

Next Generation Computer Animation Techniques

Author: Jian Chang Format: Paperback Release Date: 01/11/2017

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Next Generation Computer Animation Techniques, AniNex 2017, held in Bournemouth, UK, in June 2017. The workshop was held in conjunction with the 11th International Conference on E-Learning and Games, Edutainment 2017. The 17 full papers presented in this volume were carefully reviewed and selected from 27 submissions. The papers are structured according to the four main themes: simulation and rendering for computer animation; character modeling and dynamics; user centered design and modeling; computer animation systems and virtual reality based applications.

Statistical Language and Speech Processing

Statistical Language and Speech Processing

Author: Nathalie Camelin Format: Paperback Release Date: 04/10/2017

This book constitutes the refereed proceedings of the 5th International Conference on Statistical Language and Speech Processing, SLSP 2017, held in Le Mans, France, in October 2017. The 21 full papers presented were carefully reviewed and selected from 39 submissions. The papers cover topics such as anaphora and conference resolution; authorship identification, plagiarism and spam filtering; computer-aided translation; corpora and language resources; data mining and semanticweb; information extraction; information retrieval; knowledge representation and ontologies; lexicons and dictionaries; machine translation; multimodal technologies; natural language understanding; neural representation of speech and language; opinion mining and sentiment analysis; parsing; part-of-speech tagging; question and answering systems; semantic role labeling; speaker identification and verification; speech and language generation; speech recognition; speech synthesis; speech transcription; speech correction; spoken dialogue systems; term extraction; text categorization; test summarization; user modeling. They are organized in the following sections: language and information extraction; post-processing and applications of automatic transcriptions; speech paralinguistics and synthesis; speech recognition: modeling and resources.

Advances in Intelligent Data Analysis XVI

Advances in Intelligent Data Analysis XVI

Author: Niall Adams Format: Paperback Release Date: 04/10/2017

This book constitutes the conference proceedings of the 16th International Symposium on Intelligent Data Analysis, which was held in October 2017 in London, UK. The 28 full papers presented in this book were carefully reviewed and selected from 66 submissions. The traditional focus of the IDA symposium series is on end-to-end intelligent support for data analysis. IDA solicits papers on all aspects of intelligent data analysis, including papers on intelligent support for modelling and analyzing data from complex, dynamical systems.

Intelligent Data Engineering and Automated Learning - IDEAL 2017

Intelligent Data Engineering and Automated Learning - IDEAL 2017

Author: Hujun Yin Format: Paperback Release Date: 06/10/2017

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2017, held in Guilin, China, in October/November 2017. The 65 full papers presented were carefully reviewed and selected from 110 submissions. These papers provided a sample of latest research outcomes in data engineering and automated learning, from methodologies, frameworks and techniques to applications. In addition to various topics such as evolutionary algorithms, deep learning neural networks, probabilistic modelling, particle swarm intelligence, big data analytics, and applications in image recognition, regression, classification, clustering, medical and biological modelling and prediction, text processing and social media analysis.

The Semantic Web - ISWC 2017

The Semantic Web - ISWC 2017

Author: Claudia d'Amato Format: Paperback Release Date: 04/10/2017

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017. ISWC 2017 is the premier international forum, for the Semantic Web / Linked Data Community. The total of 55 full and 21 short papers presented in this volume were carefully reviewed and selected from 300 submissions. They are organized according to the tracks that were held: Research Track; Resource Track; and In-Use Track.

The Semantic Web - ISWC 2017

The Semantic Web - ISWC 2017

Author: Claudia d'Amato Format: Paperback Release Date: 04/10/2017

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017. ISWC 2017 is the premier international forum, for the Semantic Web / Linked Data Community. The total of 55 full and 21 short papers presented in this volume were carefully reviewed and selected from 300 submissions. They are organized according to the tracks that were held: Research Track; Resource Track; and In-Use Track.

Queueing Theory and Network Applications

Queueing Theory and Network Applications

Author: Wuyi Yue Format: Paperback Release Date: 23/11/2017

This book constitutes the proceedings of the 12th International Conference on Queueing Theory and Network Applications, QTNA 2017, held in Qinhuangdao, China, in August 2017. The 19 full papers included in this volume were carefully reviewed and selected from 65 initial submissions. They deal with queueing models; queueing applications; and network models.

Provable Security

Provable Security

Author: Tatsuaki Okamoto Format: Paperback Release Date: 18/10/2017

This book constitutes the refereed proceedings of the 11th International Conference on Provable Security, ProvSec 2017, held in Xi'an, China, in October 2017. The 24 full papers and 5 short papers presented were carefully reviewed and selected from 76 submissions. The papers are grouped in topical sections on secure cloud storage and computing; digital signature and authentication; authenticated encryption and key exchange; security models; lattice and post-quantum cryptography; public key encryption and signcryption; proxy re-encryption and functional encryption; protocols.

Digital Nations - Smart Cities, Innovation, and Sustainability

Digital Nations - Smart Cities, Innovation, and Sustainability

Author: Arpan Kar Format: Paperback Release Date: 04/10/2017

This book constitutes the refereed conference proceedings of the 16th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2017, held in Delhi, India, in November 2017. The 45 revised full papers presented were carefully reviewed and selected from 92 submissions. They are organized in the following topical sections: Adoption of Smart Services; Assessment of ICT Enabled Smart Initiatives; Analytics for Smart Governance; Social Media and Web 3.0 for Smartness; and Smart Solutions for the Future.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedi

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedi

Author: Alessandro Fantechi Format: Paperback Release Date: 20/10/2017

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.

Transactions on Pattern Languages of Programming IV

Transactions on Pattern Languages of Programming IV

Author: James Noble Format: Paperback Release Date: 22/02/2019

The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The primary focus of this LNCS Transactions subline is on patterns, pattern collections, and pattern languages themselves. The journal also includes reviews, survey articles, criticisms of patterns and pattern languages, as well as other research on patterns and pattern languages. This book, the third volume in the Transactions on Pattern Languages of Programming series, presents five papers that have been through a careful peer review process involving both pattern experts and domain experts. The papers present various pattern languages and a study of applying patterns and represent some of the best work that has been carried out in design patterns and pattern languages of programming over the last few years.

Cloud Computing and Security

Cloud Computing and Security

Author: Xingming Sun Format: Paperback Release Date: 31/10/2017

This two volume set LNCS 10602 and LNCS 10603 constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Cloud Computing and Security, ICCCS 2017, held in Nanjing, China, in June 2017. The 116 full papers and 11 short papers of these volumes were carefully reviewed and selected from 391 submissions. The papers are organized in topical sections such as: information hiding; cloud computing; IOT applications; information security; multimedia applications; optimization and classification.

Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Author: Kim Guldstrand Larsen Format: Paperback Release Date: 17/10/2017

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

Multi-disciplinary Trends in Artificial Intelligence

Multi-disciplinary Trends in Artificial Intelligence

Author: Somnuk Phon-Amnuaisuk Format: Paperback Release Date: 20/10/2017

This book constitutes the refereed conference proceedings of the 11th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2017, held in Gadong, Brunei, in November 2017. The 40 revised full papers presented were carefully reviewed and selected from 82 submissions. They are organized in the following topical sections: knowledge representation and reasoning; data mining and machine learning; deep learning and its applications; document analysis; intelligent information systems; swarm intelligence.

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Author: Zhenhua Duan Format: Paperback Release Date: 14/10/2017

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Electronic Voting

Electronic Voting

Author: Robert Krimmer Format: Paperback Release Date: 06/10/2017

This book constitutes the refereed proceedings of the Second International Joint Conference on Electronic Voting, E-Vote-ID 2017, held in Bregenz, Austria, in October 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 keynote talks. The papers deal with security, usability and technical issues; administrative, legal, political and social issued; and election and practical experiences.

Advanced Concepts for Intelligent Vision Systems

Advanced Concepts for Intelligent Vision Systems

Author: Jacques Blanc-Talon Format: Paperback Release Date: 24/11/2017

This book constitutes the refereed proceedings of the 18th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2017, held in Antwerp, Belgium, in September 2017. The 63 full papers presented in this volume were carefully selected from 134 submissions. They deal with human-computer interaction; classification and recognition; navigation, mapping, robotics, and transports; video processing and retrieval; security, forensics, surveillance; and image processing.

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

Author: Issa Traore Format: Paperback Release Date: 11/10/2017

This book constitutes the refereed proceedings of the First International Conference on Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments, ISDDC 2017, held in Vancouver, BC, Canada, in October 2017.The 12 full papers presented together with 1 short paper were carefully reviewed and selected from 43 submissions. This book also contains 3 keynote talks and 2 tutorials. The contributions included in this proceedings cover many aspects of theory and application of effective and efficient paradigms, approaches, and tools for building, maintaining, and managing secure and dependable systems and infrastructures, such as botnet detection, secure cloud computing and cryptosystems, IoT security, sensor and social network security, behavioral systems and data science, and mobile computing.

PRIMA 2017: Principles and Practice of Multi-Agent Systems

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Author: Bo An Format: Paperback Release Date: 05/10/2017

This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017. The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

Serious Games

Serious Games

Author: Mariano Alcaniz Format: Paperback Release Date: 08/11/2017

This book constitutes the proceedings of the Third Joint International Conference on Serious Games, JCSG 2017, held in Valencia, Spain, in November 2017. This conference bundles the activities of the 8th International Conference on Serious Games Development and Applications, SGDA 2017, and the 7th Conference on Serious Games, GameDays 2017. The total of 23 full papers, 3 short papers, and 4 poster papers was carefully reviewed and selected from 44 submissions. The topics covered by the conference offered participants a valuable platform to discuss and learn about the latest developments, technologies and possibilities in the development and use of serious games with a special focus on how different fields can be combined to achieve the best possible results.

Advances in Cryptology - ASIACRYPT 2017

Advances in Cryptology - ASIACRYPT 2017

Author: Tsuyoshi Takagi Format: Paperback Release Date: 17/11/2017

The three-volume set LNCS 10624, 10625, 10626 constitutes the refereed proceedings of the 23rd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2017, held in Hong Kong, China, in December 2017.The 65 revised full papers were carefully selected from 243 submissions. They are organized in topical sections on Post-Quantum Cryptography; Symmetric Key Cryptanalysis; Lattices; Homomorphic Encryptions; Access Control; Oblivious Protocols; Side Channel Analysis; Pairing-based Protocols; Quantum Algorithms; Elliptic Curves; Block Chains; Multi-Party Protocols; Operating Modes Security Proofs; Cryptographic Protocols; Foundations; Zero-Knowledge Proofs; and Symmetric Key Designs.

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Author: Ofer Strichman Format: Paperback Release Date: 12/11/2017

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

Neural Information Processing

Neural Information Processing

Author: Derong Liu Format: Paperback Release Date: 25/10/2017

The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine Learning, Reinforcement Learning, Big Data Analysis, Deep Learning, Brain-Computer Interface, Computational Finance, Computer Vision, Neurodynamics, Sensory Perception and Decision Making, Computational Intelligence, Neural Data Analysis, Biomedical Engineering, Emotion and Bayesian Networks, Data Mining, Time-Series Analysis, Social Networks, Bioinformatics, Information Security and Social Cognition, Robotics and Control, Pattern Recognition, Neuromorphic Hardware and Speech Processing.

Neural Information Processing

Neural Information Processing

Author: Derong Liu Format: Paperback Release Date: 26/10/2017

The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constituts the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine Learning, Reinforcement Learning, Big Data Analysis, Deep Learning, Brain-Computer Interface, Computational Finance, Computer Vision, Neurodynamics, Sensory Perception and Decision Making, Computational Intelligence, Neural Data Analysis, Biomedical Engineering, Emotion and Bayesian Networks, Data Mining, Time-Series Analysis, Social Networks, Bioinformatics, Information Security and Social Cognition, Robotics and Control, Pattern Recognition, Neuromorphic Hardware and Speech Processing.

Neural Information Processing

Neural Information Processing

Author: Derong Liu Format: Paperback Release Date: 25/10/2017

The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine Learning, Reinforcement Learning, Big Data Analysis, Deep Learning, Brain-Computer Interface, Computational Finance, Computer Vision, Neurodynamics, Sensory Perception and Decision Making, Computational Intelligence, Neural Data Analysis, Biomedical Engineering, Emotion and Bayesian Networks, Data Mining, Time-Series Analysis, Social Networks, Bioinformatics, Information Security and Social Cognition, Robotics and Control, Pattern Recognition, Neuromorphic Hardware and Speech Processing.

Neural Information Processing

Neural Information Processing

Author: Derong Liu Format: Paperback Release Date: 29/10/2017

The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017. The 563 full papers presented were carefully reviewed and selected from 856 submissions. The 6 volumes are organized in topical sections on Machine Learning, Reinforcement Learning, Big Data Analysis, Deep Learning, Brain-Computer Interface, Computational Finance, Computer Vision, Neurodynamics, Sensory Perception and Decision Making, Computational Intelligence, Neural Data Analysis, Biomedical Engineering, Emotion and Bayesian Networks, Data Mining, Time-Series Analysis, Social Networks, Bioinformatics, Information Security and Social Cognition, Robotics and Control, Pattern Recognition, Neuromorphic Hardware and Speech Processing.

Structural Information and Communication Complexity

Structural Information and Communication Complexity

Author: Shantanu Das Format: Paperback Release Date: 31/12/2017

This book constitutes the thoroughly refereed proceedings of the 24th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2017, held in Porquerolles, France, in June 2017. The 21 full papers presented were carefully reviewed and selected from 41 submissions. They are devoted to the study of the interplay between structural knowledge, communications, and computing in decentralized systems of multiple communicating entities. They are organized around the following topics: wireless networks; identifiers and labeling; mobile agents; probabilistic algorithms; computational complexity; dynamic networks.

Autonomous Agents and Multiagent Systems

Autonomous Agents and Multiagent Systems

Author: Gita Sukthankar Format: Paperback Release Date: 26/11/2017

This book features a selection of best papers from 13 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017, held in Sao Paulo, Brazil, in May 2017. The 17 full papers presented in this volume were carefully reviewed and selected for inclusion in this volume. They cover specific topics, both theoretical and applied, in the general area of autonomous agents and multiagent systems.

Autonomous Agents and Multiagent Systems

Autonomous Agents and Multiagent Systems

Author: Gita Sukthankar Format: Paperback Release Date: 26/11/2017

This book compiles the most visionary papers from 10 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017, held in Sao Paulo, Brazil, in May 2017. The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this volume. They deal with novel ideas proposing a change in the way research is currently carried out.

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Author: Phillip James Format: Paperback Release Date: 08/12/2017

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK. The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations of algebraic specification; other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance, validation, and verification areas, broadly falling into three categories: multimedia content analysis; multimedia signal processing and communications; and multimedia applications and services.

Advances in Visual Informatics

Advances in Visual Informatics

Author: Halimah Badioze Zaman Format: Paperback Release Date: 29/10/2017

This book constitutes the refereed proceedings of the 5th International Conference on Advances in Visual Informatics, IVIC 2017, held in Bangi, Malaysia, in November 2017. The keynote and 72 papers presented were carefully reviewed and selected from 130 submissions. The papers are organized in the following topics: Visualization and Data Driven Technology; Engineering and Data Driven Innovation; Data Driven Societal Well-being and Applications; and Data Driven Cyber Security.

Information Retrieval Technology

Information Retrieval Technology

Author: Won-Kyung Sung Format: Paperback Release Date: 09/11/2017

This book constitutes the refereed proceedings of the 13th Information Retrieval Societies Conference, AIRS 2017, held in Jeju, Korea, in November 2017. The 17 full papers presented were carefully reviewed and selected from numerous submissions. The final program of AIRS 2017 is divided in the following tracks: IR Infrastructure and Systems; IR Models and Theories; Personalization and Recommendation; Data Mining for IR; and IR Evaluation.

Conceptual Modeling

Conceptual Modeling

Author: Heinrich C. Mayr Format: Paperback Release Date: 24/10/2017

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017. The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions. This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies.

Social Robotics

Social Robotics

Author: Abderrahmane Kheddar Format: Paperback Release Date: 25/10/2017

This book constitutes the refereed proceedings of the 9th International Conference on Social Robotics, ICSR 2016, held in Tsukuba, Japan, in November 2017.The 74 revised full papers presented were carefully reviewed and selected from 110 submissions. The theme of the 2017 conference is: Embodied Interactive Robots. In addition to the technical sessions, ICSR 2017 included four workshops: 1) Social Robot Intelligence for Social Human-Robot Interaction of Service Robots; 2) Human Safety and Comfort in Human-Robot Interactive Social Environments; 3) Modes of Interaction for Social Robots (MISR 2017): Postures, Gestures and Microinteractions; and 4) Religion in Robotics.