The Material Point Method: A Continuum-Based Particle Method for Extreme Loading Cases systematically introduces the theory, code design, and application of the material point method, covering subjects such as the spatial and temporal discretization of MPM, frequently-used strength models and equations of state of materials, contact algorithms in MPM, adaptive MPM, the hybrid/coupled material point finite element method, object-oriented programming of MPM, and the application of MPM in impact, explosion, and metal forming. Recent progresses are also stated in this monograph, including improvement of efficiency, memory storage, coupling/combination with the finite element method, the contact algorithm, and their application to problems.

This book systematically explains the fundamentals of system-level electromagnetic compatibility and introduces the basic concept of system-level electromagnetic compatibility quantification design. The topics covered include the critical technologies in the top-down quantification design of electromagnetic compatibility, quantification design of system-level electromagnetic compatibility, evaluation methods and application examples, quality control and application examples of electromagnetic compatibility development process, and real-world engineering example analysis of electromagnetic compatibility.The book proposes a top-down system-level electromagnetic compatibility quantification design method and is the first book to describe in detail how to quantitatively evaluate and predict system-level electromagnetic compatibility performance. It includes abundant engineering examples and experimental data demonstrating the usage and results of the top-down quantification design methods of system-level electromagnetic compatibility.It enables readers to obtain a thorough understanding of the theory and methods of system-level electromagnetic compatibility quantification design as well as the methodologies for engineering practice.

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems.

When faced with those who act with impunity, we seek the protection of law. We rely upon the legal system for justice, from international human rights law that establishes common standards of protection, to international criminal law that spearheads efforts to end impunity for the most heinous atrocities. While legal processes are perceived to combat impunity, and despite the ready availability of the law, accountability often remains elusive. What if the law itself enables impunity? Law's Impunity asks this question in the context of the modern Private Military Company (PMC), examining the relationship between law and the concepts of responsibility and impunity. This book proposes that ordinary legal processes do not neutralise, but rather legalise impunity. This radical idea is applied to the abysmal record of human rights violations perpetrated by the modern PMC and the shocking absence of accountability. This book demonstrates how the law organises, rather than overcomes, impunity by detailing how the modern PMC exploits ordinary legal processes to systematically exclude itself from legal responsibility. Thus, Law's Impunity offers an alternative to conventional thinking about the law, providing an innovative approach to assess and refine the rigour of legal processes in the ongoing quest to end impunity.

This textbook contains the contents coming from hydraulics, hydrodynamics, chemical principles, chemical reaction engineering and bioengineering, which relates closely with fundamental principles in environmental engineering. It mainly covers principles including basic concepts, theories, methods and related equipment in fluid flow and transportation, heat transfer, absorption, chemical and biological reaction kinetics and reactors, as well as their applications in environmental engineering. At same time, the readers learns the basic viewpoints and methods commonly used in engineering technology, such as balance method, reasonable simplification, dimensional analysis method, boundary layer theory, optimization and mathematical model method. It broadens the student’s understanding in solving those problems in environmental engineering, and enhances their awareness of industrialization. This book is the specialized foundation and principles for learning the professional courses of environmental engineering, such as "water pollution control," "air pollution control," "solid waste treatment and disposal" and "ecological restoration engineering", while avoiding the repetition of the contents of those professional books.

Modern Chinese for Heritage Beginners aims to serve as a stepping-stone for Chinese heritage language learners' future Chinese learning, inspiring them to reflect on their identities, learn Chinese American history, and embrace their cultural heritage. The book starts with talking about individuals and families and then expands to the Chinese and Asian American communities in the U.S. and eventually to the entire American society, all from the unique perspective of Chinese American students. Taking a macro approach (Kagan & Dillon, 2008) that builds learners' literacy skills on their initial abilities in speaking and listening, each lesson starts with listening and speaking activities and then moves to reading and writing. The content complexity and language difficulty are balanced to present rich content that matches students' critical thinking abilities in a language appropriate for their literacy level. Lively and humorous language makes the book a joy to read. Each lesson has a conversation and an essay to expose students to informal and formal registers. Moreover, authentic tasks are designed to facilitate students' language output, following the three modes of communication promoted by the American Council on Teaching Foreign Languages: interpersonal, interpretive, and presentational. This theme-based Chinese textbook is written for high school and college-level Chinese heritage language learners.

Modern Chinese for Heritage Beginners aims to serve as a stepping-stone for Chinese heritage language learners' future Chinese learning, inspiring them to reflect on their identities, learn Chinese American history, and embrace their cultural heritage. The book starts with talking about individuals and families and then expands to the Chinese and Asian American communities in the U.S. and eventually to the entire American society, all from the unique perspective of Chinese American students. Taking a macro approach (Kagan & Dillon, 2008) that builds learners' literacy skills on their initial abilities in speaking and listening, each lesson starts with listening and speaking activities and then moves to reading and writing. The content complexity and language difficulty are balanced to present rich content that matches students' critical thinking abilities in a language appropriate for their literacy level. Lively and humorous language makes the book a joy to read. Each lesson has a conversation and an essay to expose students to informal and formal registers. Moreover, authentic tasks are designed to facilitate students' language output, following the three modes of communication promoted by the American Council on Teaching Foreign Languages: interpersonal, interpretive, and presentational. This theme-based Chinese textbook is written for high school and college-level Chinese heritage language learners.

Due to the fast growth of the Web and the difficulties in finding desired information, efficient and effective information retrieval systems have become more important than ever, and the search engine has become an essential tool for many people. The ranker, a central component in every search engine, is responsible for the matching between processed queries and indexed documents. Because of its central role, great attention has been paid to the research and development of ranking technologies. In addition, ranking is also pivotal for many other information retrieval applications, such as collaborative filtering, definition ranking, question answering, multimedia retrieval, text summarization, and online advertisement. Leveraging machine learning technologies in the ranking process has led to innovative and more effective ranking models, and eventually to a completely new research area called "learning to rank." Liu first gives a comprehensive review of the major approaches to learning to rank. For each approach he presents the basic framework, with example algorithms, and he discusses its advantages and disadvantages. He continues with some recent advances in learning to rank that cannot be simply categorized into the three major approaches - these include relational ranking, query-dependent ranking, transfer ranking, and semisupervised ranking. His presentation is completed by several examples that apply these technologies to solve real information retrieval problems, and by theoretical discussions on guarantees for ranking performance. This book is written for researchers and graduate students in both information retrieval and machine learning. They will find here the only comprehensive description of the state of the art in a field that has driven the recent advances in search engine development.

The book is the first thorough study of the role of phosphorus chemistry in the origin of life. This book starts with depiction of the phosphorus role in life creation and evolution. Then it outlines in vital processes how different phosphorus-containing compounds participate as biomarker in life evolution. Written by renowned scientists, it is suitable for researchers and students in organic phosphorus chemistry and biochemistry.

Urban development and migration from rural to urban areas are impacting prime agricultural land and natural landscapes, particularly in the less developed countries. These phenomena will persist and require serious study by those monitoring global environmental change. To address this need, various models have been devised to analyze urbanization and the physical, socioeconomic, and institutional factors impacting urban development. The most promising and rapidly developing of these paradigms take advantage of new Geographical Information System (GIS) technology. Modelling Urban Development with Geographical Information Systems and Cellular Automata presents one such cutting-edge model that is more than just predictive. It describes how the model simulates the urbanization process, and it provides theoretical context to promote understanding. Starting with a practical overview of the modelling techniques used in urban development research, the author focuses on the cellular automata model and its greatest strength - the incorporation of fuzzy set and fuzzy logic approaches through which urban development can be viewed as a spatially and temporally continuous process. Real-Life Application to Develop Future Planning Methods The text describes a landmark study underway, in which the fuzzy constrained cellular automata model has been implemented in a GIS environment to simulate urban development in Sydney, Australia. Featuring a survey of associated research and a geographical database for the Sydney simulation, this book answers many general "what if" questions for urban planners and details a new approach that they can adapt to their own testing and evaluation needs. This modeling method will provide researchers and planners with the means to not just predict population trends, but to better prepare for their consequences.

This book constitutes the refereed proceedings of the 24th China Conference on Information Retrieval, CCIR 2018, held in Guilin, China, in September 2018. The 22 full papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections: Information retrieval, collaborative and social computing, natural language processing.

Due to the fast growth of the Web and the difficulties in finding desired information, efficient and effective information retrieval systems have become more important than ever, and the search engine has become an essential tool for many people. The ranker, a central component in every search engine, is responsible for the matching between processed queries and indexed documents. Because of its central role, great attention has been paid to the research and development of ranking technologies. In addition, ranking is also pivotal for many other information retrieval applications, such as collaborative filtering, definition ranking, question answering, multimedia retrieval, text summarization, and online advertisement. Leveraging machine learning technologies in the ranking process has led to innovative and more effective ranking models, and eventually to a completely new research area called "learning to rank". Liu first gives a comprehensive review of the major approaches to learning to rank. For each approach he presents the basic framework, with example algorithms, and he discusses its advantages and disadvantages. He continues with some recent advances in learning to rank that cannot be simply categorized into the three major approaches - these include relational ranking, query-dependent ranking, transfer ranking, and semisupervised ranking. His presentation is completed by several examples that apply these technologies to solve real information retrieval problems, and by theoretical discussions on guarantees for ranking performance. This book is written for researchers and graduate students in both information retrieval and machine learning. They will find here the only comprehensive description of the state of the art in a field that has driven the recent advances in search engine development.

A pioneering treatise presenting how the new mathematical techniques of holographic duality unify seemingly unrelated fields of physics. This innovative development morphs quantum field theory, general relativity and the renormalisation group into a single computational framework and this book is the first to bring together a wide range of research in this rapidly developing field. Set within the context of condensed matter physics and using boxes highlighting the specific techniques required, it examines the holographic description of thermal properties of matter, Fermi liquids and superconductors, and hitherto unknown forms of macroscopically entangled quantum matter in terms of general relativity, stars and black holes. Showing that holographic duality can succeed where classic mathematical approaches fail, this text provides a thorough overview of this major breakthrough at the heart of modern physics. The inclusion of extensive introductory material using non-technical language and online Mathematica notebooks ensures the appeal to students and researchers alike.

This book constitutes the refereed proceedings of the 9th Information Retrieval Societies Conference, AIRS 2013, held in Singapore, in December 2013. The 27 full papers and 18 poster presentations included in this volume were carefully reviewed and selected from 109 submissions. They are organized in the following topical sections: IR theory, modeling and query processing; clustering, classification and detection; natural language processing for IR; social networks, user-centered studies and personalization and applications.

This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Web and Internet Economics, WINE 2014, held in Beijing, China, in December 2014. The 32 regular and 13 short papers were carefully reviewed and selected from 107 submissions and cover results on incentives and computation in theoretical computer science, artificial intelligence, and microeconomics.

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems.

This book, based on the theory of Marxism-Leninism, aims to study the essence, content and features of various legal systems in China in different historical periods, as well as the rules of the development of Chinese legal systems. It effectively combines classic analysis and historical analysis to probe historical facts and elaborate the historical role of the legal system, revealing both the general and the specific rules of the development of China s legal system on the basis of the existing relevant research. The subject matter is of abundant theoretical and practical significance, as it enriches Marxist legal studies, deepens readers' understanding of China s legal civilization and offers guiding principles for the creation of socialist legal systems with Chinese characteristics. It discusses the trends in thinking on the reconstruction of the legal system; changing laws; western legal culture; the legal system in the period of westernization, constitution and reform; preparation for constitutionalism; modification of the law during the late Qing Dynasty; criminal, civil and commercial legislation; and judicial reforms in the modern era as well as the various ups and downs and cases of malconduct after the founding of the People's Republic of China.

This book constitutes the refereed proceedings of the 25th International Conference on DNA Computing and Molecular Programming, DNA 25, held in Seattle, WA, USA, in August 2019. The 12 full papers presented were carefully selected from 19 submissions. The papers cover a wide range of topics relating to biomolecular computing such as algorithms and models for computation on biomolecular systems; computational processes in vitro and in vivo; molecular switches, gates, devices, and circuits; molecular folding and self-assembly of nanostructures; analysis and theoretical models of laboratory techniques; molecular motors and molecular robotics; information storage; studies of fault-tolerance and error correction; software tools for analysis, simulation, anddesign; synthetic biology and in vitro evolution; and applications in engineering, physics, chemistry, biology, and medicine.

The intense and polemical debate over the legality and morality of weapons systems to which human cognitive functions are delegated (up to and including the capacity to select targets and release weapons without further human intervention) addresses a phenomena which does not yet exist but which is widely claimed to be emergent. This groundbreaking collection combines contributions from roboticists, legal scholars, philosophers and sociologists of science in order to recast the debate in a manner that clarifies key areas and articulates questions for future research. The contributors develop insights with direct policy relevance, including who bears responsibility for autonomous weapons systems, whether they would violate fundamental ethical and legal norms, and how to regulate their development. It is essential reading for those concerned about this emerging phenomenon and its consequences for the future of humanity.

This book constitutes the proceedings of the 7th International Conference on Social Informatics, SocInfo 2015, held in Beijing, China, in December 2015. The 19 papers presented in this volume were carefully reviewed and selected from 42 submissions. They cover topics such as user modeling, opinion mining, user behavior, and crowd sourcing.

This book integrates the fundamentals of asymptotic theory of statistical inference for time series under nonstandard settings, e.g., infinite variance processes, not only from the point of view of efficiency but also from that of robustness and optimality by minimizing prediction error. This is the first book to consider the generalized empirical likelihood applied to time series models in frequency domain and also the estimation motivated by minimizing quantile prediction error without assumption of true model. It provides the reader with a new horizon for understanding the prediction problem that occurs in time series modeling and a contemporary approach of hypothesis testing by the generalized empirical likelihood method. Nonparametric aspects of the methods proposed in this book also satisfactorily address economic and financial problems without imposing redundantly strong restrictions on the model, which has been true until now. Dealing with infinite variance processes makes analysis of economic and financial data more accurate under the existing results from the demonstrative research. The scope of applications, however, is expected to apply to much broader academic fields. The methods are also sufficiently flexible in that they represent an advanced and unified development of prediction form including multiple-point extrapolation, interpolation, and other incomplete past forecastings. Consequently, they lead readers to a good combination of efficient and robust estimate and test, and discriminate pivotal quantities contained in realistic time series models.

The intense and polemical debate over the legality and morality of weapons systems to which human cognitive functions are delegated (up to and including the capacity to select targets and release weapons without further human intervention) addresses a phenomena which does not yet exist but which is widely claimed to be emergent. This groundbreaking collection combines contributions from roboticists, legal scholars, philosophers and sociologists of science in order to recast the debate in a manner that clarifies key areas and articulates questions for future research. The contributors develop insights with direct policy relevance, including who bears responsibility for autonomous weapons systems, whether they would violate fundamental ethical and legal norms, and how to regulate their development. It is essential reading for those concerned about this emerging phenomenon and its consequences for the future of humanity.

When faced with those who act with impunity, we seek the protection of law. We rely upon the legal system for justice, from international human rights law that establishes common standards of protection, to international criminal law that spearheads efforts to end impunity for the most heinous atrocities. While legal processes are perceived to combat impunity, and despite the ready availability of the law, accountability often remains elusive. What if the law itself enables impunity? Law's Impunity asks this question in the context of the modern Private Military Company (PMC), examining the relationship between law and the concepts of responsibility and impunity. This book proposes that ordinary legal processes do not neutralise, but rather legalise impunity. This radical idea is applied to the abysmal record of human rights violations perpetrated by the modern PMC and the shocking absence of accountability. This book demonstrates how the law organises, rather than overcomes, impunity by detailing how the modern PMC exploits ordinary legal processes to systematically exclude itself from legal responsibility. Thus, Law's Impunity offers an alternative to conventional thinking about the law, providing an innovative approach to assess and refine the rigour of legal processes in the ongoing quest to end impunity.