This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine t...

This book presents, for the first time, data analytics for smart infrastructures. The authors draw on over a decade’s experience working with industry and demonstrating the capabilities of data analytics for infrastructure and asset management.The volume gives data-driven solutions to cover critical capabilities for infrastructure and asset management across three domains: 1) situation awareness 2) predictive analytics and 3) decision support. The reader will gain from various data...

Optimization Planning and Operation of Electric Vehicle Charging Facilities: A Perspective from China provides an in-depth understanding of core theories and advanced technologies in the field. Summarizing the latest research, the book introduces achievements in optimizing the planning and operation of electric vehicle charging facilities. It is dedicated to the scientific planning and efficient operation of charging stations, supporting the sustainable growth of the electric vehicle indus...

Artificial Intelligence (AI) is changing the world around us, and it is changing the way people are living, working, and entertaining. As a result, demands for understanding how AI functions to achieve and enhance human goals from basic needs to high level well-being (whilst maintaining human health) are increasing. This edited book systematically investigates how AI facilitates enhancing human needs in the digital age, and reports on the state-of-the-art advances in theories, techniques, ...

This book focuses on the design of the in-car human–machine interface (HMI) and the design-relevant psychology. It combines a design perspective with an applied theoretical perspective. The design perspective informs the reader about how to set up a design process that puts users at the centre of the design process. The theoretical perspective provides the reader with an understanding of concepts from perception and cognitive psychology, supporting the decision-making in the design process...

This book presents the essential knowledge and legal practice for establishing and operating companies in China. The book includes 6 chapters: Establishment of a Company; Shareholders, Directors, Supervisors, Senior Executives; Investment, M&A and Creditor's Rights; Financing and Guarantee; Alteration, Liquidation and Cancellation; Malfeasance Most Likely to be Overlooked. The end is a summary of the laws and regulations involved in the chapters above. From a professional perspective, this...

This book summarizes the current knowledge of anthocyanins, provides systematic information for future exploration of anthocyanin applications. It focuses on several aspects regarding the studying progression in the field of anthocyanins. The first section of the book provides a brief introduction to the scope and progress on anthocyanins, which is followed by the second section that describes the natural sources, structure, extraction approaches, bioavailability, and current stabilizing a...

The ban on sales of ZTE, imposed by the US, made China feel the weight of a small chip. The ban is termed as a trade war. What is the truth behind this trade friction? Why did the Chinese microchip industry encounter such a predicament? What is the future of the microchip industry in China? This book tried to answer these questions, uncovers the secrets of China's microchip industry, and traces its development. It looks at bridging the gap between the chip technology and public perception,...

New Trends in Speech Based Interactive Systems will give an overview of the research and application of speech technologies in different areas. The basic technology development areas include: Automatic speech recognition technology, speech synthesis, spoken interaction, natural language understanding, speaker recognition, emotion in spoken dialogue systems, expressive speech synthesis, affective computing, multimodal communication, interaction technologies, and animated agents. The applica...

This is the first book that critically examines the reform of the Appellate Body (AB) of the World Trade Organization (WTO) in light of the current crisis resulting from the U.S. blocking of the appointment of its members. The reform of the AB is critical, as the appointment crisis could lead to the demise of “the jewel in the crown,” which may even cause the dismantling of the WTO as a whole. This book covers various aspects of the crisis and its reform. Specifically, as the crisis cannot...

With an evolutionary advancement of Machine Learning (ML) algorithms, a rapid increase of data volumes and a significant improvement of computation powers, machine learning becomes hot in different applications. However, because of the nature of “black-box” in ML methods, ML still needs to be interpreted to link human and machine learning for transparency and user acceptance of delivered solutions. This edited book addresses such links from the perspectives of visualisation, explanation, t...

This book explores robust multimodal cognitive load measurement with physiological and behavioural modalities, which involve the eye, Galvanic Skin Response, speech, language, pen input, mouse movement and multimodality fusions. Factors including stress, trust, and environmental factors such as illumination are discussed regarding their implications for cognitive load measurement. Furthermore, dynamic workload adjustment and real-time cognitive load measurement with data streaming are pres...