You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Offers an up-to-date, unified treatment of combinatorial algorithms to solve network flow problems for graduate students and professionals.
"Will be welcomed by many communities--academic, federal, and industrial. With new and little-known information on high-performance computing, it is the great compendium describing the last seven years of activities and looking to the future."--Charles Bender, Director, The Ohio Supercomputer Center "A valuable resource and an important contribution to thinking in this area. . . . I am impressed with the scope and coherence of this material, ranging from technical projections to the political context to market and user perspectives on supercomputers and supercomputing."--James G. Glimm, State University of New York at Stonybrook
This book focuses on the interaction between different energy vectors, that is, between electrical, thermal, gas, and transportation systems, with the purpose of optimizing the planning and operation of future energy systems. More and more renewable energy is integrated into the electrical system, and to optimize its usage and ensure that its full production can be hosted and utilized, the power system has to be controlled in a more flexible manner. In order not to overload the electrical distribution grids, the new large loads have to be controlled using demand response, perchance through a hierarchical control set-up where some controls are dependent on price signals from the spot and balancing markets. In addition, by performing local real-time control and coordination based on local voltage or system frequency measurements, the grid hosting limits are not violated.
Game theory is a branch of modern applied mathematics that aims to analyze various problems of conflict between parties that have opposed, similar or simply different interests. Games are grouped into several classes according to some important features. In this volume zero-sum two-person games, strategic n-person games in normal form, cooperative games, games in extensive form with complete and incomplete information, differential pursuit games and differential cooperative n-person games are considered.
Sequential Analysis: Hypothesis Testing and Changepoint Detection systematically develops the theory of sequential hypothesis testing and quickest changepoint detection. It also describes important applications in which theoretical results can be used efficiently. The book reviews recent accomplishments in hypothesis testing and changepoint detection both in decision-theoretic (Bayesian) and non-decision-theoretic (non-Bayesian) contexts. The authors not only emphasize traditional binary hypotheses but also substantially more difficult multiple decision problems. They address scenarios with simple hypotheses and more realistic cases of two and finitely many composite hypotheses. The book pri...
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Biotechnology has been labelled as one of the key technologies of the last two decades of the 20th Century, offering boundless solutions to problems ranging from food and agricultural production to pharmaceutical and medical applications, as well as environmental and bioremediation problems. Biological processes, however, are complex and the prevailing mechanisms are either unknown or poorly understood. This means that adequate techniques for data acquisition and analysis, leading to appropriate modeling and simulation packages that can be superimposed on the engineering principles, need to be routine tools for future biotechnologists. The present volume presents a masterly summary of the most recent work in the field, covering: instrumentation systems; enzyme technology; environmental biotechnology; food applications; and metabolic engineering.
The book is written in very simple and easy language. the book is strictly in accordance with CBSE syllabus and can also be used by beginners to learn C++.
This book aims at serving the researchers and practitioners in related fields with a timely dissemination of the recent progress on robotics and artificial intelligence. This book is based on a collection of papers presented at the 9th International Conference on Robot Intelligence Technology and Applications (RiTA), held at KAIST in Daejeon, Korea, in a hybrid format, on December 16–17, 2021. Humankind is getting through the third year of COVID-19 pandemic. While this pandemic has made everyone’s life so challenging, it has also expedited transition of our everyday lives into a new form, often called “the new normal.” Although many people often use the terminology, perhaps we still ...