Search Results

The satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, algo... More

Addresses materials, technology, and products that could help solve the global environmental crisis once commercialized This multidisciplinary book encompasses state-of-the-art research on the topics of Carbon Capture and Storage (CCS), and complements existing CCS technique publications with the ne... More

This volume constitutes the proceedings of the 13th International Conference on Algorithmic Aspects in Information and Management, AAIM 2019, held in Bejing, China in August 2019. The 31 full papers presented were carefully reviewed and selected. The papers deal with most aspects of theoretical com... More

Medical Product Safety Evaluation: Biological Models and Statistical Methods presents cutting-edge biological models and statistical methods that are tailored to specific objectives and data types for safety analysis and benefit-risk assessment. Some frequently encountered issues and challenges in t... More

Sequential Experimentation in Clinical Trials: Design and Analysis is developed from decades of work in research groups, statistical pedagogy, and workshop participation. Different parts of the book can be used for short courses on clinical trials, translational medical research, and sequential expe... More

The first part of this book discusses institutions and mechanisms of algorithmic trading, market microstructure, high-frequency data and stylized facts, time and event aggregation, order book dynamics, trading strategies and algorithms, transaction costs, market impact and execution strategies, risk... More

This book presents the proceedings of the 2nd Pacific Rim Statistical Conference for Production Engineering: Production Engineering, Big Data and Statistics, which took place at Seoul National University in Seoul, Korea in December, 2016. The papers included discuss a wide range of statistical chall... More

A comprehensive treatment of Chinese maritime law and judicial practice, this book covers both substantive law and procedure law of maritime law in mainland China. This is a professional book for both academics and practitioners in the field of maritime law. Including analysis of and comment on ju... More

This book summarizes a series of research work on integrated process planning and scheduling (IPPS) done by the authors, focusing on discussing the properties, novel solution methods and applications of process planning, scheduling and IPPS problems under different machining environments. It is a va... More

This book is a must-have for blockchain developers who want to learn from scratch how to leverage blockchain technology in a real-world setting. The first section provides a brief overview of blockchain technology, including its concepts, history, technology genre, major related companies and typica... More

I was blind until one day I had a pair of perspective eyes that could see through everything. From then on, the right is in hand, the beautiful woman is in the arms, all the rivals and difficulties roll away.... More

I was blind until one day I had a pair of perspective eyes that could see through everything. From then on, the right is in hand, the beautiful woman is in the arms, all the rivals and difficulties roll away.... More

First published in 1980, The Christian Mystery presents a new approach to considering the Mysteries of the Faith. The book examines the doctrines of Christianity, analysing them closely and showing how together they constitute an invisible whole. It argues that churches should turn back to the eso... More

This book constitutes the proceedings of the 4th International Conference on Blockchain, ICBC 2021, held as part of SCF 2021, held as a Virtual Event, during December 10–14, 2021. The 8 full papers and 1 short paper presented were carefully reviewed and selected from 31 submissions. They deal wit... More

This open access book constitutes the refereed proceedings of the 16th International Annual Conference on Cyber Security, CNCERT 2020, held in Beijing, China, in August 2020. The 17 papers presented were carefully reviewed and selected from 58 submissions. The papers are organized according to the f... More

This book offers an essential guide to RNA activation (RNAa), an emerging and fascinating new field. RNAa is a small RNA-guided and Argonaute-dependent gene regulation phenomenon in which promoter-targeted short double-stranded RNAs (dsRNAs) induce target gene expression at the transcriptional level... More

Focused on solving competition-based problems, this book designs, proposes, develops, analyzes and simulates various neural network models depicted in centralized and distributed manners. Specifically, it defines four different classes of centralized models for investigating the resultant competiti... More

This monograph is intended for the designers and would-be designers of secure and efficient wireless communication systems under intentional interference. Along with the widespread of wireless devices, especially reconfigurable software defined radios, jamming has become a serious threat to civilian... More

This poignant, vibrantly illustrated tale, which won the prestigious Feng Zikai Chinese Children’s Picture Book Award in 2009, is sure to resonate with every child who misses relatives when they are away — and shows how a family’s love is strong enough to endure over time and distance.... More

Petroleum Geochemistry and Exploration in the Afro-Asian Region includes 29 papers presented at the 6th International Conference on Petroleum Geochemistry and Exploration in the Afro-Asian Region.Petroleum geochemistry has played a crucial role in determining effective source rocks, classifying petr... More

Two typical hybrid laser surface modification processes, i.e. electro/magnetic field aided laser process and supersonic laser deposition technology, are introduced in the book, to solve the common problems in quality control and low efficiency of the laser-only surface modification technology, high ... More

This book reports innovative deep learning and big data analytics technologies for smart manufacturing applications. In this book, theoretical foundations, as well as the state-of-the-art and practical implementations for the relevant technologies, are covered. This book details the relevant applied... More

The objective of this SpringerBrief is to present security architectures and incentive mechanisms to realize system availability for D2D communications. D2D communications enable devices to communicate directly, improving resource utilization, enhancing user's throughput, extending battery lifetime... More

This book constitutes the proceedings of the International Conference on Cognitive Computing, ICCC 2020, held as part of SCF 2020 in Honolulu, HI, USA, in September 2020.The conference was held virtually due to the COVID-19 pandemic. The 8 full and 2 short papers presented in this volume were carefu... More

Communication-Protocol-Based Filtering and Control of Networked Systems is a self-contained treatment of the state of the art in communication-protocol-based filtering and control; recent advances in networked systems; and the potential for application in sensor networks. This... More