This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). And it proves soundness and completeness theorems with respect to ...

The book "In the Mao Zedong era" is a memoir about the lives of the Chinese people, for better or worse - before and after the liberation in China, focusing on the period from 1949 to 1976. We follow the author's own life, looking back at the historical events of that period. She hopes that through this book, more people around the world will understand the true historical story of China during the Mao Zedong´s time.

This book takes a broad approach to studying China’s policy processes. It aims to shed new light on the characteristics of China’s political systems and to adapt theoretical frameworks of policy processes developed in Western democracies to China.In 2021, Xi Jinping introduced the concept of “whole-process people’s democracy”. This new discourse calls for a deeper understanding of both traditional and new mechanisms and institutions functioning in China’s policy processes. Bringing...

This book is a step-by-step tutorial on how to design a low-power, high-resolution (not less than 12 bit), and high-speed (not less than 200 MSps) integrated CMOS analog-to-digital (AD) converter, to respond to the challenge from the rapid growth of IoT. The discussion includes design techniques on both the system level and the circuit block level. In the architecture level, the power-efficient pipelined AD converter, the hybrid AD converter and the time-interleaved AD converter are descri...

This reference book includes 24 chapters written by a group of experts in the different fields of microfungi and cover a broad range of topics on microfungi. It provides the most updated information on the latest development in systematics and taxonomy of microfungi, new techniques which were developed in the last ten years and their application in microfungal research. After the International Code of Nomenclature for algae, fungi, and plants (Melbourne Code) was adopted by the Eighteenth ...

Renewable Energy Microgeneration Systems presents the latest technology advances in small-scale energy generation (electricity and heat) in the context of low/medium voltage level electric power distribution networks. With a focus on scientific innovations of the methodologies, approaches and algorithms in enabling efficient and secure operation of microgeneration systems, this book also analyzes the current understanding of motivations and barriers affecting microgeneration adoption with ...

With the recently well developed areas of Internet of Thing, consumer wearable gadgets and artificial intelligence, flexible and stretchable electronic devices have spurred great amount of interest from both the global scientific and industrial communities. As an emerging technology, flexible and stretchable electronics requires the scale-span fabrication of devices involving nano-features, microstructures and macroscopic large area manufacturing. The key factor behind covers the organic, ...

Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections provides a detailed description of the application of finite element methods (FEMs) to the study of ULSI interconnect reliability. Over the past two decades the application of FEMs has become widespread and continues to lead to a much better understanding of reliability physics.To help readers cope with the increasing sophistication of FEMs’ applications to interconnect reliability,

This book constitutes the proceedings of the Second China Conference on Networking, CCF ChinaNet 2025, which took place in Shenyang, China, during September 12-14, 2025.The 13 full papers included in the book were carefully reviewed and selected from 102 submissions. They deal with networking technologies such as cloud computing; mobile and network security; computer engineering and networks; etc. The theme of this year's conference was “Integrating Industry, Search, and Innovation...

Hybrid organic-inorganic perovskites (HOIPs) have attracted substantial interest due to their chemical variability, structural diversity and favorable physical properties the past decade. This materials class encompasses other important families such as formates, azides, dicyanamides, cyanides and dicyanometallates.The book summarizes the chemical variability and structural diversity of all known hybrid organic-inorganic perovskites subclasses including halides, azides, formates, d...

This book presents the latest research on the software crowdsourcing approach to develop large and complex software in a cloud-based platform. It develops the fundamental principles, management organization and processes, and a cloud-based infrastructure to support this new software development approach. The book examines a variety of issues in software crowdsourcing processes, including software quality, costs, diversity of solutions, and the competitive nature of crowdsourcing processes....

This book constitutes the refereed proceedings of the 8th CCF China Blockchain Summit on Blockchain Technology and Application, CBCC 2025, held in Shanghai, China, during December 18–21, 2025.The 26 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: Blockchain Privacy Protection; Blockchain Data and Behavior Analysis; Blockchain Technology Innovation and Applications; Smart Contract; Block...