Search Results

Today, privacy is one of the most hotly debated topics worldwide. The book aims to balance the development of personal rights in a country that has historically valued collective rights over those of the individual. The protection of privacy is not an issue that has been emphasised during the rapid ... More

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four pr... More

This book examines the water resistance capacity of the Upper Ordovician limestone and its feasibility as a water barrier to achieve safe and green mining. Mine water inrush events often occur during coal mine construction and production; they account for a large proportion of the coal mine disaster... More

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof an... More

This book summarizes the latest research findings in the neurocircuitry of innate behaviors, covering major topics such as innate fear, aggression, feeding, reward, social interaction, parental care, spatial navigation, and sleep-wake regulation. For decades, humans have been fascinated by wild anim... More

This book reviews and discusses the development of self-assembled nanomaterials applied in biomedical fields. Based on self-assembled nanomaterial constructions, it highlights the mechanisms of the stimuli-response-induced assembly/disassembly and transformation. Moreover, it examines healthcare-rel... More

Conventional wisdom holds that China’s rise is disrupting the global balance of power in unpredictable ways. However, China has often deferred to the consensus of smaller neighboring countries on regional security rather than running roughshod over them. Why and when does China exercise restraint—an... More

Co-authored by four high-profile International Relations scholars, this book investigates the implications of the global ascent of China on cross-Strait relations and the identity of Taiwan as a democratic state. Examining an array of factors that affect identity formation, the authors consider th... More

Emotions, Technology, and Digital Games explores the need for people to experience enjoyment, excitement, anxiety, anger, frustration, and many other emotions. The book provides essential information on why it is necessary to have a greater understanding of the power these emotions have on players, ... More

This book provides a systematic and comprehensive interdisciplinary overview of ductile mode cutting of brittle materials, covering a range of topics from the fundamental physics to engineering practices. Discussing the machining mechanics and material properties, it explains the fundamental mechani... More

Neither war nor preparations for war were the cause or effect of state formation in East Asia. Instead, emulation of China—the hegemon with a civilizational influence—drove the rapid formation of centralized, bureaucratically administered, territorial governments in Korea, Japan, and Vietnam. Furthe... More

This book presents an in-depth study and elucidation on the mechanisms of the micro-cutting process, with particular emphasis and a novel viewpoint on materials characterization and its influences on ultra-precision machining.  Ultra-precision single point diamond turning is a key technology in the ... More

This book provides different financial models based on options to predict underlying asset price and design the risk hedging strategies. Authors of the book have made theoretical innovation to these models to enable the models to be applicable to real market. The book also introduces risk management... More

This book summarizes the advances in mine hydrogeology in terms of the development of new technologies and sustainable mining to prevent water inrush disasters during coal-mine construction and production in China. It presents holistic topics that balance safe coal mining and the minimization of imp... More

This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers were carefully reviewed and selected from 268 ... More

This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers were carefully reviewed and selected from 268 ... More

High-Performance Computing for Big Data: Methodologies and Applications explores emerging high-performance architectures for data-intensive applications, novel efficient analytical strategies to boost data processing, and cutting-edge applications in diverse fields, such as machine learning, life sc... More

Robust Nano-Computing focuses on various issues of robust nano-computing, defect-tolerance design for nano-technology at different design abstraction levels. It addresses both redundancy- and configuration-based methods as well as fault detecting techniques through the development of accurate comput... More

This book constitutes the refereed proceedings of the 12th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2022 held in Leiden, The Netherlands, during March 20-24, 2023. The 44 regular papers presented in this book were carefully reviewed and selected from 65 submissio... More

This book introduces computational advertising, and Internet monetization. It provides a macroscopic understanding of how consumer products in the Internet era push user experience and monetization to the limit. Part One of the book focuses on the basic problems and background knowledge of online ad... More

Cryogen-free cryogenics is leading a revolution in research and industry by its significant advantages over traditional liquid helium systems. This is the first overview for the field, covering the key technologies, conceptual design, fabrication, operation, performance, and applications of these sy... More

This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and ... More

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were care... More

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were ... More

This monograph is devoted to developing a theory of combined measure and shift invariance of time scales with the related applications to shift functions and dynamic equations. The study of shift closeness of time scales is significant to investigate the shift functions such as the periodic function... More