This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties. More specifi
The two internationally renowned authors elucidate the structure of "fast" parallel computation. Its complexity is emphasised through a variety of techniques ranging from finite combinatorics, probabi
This book is concerned with cardinal number valued functions defined for any Boolean algebra. Examples of such functions are independence, which assigns to each Boolean algebra the supremum of the car
This book is an informal, although systematic presentation of lectures given by the authors on Boolean algebras, intended for advanced undergraduates and beginning graduate students. In a bold and ref
This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a class of complexes and featuring matroids as central to the theory. The
In this new text, Steven Givant—the author of several acclaimed books, including works co-authored with Paul Halmos and Alfred Tarski—develops three theories of duality for Boolean algebras with opera
This book brings to bear a body of logic synthesis techniques, in order to contribute to the analysis and control of Boolean Networks (BN) for modeling genetic diseases such as cancer. The authors pro
This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). A fast and highly fault
In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is conside
The famous zeros of the Riemann zeta function and its generalizations (L-functions, Dedekind and Selberg zeta functions) are analyzed through several zeta functions built over those zeros. These ‘seco
Chapter 1 introduces elementary classical special functions. Gamma, beta, psi, zeta functions, hypergeometric functions and the associated special functions, generalizations to Meijer's G and Fox's H
The major thrust of this book is the analysis of pointwise behavior of Sobolev functions of integer order and BV functions (functions whose partial derivatives are measures with finite total variation
This book is a comprehensive guide to qualitative comparative analysis (QCA) using R. Using Boolean algebra to implement principles of comparison used by scholars engaged in the qualitative study of
This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology. Although these objects mirror the matrices that appea
This book provides a complete and exhaustive study of the Green’s functions. Professor Cabada first proves the basic properties of Green's functions and discusses the study of nonlinear boundary value
?Inner functions form an important subclass of bounded analytic functions. Since they have unimodular boundary values, they appear in many extremal problems of complex analysis. They have been extensi
This book provides a systematic introduction to functions of one complex variable. Its novel feature is the consistent use of special color representations – so-called phase portraits – which visualiz
The theory of theta functions has a long history; for this, we refer A. Krazer and W. Wirtinger the reader to an encyclopedia article by ("Sources" [9]). We shall restrict ourselves to postwar, i. e.
Mathematical Analysis: Foundations and Advanced Techniques for Functions of Several Variables builds upon the basic ideas and techniques of differential and integral calculus for functions of several
Elliptic functions parametrize elliptic curves, and the intermingling of the analytic and algebraic-arithmetic theory has been at the center of mathematics since the early part of the nineteenth centu
This book is devoted to conservative realizations of various classes of Stieltjes, inverse Stieltjes, and general Herglotz-Nevanlinna functions as impedance functions of linear systems. The main featu
This book presents a geometric theory of complex analytic integrals representing hypergeometric functions of several variables. Starting from an integrand which is a product of powers of polynomials,
A broad introduction to the topic of aggregation functions is to be found in this book. It also provides a concise account of the properties and the main classes of such functions. Some state-of-the-a
Zeta functions have been a powerful tool in mathematics over the last two centuries. This book considers a new class of non-commutative zeta functions which encode the structure of the subgroup lattic
Special functions and orthogonal polynomials in particular have been around for centuries. Can you imagine mathematics without trigonometric functions, the exponential function or polynomials? The pre
Functions in R and C, including the theory of Fourier series, Fourier integrals and part of that of holomorphic functions, form the focal topic of these two volumes. Based on a course given by the aut
In Fourier Analysis and Approximation of Functions basics of classical Fourier Analysis are given as well as those of approximation by polynomials, splines and entire functions of exponential type. In
Functions in R and C, including the theory of Fourier series, Fourier integrals and part of that of holomorphic functions, form the focal topic of these two volumes. Based on a course given by the aut
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduc
An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer scientists and mathematicians.
Arithmetic Functions and Integer Products presents an algebraically oriented approach to the theory of additive and multiplicative arithmetic functions. This is a very active theory with applications
This book has been designed for a first course on digital design for engineering and computer science students. It offers an extensive introduction on fundamental theories, from Boolean algebra and bi
This book discusses the design principles of physically unclonable functions (PUFs) and how these can be employed in hardware-based security applications, in particular, the book provides readers with
This book is devoted to the study of certain integral representations for Neumann, Kapteyn, Schlömilch, Dini and Fourier series of Bessel and other special functions, such as Struve and von Lommel fun
This book presents a collection of carefully refereed research articles and lecture notes stemming from the Conference "Automorphic Forms and L-Functions", held at the University of Heidelberg in 2016
This book develops the theory of multivariable analysis, building on the single variable foundations established in the companion volume, Real Analysis: Foundations and Functions of One Variable. Toge
This volume gives a state-of-the-art overview on macrophage functions in various invertebrate and vertebrate systems and diseases. It also covers various aspects of macrophage development and formatio
This is the first book to provide vital information on key local ecosystems, their functions, state of health, and their role in development in an Asian context, particularly on the Indian subcontinen
Partition functions arise in combinatorics and related problems of statistical physics as they encode in a succinct way the combinatorial structure of complicated systems. The main focus of the book
The subjects treated in this book have been especially chosen to represent a bridge connecting the content of a first course on the elementary theory of analytic functions with a rigorous treatment of
