Coded Computing


Book Description

We introduce the concept of “coded computing”, a novel computing paradigm that utilizes coding theory to effectively inject and leverage data/computation redundancy to mitigate several fundamental bottlenecks in large-scale distributed computing, namely communication bandwidth, straggler’s (i.e., slow or failing nodes) delay, privacy and security bottlenecks.




Handbook of Automotive Power Electronics and Motor Drives


Book Description

Initially, the only electric loads encountered in an automobile were for lighting and the starter motor. Today, demands on performance, safety, emissions, comfort, convenience, entertainment, and communications have seen the working-in of seemingly innumerable advanced electronic devices. Consequently, vehicle electric systems require larger capacities and more complex configurations to deal with these demands. Covering applications in conventional, hybrid-electric, and electric vehicles, the Handbook of Automotive Power Electronics and Motor Drives provides a comprehensive reference for automotive electrical systems. This authoritative handbook features contributions from an outstanding international panel of experts from industry and academia, highlighting existing and emerging technologies. Divided into five parts, the Handbook of Automotive Power Electronics and Motor Drives offers an overview of automotive power systems, discusses semiconductor devices, sensors, and other components, explains different power electronic converters, examines electric machines and associated drives, and details various advanced electrical loads as well as battery technology for automobile applications. As we seek to answer the call for safer, more efficient, and lower-emission vehicles from regulators and consumer insistence on better performance, comfort, and entertainment, the technologies outlined in this book are vital for engineering advanced vehicles that will satisfy these criteria.




Regulation of Coronary Blood Flow


Book Description

Research centering on blood flow in the heart continues to hold an important position, especially since a better understanding of the subject may help reduce the incidence of coronary arterial disease and heart attacks. This book summarizes recent advances in the field; it is the product of fruitful cooperation among international scientists who met in Japan in May, 1990 to discuss the regulation of coronary blood flow.




Proceedings of the 5th International Conference on Electrical Engineering and Automatic Control


Book Description

On the basis of instrument electrical and automatic control system, the 5th International Conference on Electrical Engineering and Automatic Control (CEEAC) was established at the crossroads of information technology and control technology, and seeks to effectively apply information technology to a sweeping trend that views control as the core of intelligent manufacturing and life. This book takes a look forward into advanced manufacturing development, an area shaped by intelligent manufacturing. It highlights the application and promotion of process control represented by traditional industries, such as the steel industry and petrochemical industry; the technical equipment and system cooperative control represented by robot technology and multi-axis CNC; and the control and support of emerging process technologies represented by laser melting and stacking, as well as the emerging industry represented by sustainable and intelligent life. The book places particular emphasis on the micro-segments field, such as intelligent micro-grids, new energy vehicles, and the Internet of Things.




The Palgrave Handbook of Climate History


Book Description

This handbook offers the first comprehensive, state-of-the-field guide to past weather and climate and their role in human societies. Bringing together dozens of international specialists from the sciences and humanities, this volume describes the methods, sources, and major findings of historical climate reconstruction and impact research. Its chapters take the reader through each key source of past climate and weather information and each technique of analysis; through each historical period and region of the world; through the major topics of climate and history and core case studies; and finally through the history of climate ideas and science. Using clear, non-technical language, The Palgrave Handbook of Climate History serves as a textbook for students, a reference guide for specialists and an introduction to climate history for scholars and interested readers.




Advances in Simulation and Digital Human Modeling


Book Description

This book presents the latest advances in modeling and simulation for human factors research. It reports on cutting-edge simulators such as virtual and augmented reality, multisensory environments, and modeling and simulation methods used in various applications, including surgery, military operations, occupational safety, sports training, education, transportation and robotics. Based on two AHFE 2020 Virtual Conferences such as the AHFE 2020 Virtual Conference on Human Factors and Simulation and the AHFE 2020 Virtual Conference on Digital Human Modeling and Applied Optimization, held on July 16–20, 2020, the book serves as a timely reference guide for researchers and practitioners developing new modeling and simulation tools for analyzing or improving human performance. It also offers a unique resource for modelers seeking insights into human factors research and more feasible and reliable computational tools to foster advances in this exciting field.




Verification and Control of Hybrid Systems


Book Description

Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.




Model-Based Machine Learning


Book Description

Today, machine learning is being applied to a growing variety of problems in a bewildering variety of domains. A fundamental challenge when using machine learning is connecting the abstract mathematics of a machine learning technique to a concrete, real world problem. This book tackles this challenge through model-based machine learning which focuses on understanding the assumptions encoded in a machine learning system and their corresponding impact on the behaviour of the system. The key ideas of model-based machine learning are introduced through a series of case studies involving real-world applications. Case studies play a central role because it is only in the context of applications that it makes sense to discuss modelling assumptions. Each chapter introduces one case study and works through step-by-step to solve it using a model-based approach. The aim is not just to explain machine learning methods, but also showcase how to create, debug, and evolve them to solve a problem. Features: Explores the assumptions being made by machine learning systems and the effect these assumptions have when the system is applied to concrete problems. Explains machine learning concepts as they arise in real-world case studies. Shows how to diagnose, understand and address problems with machine learning systems. Full source code available, allowing models and results to be reproduced and explored. Includes optional deep-dive sections with more mathematical details on inference algorithms for the interested reader.




Intelligent Communication, Control and Devices


Book Description

The book focuses on the integration of intelligent communication systems, control systems, and devices related to all aspects of engineering and sciences. It includes high-quality research papers from the 3rd international conference, ICICCD 2018, organized by the Department of Electronics, Instrumentation and Control Engineering at the University of Petroleum and Energy Studies, Dehradun on 21–22 December 2018. Covering a range of recent advances in intelligent communication, intelligent control and intelligent devices., the book presents original research and findings as well as researchers’ and industrial practitioners’ practical development experiences of.




Extracting Spatial Information from Historical Maps


Book Description

Historical maps are fascinating documents and a valuable source of information for scientists of various disciplines. Many of these maps are available as scanned bitmap images, but in order to make them searchable in useful ways, a structured representation of the contained information is desirable. This book deals with the extraction of spatial information from historical maps. This cannot be expected to be solved fully automatically (since it involves difficult semantics), but is also too tedious to be done manually at scale. The methodology used in this book combines the strengths of both computers and humans: it describes efficient algorithms to largely automate information extraction tasks and pairs these algorithms with smart user interactions to handle what is not understood by the algorithm. The effectiveness of this approach is shown for various kinds of spatial documents from the 16th to the early 20th century.