At the turn of the twenty-first century, Xiamen’s pursuit of World Heritage Site designation from UNESCO stimulated considerable interest in the city’s Christian past. History enthusiasts, both Christian and non-Christian, devoted themselves to reinterpreting the legacy of missionaries and challenged official narratives of Christianity’s troubled associations with Western imperialism. In this book, Jifeng Liu documents the tension that has inevitably emerged between the established officia...

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China...

This book offers a clear and insightful guide to the evolving role of AI in modern marketing. Synthesizing extensive research with high-level executive interviews, the author reveals how AI excels at personalization, automation, and data-driven optimization, yet remains constrained by its lack of emotion, intuition, and genuine understanding. Through compelling narrative examples, the text illustrates the transformative potential of AI alongside its ethical and strategic pitfalls, includin...

PEM Fuel Cell Testing and Diagnosis covers the recent advances in PEM (proton exchange membrane) fuel cell systems, focusing on instruments and techniques for testing and diagnosis, and the application of diagnostic techniques in practical tests and operation. This book is a unique source of electrochemical techniques for researchers, scientists and engineers working in the area of fuel cells. Proton exchange membrane fuel cells are currently considered the most promising clean energy-conv...

In diesem Buch werden vor allem der Forschungsüberblick, die Forschungsergebnisse und die weiteren Aussichten von "The Fundamental Research for Trustworthy Software", einem großen Forschungsprojekt des NSFC, vorgestellt. Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen: Messung und Modellierung der Software-Glaubwürdigkeit, Konstruktion und Verifizierung vertrauenswürdiger Software, Entwicklung und Kontrolle vertrauenswürdiger Software sowie Konstruktion und Bewertung ei...

This book mainly introduces the research overview, results, and achievements of “The Fundamental Research for Trustworthy Software”, a major research plan of NSFC. The Plan focuses on four key scientific issues:(i) measurement and modeling of software trustworthiness;(ii) construction and verification of trustworthy software;(iii) evolution and control of trustworthy software;(iv) trusted environment construction and evaluation.This book aims to esta...