Lijun Zhang

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.

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.

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. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

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. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

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. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

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. This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

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. ?

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. ?

The noise, vibration, and harshness (NVH), also known as noise and vibration (N&V), is a critical feature for customers to assess the performance and quality of vehicles. NVH characteristics are higher among factors that customers use to judge the vehicle's quality. This book sets out to introduce the basic concepts, principles, and applications of the NVH development and refi nement of Battery Electric Vehicles (BEV), Hybrid Electric Vehicles (HEV), and Fuel Cell Electric Vehicles. Each type comes with its own set of challenges.

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.

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.