This book presents models that capture the nonlinear response of piles subjected to lateral forces. Utilising a consistent approach encompassing new mathematical models, it offers solutions presented as closed-form expressions and underpinned by the same set of 3-5 measurable soil-input parameters. These focus on nonlinear response of mono piles, anchored piles, pile groups, and torsional piles, as well as passive piles subjected to soil movement induced in shearing, sliding slopes or exca...

This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Moore's Law predicts that the degree of microprocessor integration of circuits would double every 18 months in DRAM. Although the scaling of microelectronic circuit elements still follows Moore's Law, the unit density of power consumption becomes unacceptable. Therefore, on one hand, people develop continuously the microelectronic technology. On the other, people consider the developing road after Moore's rule is broken. This book introduces theories and experiments of quantum transport an...

This book introduces aquaculture ecology as a science of the interaction between commercial aquatic organisms as well as their farming activities and the environment, including the rationales of building and management of aquaculture systems. This book covers productivity and carrying capacity, effects of cyclical fluctuation of environmental factors on aquatic organisms, biological control of water quality, structural optimization of aquaculture systems and ecological prevention of diseas...

This book explores the developmental direction of the modernization of China's basic public services in the context of national governance modernization. Describing the blueprint for the modernization of China's basic public services in 2030, including basic public education, basic medical and health services, basic old-age services, and basic public cultural services, this book reflects Chinese public management scholars' strategies for the modernization of China’s public services in the ...

This book offers a detailed overview of translational bioinformatics together with real-case applications. Translational bioinformatics integrates the areas of basic bioinformatics, clinical informatics, statistical genetics and informatics in order to further our understanding of the molecular basis of diseases. By analyzing voluminous amounts of molecular and clinical data, it also provides clinical information, which can then be applied. Filling the gap between clinic research and infor...

This book highlights the latest advances in fundamental research, technologies and applications of hydrogen energy and fuel cells. In recent years, energy conversion between electricity and hydrogen energy has attracted increasing attention as a way to adjust the load of the grid. This book discusses and exchanges cutting-edge findings and technological developments in fields such as new proton exchange membrane electrolyzers, new electrode materials and catalysts, renewable energy, off-gr...

Calculations and Simulations of Low-Dimensional MaterialsA comprehensive guide to methods for calculating and simulating the properties of low-dimensional materialsTwo-dimensional materials are those, such as graphene and 2D oxides, whose thickness is so small as to approach the atomic scale. Potential applications for these materials exist in an enormous range of scientific and industrial fields. A previous era of low-dimensional materials...

This book constitutes the thoroughly refereed proceedings of the 6th Joint International Semantic Technology Conference, JIST 2016, held in Singapore, Singapore, in November 2016. The main topics of JIST 2016 include among others ontology and reasoning; linked data; knowledge graph. The JIST 2016 conference consists of two keynotes, a main technical track, including (full and short papers) from the research and the in-use tracks, a Poster and Demo session, a workshop and two tutorials....

This book presents a collection of high-quality, peer-reviewed research papers from the 7th International Conference on Information System Design and Intelligent Applications (India 2022), held at BVRIT Hyderabad College of Engineering for Women, Hyderabad, Telangana, India, from February 25 to 26, 2022. It covers a wide range of topics in computer science and information technology, including data mining and data warehousing, high-performance computing, parallel and distributed computing,...

This edited book on Digital Technologies and Early Childhood in China: Policy and Practice is the eighth volume in the Research in Global Child Advocacy Series. This volume details the entanglement of digital technologies and early childhood ecologies, learning and pedagogies in China. It analyses how traditional Chinese values, Eastern and Western curricular approaches, and socio-political, economic, cultural, and demographic changes influence current policies, services, and practice. Thi...

The spatial-temporal cooperative guidance problem for multiple flight vehicles has garnered significant attention in recent years due to its potential benefits in both military and civil fields. This book provides a concise but holistic introduction to this practical problem and presents a summative collection of the latest solutions to the concerned challenges, thereby providing some theoretical support for enhancing the synergism and applicability of cooperative guidance for multiple fli...