February Update from Morgan & Claypool Publishers

New Morgan & Claypool eBooks

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.
This entry was posted in Uncategorized and tagged , , , , , , , , . Bookmark the permalink.