The two-volume set LNCS 12572 and 1273 constitutes the thoroughly refereed proceedings of the 27th International Conference on MultiMedia Modeling, MMM 2021, held in Prague, Czech Republic, in June2021. Of the 211 submitted regular papers, 40 papers were selected for oral presentation and 33 for poster presentation; 16 special session papers were accepted as well as 2 papers for a demo presentation and 17 papers for participation at the Video Browser Showdown 2021. The papers cover topics such as: multimedia indexing; multimedia mining; multimedia abstraction and summarization; multimedia annotation, tagging and recommendation; multimodal analysis for retrieval applications; semantic analysis of multimedia and contextual data; multimedia fusion methods; multimedia hyperlinking; media content browsing and retrieval tools; media representation and algorithms; audio, image, video processing, coding and compression; multimedia sensors and interaction modes; multimedia privacy, security and content protection; multimedia standards and related issues; advances in multimedia networking and streaming; multimedia databases, content delivery and transport; wireless and mobile multimedia networking; multi-camera and multi-view systems; augmented and virtual reality, virtual environments; real-time and interactive multimedia applications; mobile multimedia applications; multimedia web applications; multimedia authoring and personalization; interactive multimedia and interfaces; sensor networks; social and educational multimedia applications; and emerging trends.

This book constitutes the post proceedings of the 28th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2020, held online -due to COVID -19- in Nice, France, in November 2020. The 17 full papers presented were carefully reviewed and selected from 124 submissions. The symposium collected the most relevant papers describing state-of-the-art research in the areas of the performance evaluation of computer systems and networks as well as in related areas.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mobile, Secure and Programmable Networking, held in Paris, France, in October 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 31 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.

This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021. The 10 full papers were carefully reviewed and selected from 21 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings: Foundations and Programming Concepts; Applications of Declarative Languages, and Declarative Approaches to Testing and Debugging. Due to the Corona pandemic PADL 2021 was held as a virtual event.

This volume contains the technical papers presented in the workshops, which took place at the 7th European Conference on Service-Oriented and Cloud Computing, ESOCC 2018, held in Como, Italy, in September 2018:Joint Cloudways and OptiMoCS Workshop; 14th International Workshop on Engineering Service-Oriented Applications and Cloud Services. Additionally the papers from ESOCC 2018 PhD Symposium and ESOCC 2018 EU Projects Track were included in the volume. The 22 full papers were carefully reviewed and selected from 34 submissions. The papers focus on specific topics in service-oriented and cloud computing domains such as limits and/or advantages of existing cloud solutions, future internet technologies, efficient and adaptive deployment and management of service-based applications across multiple clouds, novel cloud service migration practices and solutions, digitization of enterprises in the cloud computing era, federated cloud networking services.

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

For the development of clinical decision support systems based on Bayesian networks, Mario A. Cypko investigates comprehensive expert models of multidisciplinary clinical treatment decisions and solves challenges in their modeling. The presented methods, models and tools are developed in close and intensive cooperation between knowledge engineers and clinicians. In the course of this study, laryngeal cancer serves as an exemplary treatment decision. The reader is guided through a development process and new opportunities for research and development are opened up: in modeling and validation of workflows, guided modeling, semi-automated modeling, advanced Bayesian networks, model-user interaction, inter-institutional modeling and quality management.

This book constitutes refereed proceedings of the First International First International Conference on Big Data, Machine Learning, and Applications, BigDML 2019, held in Silchar, India, in December. The 6 full papers and 3 short papers were carefully reviewed and selected from 152 submissions. The papers present research on such topics as computing methodology; machine learning; artificial intelligence; information systems; security and privacy.

This book constitutes the refereed proceedings of the 19th IFIP TC 14 International Conference on Entertainment Computing, ICEC 2020, which was supposed to take place in Xi'an, China, in November 2020, but it was instead held virtually due to the COVID-19 pandemic. The 21 full papers and 18 short papers presented were carefully reviewed and selected from 72 submissions. They cover a large range of topics in the following thematic areas: games; virtual reality and augmented reality; artificial intelligence; edutainment and art; 3D modeling; and animation.

This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, DAI 2020, held in Nanjing, China, in October 2020. The 9 full papers presented in this book were carefully reviewed and selected from 22 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent systems, distributed learning, computational game theory, etc., to provide a single, high-profile, internationally renowned forum for research in the theory and practice of distributed AI. Due to the Corona pandemic this event was held virtually.

This book constitutes the refereed proceedings of the 15th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, held in Bordeaux, France, in November 2020. The 18 full papers were carefully reviewed and selected from 22 submissions. The selected papers present orig-inal research results in areas related to the physical layer, communication protocols and standards, mobility and traffic models, experimental and field operational testing, and performance analysis.

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions. The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking. Due to the Corona pandemic this event was held virtually.

This book constitutes the joint refereed proceedings of the 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020, and the 13th Conference on Internet of Things and Smart Spaces, ruSMART 2020. The conference was held virtually due to the COVID-19 pandemic.The 79 revised full papers presented were carefully reviewed and selected from 225 submissions. The papers of NEW2AN address various aspects of next-generation data networks, with special attention to advanced wireless networking and applications. In particular, they deal with novel and innovative approaches to performance and efficiency analysis of 5G and beyond systems, employed game-theoretical formulations, advanced queuing theory, and stochastic geometry, while also covering the Internet of Things, cyber security, optics, signal processing, as well as business aspects. ruSMART 2020, provides a forum for academic and industrial researchers to discuss new ideas and trends in the emerging areas.

This book constitutes the refereed proceedings of the 9th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2020, held in Brussels, Belgium, in November 2020. The 24 full papers presented in this book were carefully reviewed and selected from 68 submissions. The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other. Due to the Corona pandemic BIOMA 2020 was held as a virtual event.

This book constitutes the refereed proceedings of the 12th International Conference on Social Robotics, ICSR 2020, held in Golden, CO, USA, in November 2020. The conference was held virtually.The 57 full papers presented were carefully reviewed and selected from 101 submissions. The theme of the 2020 conference is Entertaining Robots. The papers focus on the following topics: human-robot trust and human-robot teaming, robot understanding and following of social and moral norms, physical and interaction design of social robots, verbal and nonverbal robot communication, interactive robot learning, robot motion and proxemics, and robots in domains such as education and healthcare.

This two-volume set of LNCS 12489 and 12490 constitutes the thoroughly refereed conference proceedings of the 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020, held in Guimaraes, Portugal, in November 2020.*The 93 papers presented were carefully reviewed and selected from 134 submissions. These papers provided a timely sample of the latest advances in data engineering and machine learning, from methodologies, frameworks, and algorithms to applications. The core themes of IDEAL 2020 include big data challenges, machine learning, data mining, information retrieval and management, bio-/neuro-informatics, bio-inspiredmodels, agents and hybrid intelligent systems, real-world applications of intelligent techniques and AI. * The conference was held virtually due to the COVID-19 pandemic.

The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC 2020, which was planned to take place in Athens, Greece, during November 2-6, 2020. The conference changed to a virtual format due to the COVID-19 pandemic. The papers included in this volume deal with the latest advances in fundamental research, innovative technology, and applications of the Semantic Web, linked data, knowledge graphs, and knowledge processing on the Web. They were carefully reviewed and selected for inclusion in the proceedings as follows: Part I: Features 38 papers from the research track which were accepted from 170 submissions; Part II: Includes 22 papers from the resources track which were accepted from 71 submissions; and 21 papers in the in-use track, which had a total of 46 submissions.

This book constitutes the refereed proceedings of the Third International Conference on Dynamic Data Driven Application Systems, DDDAS 2020, held in Boston, MA, USA, in October 2020. The 21 full papers and 14 short papers presented in this volume were carefully reviewed and selected from 40 submissions. They cover topics such as: digital twins; environment cognizant adaptive-planning systems; energy systems; materials systems; physics-based systems analysis; imaging methods and systems; and learning systems.

This book constitutes the thoroughly refereed proceedings of the 9th International Congress on Telematics and Computing, WITCOM 2020, held in Puerto Vallarta, Mexico, in November 2020. Due to the COVID-19 pandemic the conference was held online. The 28 full papers and 3 short papers in this volume were carefully reviewed and selected from 79 submissions. The papers are focused on the topics of deep and machine learning, cybersecurity, wireless networks, computer vision, communications, and education applied to different sceneries of study and COVID-19.

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.

The volume LNAI 12228 constitute the refereed proceedings of the 21th Annual Conference "Towards Autonomous Robotics," TAROS 20120, held in Nottingham, UK, in September 2020.*The 30 full papers and 11 short papers presented were carefully reviewed and selected from 63 submissions. The papers present and discuss significant findings and advances in autonomous robotics research and applications. They are organized in the following topical sections: soft and compliant robots; mobile robots; learning, mapping and planning; human-robot interaction; and robotic systems and applications. * The conference was held virtually due to the COVID-19 pandemic.

This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020. The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place. In addition, a total of 333 papers and 144 posters are included in the volumes of the proceedings published after the conference as "Late Breaking Work" (papers and posters). These contributions address the latest research and development efforts in the field and highlight the human aspects of design and use of computing systems.

This book constitutes late breaking papers from the 22nd International Conference on Human-Computer Interaction, HCII 2020, which was held in July 2020. The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place. In addition, a total of 333 papers and 144 posters are included in the volumes of the proceedings published after the conference as "Late Breaking Work" (papers and posters). These contributions address the latest research and development efforts in the field and highlight the human aspects of design and use of computing systems. The 34 late breaking papers presented in this volume were organized in two topical sections named: Virtual, Augmented and Mixed Reality Design and Implementation; and User Experience in Virtual, Augmented and Mixed Reality.

A common charge leveled against the autopoietic perspective is that it does not explain change or, consequently, knowledge creation. This book demonstrates that knowledge creation is not always an ongoing process, as is claimed in many process philosophy and autopoietic research works. The author introduces the idea of recursivity, which represents the explanatory potential for uninterrupted knowledge creation and paves the way for interaction between process (e.g. production) and stability (e.g. structure). The book describes the nature and role of recursivity in detail, especially in terms of how a system's structure and production become media for one another. The book also acknowledges the value of the systems perspective on organizations in management studies, but suggests a different approach to defining systems, one that includes autopoietic elements.