This book provides a systematic and accessible approach to stochastic differential equations, backward stochastic differential equations, and their connection with partial differential equations, as well as the recent development of the fully nonlinear theory, including nonlinear expectation, second order backward stochastic differential equations, and path dependent partial differential equations. Their main applications and numerical algorithms, as well as many exercises, are included. The book focuses on ideas and clarity, with most results having been solved from scratch and most theories being motivated from applications. It can be considered a starting point for junior researchers in the field, and can serve as a textbook for a two-semester graduate course in probability theory and stochastic analysis. It is also accessible for graduate students majoring in financial engineering.
Chemical mechanical planarization, or chemical mechanical polishing as it is simultaneously referred to, has emerged as one of the critical processes in semiconductor manufacturing and in the production of other related products and devices, MEMS for example. Since its introduction some 15+ years ago CMP, as it is commonly called, has moved steadily into new and challenging areas of semiconductor fabrication. Demands on it for consistent, efficient and cost-effective processing have been steady. This has continued in the face of steadily decreasing feature sizes, impressive increases in wafer size and a continuing array of new materials used in devices today. There are a number of excellent existing references and monographs on CMP in circulation and we defer to them for detailed background information. They are cited in the text. Our focus here is on the important area of process mod els which have not kept pace with the tremendous expansion of applications of CMP. Preston's equation is a valuable start but represents none of the subtleties of the process. Specifically, we refer to the development of models with sufficient detail to allow the evaluation and tradeoff of process inputs and parameters to assess impact on quality or quantity of production. We call that an "integrated model" and, more specifically, we include the important role of the mechanical elements of the process.
For the nearly three decades of coexistence between economic liberalization and political authoritarianism, China remains as an anomaly to the liberal mantra of our time. This book explores a segment of the China Paradox, the state-society interaction channeled by the Residents Committee. Being the largest urban neighborhood organization, the committee deserves study because of its controversial status between ordinary residents it claims to represent and the authoritarian state. The committee enters the discourse as a directly congruent example of the same paradox that the whole China displays, when it is endowed with important, yet tension-changed statutory functions ranging from social control to service provision and neighborhood self-governance. How, and under what conditions, does the committee carry out its functions? What can be learned about changing state-society relations from the dynamics of neighborhood politics in China? This book draws its analytical framework on the theoretical models of state penetration, civil disobedience, corporatism, and synergy, as well as on the practices of American, Cuban, and Japanese neighborhood organizations and the Chinese Rural Villagers Committee. Four distinctive Residents Committees in Tianjin City are studied in detail, and their functions are identified and explained primarily through their structural connections with the lowest state organ in cities, the street office, and residents (including other neighborhood organizations and activists). The book reveals multiple possibilities of Chinese social/political transformation. Among them emerges a promising trend of state-society cooperation, which is realigning and accommodating political authoritarianism and economic openness into a seemingly sustainable pattern of development at the urban grassroots. Referred to as an "amphibian" organization spanning public-private division, the committee highlights the limits of the state-society antithesis in the study of political transformation. The observed patterns of neighborhood politics also raise caution against the universal applicability of the liberal norm of civil society to countries like China with distinctive conditions from which the original norm is present and constructed.
This book analyzes the theory of ecological engineering of human settlements and provides case studies on the improvement of degraded lands and vegetation restoration, especially focusing on saline-alkali land, abandoned land, water source areas, and the impact of green belts on noise and air quality on the highways. In addition, it discusses the issue of biodiversity conservation strategies in rural landscape construction and demonstrates experiment measurement and field survey methods. The results obtained are supplemented by numerical calculations, presented in the form of tables and figures. As the first monograph on this subject, the book provides a wealth of ideas and resources for researchers, professionals and practitioners in the field of human settlements.
This book mainly focuses on ecological approaches for preventing and controlling non-point source (NPS) pollution on the basis of forestry measures. In addition to the effects of ecological control, it introduces readers to the characteristics of NPS pollution in Taihu Lake watershed, water eutrophication evaluation methods, and potential countermeasures. Given the crucial role of surface runoff and soil erosion in producing water pollution, the book presents forestry measures to combat them, such as the creation of public welfare forests, urban forestry, planting techniques for hedgerows on slope land, the establishment of shelter belts, nitrogen and phosphorus absorption by hydrophytes, and sustainable management for wetlands. Moreover, the results are supplemented by a wealth of numerical calculations, tables, figures and photographs. The book offers a valuable guide for researchers, educators and professionals working in the areas of water environment, water security and ecological construction. Prof. Jianfeng Zhang works at the Institute of Subtropical Forestry, Chinese Academy of Forestry, Fuyang, China.
The solution to the Kohn-Sham equation in the density functional theory of the quantum many-body problem is studied in the context of the electronic structure of smoothly deformed macroscopic crystals. An analog of the classical Cauchy-Born rule for crystal lattices is established for the electronic structure of the deformed crystal under the following physical conditions: (1) the band structure of the undeformed crystal has a gap, i.e. the crystal is an insulator, (2) the charge density waves are stable, and (3) the macroscopic dielectric tensor is positive definite. The effective equation governing the piezoelectric effect of a material is rigorously derived. Along the way, the authors also establish a number of fundamental properties of the Kohn-Sham map.
In recent years there has been a significant increase of interest in continuous-time Principal-Agent models, or contract theory, and their applications. Continuous-time models provide a powerful and elegant framework for solving stochastic optimization problems of finding the optimal contracts between two parties, under various assumptions on the information they have access to, and the effect they have on the underlying "profit/loss" values. This monograph surveys recent results of the theory in a systematic way, using the approach of the so-called Stochastic Maximum Principle, in models driven by Brownian Motion. Optimal contracts are characterized via a system of Forward-Backward Stochastic Differential Equations. In a number of interesting special cases these can be solved explicitly, enabling derivation of many qualitative economic conclusions.
The most recent advances in research on coastal saline soil rehabilitation and utilization based on forestry approach are discussed. The forestry approach is emphasized rather than physical or engineering measures to ameliorate saline soils, which is significant for coastal environmental improvement and land resources expansion. The monograph is a useful reference for researchers using techniques of ecology, forestry and agronomy. Prof. Jianfeng Zhang works at the Institute of Subtropical Forestry, Chinese Academy of Forestry. He has been working on afforestation in saline soils for over 20 years.
This book introduces the research background and significance of carbon emissions in the tunnel industry and systematically reviewed the research progresses of carbon emission researches for tunnels, LCA (life cycle assessment) research framework, and uncertainty research progress. The authors propose a novel modular carbon emission calculation method for highway tunnel construction and expounds on the modular LCA system boundary theory of tunnel construction. This method does not require abundant knowledge of LCA modeling, which is convenient for general engineering and technical personnel to calculate the carbon emission level of tunnel construction. The calculation formulas for input and carbon emissions of each module are provided. It also analyzes the parameter uncertainty, model uncertainty, and scenario uncertainty of the carbon emissions from tunnel construction by the Monte Carlo method. Further, this book proposes the fitting model of carbon emissions of unit engineering quantity in tunnel construction, which benefits to simplify the calculation of carbon emissions.This book is mainly aimed at engineering and technical personnel in the construction industry, especially tunnel and underground engineering, including tunnel design engineers; tunnel construction engineers, experts, and scholars; tunnel owners; management departments.
This is the first book of a two-volume book set which introduces software defined chips. In this book, it introduces the conceptual evolution of software defined chips from the development of integrated circuits and computing architectures. Technical principles, characteristics and key issues of software defined chips are systematically analyzed. The hardware architecture design methods are described involving architecture design primitives, hardware design spaces and agile design methods. From the perspective of the compilation system, the complete process from high-level language to configuration contexts is introduced in detail. This book is suitable for scientists and researchers in the areas of electrical and electronic engineering and computer science. Postgraduate students, practitioners and professionals in related areas are also potentially interested in the topic of this book.
This book surveys recent advances in Conversational Information Retrieval (CIR), focusing on neural approaches that have been developed in the last few years. Progress in deep learning has brought tremendous improvements in natural language processing (NLP) and conversational AI, leading to a plethora of commercial conversational services that allow naturally spoken and typed interaction, increasing the need for more human-centric interactions in IR. The book contains nine chapters. Chapter 1 motivates the research of CIR by reviewing the studies on how people search and subsequently defines a CIR system and a reference architecture which is described in detail in the rest of the book. Chapter 2 provides a detailed discussion of techniques for evaluating a CIR system – a goal-oriented conversational AI system with a human in the loop. Then Chapters 3 to 7 describe the algorithms and methods for developing the main CIR modules (or sub-systems). In Chapter 3, conversational document search is discussed, which can be viewed as a sub-system of the CIR system. Chapter 4 is about algorithms and methods for query-focused multi-document summarization. Chapter 5 describes various neural models for conversational machine comprehension, which generate a direct answer to a user query based on retrieved query-relevant documents, while Chapter 6 details neural approaches to conversational question answering over knowledge bases, which is fundamental to the knowledge base search module of a CIR system. Chapter 7 elaborates various techniques and models that aim to equip a CIR system with the capability of proactively leading a human-machine conversation. Chapter 8 reviews a variety of commercial systems for CIR and related tasks. It first presents an overview of research platforms and toolkits which enable scientists and practitioners to build conversational experiences, and continues with historical highlights and recent trends in a range of application areas. Chapter 9 eventually concludes the book with a brief discussion of research trends and areas for future work. The primary target audience of the book are the IR and NLP research communities. However, audiences with another background, such as machine learning or human-computer interaction, will also find it an accessible introduction to CIR.
Based on first principle quantum mechanics, electronic structure theory is widely used in physics, chemistry, materials science, and related fields and has recently received increasing research attention in applied and computational mathematics. This book provides a self-contained, mathematically oriented introduction to the subject and its associated algorithms and analysis. It will help applied mathematics students and researchers with minimal background in physics understand the basics of electronic structure theory and prepare them to conduct research in this area. The book begins with an elementary introduction of quantum mechanics, including the uncertainty principle and the Hartree?Fock theory, which is considered the starting point of modern electronic structure theory. The authors then provide an in-depth discussion of two carefully selected topics that are directly related to several aspects of modern electronic structure calculations: density matrix based algorithms and linear response theory. Chapter 2 introduces the Kohn?Sham density functional theory with a focus on the density matrix based numerical algorithms, and Chapter 3 introduces linear response theory, which provides a unified viewpoint of several important phenomena in physics and numerics. An understanding of these topics will prepare readers for more advanced topics in this field. The book concludes with the random phase approximation to the correlation energy. The book is written for advanced undergraduate and beginning graduate students, specifically those with mathematical backgrounds but without a priori knowledge of quantum mechanics, and can be used for self-study by researchers, instructors, and other scientists. The book can also serve as a starting point to learn about many-body perturbation theory, a topic at the frontier of the study of interacting electrons.
This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-defined chips is analyzed by tracing the coevolution of modern general-purpose processors and programming models. The enhancement in hardware security and reliability of the software-defined chips are described from the perspective of dynamic and partial reconfiguration. The challenges and prospective trends of software-defined chips are also discussed. Current applications in the fields of artificial intelligence, cryptography, 5G communications, etc., are presented in detail. Potential applications in the future, including post-quantum cryptography, evolutionary computing, etc., are also discussed. This book is suitable for scientists and researchers in the areas of electrical and electronic engineering and computer science. Postgraduate students, practitioners and professionals in related areas are also potentially interested in the topic of this book.
With the rapid development of artificial intelligence and the emergence of various new sensors, autonomous driving has grown in popularity in recent years. The implementation of autonomous driving requires new sources of sensory data, such as cameras, radars, and lidars, and the algorithm processing requires a high degree of parallel computing. In this regard, traditional CPUs have insufficient computing power, while DSPs are good at image processing but lack sufficient performance for deep learning. Although GPUs are good at training, they are too “power-hungry,” which can affect vehicle performance. Therefore, this book looks to the future, arguing that custom ASICs are bound to become mainstream. With the goal of ICs design for autonomous driving, this book discusses the theory and engineering practice of designing future-oriented autonomous driving SoC chips. The content is divided into thirteen chapters, the first chapter mainly introduces readers to the current challenges and research directions in autonomous driving. Chapters 2–6 focus on algorithm design for perception and planning control. Chapters 7–10 address the optimization of deep learning models and the design of deep learning chips, while Chapters 11-12 cover automatic driving software architecture design. Chapter 13 discusses the 5G application on autonomous drving. This book is suitable for all undergraduates, graduate students, and engineering technicians who are interested in autonomous driving.
Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic. As the exemplified applications, Air Traffic Control System (ATCS) and Smart Court SoSs (System of Systems) are introduced for practical OITs. This Open Access book can be used as a technical reference book in the field of information science and also a reference textbook for senior students and graduate ones in related majors.
Security Access in Wireless Local Area Networks - From Architecture and Protocols to Realization deals with the method and technology of the WLAN security architecture, design and analysis of security protocols for WLAN, and WLAN security management. The book is intended for researchers in wireless communication, electrical and computer engineering, and for graduate students.The authors are with Xidian University, P. R. China, where Dr. Jianfeng Ma is a professor of computer science and the director of the Key Laboratory of Computer Networks and Information Security (Ministry of Education).
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.