Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

PDEs are a family of enzymes that catalyze the hydrolysis of intracellular cyclic nucleotides. They are implicated in a number of disorders and dysfunctions and PDE inhibitors have already proven to be effective therapies for erectile dysfunction, COPD, and psoriatic arthritis. This family of enzymes also plays a role in diseases and disorders of the CNS such as depression, anxiety, schizophrenia, and Alzheimer's Disease. Unfortunately no effective PDE inhibitors have been developed for the treatment of these diseases. The proposed book will be a comprehensive overview of the current state of basic and translational research on PDE inhibitors written by internationally recognized experts. Authors will also discuss potential PDE subtypes and splice variants in the hopes that this will spur more creative approaches to PDE targeting drugs.

The Feature-Driven Method for Structural Optimization details a novel structural optimization method within a CAD framework, integrating structural optimization and feature-based design. The book presents cutting-edge research on advanced structures and introduces the feature-driven structural optimization method by regarding engineering features as basic design primitives. Consequently, it presents a method that allows structural optimization and feature design to be done simultaneously so that feature attributes are preserved throughout the design process. The book illustrates and supports the effectiveness of the method described, showing potential applications through numerical modeling techniques and programming. This volume presents a high-performance optimization method adapted to engineering structures-a novel perspective that will help engineers in the computation, modeling and design of advanced structures.

Micro-Doppler Characteristics of Radar Targets is a monograph on radar target's micro-Doppler effect theory and micro-Doppler feature extraction techniques. The micro-Doppler effect is presented from two aspects, including micro-Doppler effect analysis and micro-Doppler feature extraction, with micro-Doppler effects induced by different micro-motional targets in different radar systems analyzed and several methods of micro-Doppler feature extraction and three-dimensional micro-motion feature reconstruction presented. The main contents of this book include micro-Doppler effect in narrowband radar, micro-Doppler effect in wideband radar, micro-Doppler effect in bistatic radar, micro-Doppler feature analysis and extraction, and three-dimensional micro-motion feature reconstruction, etc. This book can be used as a reference for scientific and technical personnel engaged in radar signal processing and automatic target recognition, etc. It is especially suitable for beginners who are interested in research on micro-Doppler effect in radar.

This book focuses on the administration streamlining aligned with the market-oriented reform process in China. The book is divided into two parts. The first part clarifies why administration is necessary and important, what it covers, and how to deal with the relation between the central and the local governments. The second part presents empirical analysis in specific areas, including agricultural reform, fiscal reform, government reform and education reform, and a series of decentralization reforms. This book is a collective wisdom from Peking University and is edited by Chinese economist Yining Li.

This book adopts the methods of field investigation and case study, systematically summarizes the development course of Nanjiang County in Sichuan Province since China's reform and opening-up, and comprehensively sorts out its main experiences of promoting green development and rural governance. These experiences not only have great enlightening and demonstration significance to the 80 counties that belong to the Qinba mountain area, but also have important reference value to promote rural revitalization and realize effective governance in the vast mountainous areas and counties throughout the country. Therefore, this book is not only suitable for ordinary readers interested in China's reform and opening up, but also suitable for professional researchers interested in China's green development and rural governance.

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

This book constitutes the proceedings of the Sino-foreign-interchange Workshop on Intelligence Science and Intelligent Data Engineering, IScIDE 2011, held in Xi'an, China, in October 2011. The 97 papers presented were carefully peer-reviewed and selected from 389 submissions. The IScIDE papers in this volume are organized in topical sections on machine learning and computational intelligence; pattern recognition; computer vision and image processing; graphics and computer visualization; knowledge discovering, data mining, web mining; multimedia processing and application.

This book constitutes refereed proceedings of the 4th International Workshop on Software Foundations for Data Interoperability, SFDI 2020, and 2nd International Workshop on Large Scale Graph Data Analytics, LSGDA 2020, held in Conjunction with VLDB 2020, in September 2020. Due to the COVID-19 pandemic the conference was held online. The 11 full papers and 4 short papers were thoroughly reviewed and selected from 38 submissions. The volme presents original research and application papers on the development of novel graph analytics models, scalable graph analytics techniques and systems, data integration, and data exchange.

This book constitutes the refereed proceedings of the 11th International Conference on Simulated Evolution and Learning, SEAL 2017, held in Shenzhen, China, in November 2017. The 85 papers presented in this volume were carefully reviewed and selected from 145 submissions. They were organized in topical sections named: evolutionary optimisation; evolutionary multiobjective optimisation; evolutionary machine learning; theoretical developments; feature selection and dimensionality reduction; dynamic and uncertain environments; real-world applications; adaptive systems; and swarm intelligence.

This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 16th International Conference on Service-Oriented Computing, ICSOC 2018, held in Hangzhou, China, in November 2018. The ICSOC 2018 workshop track consisted of six workshops on a wide range of topics that fall into the general area of service computing. A special focus this year was on Internet of Things, Data Analytics, and Smart Services: First International Workshop on Data-Driven Business Services (DDBS)First International Workshop on Networked Learning Systems for Secured IoT Services and Its Applications (NLS4IoT)8th International Workshop on Context-Aware and IoT Services (CIoTS)Third International Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA2018)Third International Workshop on IoT Systems for Context-aware Computing (ISyCC)First International Workshop on AI and Data Mining for Services (ADMS)

We have four great classic novels in China. The Journey to the West---the story about monkey king is one of these great classics. Many Chinese know this story, not only from reading the book but also from daily conversation. This story became a popular TV series after 1986 and now, more than 30 years later, is still watched every year through rebroadcast. And similar to other Chinese people, I like this story even after reading the book and watching the TV series many times. Whether watching the old, low technology, unclear picture, the TV show is still very interesting and moves me which can be quite surprising. So now, I just wrote down my feelings about this story without explaining the story. This represents a true friendship between a book and a person.