Böcker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 21st European Conference on Genetic Programming, EuroGP 2018, held in Parma, Italy, in April 2018, co-located with the Evo* 2018 events, EvoCOP, EvoMUSART, and EvoApplications.The 11 revised full papers presented together with 8 poster papers were carefully reviewed and selected from 36 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 analysis of feature importance for metabolomics, semantic methods, evolution of boolean networks, generation of redundant features, ensembles of GP models, automatic design of grammatical representations, GP and neuroevolution, visual reinforcement learning, evolution of deep neural networks, evolution of graphs, and scheduling in heterogeneous networks.

This book constitutes the refereed conference proceedings of the 21st International Conference on the Applications of Evolutionary Computation, EvoApplications 2018, held in Parma, Italy, in April 2018, collocated with the Evo* 2018 events EuroGP, EvoCOP, and EvoMUSART.The 59 revised full papers presented were carefully reviewed and selected from 84 submissions. EvoApplications 2018 combined research from 14 different domains: business analytics and finance (EvoBAFIN); computational biology (EvoBIO); communication networks and other parallel and distributed systems (EvoCOMNET); complex systems (EvoCOMPLEX); energy-related optimization (EvoENERGY); games and multi-agent systems (EvoGAMES); image analysis, signal processing and pattern recognition (EvoIASP); realworld industrial and commercial environments (EvoINDUSTRY); knowledge incorporation in evolutionary computation (EvoKNOW); continuous parameter optimization (EvoNUM); parallel architectures and distributed infrastructures (EvoPAR); evolutionary robotics (EvoROBOT); nature-inspired algorithms in software engineering and testing (EvoSET); and stochastic and dynamic environments (EvoSTOC).

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

This volume constitutes the proceedings of the 18th Industrial Conference on Adances in Data Mining, ICDM 2018, held in New York, NY, USA, in July 2018. The 24 regular papers presented in this book were carefully reviewed and selected from 146 submissions.

This book constitutes the refereed proceedings of the 32nd Annual IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2018, held in Bergamo, Italy, in July 2018. The 16 full papers and 5 short papers presented were carefully reviewed and selected from 50 submissions.

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018. The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions.

This three-volume set, LNAI 10937, 10938, and 10939, constitutes the thoroughly refereed proceedings of the 22nd Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2018, held in Melbourne, VIC, Australia, in June 2018.

This three-volume set, LNAI 10937, 10938, and 10939, constitutes the thoroughly refereed proceedings of the 22nd Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2018, held in Melbourne, VIC, Australia, in June 2018.

This three-volume set, LNAI 10937, 10938, and 10939, constitutes the thoroughly refereed proceedings of the 22nd Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2018, held in Melbourne, VIC, Australia, in June 2018.

This book constitutes the proceedings of the 15th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2018, held in Delft, The Netherlands, in June 2018.The 47 full papers presented together with 3 abstracts of invited talks and 3 abstracts of fast-track journal papers were carefully reviewed and selected from 111 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.

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions.

This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Image Analysis and Recognition, ICIAR 2018, held in Póvoa de Varzim, Portugal, in June 2018.The 91 full papers presented together with 15 short papers were carefully reviewed and selected from 179 submissions. The papers are organized in the following topical sections: Enhancement, Restoration and Reconstruction, Image Segmentation, Detection, Classication and Recognition, Indexing and Retrieval, Computer Vision, Activity Recognition, Traffic and Surveillance, Applications, Biomedical Image Analysis, Diagnosis and Screening of Ophthalmic Diseases, and Challenge on Breast Cancer Histology Images.

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions.

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions.

This book constitutes the proceedings of the 15th International Workshop on Algorithms and Models for the Web Graph, WAW 2018, held in Moscow, Russia in May 2018. The 11 full papers presented in this volume were carefully reviewed and selected from various submissions.

This book constitutes the thoroughly refereed post-conference proceedings of five international workshops held in the framework of the 8th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2017, in Wuhan, China, in November 2017: Workshop on Human Behavior Analysis;

The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual will replace the former versions as an indispensable working companion for anybody using Ada professionally or learning and studying the language systematically.

The two-volume set LNCS 10893 and 10894 constitutes the refereed proceedings of the 11th International Conference EuroHaptics 2018, held in Pisa, Italy, in June 2018. The 95 papers (40 oral presentations and 554 poster presentations) presented were carefully reviewed and selected from 138 submissions.

The two-volume set LNCS 10893 and 10894 constitutes the refereed proceedings of the 11th International Conference EuroHaptics 2018, held in Pisa, Italy, in June 2018. The 95 papers (40 oral presentations and 554 poster presentations) presented were carefully reviewed and selected from 138 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the 15th International Symposium on Neural Networks, ISNN 2018, held in Minsk, Belarus in June 2018.The 98 revised regular papers presented in this volume were carefully reviewed and selected from 214 submissions.

This book constitutes the proceedings of the 17th International Conference on Unconventional Computation and Natural Computation, UCNC 2018, held in Fontainebleau, France, in June 2018. chaos and dynamical systems based computing; granular, fuzzy and rough computing; cellular, evolutionary, molecular, neural, and quantum computing;

This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces.

This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018.The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).

This book constitutes the refereed proceedings of the 8th International Workshop on Biomedical Image Registration, WBIR 2018, held in Leiden, The Netherlands, in June 2018. The 11 full and poster papers included in this volume were carefully reviewed and selected from 17 submitted papers.

This two-volume set LNCS 10911 and 10912 constitutes the refereed proceedings of the 10th International Conference on Cross-Cultural Design, CCD 2018, held as part of HCI International 2018 in Las Vegas, NV, USA, in July 2018.The total of 1170 papers and 195 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4373 submissions.The 37 regular papers presented in this volume were organized in topical sections named: culture, learning and games; culture and creativity; cross-cultural design for social change and development.

This book constitutes the proceedings of the 10th Mexican Conference on Pattern Recognition, MCPR 2018, held in Puebla, Mexico, in June 2018. The 28 papers presented in this volume were carefully reviewed and selected from 44 submissions. They were organized in topical sections named: pattern recognition principles;

This book contains revised selected papers presented at 4 workshops held at the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, in Mumbai, India, in September 2017. The workshops are: Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes (IFIP WG 13.2 and 13.5), Workshop on Cross Cultural Differences in Designing for Accessibility and Universal Design Organizers (IFIP WG 13.3), Human Work Interaction Design Meets International Development (IFIP WG 13.6), and Beyond Computers: Wearables, Humans, and Things - WHAT! (IFIP WG 13.7).The 15 full papers included in this volume were carefully reviewed and selected from numerous submissions. They show advances in the field of HCI dealing with topics such as human-centered computing, user interface design, evolutionary user interface prototyping, end-user development systems, accessibility design, human work interaction design, and wearables.

This two-volume set LNCS 10904 and 10905 constitutes the refereed proceedings of the 20th International Conference on Human Interface and the Management of Information, HIMI 2018, held as part of HCI International 2018 in Las Vegas, NV, USA, in July 2018.The total of 1170 papers and 195 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4373 submissions.The 53 papers presented in this volume were organized in topical sections named: interacting with information; information and learning; information in aviation and transport; intelligent systems; and sevice management.