Acquiring knowledge is a life-long process; we constantly need to keep abreast of developments and progress in science and other disciplines. Embracing a scholarship of teaching and learning (SoTL) means practicing constant self-reflection, involving evaluation of the academic career and the ways in which strategies are designed to examine, interpret, and share learning about teaching. This pra…
Software has changed the rules of the game. The world talks about the digitalization in industry and society – how the focus has shifted from producing tangible things towards software and services. This trend started many years ago, but is now affecting every company, whether it’s a software company or not. There are many companies that have already made a digitalization journey – and ma…
This book is open access under a CC BY 4.0 license. This book examines how China can increase the share of natural gas in its energy system. China’s energy strategy has global ramifications and impact, and central to this strategy is the country’s transition from coal to gas. The book presents the culmination of a two-year collaboration between the Development Research Center of the State C…
This open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information and the necessary expertise to use them in a variety of real-world applications. The respective chapters, written by leading researchers, discuss the main techniques and applications, together with the advantages and shortcomings of these tools in comparison to other f…
Sustainability imposes an unprecedented challenge on society and has become the driving force of an urgent search for innovative solutions in all branches of economy. Manufacturing plays a key role in many areas of human living, and it is both part of the problem and of the solution. This book offers an overview of the broad field of research on sustainability in manufacturing with a particula…
Innovations in molecular biology are allowing neuroscientists to study the brain with unprecedented resolution, from the level of single molecules to integrated gene circuits. Chief among these innovations is the CRISPR-Cas genome editing technology, which has the precision and scalability to tackle the complexity of the brain. This Colloque Médecine et Recherche has brought together experts f…
This book discusses both the theory and practical applications of self-correcting data, commonly known as error-correcting codes. The applications included demonstrate the importance of these codes in a wide range of everyday technologies, from smartphones to secure communications and transactions. Written in a readily understandable style, the book presents the authors’ twenty-five years of …
This book summarizes work being undertaken within the collaborative MODAClouds research project, which aims to facilitate interoperability between heterogeneous Cloud platforms and remove the constraints of deployment, portability, and reversibility for end users of Cloud services. Experts involved in the project provide a clear overview of the MODAClouds approach and explain how it operates in…
This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. Their potential is explored in detail, while the limits of engineering a company from a communication-centred perspective are also discussed. After a general introduction and an overview of the book in chapter 1, chapter 2 starts by condensing the industrial challenge…
This book presents extensive information related to the history of IUTAM. The initial chapters focus on IUTAM’s history and selected organizational aspects. Subsequent chapters provide extensive data and statistics, while the closing section showcases photos from all periods of the Union’s history. The history of IUTAM, the International Union on Theoretical and Applied Mechanics, began …
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…