Open Access Books - Technology - 2020

Permanent URI for this collection

https://repository.vlu.edu.vn/handle/123456789/5144

Browse

Browsing Open Access Books - Technology - 2020 by Title

  • Publication
    A Primer on Memory Consistency and Cache Coherence
    ( 2020)
    Vijay Nagarajan, Daniel J. Sorin, Mark D. Hill, David A. Wood
    "Many modern computer systems, including homogeneous and heterogeneous architectures, support shared memory in hardware. In a shared memory system, each of the processor cores may read and write to a single shared address space. For a shared memory machine, the memory consistency model defines the architecturally visible behavior of its memory system. Consistency definitions provide rules about loads and stores (or memory reads and writes) and how they act upon memory. As part of supporting a memory consistency model, many machines also provide cache coherence protocols that ensure that multiple cached copies of data are kept up-to-date. The goal of this primer is to provide readers with a basic understanding of consistency and coherence. This understanding includes both the issues that must be solved as well as a variety of solutions. We present both high-level concepts as well as specific, concrete examples from real-world systems. This second edition reflects a decade of advancements since the first edition and includes, among other more modest changes, two new chapters: one on consistency and coherence for non-CPU accelerators (with a focus on GPUs) and one that points to formal work and tools on consistency and coherence." This work is licensed under a
  • Publication
    Advances in Energy System Optimization
    ( 2020)
    Valentin Bertsch, Armin Ardone, Michael Suriyah, Wolf Fichtner, Thomas Leibfried, Vincent Heuveline (editors)
    The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and applied case studies. While most papers have a clear methodological focus, they address policy-relevant questions at the same time. The target audience therefore includes academics and experts in industry as well as policy makers, who are interested in state-of-the-art quantitative modelling of policy relevant problems in energy systems. The 2nd International Symposium on Energy System Optimization (ISESO 2018) was held at the Karlsruhe Institute of Technology (KIT) under the symposium theme “Bridging the Gap Between Mathematical Modelling and Policy Support” on October 10th and 11th 2018. ISESO 2018 was organized by the KIT, the Heidelberg Institute for Theoretical Studies (HITS), the Heidelberg University, the German Aerospace Center and the University of Stuttgart.
  • Publication
    Advances in Intelligent Data Analysis XVIII
    ( 2020)
    Michael R. Berthold, Ad Feelders, Georg Krempl (editors)
    This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020.The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over performance: a solid motivation can be as convincing as exhaustive empirical evaluation.
  • Publication
    Agile Processes in Software Engineering and Extreme Programming
    ( 2020)
    Viktoria Stray, Rashina Hoda, Maria Paasivaara, Philippe Kruchten (editors)
    This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date.XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years.The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.
  • Publication
    Agile Processes in Software Engineering and Extreme Programming - Workshops
    ( 2020)
    Maria Paasivaara, Philippe Kruchten (editors)
    This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following six workshops took place: Third International Workshop on Software-Intensive Business; Eighth International Workshop on Large-Scale Agile Development; Second European Symposium on Serverless Computing and Applications; Second International Workshop on Agile Transformation; First International Workshop on Agility with Microservices Programming; Third International Workshop on Autonomous Agile Teams. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 31 papers presented in this volume were carefully reviewed and selected from overall 79 submissions. In addition to the 26 workshop papers, this volume also includes 2 papers from the Agile Education and Training Track and 3 papers from the Doctoral Symposium. Furthermore, the book contains a summary of a panel discussion with the topic “Covid-19’s Influence on the Future of Agile
  • Publication
    AI based Robot Safe Learning and Control
    ( 2020)
    Xuefeng Zhou, Zhihao Xu, Shuai Li, Hongmin Wu, Taobo Cheng, Xiaojing Lv
    This open access book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic neural network, which is an important theoretical branch of deep reinforcement learning. In order to enhance the safety performance of robot systems, the control strategies include adaptive tracking control for robots with model uncertainties, compliance control in uncertain environments, obstacle avoidance in dynamic workspace. The idea for this book on solving safe control of robot arms was conceived during the industrial applications and the research discussion in the laboratory. Most of the materials in this book are derived from the authors’ papers published in journals, such as IEEE Transactions on Industrial Electronics, neurocomputing, etc. This book can be used as a reference book for researcher and designer of the robotic systems and AI based controllers, and can also be used as a reference book for senior undergraduate and graduate students in colleges and universities." This work is licensed under a CC BY
  • Publication
    An Invitation to Statistics in Wasserstein Space
    ( 2020)
    2020
    This open access book presents the key aspects of statistics in Wasserstein spaces, i.e. statistics in the space of probability measures when endowed with the geometry of optimal transportation. Further to reviewing state-of-the-art aspects, it also provides an accessible introduction to the fundamentals of this current topic, as well as an overview that will serve as an invitation and catalyst for further research.Statistics in Wasserstein spaces represents an emerging topic in mathematical statistics, situated at the interface between functional data analysis (where the data are functions, thus lying in infinite dimensional Hilbert space) and non-Euclidean statistics (where the data satisfy nonlinear constraints, thus lying on non-Euclidean manifolds). The Wasserstein space provides the natural mathematical formalism to describe data collections that are best modeled as random measures on Euclidean space (e.g. images and point processes). Such random measures carry the infinite dimensional traits of functional data, but are intrinsically nonlinear due to positivity and integrability restrictions. Indeed, their dominating statistical variation arises through random deformations of an underlying template, a theme that is pursued in depth in this monograph.
  • Publication
    Annals of Scientific Society for Assembly, Handling and Industrial Robotics
    ( 2020)
    Thorsten Schüppstuhl, Kirsten Tracht, Dominik Henrich (editors)
    This Open Access proceedings present a good overview of the current research landscape of industrial robots. The objective of MHI Colloquium is a successful networking at academic and management level. Thereby the colloquium is focussing on a high level academic exchange to distribute the obtained research results, determine synergetic effects and trends, connect the actors personally and in conclusion strengthen the research field as well as the MHI community. Additionally there is the possibility to become acquainted with the organizing institute. Primary audience are members of the scientific association for assembly, handling and industrial robots (WG MHI). This work is licensed under a CC BY
  • Publication
    Atmospheric Air Pollution and Monitoring
    ( 2020)
    Abderrahim Lakhouit (Editor)
    Indoor air quality (IAQ) is an important aspect in building design due to its effect on human health and wellbeing. Generally, people spend about 90% of their time indoors where they are exposed to chemicals, particulate matters, biological contaminants and possibly carcinogens. In particular, the air quality at hospitals carries with it risks for serious health consequences for medical staff as well as patients and visitors. This book is a study of atmospheric air pollution and presents ways we can reduce its impacts on human health. It discusses tools for measuring IAQ as well as analyzes IAQ in closed buildings. It is an important documentation of air quality and its impact on human health.
  • Publication
    Boundary Value Problems, Weyl Functions, and Differential Operators
    ( 2020)
    Jussi Behrndt, Seppo Hassi, Henk de Snoo
    This open access book presents a comprehensive survey of modern operator techniques for boundary value problems and spectral theory, employing abstract boundary mappings and Weyl functions. It includes self-contained treatments of the extension theory of symmetric operators and relations, spectral characterizations of selfadjoint operators in terms of the analytic properties of Weyl functions, form methods for semibounded operators, and functional analytic models for reproducing kernel Hilbert spaces. Further, it illustrates these abstract methods for various applications, including Sturm-Liouville operators, canonical systems of differential equations, and multidimensional Schrödinger operators, where the abstract Weyl function appears as either the classical Titchmarsh-Weyl coefficient or the Dirichlet-to-Neumann map.The book is a valuable reference text for researchers in the areas of differential equations, functional analysis, mathematical physics, and system theory. Moreover, thanks to its detailed exposition of the theory, it is also accessible and useful for advanced students and researchers in other branches of natural sciences and engineering.
  • Publication
    Buildings for Education
    ( 2020)
    Stefano Della Torre, Massimiliano Bocciarelli, Laura Daglio, Raffaella Neri (Editors)
    This open access book presents theoretical and practical research relating to the vast, publicly financed program for the construction of new schools and the reorganization of existing educational buildings in Italy. This transformative process aims to give old buildings a fresh identity, to ensure that facilities are compliant with the new educational and teaching models, and to improve both energy efficiency and structural safety with respect to seismic activity. The book is divided into three sections, the first of which focuses on the social role of the school as a civic building that can serve the needs of the community. Innovations in both design and construction processes are then analyzed, paying special attention to the Building Information Modeling (BIM) strategy as a tool for the integration of different disciplines. The final section is devoted to the built heritage and tools, technologies, and approaches for the upgrading of existing buildings so that they meet the new regulations on building performance. The book will be of interest to all who wish to learn about the latest insights into the challenges posed by, and the opportunities afforded by, a comprehensive school building and renovation program. This work is licensed under a CC BY
  • Publication
    Cold Micro Metal Forming
    ( 2020)
    Frank Vollertsen, Sybille Friedrich, Bernd Kuhfuß, Peter Maaß, Claus Thomy, Hans-Werner Zoch (editors)
    This open access book contains the research report of the Collaborative Research Center “Micro Cold Forming” (SFB 747) of the University of Bremen, Germany. The topical research focus lies on new methods and processes for a mastered mass production of micro parts which are smaller than 1mm (by forming in batch size higher than one million). The target audience primarily comprises research experts and practitioners in production engineering, but the book may also be of interest to graduate students alike. This work is licensed under a CC BY
  • Publication
    Computer Aided Verification
    ( 2020)
    Shuvendu K. Lahiri, Chao Wan (editors)
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis.*The conference was held virtually due to the COVID-19 pandemic.
  • Publication
    Computer Aided Verification
    ( 2020)
    Shuvendu K. Lahiri, Chao Wang (editors)
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis.*The conference was held virtually due to the COVID-19 pandemic.
  • Publication
    Contextual Process Digitalization
    ( 2020)
    Albert Fleischmann, Stefan Oppl, Werner Schmidt, Christian Stary
    This open access book presents an overview and step-by-step explanation of process management. It starts with the individual participants’ perspectives on their work in a process and its structuring and harmonization, and then moves on to its specification in a model and how it is embedded in the organizational and IT environment of the company. Lastly, the book examines the joint processing of instances in the resulting socio-technical systems. A corresponding illustration, which expands with the overview, enables readers to gain a comprehensive understanding of business process management.The book presents various facets of business process management from the perspective of the participants, and introduces a selection of models that have proved useful in practice. The design of such models supports the transition from a more-or-less unstructured or unsatisfactory way of working to a structured process that corresponds to the ideas of the company and its customers. The book is intended for professionals in industry as well as students in the field of business information systems who are looking for guidelines on how to discover, create and implement real-world processes.
  • Publication
    Cyber Security
    ( 2020)
    Wei Lu, Qiaoyan Wen, Yuqing Zhang, Bo Lang, Weiping Wen, Hanbing Yan, … Yu Zhou (editors)
    This open access book constitutes the refereed proceedings of the 16th International Annual Conference on Cyber Security, CNCERT 2020, held in Beijing, China, in August 2020. The 17 papers presented were carefully reviewed and selected from 58 submissions. The papers are organized according to the following topical sections: access control; cryptography; denial-of-service attacks; hardware security implementation; intrusion/anomaly detection and malware mitigation; social network security and privacy; systems security.
  • Publication
    DC Electrical Circuit Analysis: A Practical Approach
    ( 2020)
    James M. Fiore
    "Welcome to DC Electrical Circuit Analysis, an open educational resource (OER). The goal of this text is to introduce the theory and practical application of analysis of DC electrical circuits. It is offered free of charge under a Creative Commons non-commercial, share-alike with attribution license. For your convenience, along with the free pdf and odt files, print copies are available at a very modest charge. Check my web sites for links. This text is based on the earlier Workbook for DC Electrical Circuits, which it replaces. The original expository text has been greatly expanded and includes many examples along with computer simulations. For the convenience of those who used the Workbook, many of the problem sets are the same, with some re-ordering depending on the chapter."
  • Publication
    Demystifying Internet of Things Security
    ( 2020)
    Sunil Cheruvu, Anil Kumar, Ned Smith, David M. Wheeler
    Break down the misconceptions of the Internet of Things by examining the different security building blocks available in Intel Architecture (IA) based IoT platforms. This open access book reviews the threat pyramid, secure boot, chain of trust, and the SW stack leading up to defense-in-depth. The IoT presents unique challenges in implementing security and Intel has both CPU and Isolated Security Engine capabilities to simplify it. This book explores the challenges to secure these devices to make them immune to different threats originating from within and outside the network. The requirements and robustness rules to protect the assets vary greatly and there is no single blanket solution approach to implement security. Demystifying Internet of Things Security provides clarity to industry professionals and provides and overview of different security solutions What You'll Learn Secure devices, immunizing them against different threats originating from inside and outside the network Gather an overview of the different security building blocks available in Intel Architecture (IA) based IoT platforms Understand the threat pyramid, secure boot, chain of trust, and the software stack leading up to defense-in-depth Who This Book Is ForStrategists, developers, architects, and managers in the embedded and Internet of Things (IoT) space trying to understand and implement the security in the IoT devices/platforms.
  • Publication
    Digital Transformation in Semiconductor Manufacturing
    ( 2020)
    Sophia Keil, Rainer Lasch, Fabian Lindner, Jacob Lohmer (Editors)
    This open access book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization in the semiconductor industry. Based on the outcomes of the European project iDev40, which were presented at the two first conference editions of the European Advances in Digital Transformation Conference (EADCT 2018 and EADTC 2019), the book covers different, multidisciplinary aspects related to digital transformation, including technological and industrial developments, as well as human factors research and applications. Topics include modeling and simulation methods in semiconductor operations, supply chain management issues, employee training methods and workplaces optimization, as well as smart software and hardware solutions for semiconductor manufacturing. By highlighting industrially relevant developments and discussing open issues related to digital transformation, the book offers a timely, practice-oriented guide to graduate students, researchers and professionals interested in the digital transformation of manufacturing domains and work environments. This work is licensed under a CC BY
  • Publication
    Digital Transformation of the Design, Construction and Management Processes of the Built Environment
    ( 2020)
    Bruno Daniotti, Marco Gianinetto, Stefano Della Torre (Editors)
    This open access book focuses on the development of methods, interoperable and integrated ICT tools, and survey techniques for optimal management of the building process. The construction sector is facing an increasing demand for major innovations in terms of digital dematerialization and technologies such as the Internet of Things, big data, advanced manufacturing, robotics, 3D printing, blockchain technologies and artificial intelligence. The demand for simplification and transparency in information management and for the rationalization and optimization of very fragmented and splintered processes is a key driver for digitization. The book describes the contribution of the ABC Department of the Polytechnic University of Milan (Politecnico di Milano) to R&D activities regarding methods and ICT tools for the interoperable management of the different phases of the building process, including design, construction, and management. Informative case studies complement the theoretical discussion. The book will be of interest to all stakeholders in the building process – owners, designers, constructors, and faculty managers – as well as the research sector. This work is licensed under a CC BY