This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The tot…
This book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments. Celebrating the 20th anniversary of ade…
Now more than ever, as a worldwide STEM community, we need to know what pre-collegiate teachers and students explore, learn, and implement in relation to computer science and engineering education. As computer science and engineering education are not always “stand-alone” courses in pre-collegiate schools, how are pre-collegiate teachers and students learning about these topics? How can the…
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed …
This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a compre…
This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016. The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classification and processing; stochastic modelling; p…
This book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a …
This open access brief introduces the basic principles of control theory in a concise self-study guide. It complements the classic texts by emphasizing the simple conceptual unity of the subject. A novice can quickly see how and why the different parts fit together. The concepts build slowly and naturally one after another, until the reader soon has a view of the whole. Each concept is illustra…
This Open Access book analyses the past, present and future of the technical university as a single faculty independent institution. The point of departure is a view of changing academic realities, through which the identity as a technical university is challenged and reconstituted. More specifically, the book connects the development of technical universities to changes in the structure and di…
This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles be integrated into the current transportation system with diverse users and human drivers? Where do automated vehicles fall under current legal frameworks? What risks are associated with automation and how will society respond to these risks? How will the marketplace rea…
What does it mean to be human in a world of technology? What could be the role of religion in responding to the ecological crisis? Should we be concerned about the modification of food, and even of ourselves? Who do we trust to make decisions regarding our common future? What do we use our technology for? These are not questions for experts only. How can the wider public be involved? Do experts…
This book demystifies the models we use to simulate present and future climates, allowing readers to better understand how to use climate model results. In order to predict the future trajectory of the Earth’s climate, climate-system simulation models are necessary. When and how do we trust climate model predictions? The book offers a framework for answering this question. It provides readers…
In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-d…
Get the most out of this foundational reference and improve the productivity of your software teams. This open access book collects the wisdom of the 2017 "Dagstuhl" seminar on productivity in software engineering, a meeting of community leaders, who came together with the goal of rethinking traditional definitions and measures of productivity. The results of their work, Rethinking Productiv…
Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low…
This open access book reports on a pilot project aiming at collecting information on the socio-ecological risks that could arise in the event of an uncontrolled spread of genetically engineered organisms into the environment. The researchers will, for instance, be taking a closer look at genetically engineered oilseed rape, genetically engineered olive flies as well as plants and animals with s…
This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer Interaction, IHCI 2017, held in Evry, France, in December 2017.The 15 papers presented together with three invited papers were carefully reviewed and selected from 25 submissions. The conference is forum for the presentation of technological advances and research results a…
This open access book discusses the energy management for the multi-energy maritime grid, which is the local energy network installed in harbors, ports, ships, ferries, or vessels. The grid consists of generation, storage, and critical loads. It operates either in grid-connected or in islanding modes, under the constraints of both power system and transportation system. With full electrificatio…
This open access textbook is a comprehensive introduction to space syntax method and theory for graduate students and researchers. It provides a step-by-step approach for its application in urban planning and design. This textbook aims to increase the accessibility of the space syntax method for the first time to all graduate students and researchers who are dealing with the built environment, …
This open access book summarizes the results of the collaborative project “GeomInt: Geomechanical integrity of host and barrier rocks - experiment, modeling and analysis of discontinuities” within the Program: Geo Research for Sustainability (GEO: N) of the Federal Ministry of Education and Research (BMBF). The use of geosystems as a source of resources, a storage space, for installing unde…
This Open Access proceedings presents a good overview of the current research landscape of industrial robots. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors i…
This open access book comprises 10 high-level papers on research and innovation within the Flexitranstore Project that were presented at the FLEXITRANSTORE special session organized as part of the 21st International Symposium on High Voltage Engineering. FLEXITRANSTORE (An Integrated Platform for Increased FLEXIbility in smart TRANSmission grids with STORage Entities and large penetration of…
This volume contains the papers presented a t POST 2019, the 8th Conference on Principles of Security and Trust, held April 11, 2019, in Prague, Czech Republic, as part of ETAPS. Principles of Security and Trust is a broad forum related to all theoretical and foundational aspects of security and trust, and thus welcomes papers of many kinds: new theoretical results, practical applications of ex…
This volume contains the papers presented at the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), which took place in Prague during April 8– 11, 2019 . The conference is dedicated to foundational research with a clear significance for software science. It brings together research on theories and methods to support the analysis, integration…
This open access book summarizes research being pursued within the Manutelligence project, the goal of which is to help enterprises develop smart, social and flexible products with high value added services. Manutelligence has improved Product and Service Design by developing suitable models and methods, and connecting them through a modular, collaborative and secure ICT Platform. The use of re…
It is common for us today to associate the practice of science primarily with the act of seeing—with staring at computer screens, analyzing graphs, and presenting images. We may notice that physicians use stethoscopes to listen for disease, that biologists tune into sound recordings to understand birds, or that engineers have created Geiger tellers warning us for radiation through sound. But …
Literature, Science, and Public Policy shows how literature and literary study can help shape public policy concerning controversial scientific issues such as genetic engineering, cloning, GMOs, gene editing, and more. Literature brings unique insights to these issues, dramatizing their full complexity. Its value for public policy is demonstrated by striking examples in chapters that take …
This open access textbook takes the reader step-by-step through the concepts of mechanics in a clear and detailed manner. Mechanics is considered to be the core of physics, where a deep understanding of the concepts is essential in understanding all branches of physics. Many proofs and examples are included to help the reader grasp the fundamentals fully, paving the way to deal with more advanc…
This open access book presents theoretical framework and sample applications of variant construction. The first part includes the components variant logic, variant measurements, and variant maps, while the second part covers sample applications such as variation with functions, variant stream ciphers, quantum interference, classical/quantum random sequences, whole DNA sequences, and multiple-va…
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices u…
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead …
Literature, Science, and Public Policy shows how literature and literary study can help shape public policy concerning controversial scientific issues such as genetic engineering, cloning, GMOs, gene editing, and more. Literature brings unique insights to these issues, dramatizing their full complexity. Its value for public policy is demonstrated by striking examples in chapters that take …
Literature, Science, and Public Policy shows how literature and literary study can help shape public policy concerning controversial scientific issues such as genetic engineering, cloning, GMOs, gene editing, and more. Literature brings unique insights to these issues, dramatizing their full complexity. Its value for public policy is demonstrated by striking examples in chapters that take …
The demand for secure, affordable and clean energy is a priority call to humanity. Challenges associated with conventional energy resources, such as depletion of fossil fuels, high costs and associated greenhouse gas emissions, have stimulated interests in renewable energy resources. For instance, there have been clear gaps and rushed thoughts about replacing fossil-fuel driven engines with ele…
This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of th…
As explored in this open access book, higher education in STEM fields is influenced by many factors, including education research, government and school policies, financial considerations, technology limitations, and acceptance of innovations by faculty and students. In 2018, Drs. Ryoo and Winkelmann explored the opportunities, challenges, and future research initiatives of innovative learning …
This open access book presents the findings of Collaborative Research Center Transregio 40 (TRR40), initiated in July 2008 and funded by the German Research Foundation (DFG). Gathering innovative design concepts for thrust chambers and nozzles, as well as cutting-edge methods of aft-body flow control and propulsion-component cooling, it brings together fundamental research undertaken at univers…
This open access book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, the economic, and the social aspects of this important phenomenon. Together the material presented allows the reader to develop a holistic picture of where the manufacturing industry and the parts of the society that depend on it may be going in the future. Manuf…
The emergence of the Internet of Things (IoT), combined with greater heterogeneity not only online in cloud computing architectures but across the cloud-to-edge continuum, is introducing new challenges for managing applications and infrastructure across this continuum. The scale and complexity is simply so complex that it is no longer realistic for IT teams to manually foresee the potential iss…
This open access book is a compilation of selected papers from 2020 DigitalFUTURES—The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020). The book focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers will e…
This open access textbook, like Rayleigh’s classic Theory of Sound, focuses on experiments and on approximation techniques rather than mathematical rigor. The second edition has benefited from comments and corrections provided by many acousticians, in particular those who have used the first edition in undergraduate and graduate courses. For example, phasor notation has been added to clearly …
This Open Access book brings together authoritative voices in animal and environmental ethics, who address the many different facets of changing human-animal relationships in the Anthropocene. As we are living in complex times, the issue of how to establish meaningful relationships with other animals under Anthropocene conditions needs to be approached from a multitude of angles. This book offe…
The assimilation theory of verbal learning leads to meaningful learning wherein the learning outcomes take the form of concept maps—networks of some selected linguistic expressions and concepts. Concept-map-based education helps avoid rote learning, prepare content for effective on-ground and e-learning, and measure learning outcomes at the course, program, and institutional levels. As a resu…
This open access book offers an initial introduction to programming for scientific and computational applications using the Python programming language. The presentation style is compact and example-based, making it suitable for students and researchers with little or no prior experience in programming. The book uses relevant examples from mathematics and the natural sciences to present prog…
This open access book contains a structured collection of complete solutions of all significant axially symmetric contact problems. It provides solutions for classical profiles such as the sphere, cone or flat cylindrical punch as well as a multitude of other technically relevant shapes, e.g. the truncated cone, the worn sphere, rough profiles, hollow cylinders, etc. Normal, tangential and tors…
Nowadays, the concept of SDGs (Sustainable Development Goals) is starting to replace the concept of MDGs (Millennium Developmental Goals). It is a global goal adopted by all United Nations member states. It emphasizes the idea that the development of every country can only be achieved by balancing other factors such as social, economic, and environmental sustainability. It is already clear how …
This book is about making weather warnings more effective in saving lives, property, infrastructure and livelihoods, but the underlying theme of the book is partnership. The book represents the warning process as a pathway linking observations to weather forecasts to hazard forecasts to socio-economic impact forecasts to warning messages to the protective decision, via a set of five bridges tha…
To entertain an idea is to take it in, pay attention to it, give it breathing room, dwell with it for a time. The practice of entertaining ideas suggests rumination and meditation, inviting us to think of philosophy as a form of hospitality and a kind of mental theatre. In this collection, organized around key words shared by philosophy and performance, the editors suggest that Shakespeare’s …
This open access book presents the proceedings of the 3rd Indo-German Conference on Sustainability in Engineering held at Birla Institute of Technology and Science, Pilani, India, on September 16–17, 2019. Intended to foster the synergies between research and education, the conference is one of the joint activities of the BITS Pilani and TU Braunschweig conducted under the auspices of Indo-Ge…
The technologies currently employed for modeling complex systems, such as aircraft, spacecraft, or infrastructures, are sufficient for system description, but do not allow deriving knowledge about the modeled systems. This work provides the means to describe space systems in a way that allows automating activities such as deriving knowledge about critical parts of the system’s design, evaluat…