You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
A collection of papers written by prominent experts that examine a variety of advanced topics related to Boolean functions and expressions.
In this book quantitative approaches are proposed for production planning problems in automated manufacturing. In particular, techniques from operations research provide ways to tackle these problems. Special attention is given to the efficient use of tools in automated manufacturing systems. The book presents models and tests solution strategies for different kinds of production decision problems. A case study in the manufacturing of printed circuit boards highlights the methodology. The book will help to understand the nature of production planning problems in automated manufacturing and show how techniques from operations research may contribute to their solution.
Written by prominent experts in the field, this monograph provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations) and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form for the first time. Because of the depth and breadth and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering and economics.
OpRisk Awards 2020 Book of the Year Winner! The Authoritative Guide to the Best Practices in Operational Risk Management Operational Risk Management offers a comprehensive guide that contains a review of the most up-to-date and effective operational risk management practices in the financial services industry. The book provides an essential overview of the current methods and best practices applied in financial companies and also contains advanced tools and techniques developed by the most mature firms in the field. The author explores the range of operational risks such as information security, fraud or reputation damage and details how to put in place an effective program based on the four main risk management activities: risk identification, risk assessment, risk mitigation and risk monitoring. The book also examines some specific types of operational risks that rank high on many firms' risk registers. Drawing on the author's extensive experience working with and advising financial companies, Operational Risk Management is written both for those new to the discipline and for experienced operational risk managers who want to strengthen and consolidate their knowledge.
This book constitutes the refereed proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2001, held in Dresden, Germany in February 2001. The 46 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 153 submissions. The papers address foundational aspects from all current areas of theoretical computer science including algorithms, data structures, automata, formal languages, complexity, verification, logic, graph theory, optimization, etc.
This book constitutes the refereed proceedings of the 18th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2016, held in Liège, Belgium, in June 2016. The 33 full papers presented were carefully reviewed and selected from 125 submissions. The conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization. The aim is to present recent developments in theory, computation, and applications in these areas. The scope of IPCO is viewed in a broad sense, to include algorithmic and structural results in integer programming and combinatorial optimization as well as revealing computational studies and novel applications of discrete optimization to practical problems.
The Fifth International Conference on Multiple Criteria Decision Making, not suprisingly, had several objectives. First, it aimed at beinq a forum for exchange and intensive discussion of recent ideas on theory and practice of MCDM, following the now well-established tradition of the previous meetings in the series, organized by H. Thiriez and S. Zionts in Jouy-en-Josas (1975), S. Zionts in Buffalo (1977), G. Fandel and T. Gal in Hagen/Konigswinter (1979) and J. Morse in Newark (1980). Second, closer contacts Nere desired between participants in these meetings and other active groups in the field, prominent among which is the European Working Group on Multiple Criteria Decision Aid. Third, p...
This important book brings together an edited series of papers about risk management and the latest developments in the field. Covering topics such as Stochastic Volatility, Risk Dynamics and Portfolio Diversification, this book is vital for optimal portfolio allocation for private and institutional investors, and is an indispensable tool.
Up-to-Date Research Sheds New Light on This Area Taking into account the ongoing worldwide financial crisis, Stock Market Volatility provides insight to better understand volatility in various stock markets. This timely volume is one of the first to draw on a range of international authorities who offer their expertise on market volatility in devel
This book offers an introduction to cryptology, the science that makes secure communications possible, and addresses its two complementary aspects: cryptography—--the art of making secure building blocks—--and cryptanalysis—--the art of breaking them. The text describes some of the most important systems in detail, including AES, RSA, group-based and lattice-based cryptography, signatures, hash functions, random generation, and more, providing detailed underpinnings for most of them. With regard to cryptanalysis, it presents a number of basic tools such as the differential and linear methods and lattice attacks. This text, based on lecture notes from the author’s many courses on the ...