Qi Yang: 8 books

Involving several areas of geological engineering, geotechnical engineering and tunnel engineering, this book describes the soft soil deformation characteristics and dynamic responses induced by subway vibration load. Based on field monitoring and laboratory testing data, with both comprehensive micro-and...

This book has following unique features that distinguish it from other works from the same area: 1) Investigates the influence of fissure geometry on strength failure and crack evolution behaviour of real rock material; 2) Analyzes the effect of pre-experiment high-temperature treatment on fracture...

Social policy reforms driven by profound social changes have been a popular and pressing topic worldwide in recent years in both policy and academic circles. In this book, prominent social policy scholars from Europe, North America, and Asia discuss the history of social policies, compare different...

Computer-aided full-wave electromagnetic (EM) analysis has been used in microwave engineering for the past decade. Initially, its main application area was design verification. Today, EM-simulation-driven optimization and design closure become increasingly important due to the complexity of microwave...

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach–Steinhaus Boundedness...

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and...

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and applications of set theory to C*-algebra. This volume...

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fundamental ideas and techniques, and enough context...