Search

Yongding County in southeast China is famous for its large, multistory communal vernacular buildings known as tulou, translated'rammed earth building.'These structures were designated a UNESCO World Heritage Site in 2008. Living in Heritage introduces readers outside of China to this classic example of local Chinese architecture in the context of contemporary heritage preservation and tourism.Focusing on the Yongding Hakka Tulou Folk Culture Village, which is part of Hongkeng Village, author Lijun Zhang examines the on-the-ground processes and effects of heritage-making, UNESCO-inspired tourism, and how locals negotiate the dramatic transformation of their daily, social, and economic lives. Within an age of cultural change beginning at the start of the 21st century, Living in Heritage explores how the tulou phenomenon as heritage has and continues to be transformed into cultural, economic, or political capital. Through her careful study, Zhang reveals how the blurring of formerly distinct domains—private and public, local and global—gives rise to a living museum that now relies on insiders and outsiders to preserve their way of life.Living in Heritage offers an in-depth ethnographic account of the people dwelling and working within traditional tulou architecture in the 21st century. more...

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. more...

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems. more...

Chinese folklorists are well acquainted with the work of their English-language colleagues, but until recently the same could not be said about American scholars'knowledge of Chinese folkloristics. Chinese Folklore Studies Today aims to address this knowledge gap by illustrating the dynamics of contemporary folklore studies in China as seen through the eyes of the up-and-coming generation of scholars. Contributors to this volume focuses on topics that have long been the dominant areas of folklore studies in China, including myth, folk song, and cultural heritage, as well as topics that are new to the field, such as urban folklore and women's folklore. The ethnographic case studies presented here represent a broad range of geographic areas within mainland China and also introduce English-language readers to relevant Chinese literature on each topic, creating the foundation for further cross-cultural collaborations between English-language and Chinese folkloristics. more...

Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including:Boolean control networks;nondeterministic finite-transition systems;finite automata;labelled Petri nets; andcellular automata.The book's perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology.Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods. more...

This book summarizes Chinese banks'achievements in global markets and examines the differences between Chinese and foreign banks. It also explores the future roadmap of internationalization and the risks involved in the process, in order to provide reference resource for Chinese banks.Based on the CBII (Chinese Bank Internationalization Index), which was first released in 2015, the book introduces the Banks'Internationalization Index (“BII”) and expands the BII by examining two groups of data, including the number of overseas branches, overseas assets and revenue. In addition it analyzes representative Chinese banks'internationalization, using 16 of the Global Systemically Important Banks (G-SIBs) as benchmarks. ​ more...

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. more...