This book constitutes the refereed post-conference proceedings of the First EAI International Conference on Sustainable Energy for Smart Cities, SESC 2029, held as part of the Smart City 360 Degrees Summit event in Braga, Portugal, in December 2019. The 23 revised full papers were carefully reviewed and selected from 38 submissions. They contribute to answer complex societal, technological, and economic problems of emergent smart cities. The papers are organized thematically in tracks, starting with mobile systems, cloud resource management and scheduling, machine learning, telecommunication systems, and network management. The papers are grouped in topical sections on electric mobility; power electronics; intelligent, transportation systems; demand response; energy; smart homes; Internet of Things; monitoring; network communications; power quality; power electronics.

This book constitutes the proceedings of the 16th International Symposium on Applied Reconfigurable Computing, ARC 2020, held in Toledo, Spain, in April 2020. The 18 full papers and 11 poster presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers are organized in the following topical sections: design methods & tools; design space exploration & estimation techniques; high-level synthesis; architectures; applications.

This book constitutes the refereed proceedings of 3 workshops co-located with International Conference for High Performance Computing, Networking, Storage, and Analysis, SC19, held in Denver, CO, USA, in November 2019. The 12 full papers presented in this proceedings feature the outcome of the 6th Annual Workshop on HPC User Support Tools, HUST 2019, International Workshop on Software Engineering for HPC-Enabled Research, SE-HER 2019, and Third Workshop on Interactive High-Performance Computing, WIHPC 2019.

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 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.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2019, held in Palermo, Italy, in October 2019. The 22 full papers and 13 short papers included in the volume were carefully reviewed and selected from 53 submissions. They are organized in the following topical sections: M&S of intelligent systems - AI, R&D and application; future challenges of advanced M&S technology; AxS in context of future warfare and security environment (concepts, applications, training, interoperability, etc.).

This book constitutes the proceedings of the 21st International Conference on Passive and Active Measurement, PAM 2020, which was planned to be held in Eugene, Oregon, USA, in March 2020. Due to the Corona pandemic, the conference was organized as a virtual meeting. The 19 full papers presented in this volume were carefully reviewed and selected from 65 submissions. They were organized in topical sections named: active measurement; security; best practices and conformance; domain names; topology and routing; topology - alias resolution; and Web.

Seit 1995 fuhrt das Standardwerk umfassend in die Konzepte der internationalen Norm fur Programmiersysteme von speicherprogrammierbaren Steuerungen ein. Den Autoren gelingt es, schwierige Inhalte anhand zahlreicher Beispiele, Abbildungen und Tabellen leicht verstandlich darzustellen. Sie klaren zudem Hintergrunde sowie Zusammenhange zu angrenzenden Fachgebieten auf. Die 4. Auflage wurde an den neuesten Stand der Normung angepasst. Geeignet ist das Lehr- und Nachschlagewerk fur Berufseinsteiger und -umsteiger ebenso wie fur Schuler und Studenten."

This book constitutes the refereed proceedings of the 23rd European Conference on Genetic Programming, EuroGP 2020, held as part of Evo*2020, in Seville, Spain, in April 2020, co-located with the Evo*2020 events EvoCOP, EvoMUSART and EvoApplications. The 12 full papers and 6 short papers presented in this book were carefully reviewed and selected from 36 submissions. The papers cover a wide spectrum of topics, including designing GP algorithms for ensemble learning, comparing GP with popular machine learning algorithms, customising GP algorithms for more explainable AI applications to real-world problems.

This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrucken, Germany, in March 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are dealing with scientific aspects of measurement, modelling and evaluation of intelligent systems including computer architectures, communication networks, distributed systems and software, autonomous systems, workflow systems, cyber-physical systems and networks, Internet-of-Things, as well as highly dependable, highly performant and highly secure systems.

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.

This book describes methods and tools that empower information providers to build and maintain knowledge graphs, including those for manual, semi-automatic, and automatic construction; implementation; and validation and verification of semantic annotations and their integration into knowledge graphs. It also presents lifecycle-based approaches for semi-automatic and automatic curation of these graphs, such as approaches for assessment, error correction, and enrichment of knowledge graphs with other static and dynamic resources. Chapter 1 defines knowledge graphs, focusing on the impact of various approaches rather than mathematical precision. Chapter 2 details how knowledge graphs are built, implemented, maintained, and deployed. Chapter 3 then introduces relevant application layers that can be built on top of such knowledge graphs, and explains how inference can be used to define views on such graphs, making it a useful resource for open and service-oriented dialog systems. Chapter 4 discusses applications of knowledge graph technologies for e-tourism and use cases for other verticals. Lastly, Chapter 5 provides a summary and sketches directions for future work. The additional appendix introduces an abstract syntax and semantics for domain specifications that are used to adapt schema.org to specific domains and tasks. To illustrate the practical use of the approaches presented, the book discusses several pilots with a focus on conversational interfaces, describing how to exploit knowledge graphs for e-marketing and e-commerce. It is intended for advanced professionals and researchers requiring a brief introduction to knowledge graphs and their implementation.

This book constitutes the refereed proceedings of the 6th International Conference on Multidisciplinary Social Networks Research, MISNC 2019, held in Wenzhou, China, in August 2019. The 15 full papers presented were carefully reviewed and selected from 37 submissions. The papers deal with the following topics: social network, social network analysis, data engineering, data mining, user behavior.

This book constitutes the refereed proceedings of the 6th International Conference on Data Science, ICDS 2019, held in Ningbo, China, during May 2019. The 64 revised full papers presented were carefully reviewed and selected from 210 submissions. The research papers cover the areas of Advancement of Data Science and Smart City Applications, Theory of Data Science, Data Science of People and Health, Web of Data, Data Science of Trust and Internet of Things.

This book highlights recent advances and emerging technologies that utilize computational intelligence in signal processing, computing, imaging science, artificial intelligence, and their applications. It covers all branches of artificial intelligence and machine learning that are based on computation at some level, e.g. artificial neural networks, evolutionary algorithms, fuzzy systems, and automatic medical identification systems. Exploring recent trends in research and applications, the book offers a valuable resource for professors, researchers, and engineers alike.

This book constitutes the refereed proceedings of the 10th International Symposium on Parallel Architectures, Algorithms and Programming, PAAP 2019, held in Guangzhou, China, in December 2019.The 39 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 121 submissions. The papers deal with research results and development activities in all aspects of parallel architectures, algorithms and programming techniques.

This book constitutes the thoroughly refereed proceedings of the 9th Joint International Semantic Technology Conference, JIST 2019, held in Hangzhou, China, in November 2019.The 12 full papers and 12 short papers presented were carefully reviewed and selected from 70 submissions. The papers present applications of semantic technologies, theoretical results, new algorithms and tools to facilitate the adoption of semantic technologies.

This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in September 2020. The 6 full and 8 short papers presented in this volume were carefully reviewed and selected from 20 submissions. The main event mapped to the main research track which focused on the presentation of cutting-edge research in both the service-oriented and cloud computing areas. In conjunction, an industrial track was also held attempting to bring together academia and industry through showcasing the application of service-oriented and cloud computing research, especially in the form of case studies, in the industry. The chapters 'Identification of Comparison Key Elements and their Relationships for Cloud Service Selection' and 'Technology-Agnostic Declarative Deployment Automation of Cloud Applications' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLi - Dynamic logics for cyber-physical systems: towards contract based design.

This book constitutes the thoroughly refereed proceedings of the Second Ibero-American Congress, ICSC-CITIES 2019, held in Soria, Spain, in October 2019. The 22 full papers presented were carefully reviewed and selected from 98 submissions. The papers focus on Energy Efficiency and Sustainability; Infrastructures, Energy and the Environment; Mobility and Internet of Things; and Governance and Citizenship.

This book constitutes the proceedings of the 8th International Conference on Analysis of Images, Social Networks and Texts, AIST 2019, held in Kazan, Russia, in July 2019.The 24 full papers and 10 short papers were carefully reviewed and selected from 134 submissions (of which 21 papers were rejected without being reviewed). The papers are organized in topical sections on general topics of data analysis; natural language processing; social network analysis; analysis of images and video; optimization problems on graphs and network structures; analysis of dynamic behaviour through event data.

This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.

This book constitutes the refereed post-conference proceedings of the 5th Russian Supercomputing Days, RuSCDays 2019, held in Moscow, Russia, in September 2019. The 60 revised full papers presented were carefully reviewed and selected from 127 submissions. The papers are organized in the following topical sections: parallel algorithms; supercomputer simulation; HPC, BigData, AI: architectures, technologies, tools; and distributed and cloud computing.

The three-volume set of LNCS 11953, 11954, and 11955 constitutes the proceedings of the 26th International Conference on Neural Information Processing, ICONIP 2019, held in Sydney, Australia, in December 2019. The 173 full papers presented were carefully reviewed and selected from 645 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The second volume, LNCS 11954, is organized in topical sections on image processing by neural techniques; learning from incomplete data; model compression and optimisation; neural learning models; neural network applications; and social network computing.

This book constitutes the thoroughly refereed proceedings of the 13th International Conference on Metadata and Semantic Research, MTSR 2019, held in Rome, Italy, in October 2019. The 27 full and 15 short papers presented were carefully reviewed and selected from 96 submissions. The papers are organized in the following tracks: metadata and semantics for digital libraries, information retrieval, big, linked, social and open data; metadata and semantics for agriculture, food, and environment; digital humanities and digital curation; cultural collections and applications; european and national projects; metadata, identifiers and semantics in decentralized applications, blockchains and P2P systems.