Open Access Books - Technology - 2018

Permanent URI for this collection

http://repository.vlu.edu.vn:443/handle/123456789/5142

Browse

Browsing Open Access Books - Technology - 2018 by Title

  • Publication
    Agile Processes in Software Engineering and Extreme Programming
    ( 2018)
    Juan Garbajosa, Xiaofeng Wang, Ademar Aguiar (editors)
    This open access book constitutes the proceedings of the 19th International Conference on Agile Software Development, XP 2018, held in Porto, Portugal, in May 2018.XP is the premier agile software development conference combining research and practice, and XP 2018 provided a playful and informal environment to learn and trigger discussions around its main theme – make, inspect, adapt.The 21 papers presented in this volume were carefully reviewed and selected from 62 submissions. They were organized in topical sections named: agile requirements; agile testing; agile transformation; scaling agile; human-centric agile; and continuous experimentation.
  • Publication
    Autonomous Control for a Reliable Internet of Services
    ( 2018)
    Ivan Ganchev, R. D. van der Mei, Hans van den Berg (editors)
    This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, researchers, engineers, and research strategists working in this field. The explosive growth of the Internet has fundamentally changed the global society. The emergence of concepts like SOA, SaaS, PaaS, IaaS, NaaS, and Cloud Computing in general has catalyzed the migration from the information-oriented Internet into an Internet of Services (IoS). This has opened up virtually unbounded possibilities for the creation of new and innovative services that facilitate business processes and improve the quality of life. However, this also calls for new approaches to ensuring the quality and reliability of these services. The objective of this book is, by applying a systematic approach, to assess the state-of-the-art and consolidate the main research results achieved in this area.
  • Publication
    Beyond Safety Training
    ( 2018)
    Corinne Bieder, Claude Gilbert, Benoît Journé, Hervé Laroche (Editors)
    This book is open access under a CC BY 4.0 license. This book investigates why, despite more and more resources devoted to safety training, expectations are not entirely met, particularly in the industrial sectors that have already achieved a high safety level. It not only reflects the most precious viewpoints of experts from different disciplines, different countries, with experiences in various industrial fields at the cutting edge of theories and practices in terms of safety, professionalization and their relationships. It also consolidates the positioning of the Foundation for an Industrial Safety Culture, highlighting what is currently considered at stake in terms of safety training, taking into account the system of constraints the different stakeholders are submitted to. It reports some success stories as well as elements which could explain the observed plateau in terms of outcome. It identifies some levers for evolution for at-risk industry and outlines a possible research agenda to go further with experimental solutions."
  • Publication
    Biofuels and Sustainability
    ( 2018)
    Kazuhiko Takeuchi, Hideaki Shiroyama, Osamu Saito, Masahiro Matsuura (editors)
    This open access book presents a comprehensive analysis of biofuel use strategies from an interdisciplinary perspective using sustainability science. This interdisciplinary perspective (social science-natural science) means that the strategies and policy options proposed will have significant impacts on the economy and society alike. Biofuels are expected to contribute to reducing greenhouse gas emissions, revitalizing economies in agricultural communities and alleviating poverty. However, despite these anticipated benefits, international organizations such as the FAO, OECD and UN have published reports expressing concerns that biofuel promotion may lead to deforestation, water pollution and water shortages. The impacts of biofuel use are extensive, cross-sectoral and complex, and as such, comprehensive analyses are required in order to assess the extent to which biofuels can contribute to sustainable societies. Applying interdisciplinary sustainability science concepts and methodologies, the book helps to enhance the establishment of a sustainable society as well as the development of appropriate responses to a global need for urgent action on current issues related to biofuels.
  • Publication
    Building Maintenance & Construction: Tools and Maintenance Tasks
    ( 2018)
    Clifford Rutherford
    Building Maintenance & Construction: Tools and Maintenance Tasks introduces and develops knowledge of basic building maintenance tools and materials, applied skills and techniques, industry health and safety standards, and preventive maintenance and troubleshooting practices required by employers for entry-level positions in the building trades and facilities maintenance fields.
  • Publication
    Carbon Capture, Utilization and Sequestration
    ( 2018)
    Ramesh Agarwal (Editor)
    This book is divided in two sections. Several chapters in the first section provide a state-of-the-art review of various carbon sinks for CO2 sequestration such as soil and oceans. Other chapters discuss the carbon sequestration achieved by storage in kerogen nanopores, CO2 miscible flooding and generation of energy efficient solvents for postcombustion CO2 capture. The chapters in the second section focus on monitoring and tracking of CO2 migration in various types of storage sites, as well as important physical parameters relevant to sequestration. Both researchers and students should find the material useful in their work.
  • Publication
    Clinical Text Mining
    ( 2018)
    Hercules Dalianis
    This open access book describes the results of natural language processing and machine learning methods applied to clinical text from electronic patient records.It is divided into twelve chapters. Chapters 1-4 discuss the history and background of the original paper-based patient records, their purpose, and how they are written and structured. These initial chapters do not require any technical or medical background knowledge. The remaining eight chapters are more technical in nature and describe various medical classifications and terminologies such as ICD diagnosis codes, SNOMED CT, MeSH, UMLS, and ATC. Chapters 5-10 cover basic tools for natural language processing and information retrieval, and how to apply them to clinical text. The difference between rule-based and machine learning-based methods, as well as between supervised and unsupervised machine learning methods, are also explained. Next, ethical concerns regarding the use of sensitive patient records for research purposes are discussed, including methods for de-identifying electronic patient records and safely storing patient records. The book’s closing chapters present a number of applications in clinical text mining and summarise the lessons learned from the previous chapters.The book provides a comprehensive overview of technical issues arising in clinical text mining, and offers a valuable guide for advanced students in health informatics, computational linguistics, and information retrieval, and for researchers entering these fields.
  • Publication
    Coal Fly Ash Beneficiation - Treatment of Acid Mine Drainage with Coal Fly Ash
    ( 2018)
    Segun A. Akinyemi, Mugera Gitari (Editors)
    The present book deals with various, very significant topics of coal fly ash beneficiation, such as treatment of acid mine drainage with coal fly ash, toxic metal adsorption using coal fly ash, recovery of metals from coal fly ash and phytoreclamation of abandoned acid mine drainage site after treatment with coal fly ash, the status of research in coal fly ash utilization and applications and some other related topics in this growing and increasingly important research area. Overall, coal fly ash beneficiation has come to assume an important role in most areas of waste management research today. Continued growth and emphasis on scientific research is expected in all areas of waste management and conversion of waste to wealth technologies.
  • Publication
    Computer Aided Verification
    ( 2018)
    Hana Chockler, Georg Weissenbacher (editors)
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
  • Publication
    Computer Aided Verification
    ( 2018)
    Hana Chockler, Georg Weissenbacher (editors)
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
  • Publication
    Control Theory Tutorial
    ( 2018)
    Steven A. Frank
    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 illustrated by detailed examples and graphics. The full software code for each example is available, providing the basis for experimenting with various assumptions, learning how to write programs for control analysis, and setting the stage for future research projects. The topics focus on robustness, design trade-offs, and optimality. Most of the book develops classical linear theory. The last part of the book considers robustness with respect to nonlinearity and explicitly nonlinear extensions, as well as advanced topics such as adaptive control and model predictive control. New students, as well as scientists from other backgrounds who want a concise and easy-to-grasp coverage of control theory, will benefit from the emphasis on concepts and broad understanding of the various approaches. This work is licensed under a CC BY
  • Publication
    Designing Sustainable Technologies, Products and Policies
    ( 2018)
    Enrico Benetto, Kilian Gericke, Mélanie Guito (editors)
    ;
    Enrico Benetto
    ;
    Kilian Gericke
    ;
    Mélanie Guiton
    This open access book provides insight into the implementation of Life Cycle approaches along the entire business value chain, supporting environmental, social and economic sustainability related to the development of industrial technologies, products, services and policies; and the development and management of smart agricultural systems, smart mobility systems, urban infrastructures and energy for the built environment.The book is based on papers presented at the 8th International Life Cycle Management Conference that took place from September 3-6, 2017 in Luxembourg, and which was organized by the Luxembourg Institute of Science and Technology (LIST) and the University of Luxembourg in the framework of the LCM Conference Series
  • Publication
    Direct Energy
    ( 2018)
    Andrea M. Mitofsky
    Direct Energy Conversion discusses both the physics behind energy conversion processes and a wide variety of energy conversion devices. A direct energy conversion process converts one form of energy to another through a single process. The first half of this book surveys multiple devices that convert to or from electricity including piezoelectric devices, antennas, solar cells, light emitting diodes, lasers, thermoelectric devices, and batteries. In these chapters, physical effects are discussed, terminology used by engineers in the discipline is introduced, and insights into material selection is studied. The second part of this book puts concepts of energy conversion in a more abstract framework. These chapters introduce the idea of calculus of variations and illuminate relationships between energy conversion processes.
  • Publication
    Earthquakes - Forecast, Prognosis and Earthquake Resistant Construction
    ( 2018)
    Valentina Svalova (Editor)
    An earthquake is the shaking of the surface of the Earth, resulting from the sudden release of energy in the Earth's lithosphere that creates seismic waves. Earthquakes can range in size from those that are so weak that they cannot be felt to those violent enough to toss people around and destroy the whole cities. At the Earth's surface, earthquakes manifest themselves by shaking and sometimes displacement of the ground. When the epicenter of a large earthquake is located offshore, the seabed may be displaced sufficiently to cause a tsunami. Earthquakes can also trigger landslides and occasionally volcanic activity. Earthquakes are caused not only by rupture of geological faults but also by other events such as volcanic activity, landslides, mine blasts, and nuclear tests. This book addresses the multidisciplinary topic of earthquake hazards and risk, one of the fastest growing, relevant, and applied fields of research and study practiced within the geosciences and environment. This book addresses principles, concepts, and paradigms of earthquakes, as well as operational terms, materials, tools, techniques, and methods including processes, procedures, and implications.
  • Publication
    Electromagnetics Vol 1
    ( 2018)
    Steven W. Ellingson
    Electromagnetics Volume 1 by Steven W. Ellingson is a 238-page, peer-reviewed open educational resource intended for electrical engineering students in the third year of a bachelor of science degree program. It is intended as a primary textbook for a one-semester first course in undergraduate engineering electromagnetics. The book employs the “transmission lines first” approach in which transmission lines are introduced using a lumped-element equivalent circuit model for a differential length of transmission line, leading to one-dimensional wage equations for voltage and current.
  • Publication
    Elements of Robotics
    ( 2018)
    Mordechai Ben-Ari, Francesco Mondada
    This open access book bridges the gap between playing with robots in school and studying robotics at the upper undergraduate and graduate levels to prepare for careers in industry and research. Robotic algorithms are presented formally, but using only mathematics known by high-school and first-year college students, such as calculus, matrices and probability. Concepts and algorithms are explained through detailed diagrams and calculations. Elements of Robotics presents an overview of different types of robots and the components used to build robots, but focuses on robotic algorithms: simple algorithms like odometry and feedback control, as well as algorithms for advanced topics like localization, mapping, image processing, machine learning and swarm robotics. These algorithms are demonstrated in simplified contexts that enable detailed computations to be performed and feasible activities to be posed. Students who study these simplified demonstrations will be well prepared for advanced study of robotics. The algorithms are presented at a relatively abstract level, not tied to any specific robot. Instead a generic robot is defined that uses elements common to most educational robots: differential drive with two motors, proximity sensors and some method of displaying output to the user. The theory is supplemented with over 100 activities, most of which can be successfully implemented using inexpensive educational robots. Activities that require more computation can be programmed on a computer. Archives are available with suggested implementations for the Thymio robot and standalone programs in Python.
  • Publication
    Engineering and Mathematical Topics in Rainfall
    ( 2018)
    Theodore V. Hromadka II, Prasada Rao (Editors)
    The mathematics involved in describing the attributes of precipitation are embodied in the technical fields of Hydrology and Hydrometeorology. In this book, multiple experts present their work on various engineering characteristics of rainfall. The topics presented will update the readers on the recent developments and their applications across different regions of the world.
  • Publication
    Entity-Oriented Search
    ( 2018)
    Krisztian Balog
    This open access book covers all facets of entity-oriented search—where “search” can be interpreted in the broadest sense of information access—from a unified point of view, and provides a coherent and comprehensive overview of the state of the art. It represents the first synthesis of research in this broad and rapidly developing area. Selected topics are discussed in-depth, the goal being to establish fundamental techniques and methods as a basis for future research and development. Additional topics are treated at a survey level only, containing numerous pointers to the relevant literature. A roadmap for future research, based on open issues and challenges identified along the way, rounds out the book.The book is divided into three main parts, sandwiched between introductory and concluding chapters. The first two chapters introduce readers to the basic concepts, provide an overview of entity-oriented search tasks, and present the various types and sources of data that will be used throughout the book. Part I deals with the core task of entity ranking: given a textual query, possibly enriched with additional elements or structural hints, return a ranked list of entities. This core task is examined in a number of different variants, using both structured and unstructured data collections, and numerous query formulations. In turn, Part II is devoted to the role of entities in bridging unstructured and structured data. Part III explores how entities can enable search engines to understand the concepts, meaning, and intent behind the query that the user enters into the search box, and how they can provide rich and focused responses (as opposed to merely a list of documents)—a process known as semantic search. The final chapter concludes the book by discussing the limitations of current approaches, and suggesting directions for future research.Researchers and graduate students are the primary target audience of this book. A general background in information retrieval is sufficient to follow the material, including an understanding of basic probability and statistics concepts as well as a basic knowledge of machine learning concepts and supervised learning algorithms.
  • Publication
    Foundations of Software Science and Computation Structures
    ( 2018)
    Christel Baier, Ugo Dal Lago (editors)
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.
  • Publication
    Foundations of Trusted Autonomy
    ( 2018)
    Hussein A. Abbass, Jason Scholz, Darryn J. Reid (editors)
    This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy and trustworthiness. Aimed at scientists, researchers, technologists, practitioners, and students, it brings together contributions offering the basics, the challenges and the state-of-the-art on trusted autonomous systems in a single volume. The book is structured in three parts, with chapters written by eminent researchers and outstanding practitioners and users in the field. The first part covers foundational artificial intelligence technologies, while the second part covers philosophical, practical and technological perspectives on trust. Lastly, the third part presents advanced topics necessary to create future trusted autonomous systems. The book augments theory with real-world applications including cyber security, defence and space. This work is licensed under a CC BY