Foundations for Efficient Web Service Selection describes the foundational framework for efficient Web service selection. It lays out a theoretical underpinning for the design of models and algorithms for searching and optimizing access to Web servi…
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 f…
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 ap…
Offers a comprehensive introduction to the issues of control of power systems during cascading outages and restoration process Power System Control Under Cascading Failures offers comprehensive coverage of three major topics related to prevention of…
This book is at once a guided introduction to Chinese nonfictional prose and an innovative textbook for the study of classical Chinese. It is a companion volume to How to Read Chinese Prose: A Guided Anthology, designed for Chinese-language learners…
This book covers the fundamental aspects of the electrochemistry and redox enzymes that underlie enzymatic bioelectrocatalysis, in which a redox enzyme reaction is coupled with an electrode reaction. Described here are the basic concept and theoreti…
This pioneering book addresses the latest research findings and application results on disruption management, which is the study of how to dynamically recover a predetermined operational plan when various disruptions prevent the original plan from b…
This book presents the theory and methodology of geographical data acquisition, providing comprehensive coverage ranging from the definition of geo-referencing systems and transformation between these systems to the acquisition of geographical data…
Autobiography by Wang YuQi.Book about his life from 1938, childhood in Jinzhou with liberation of the city from Japanese invaders. How they became refugees and travelled from one city to another. First love and culture revolution time. Through this…
The high temperature solid oxide fuel cell (SOFC) is identified as one of the leading fuel cell technology contenders to capture the energy market in years to come. However, in order to operate as an efficient energy generating system, the SOFC requ…
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 part…
This book introduces plant metabolomics, an experimental approach that is important in both functional genomics and systems biology. It can be argued that metabolite data is most closely linked to phenotypes and that changes in metabolite content or…
This open access book includes instruction of national mineral database 2020 and atlas of national mineral deposits distribution derived from national mineral database 2020. National mineral database 2020 is based on data from National Geological Ar…
The Golden Age of Mammals is Bell's eighth collection of poetry, exploring various topics and themes related to hope, loss and acceptance.
The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the Nat…
This book constitutes the thoroughly refereed proceedings of the 2012 ICSOC Workshops consisting of 6 scientific satellite events, organized in 3 main tracks including workshop track (ASC, DISA. PAASC, SCEB, SeMaPS and WESOA 2012), PhD symposium tra…
This book provides an original and critical analysis of the most contentious subjects being negotiated in the China–EU Comprehensive Agreement on Investment (CAI). It focuses on the pathway of reforming investor-state dispute settlement (ISDS)…
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 14th International Conference on Service-Oriented Computing, ICSOC 2016, held in Banff, AB, Canada, in October 2016. The ICSO…
While language instructors recognize the value of debate as a means of facilitating Advanced- and Superior-level skills, no single advanced Chinese textbook exists that provides level-specific scaffolded language exercises, rhetorical strategies, an…
Development and Application of Classical Capillary Curve Theory shows readers how to improve chemical flooding recovery procedures in enhanced oil recovery (EOR) using sophisticated numerical modeling techniques for oil displacement that build on, a…
This volume constitutes the refereed proceedings, presented during the ACPR 2019 Workshops, held in Auckland, New Zealand, in November 2019. The 17 full papers and 6 short papers were carefully reviewed and selected out of numerous submissions. The…
This book constitutes the refereed proceedings of the Seventh Chinese Semantic Web Symposium and the Second Chinese Web Science Conference, CSWS 2013, held in Shanghai, China in August 2013. The 14 revised full papers presented together with 6 short…
This book uncovers the important issues in language learning and teaching in the intelligent, digital era. “Social connectivity” is a contemporary style of learning and living. By engaging in the connectivity of physical and digital worl…
This book constitutes the thoroughly refereed post-workshop proceedings of the 18th Chinese Lexical Semantics Workshop, CLSW 2017, held in Leshan, China, in May 2017. The 48 full papers and 5 short papers included in this volume were carefully revie…
Learn how to access analytics from SAS Cloud Analytic Services (CAS) using R and the SAS Viya platform. SAS Viya : The R Perspective is a general-purpose introduction to using R with the SAS Viya platform. SAS Viya is a high-performance, fault-tole…
This book constitutes the proceedings of the 16th International Conference on Service-Oriented Computing, ICSOC 2018, held in Hangzhou, China, in November 2018. The 63 full papers presented together with 3 keynotes in this volume were carefully revi…
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the…
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore. It con…
This book constitutes the conference proceedings of the 10th International Conference on Service-Oriented Computing, ICSOC 2012, held in Shanghai, China in November 2012. The 32 full papers and 21 short papers presented were carefully reviewed and s…
This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logi…
Learn how to access analytics from SAS Cloud Analytic Services (CAS) using R and the SAS Viya platform. SAS Viya: The R Perspective is a general-purpose introduction to using R with the SAS Viya platform. SAS Viya is a high-performance, fault-tolera…
The international symposium on number theory and analysis in memory of the late famous Chinese mathematician Prof. Hua Loo Keng was co-sponsored by the Institute of Mathematics, Academia Sinica and the University of Science and Technology of China.…
Mechanical responses of solid materials are governed by their material properties. The solutions for estimating and predicting the mechanical responses are extremely difficult, in particular for non-homogeneous materials. Among these, there is a spe…
The Book collects 27 prose written by the different authors of Chinese Ming and and Qing Dynasties (AD1368--1911), the plots of prose essays are exciting and interesting, and they are worth reading.
This book constitutes the thoroughly refereed proceedings of the 5th Joint International Semantic Technology Conference, JIST 2015, held in Yichang, China, in November 2015.The theme of the JIST 2015 conference was "Big Data and Social Media". The J…
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 16th International Conference on Service-Oriented Computing, ICSOC 2018, held in Hangzhou, China, in November 2018. The ICSOC…
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019.The ICSOC…
Strength theory deals with the yield or failure of materials under complex stress state. It is very important in mechanics of materials, strength of structures, and mechanical and civil engineering. Unified strength theory is a series of yield crite…
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 Ope…