This book constitutes the proceedings of the 24th International Conference on Implementation and Application of Automata, CIAA 2019, held in Kosice, Slovakia, in July 2019.The 17 regular papers presented together with 2 invited papers in this book were carefully reviewed and selected from 29 initial submissions. The topics of the papers include complexity of languages and language operations, regular expressions, picture languages, jumping automata, input driven and two-dimensional automata, tree languages and tree transducers, architecture of oritatami systems, intruder deduction problem, context sensitive ash codes, rational relations, and algorithms for manipulating sequence binary decision diagrams

This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful solutions. He initiated many new lines of research through seminal papers that pioneered various fields, starting with the Concurrency Workbench, a model checking toolbox that significantly influenced the research and development of mode based high assurance systems worldwide. The contributions in this volume reflect the breadth and impact of his work. The introductory paper by the volume editors, the 23 full papers and two personal statements relate to Bernhard's research and life. This volume, the talks and the entire B-Day at ISoLA 2018 are a tribute to the first 30 years of Bernhard's passion, impact and vision for many facets of computer science in general and for formal methods in particular. Impact and vision include the many roles that formal methods-supported software development should play in education, in industry and in society.

This book contains the refereed proceedings of the 14th International Conference on Knowledge Management in Organizations, KMO 2019, held in Zamora, Spain, in July 2019. The 46 papers accepted for KMO 2019 were selected from 109 submissions and are organized in topical sections on: knowledge management models and analysis; knowledge transfer and learning; knowledge and service innovation; knowledge creation; knowledge and organization; information systems and information science; data mining and intelligent science; social networks and social aspects of KM; big data and IoT; and new trends in IT.

This book constitutes the refereed proceedings of the 19th International Conference on Innovations for Community Services, I4CS 2019, held in Wolfsburg, Germany, in June 2019. The 16 revised full papers presented in this volume were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on communication systems; teaching and collaboration; smart cities; innovations and digital transformation; data analytics and models; community and quality.

This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.

The six volume set LNCS 11361-11366 constitutes the proceedings of the 14th Asian Conference on Computer Vision, ACCV 2018, held in Perth, Australia, in December 2018. The total of 274 contributions was carefully reviewed and selected from 979 submissions during two rounds of reviewing and improvement. The papers focus on motion and tracking, segmentation and grouping, image-based modeling, dep learning, object recognition object recognition, object detection and categorization, vision and language, video analysis and event recognition, face and gesture analysis, statistical methods and learning, performance evaluation, medical image analysis, document analysis, optimization methods, RGBD and depth camera processing, robotic vision, applications of computer vision.

This book constitutes the refereed proceedings of the 24th Australasian Conference on Information Security and Privacy, ACISP 2019, held in Christchurch, New Zealand, in July 2019. The 32 revised full papers and 8 short papers presented were carefully revised and selected from 129 submissions. The papers present and discuss the latest research, trends, breakthroughs, and challenges in the domain of information security, privacy and cybersecurity on a variety of topics such as encryption; post-quantum security; cryptocurrency related; foundations; system and network security; and symmetric cryptography.

The three-volume set CCIS 1032, CCIS 1033, and CCIS 1034 contains the extended abstracts of the posters presented during the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. The 208 papers presented in these three volumes are organized in topical sections as follows: Part I: design, development and evaluation methods and technique; multimodal Interaction; security and trust; accessibility and universal access; design and user experience case studies. Part II:interacting with games; human robot interaction; AI and machine learning in HCI; physiological measuring; object, motion and activity recognition; virtual and augmented reality; intelligent interactive environments. Part III: new trends in social media; HCI in business; learning technologies; HCI in transport and autonomous driving; HCI for health and well-being.

Deliver Any Service Far More Effectively, Based on What Customers Really Want As service stacks grow more complex, it becomes even tougher to deliver on-demand IT services that meet customers' expectations for speed, consistency, reliability, security, privacy, and value. Layering on new cloud technologies, architectural approaches, or methodologies can aggravate the problem by widening the gap between what delivery teams think they're delivering and what customers actually experience. In Lean DevOps, technical leader Robert Benefield helps you escape this spiral, reverse bad habits, and regain the situational awareness you need to deliver the right services in the right way. Writing for delivery team members and their leaders, Benefield shows how to improve information flow throughout your organization, so you can move toward your customers' target outcomes. He identifies problems arising from traditional approaches to managing teams, debunks excuses often used to prevent progress, and offers realistic recommendations for everything from requirements to incentives. * Understand key dynamics that impact service delivery, and avoid focusing on the wrong issues * Give your delivery teams stronger abilities to learn and improve * Improve team maturity and implement prerequisites for effective use of automation and AI/ML * Optimize key service delivery elements, from instrumentation to queue masters and cycles * Organize and manage workflows more effectively * Handle governance associated with internal controls and external legal/regulatory requirements * Leverage the power of Lean and Mission Command to accelerate innovation, empower subordinates, and drive the outcomes you want

This book constitutes the proceedings of the 11th Mexican Conference on Pattern Recognition, MCPR 2019, held in Queretaro, Mexico, in June 2019. The 40 papers presented in this volume were carefully reviewed and selected from 86 submissions. They were organized in topical sections named: artificial intelligence techniques and recognition; computer vision; industrial and medical applications of pattern recognition; image processing and analysis; pattern recognition techniques; signal processing and analysis; natural language, and processing and recognition.

This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019. The 9 full papers and 8 short papers presented were carefully reviewed and selected from 35 submissions. The papers discuss progress in research around end-user development through, or towards, methods, socio-technical environments, intelligent agents, as well as the most effective end-user programming paradigms for smart environments. Papers and submissions in all categories addressed this specific theme together with topics that have been traditionally covered by the broader themes of end-user development, such as domain specific tools, spreadsheets, educational applications, and end user aspects.

This book constitutes revised selected papers from the 24th Argentine Congress on Computer Science, CACIC 2018, held in Tandil, Argentina, in October 2018. The 26 papers presented in this volume were carefully reviewed and selected from a total of 155 submissions. They were organized in topical sections named: Agents and Systems; Distributed and Parallel Processing; Technology Applied to Education; Graphic Computation, Images and Visualization; Software Engineering; Databases and Data Mining; Hardware Architectures, Networks, and Operating Systems; Innovation in Software Systems; Signal Processing and Real-Time Systems; Computer Security; Innovation in Computer Science Education; and Digital Governance and Smart Cities.

This volume constitutes the proceedings of the 12th International Conference on Cloud Computing, CLOUD 2019, held as part of the Services Conference Federation, SCF 2019, in San Diego, CA, USA, in June 2019. The 24 full papers were carefully reviewed and selected from 53 submissions. CLOUD has been a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art and practice of cloud computing, to identify emerging research topics, and to define the future of cloud computing. All topics regarding cloud computing align with the theme of CLOUD.

This book constitutes the refereed proceedings of the 19th International Conference on Web Engineering, ICWE 2019, held in Daejeon, South Korea, in June 2019. The 26 full research papers and 9 short papers presented were carefully reviewed and selected from 106 submissions. Additionally, two demonstrations, four posters, and four contributions to the PhD symposium as well as five tutorials are included in this volume. The papers cover research areas such as Web mining and knowledge extraction, Web big data and Web data analytics, social Web applications and crowdsourcing, Web user interfaces, Web security and privacy, Web programming, Web services and computing, Semantic Web and linked open data applications, and Web application modeling and engineering.

This book addresses emerging issues resulting from the integration of artificial intelligence systems in our daily lives. It focuses on the cognitive, visual, social and analytical aspects of computing and intelligent technologies, highlighting ways to improve the acceptance, effectiveness, and efficiency of said technologies. Topics such as responsibility, integration and training are discussed throughout. The book also reports on the latest advances in systems engineering, with a focus on societal challenges and next-generation systems and applications for meeting them. The book is based on two AHFE 2019 Affiliated Conferences - on Artificial Intelligence and Social Computing, and on Service, Software, and Systems Engineering -, which were jointly held on July 24-28, 2019, in Washington, DC, USA.

This book contains the refereed proceedings of the 14th International Symposium on Mathematical Morphology, ISMM 2019, held in Saarbrucken, Germany, in July 2019. The 40 revised full papers presented together with one invited talk were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on Theory, Discrete Topology and Tomography, Trees and Hierarchies, Multivariate Morphology, Computational Morphology, Machine Learning, Segmentation, Applications in Engineering, and Applications in (Bio)medical Imaging.

This book offers real-world data science and algorithm design topics linked to systems and software engineering. Furthermore, articles describing unique techniques in data science, algorithm design, and systems and software engineering are featured. This book is the second part of the refereed proceedings of the 6th Computational Methods in Systems and Software 2022 (CoMeSySo 2022). The CoMeSySo 2022 conference, which is being hosted online, is breaking down barriers. CoMeSySo 2022 aims to provide a worldwide venue for debate of the most recent high-quality research findings.

This book constitutes the proceedings of the 5th OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2018. The 14 full papers presented in this book were carefully reviewed and selected for inclusion in this volume. The papers discuss a variety of ideas for extending the OpenSHMEM specification and discuss a variety of concepts, including interesting use of OpenSHMEM in HOOVER - a distributed, flexible, and scalable streaming graph processor and scaling OpenSHMEM to handle massively parallel processor arrays. The papers are organized in the following topical sections: OpenSHMEM library extensions and implementations; OpenSHMEM use and applications; and OpenSHMEM simulators, tools, and benchmarks.

Multiple criteria decision aid (MCDA) methods are illustrated in this book through theoretical and computational techniques utilizing Python. Existing methods are presented in detail with a step by step learning approach. Theoretical background is given for TOPSIS, VIKOR, PROMETHEE, SIR, AHP, goal programming, and their variations. Comprehensive numerical examples are also discussed for each method in conjunction with easy to follow Python code. Extensions to multiple criteria decision making algorithms such as fuzzy number theory and group decision making are introduced and implemented through Python as well. Readers will learn how to implement and use each method based on the problem, the available data, the stakeholders involved, and the various requirements needed. Focusing on the practical aspects of the multiple criteria decision making methodologies, this book is designed for researchers, practitioners and advanced graduate students in the applied mathematics, information systems, operations research and business administration disciplines, as well as other engineers and scientists oriented in interdisciplinary research. Readers will greatly benefit from this book by learning and applying various MCDM/A methods. (Adiel Teixeira de Almeida, CDSID-Center for Decision System and Information Development, Universidade Federal de Pernambuco, Recife, Brazil) Promoting the development and application of multicriteria decision aid is essential to ensure more ethical and sustainable decisions. This book is a great contribution to this objective. It is a perfect blend of theory and practice, providing potential users and researchers with the theoretical bases of some of the best-known methods as well as with the computing tools needed to practice, to compare and to put these methods to use. (Jean-Pierre Brans, Vrije Universiteit Brussel, Brussels, Belgium) This book is intended for researchers, practitioners and students alike in decision support who wish to familiarize themselves quickly and efficiently with multicriteria decision aiding algorithms. The proposed approach is original, as it presents a selection of methods from the theory to the practical implementation in Python, including a detailed example. This will certainly facilitate the learning of these techniques, and contribute to their effective dissemination in applications. (Patrick Meyer, IMT Atlantique, Lab-STICC, Univ. Bretagne Loire, Brest, France)

This book constitutes the proceedings of the First International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2018, held in Barcelona, Spain, in September 2018. The 10 papers presented in this volume were carefully reviewed and selected from 16 submissions. They were organized in two parts: authentication and authorization techniques and violation detection and countermeasures.

The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The first volume, LNCS 11301, is organized in topical sections on deep neural networks, convolutional neural networks, recurrent neural networks, and spiking neural networks.

This book constitutes the refereed proceedings of the 8th International Conference on Software Analysis, Testing, and Evolution, SATE 2018. The conference was co-located with the national Software Application Conference, NASAC 2018, and was held in Shenzhen, Guangdong, in November 2018. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The papers describe results related to software analysis, testing and evolution, including theoretical research, empirical study, new technology, case study and industrial practice.

This book constitutes the refereed post-conference proceedings of the 8th International Conference on Big Data Technologies and Applications, BDTA 2017, held in Gwangju, South Korea, in November 2017. The 15 revised full papers were carefully reviewed and selected from 25 submissions and handle theoretical foundations and practical applications which premise the new generation of data analytics and engineering. The contributions deal with following topics: privacy and security, image processing, context awareness, s/w engineering and e-commerce, social media and health care.

The three-volume set of LNCS 11272, 11273, and 11274 constitutes the refereed proceedings of the 24th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2018, held in Brisbane, Australia, in December 2018. The 65 revised full papers were carefully selected from 234 submissions. They are organized in topical sections on Post-Quantum Cryptanalysis; Encrypted Storage; Symmetric-Key Constructions; Lattice Cryptography; Quantum Symmetric Cryptanalysis; Zero-Knowledge; Public Key and Identity-Based Encryption; Side-Channels; Signatures; Leakage-Resilient Cryptography; Functional/Inner Product/Predicate Encryption; Multi-party Computation; ORQM; Real World Protocols; Secret Sharing; Isogeny Cryptography; and Foundations.

The three-volume set of LNCS 11272, 11273, and 11274 constitutes the refereed proceedings of the 24th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2018, held in Brisbane, Australia, in December 2018. The 65 revised full papers were carefully selected from 234 submissions. They are organized in topical sections on Post-Quantum Cryptanalysis; Encrypted Storage; Symmetric-Key Constructions; Lattice Cryptography; Quantum Symmetric Cryptanalysis; Zero-Knowledge; Public Key and Identity-Based Encryption; Side-Channels; Signatures; Leakage-Resilient Cryptography; Functional/Inner Product/Predicate Encryption; Multi-party Computation; ORQM; Real World Protocols; Secret Sharing; Isogeny Cryptography; and Foundations.