Advances in Automotive Technology

Authors: Chen Lv & Yang Xing, Nanyang Technological University; Junzhi Zhang, Tsinghua University; Dongpu Cao, University of Waterloo

Keywords: cyber-physical vehicle systems, co-design optimization, dynamic modeling, design space exploration, state estimation

Abstract: This book studies the design optimization, state estimation, and advanced control methods for cyber-physical vehicle systems (CPVS) and their applications in real-world automotive systems. The application results presented throughout the book validate the feasibility and effectiveness of the proposed theoretical methods of design, estimation, control, and optimization for cyber-physical vehicle systems.

Biomedical Engineering

Authors: Liang Huang & Wenhui Wang, Tsinghua University

Keywords: thick electrodes, DEP, 3D rotation, optical stretcher, multi-parameter measurement

Abstract: Dielectrophoresis microfluidic chips have been widely used in various biological applications due to their advantages of convenient operation, high throughput, and low cost. However, most of the DEP microfluidic chips are based on 2D planar electrodes which have some limitations, such as electric field attenuation, small effective working regions, and weak DEP forces. In order to overcome the limitations of 2D planar electrodes, two kinds of thick-electrode DEP chips were designed to realize manipulation and multi-parameter measurement of single cells. > Download eBook PDF

Engineering, Science, and Technology

Author: John Beaver, University of Wisconsin Oshkosh

Keywords: astronomy, cosmology, evolution, stellar spectra, hydrostatic equilibrium

Abstract: A brief overview of astronomy and cosmology is presented in five different ways, through the lenses of space, time, evolution, process, and structure. Specific topics are chosen for their contribution to a “big picture” understanding of the interconnectedness of knowledge in astronomy and cosmology. The level is for the beginning undergraduate, with only basic skills in rudimentary algebra assumed. But more advanced students and teachers will also find the book useful as both a set of practical tools and a point of departure for taking stock (in five different ways) of the current state of knowledge in astronomy and cosmology.

Mobile and Pervasive Computing

Authors: Abhinav Mehrotra, Samsung AI Center; Mirco Musolesi, University College London and University of Bologna

Keywords: notification systems, interruptibility, context-aware computing, anticipatory computing, intelligent mobile systems, intelligent user interfaces

Abstract: This book presents an overview of the current state of the art in the area of intelligent notification mechanisms that rely on the awareness of users’ context and preferences. We first present a survey of studies focusing on understanding and modeling users’ interruptibility and receptivity to notifications from desktops and mobile devices. Then, we discuss the existing challenges and opportunities in developing mechanisms for intelligent notification systems in a variety of application scenarios.

Software Engineering

Author: Néstor Cataño Collazos, Google, Inc.

Keywords: correct-by-construction, discrete mathematics, Event B, Java, programming, refinement, software engineering, verification

Abstract: The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early stages of software development, for instance, during the software requirements, the analysis activity, or during software design, before coding starts. This book is a living proof of the use of formal methods to develop software. The particular formalisms that we use are EVENT B and refinement calculus.