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; and cellular 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; and cellular 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.

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.

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.

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.

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.

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.

This book presents a unified framework for the tractable analysis of large-scale, multi-antenna wireless networks using stochastic geometry. This mathematical analysis is essential for assessing and understanding the performance of complicated multi-antenna networks, which are one of the foundations of 5G and beyond networks to meet the ever-increasing demands for network capacity. Describing the salient properties of the framework, which makes the analysis of multi-antenna networks comparable to that of their single-antenna counterparts, the book discusses effective design approaches that do not require complex system-level simulations. It also includes various application examples with different multi-antenna network models to illustrate the framework's effectiveness.

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

So far, rapid progress in wireless networking and mobile computing has made possible for mobile users to benefit from disparate wireless systems, such as WPAN, WLAN, WMAN and WWAN. On the other hand, next generation wireless networks are expected to integrate existing wireless systems within its all-IP-based infrastructure while supporting mobility among heterogeneous radio access technologies. The book describes protocols, architectures, standards mobility and performance for next generation wireless system.

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.