Advances in Digitalization and Machine Learning for Integrated Building-Transportation Energy Systems examines the combined impact of buildings and transportation systems on energy demand and use. With a strong focus on AI and machine learning approaches, the book comprehensively discusses each part of the energy life cycle, considering source, grid, demand, storage, and usage. Opening with an introduction to smart buildings and intelligent transportation systems, the book presents the fundamentals of AI and its application in renewable energy sources, alongside the latest technological advances. Other topics presented include building occupants’ behavior and vehicle driving schedule with demand prediction and analysis, hybrid energy storages in buildings with AI, smart grid with energy digitalization, and prosumer-based P2P energy trading. The book concludes with discussions on blockchain technologies, IoT in smart grid operation, and the application of big data and cloud computing in integrated smart building-transportation energy systems. A smart and flexible energy system is essential for reaching Net Zero whilst keeping energy bills affordable. This title provides critical information to students, researchers and engineers wanting to understand, design, and implement flexible energy systems to meet the rising demand in electricity.

Mathematical finance is a prolific scientific domain in which there exists a particular characteristic of developing both advanced theories and practical techniques simultaneously. "Mathematical Modelling and Numerical Methods in Finance" addresses the three most important aspects in the field: mathematical models, computational methods, and applications, and provides a solid overview of major new ideas and results in the three domains.
Coverage of all aspects of quantitative finance including models, computational methods and applications
Provides an overview of new ideas and results
Contributors are leaders of the field"

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics.
Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures.
Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.

Generalized Plasticity deals with the plasticity of materials and structures. It is an expansion of the "Unified Strength Theory to Plasticity Theory," leading to a unified treatment of metal plasticity and plasticity of geomaterials, generally. It includes the metal plasticity for Tresca materials, Huber-von-Mises materials and twin-shear materials and the geomaterial plasticity for Mohr-Coulomb materials, generalized twin-shear materials and the Unified Strength Theory.

This book focuses on the advanced control of reduced dc-link capacitance AC motor drives. Compared with the conventional AC motor drives, the reduced DC-link capacitance motor drives could reduce the cost, enhance the reliability and improve the power density. The control strategies proposed in this book are verified by experimental results, which include high power factor control, drive system stability control, beat phenomenon suppression, enhanced flux-weakening control, anti-overvoltage control, etc. The major features of this book are the systematic analysis, effective and optimized control of the practical issues in industry application, which could help readers to learn the reduced dc-link capacitance PMSM drives and promote the drive system application. This book could benefit researchers, engineers, and students in the field of AC motor drives.

This book examines how the Chinese Communist Party (CCP) has attempted to bolster its nationalist legitimacy through the utilisation of Chinese history. The authors identify two different modes of nationalism - aggressive and consensual - both of which are linked to the historical memory of the late Qing Dynasty and Republican era. Aggressive nationalism dwells on China's traumatic "century of humiliation" and is intended to incite popular resentment towards former imperialist powers (particularly Japan and the US) whenever they are deemed to still be acting in a provocative manner in their dealings with China. The aim is to remind the Chinese people that the CCP liberated China from imperialism after 1949 and has since restored national pride. Consensual nationalism is more conciliatory, emphasising common historical ties with the Guomindang (KMT) during the Second Sino-Japanese War and the Republican era. Here, the CCP is trying to promote itself as the party of national harmony and unity, with the long-term objective being peaceful reunification with Taiwan. However, the public response in China has not always been supportive of the CCP's claims to be the sole defender of Chinese national interests. Some critics have suggested that China would have been better off if the KMT had won the civil war instead of the CCP. Others have insisted that the party is hopelessly weak on issues of national importance and that China is no stronger now than it was during the final throes of the much-hated Qing Dynasty. This book will be of interest to research students and scholars of Chinese politics, history and international relations.

This book focuses on the control strategies for gearless permanent magnet synchronous motor traction elevators. Both basic principles and experimental evaluation have been addressed. This is achieved by providing in-depth study on a number of major topics such as speed detection at low-speed operation, starting torque strategy based on dichotomy and staircase methods, fuzzy self-tuning method, MPC and ADRC, etc. The comprehensive and systematic treatment of control strategies for cost-effective gearless PMSM traction elevators and practical issues are the major features of the book, which is particularly suited for readers who are interested to learn the control strategies for cost-effective gearless PMSM traction elevators. The book benefits researchers, engineers, and graduate students in the fields of ac motor drives and control strategies for cost-effective gearless PMSM traction elevators, etc.

This book describes various crisis situations in transitional China, and by analyzing the unique characteristics and backgrounds of emergencies and crisis, it argues that crisis management has become a major challenge for the Chinese governments. It then discusses the chronology of crisis, organizational behaviors and the decision-making processes to construct a modern crisis management system in detail, to shed light on the creation of a strategic design and institutional framework of crisis management in China. In so doing, it provides not only insights into the dynamics of crisis decision-making and communication, but also solutions for possible problems specific to a transitional political regime in China.

Mites are among the most important arthropods in greenhouses, both as pests causing economic injury to greenhouse crops, and as natural enemies used in the biological control of pest insects and other mites. Because of their minute size, mites are much less well known than insects. This book describes the biology, identification and control of such mites and the topics covered include an introduction to the Acari, illustrated keys to orders, families and selected species, the control of pest mites, and the role of beneficial mites in biological control. The book will be of interest to those working in entomology, crop protection and horticulture.

This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area - including algebraic construction, greedy methods, evolutionary computation, constraint solving and optimization - and explains major algorithms with examples. In addition, the book lists a number of test generation tools, as well as benchmarks and applications. Addressing a multidisciplinary topic, it will be of particular interest to researchers and professionals in the areas of software testing, combinatorics, constraint solving and evolutionary computation.

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

This avant-garde adaptation of Mark Godden's 'Dracula' ballet, based on the novel by Bram Stoker as well as early film versions such as Murnau's 'Nosferatu', is a collaboration between Canadian film director Guy Maddin and the Winnipeg National Ballet. Filmed in Maddin's trademark crimson-tinted black and white, and largely silent apart from its dramatic Mahler soundtrack, the film was originally produced for Canadian television, but went on to be screened at several international film festivals.

As indicated by the title, this book focuses on fundamental problems in finance: a logical dilemma in valuation, stock valuation methods/models, risk valuation, and optimal capital structure. It presents an innovative approach to logic and quantitative reasoning (without advanced mathematics) that delivers valuable results ---- convincing solutions to these problems. Readers in finance will definitely be interested in these solutions as well as the methods. In fact, these fundamental problems are essential in the field of finance, and they have remained unsolved (or partly unsolved) for decades. The solutions offered in this book are all sound in theory and feasible in practice, and will hopefully benefit boththeoretic al research and practical decision-making.

This book describes various crisis situations in transitional China, and by analyzing the unique characteristics and backgrounds of emergencies and crisis, it argues that crisis management has become a major challenge for the Chinese governments. It then discusses the chronology of crisis, organizational behaviors and the decision-making processes to construct a modern crisis management system in detail, to shed light on the creation of a strategic design and institutional framework of crisis management in China. In so doing, it provides not only insights into the dynamics of crisis decision-making and communication, but also solutions for possible problems specific to a transitional political regime in China.

This book focuses on the control strategies for gearless permanent magnet synchronous motor traction elevators. Both basic principles and experimental evaluation have been addressed. This is achieved by providing in-depth study on a number of major topics such as speed detection at low-speed operation, starting torque strategy based on dichotomy and staircase methods, fuzzy self-tuning method, MPC and ADRC, etc. The comprehensive and systematic treatment of control strategies for cost-effective gearless PMSM traction elevators and practical issues are the major features of the book, which is particularly suited for readers who are interested to learn the control strategies for cost-effective gearless PMSM traction elevators. The book benefits researchers, engineers, and graduate students in the fields of ac motor drives and control strategies for cost-effective gearless PMSM traction elevators, etc.

This book focuses on the advanced control of reduced dc-link capacitance AC motor drives. Compared with the conventional AC motor drives, the reduced DC-link capacitance motor drives could reduce the cost, enhance the reliability and improve the power density. The control strategies proposed in this book are verified by experimental results, which include high power factor control, drive system stability control, beat phenomenon suppression, enhanced flux-weakening control, anti-overvoltage control, etc. The major features of this book are the systematic analysis, effective and optimized control of the practical issues in industry application, which could help readers to learn the reduced dc-link capacitance PMSM drives and promote the drive system application. This book could benefit researchers, engineers, and students in the field of AC motor drives.

This book provides innovative solutions to fundamental problems in finance, such as the valuation of bond and equity, the pricing of debt, equity and total asset, the determination of optimal capital structure, etc., which are unsolved or poor-solved so far. The solutions in this book all have the following features: Based on essential assumptions in line with reality, the final solutions are analytical solutions with closed-form models, the forms and variables of the models are determined by strict and objective logic processes rather than chosen or presumed subjectively, such as the new growth model for stock valuation, the new CAPM accounting for total risk rather than only systematic risk, the real solution to optimal capital structure based on the trade-off between tax shield and bankruptcy cost. In addition, these basic solutions or models are adjusted easily to various application scenarios.