Boolean Systems

If you want to download Boolean Systems book in PDF, ePub and kindle or read online directly from your devices, click Download button to get Boolean Systems book now. This site is like a library, Use search box in the widget to get ebook that you want.

• Author : Serban Vlad
• Publisher : Elsevier
• Release Date : 2023-01-20
• Total pages : 458
• ISBN : 9780323955690
• File Size : 18,9 Mb
• Total Download : 913
• DOWNLOAD BOOK

Download Boolean Systems in PDF, Epub, and Kindle

The Boolean functions may be iterated either asynchronously, when their coordinates are computed independently of each other, or synchronously, when their coordinates are computed at the same time. In Boolean Systems: Topics in Asynchronicity, a book addressed to mathematicians and computer scientists interested in Boolean systems and their use in modelling, author Serban E. Vlad presents a consistent and original mathematical theory of the discrete-time Boolean asynchronous systems. The purpose of the book is to set forth the concepts of such a theory, resulting from the synchronous Boolean system theory and mostly from the synchronous real system theory, by analogy, and to indicate the way in which known synchronous deterministic concepts generate new asynchronous nondeterministic concepts. The reader will be introduced to the dependence on the initial conditions, periodicity, path-connectedness, topological transitivity, and chaos. A property of major importance is invariance, which is present in five versions. In relation to it, the reader will study the maximal invariant subsets, the minimal invariant supersets, the minimal invariant subsets, connectedness, separation, the basins of attraction, and attractors. The stability of the systems and their time-reversal symmetry end the topics that refer to the systems without input. The rest of the book is concerned with input systems. The most consistent chapters of this part of the book refer to the fundamental operating mode and to the combinational systems (systems without feedback). The chapter Wires, Gates, and Flip-Flops presents a variety of applications. The first appendix addresses the issue of continuous time, and the second one sketches the important theory of Daizhan Cheng, which is put in relation to asynchronicity. The third appendix is a bridge between asynchronicity and the symbolic dynamics of Douglas Lind and Brian Marcus. Presents a consistent and original theory of the discrete-time Boolean asynchronous systems, which are useful for mathematicians and computer scientists interested in Boolean Networks, dynamical systems, and modeling. Studies the flows and equations of evolution, nullclines, dependence on initial conditions, periodicity, path-connectedness, topological transitivity, chaos, nonwandering points, invariance, connectedness, and separation, as well as the basins of attraction, attractors, stability, and time-reversal symmetry. Explains the fundamental operating mode of the input systems and the combinational systems (systems without feedback). Includes a chapter of applications of the Boolean systems and their modeling techniques. Makes use of the unbounded delay model of computation of the Boolean functions.

• Author : R. Thomas
• Publisher : Springer Science & Business Media
• Release Date : 2013-06-29
• Total pages : 510
• ISBN : 9783642493218
• File Size : 26,9 Mb
• Total Download : 721
• DOWNLOAD BOOK

Download Kinetic Logic: A Boolean Approach to the Analysis of Complex Regulatory Systems in PDF, Epub, and Kindle

The E M B 0 course on "Formal Analysis of Genetic Regulation" A course entitled "Formal analysis of Genetic Regulation" was held at the University of Brussels from 6 to 16 September 1977 under the auspices of EMBO (European Molecular Biology Organization). As indicated by the title of the book (but not explicitly enough by the title of the course), the main emphasis was put on a dynamic analysis of systems using logical methods, that is, methods in which functions and variables take only a limited number of values - typically two. In this respect, this course was complementary to an EMBO course using continuous methods which was held some months later in Israel by Prof. Segel. People from four very different laboratories took an active part in teaching our course in Brussels : Drs Anne LEUSSLER and Philippe VAN HAM, from the Laboratory of Prof. Jean FLORINE (Laboratoire des Systemes logiques et numeriques, Faculte des Sciences appliquees, Universite Libre de Bruxelles). Dr Stuart KAUFFMAN (Dept. of Biochemistry and Biophysics, School of Medicine, Philadelphia). Prof. Gregoire NICOLlS (Service de Biophysique Theorique, Faculte des Sciences, Universite Libre de Bruxelles) and his temporary coworker Dr David RIGNEY (presently at the Center for Statistical Mechanics and Thermodynamics of the University of Texas at Austin, Texas).

• Author : Christian Herde
• Publisher : Springer Science & Business Media
• Release Date : 2011-03-29
• Total pages : 163
• ISBN : 9783834899491
• File Size : 32,6 Mb
• Total Download : 509
• DOWNLOAD BOOK

Download Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure in PDF, Epub, and Kindle

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.

• Author : Frank Markham Brown
• Publisher : Courier Corporation
• Release Date : 2012-02-10
• Total pages : 304
• ISBN : 9780486164595
• File Size : 49,6 Mb
• Total Download : 682
• DOWNLOAD BOOK

Download Boolean Reasoning in PDF, Epub, and Kindle

Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.

• Author : Serban E. Vlad
• Publisher : John Wiley & Sons
• Release Date : 2019-02-20
• Total pages : 208
• ISBN : 9781119517511
• File Size : 21,9 Mb
• Total Download : 532
• DOWNLOAD BOOK

Download Boolean Functions in PDF, Epub, and Kindle

The essential guide showing how the unbounded delay model of computation of the Boolean functions may be used in the analysis of the Boolean networks Boolean Functions: Topics in Asynchronicity contains the most current research in several issues of asynchronous Boolean systems. In this framework, asynchronicity means that the functions which model the digital circuits from electronics iterate their coordinates independently on each other and the author—a noted expert in the field—includes a formal mathematical description of these systems. Filled with helpful definitions and illustrative examples, the book covers a range of topics such as morphisms, antimorphisms, invariant sets, path connected sets, attractors. Further, it studies race freedom, called here the technical condition of proper operation, together with some of its generalized and strengthened versions, and also time reversal, borrowed from physics and also from dynamical systems, together with the symmetry that it generates. This book: Presents up-to-date research in the field of Boolean networks, Includes the information needed to understand the construction of an asynchronous Boolean systems theory and contains proofs, Employs use of the language of algebraic topology and homological algebra. Written formathematicians and computer scientists interested in the theory and applications of Boolean functions, dynamical systems, and circuits, Boolean Functions: Topics in Asynchronicity is an authoritative guide indicating a way of using the unbounded delay model of computation of the Boolean functions in the analysis of the Boolean networks.

• Author : Bahman Zohuri,Masoud Moghaddam
• Publisher : Springer
• Release Date : 2017-02-28
• Total pages : 425
• ISBN : 9783319534176
• File Size : 52,9 Mb
• Total Download : 899
• DOWNLOAD BOOK

Download Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation in PDF, Epub, and Kindle

This book provides a technical approach to a Business Resilience System with its Risk Atom and Processing Data Point based on fuzzy logic and cloud computation in real time. Its purpose and objectives define a clear set of expectations for Organizations and Enterprises so their network system and supply chain are totally resilient and protected against cyber-attacks, manmade threats, and natural disasters. These enterprises include financial, organizational, homeland security, and supply chain operations with multi-point manufacturing across the world. Market shares and marketing advantages are expected to result from the implementation of the system. The collected information and defined objectives form the basis to monitor and analyze the data through cloud computation, and will guarantee the success of their survivability's against any unexpected threats. This book will be useful for advanced undergraduate and graduate students in the field of computer engineering, engineers that work for manufacturing companies, business analysts in retail and e-Commerce, and those working in the defense industry, Information Security, and Information Technology.

• Author : David P. Rosin
• Publisher : Springer
• Release Date : 2014-12-31
• Total pages : 199
• ISBN : 9783319135786
• File Size : 35,8 Mb
• Total Download : 777
• DOWNLOAD BOOK

Download Dynamics of Complex Autonomous Boolean Networks in PDF, Epub, and Kindle

This thesis focuses on the dynamics of autonomous Boolean networks, on the basis of Boolean logic functions in continuous time without external clocking. These networks are realized with integrated circuits on an electronic chip as a field programmable gate array (FPGA) with roughly 100,000 logic gates, offering an extremely flexible model system. It allows fast and cheap design cycles and large networks with arbitrary topologies and coupling delays. The author presents pioneering results on theoretical modeling, experimental realization, and selected applications. In this regard, three classes of novel dynamic behavior are investigated: (i) Chaotic Boolean networks are proposed as high-speed physical random number generators with high bit rates. (ii) Networks of periodic Boolean oscillators are home to long-living transient chimera states, i.e., novel patterns of coexisting domains of spatially coherent (synchronized) and incoherent (desynchronized) dynamics. (iii) Excitable networks exhibit cluster synchronization and can be used as fast artificial Boolean neurons whose spiking patterns can be controlled. This work presents the first experimental platform for large complex networks, which will facilitate exciting future developments.

• Author : Stefano Spaccapietra,Ramesh Jain
• Publisher : Springer
• Release Date : 2013-06-05
• Total pages : 428
• ISBN : 9780387349053
• File Size : 24,5 Mb
• Total Download : 352
• DOWNLOAD BOOK

Download Visual Database Systems 3 in PDF, Epub, and Kindle

Both the way we look at data, through a DBMS, and the nature of data we ask a DBMS to manage have drastically evolved over the last decade, moving from text to images (and to sound to a lesser extent). Visual representations are used extensively within new user interfaces. Powerful visual approaches are being experimented for data manipulation, including the investigation of three dimensional display techniques. Similarly, sophisticated data visualization techniques are dramatically improving the understanding of the information extracted from a database. On the other hand, more and more applications use images as basic data or to enhance the quality and richness of data manipulation services. Image management has opened a wide area of new research topics in image understanding and analysis. The IFIP 2.6 Working Group on Databases strongly believes that a significant mutual enrichment is possible by confronting ideas, concepts and techniques supporting the work of researcher and practitioners in the two areas of visual interfaces to DBMS and DBMS management of visual data. For this reason, IFIP 2.6 has launched a series of conferences on Visual Database Systems. The first one has been held in Tokyo, 1989. VDB-2 was held in Budapest, 1991. This conference is the third in the series. As the preceding editions, the conference addresses researchers and practitioners active or interested in user interfaces, human-computer communication, knowledge representation and management, image processing and understanding, multimedia database techniques and computer vision.

• Author : P. L. Hammer,S. Rudeanu
• Publisher : Springer Science & Business Media
• Release Date : 2012-12-06
• Total pages : 331
• ISBN : 9783642858239
• File Size : 28,5 Mb
• Total Download : 982
• DOWNLOAD BOOK

Download Boolean Methods in Operations Research and Related Areas in PDF, Epub, and Kindle

In classical analysis, there is a vast difference between the class of problems that may be handled by means of the methods of calculus and the class of problems requiring combinatorial techniques. With the advent of the digital computer, the distinction begins to blur, and with the increasing emphasis on problems involving optimization over structures, tIlE' distinction vanishes. What is necessary for the analytic and computational treatment of significant questions arising in modern control theory, mathematical economics, scheduling theory, operations research, bioengineering, and so forth is a new and more flexible mathematical theory which subsumes both the cla8sical continuous and discrete t 19orithms. The work by HAMMER (IVANESCU) and RUDEANU on Boolean methods represents an important step in this dnectlOn, and it is thus a great pleasure to welcome it into print. It will certainly stimulate a great deal of additional research in both theory and application. RICHARD BELLMAN University of Southern California FOf(,WOl'

• Author : Zbigniew W Ras,Li-Shiang Tsay
• Publisher : Springer Science & Business Media
• Release Date : 2010-02-04
• Total pages : 366
• ISBN : 9783642051821
• File Size : 48,5 Mb
• Total Download : 465
• DOWNLOAD BOOK

Download Advances in Intelligent Information Systems in PDF, Epub, and Kindle

Intelligent Information Systems (IIS) can be defined as the next generation of Information Systems (IS) developed as a result of integration of AI and database (DB) technologies. IIS embody knowledge that allows them to exhibit intelligent behavior, allows them to cooperate with users and other systems in problem solving, discovery, retrieval, and manipulation of data and knowledge. For any IIS to serve its purpose, the information must be available when it is needed. This means that the computing systems used to store data and process the information, and the security controls used to protect it must be functioning correctly. This book covers some of the above topics and it is divided into four sections: Classification, Approximation and Data Security, Knowledge Management, and Application of IIS to medical and music domains.

• Author : Kurt Jensen,Andreas Podelski
• Publisher : Springer
• Release Date : 2004-03-09
• Total pages : 614
• ISBN : 9783540247302
• File Size : 42,6 Mb
• Total Download : 661
• DOWNLOAD BOOK

Download Tools and Algorithms for the Construction and Analysis of Systems in PDF, Epub, and Kindle

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims, organization, and history are detailed in a foreword by the ETAPS Steering Committee Chair, Jos ́ e Luiz Fiadeiro. TACAS is a forum for researchers, developers, and users interested in ri- rously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between di?erent communities including, but not - mited to, those devoted to formal methods, software and hardware veri?cation, static analysis, programming languages, software engineering, real-time systems, and communication protocols that share common interests in, and techniques for, tool development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures, and methodologies, TACAS aims to support researchers in their quest to improve the utility, rel- bility, ?exibility, and e?ciency of tools for building systems. TACASseekstheoreticalpaperswithaclearlinktotoolconstruction,papers describingrelevantalgorithmsandpracticalaspectsoftheirimplementation,- pers giving descriptions of tools and associated methodologies, and case studies with a conceptual message.

• Author : Calin Belta,Boyan Yordanov,Ebru Aydin Gol
• Publisher : Springer
• Release Date : 2017-03-08
• Total pages : 284
• ISBN : 9783319507637
• File Size : 34,9 Mb
• Total Download : 609
• DOWNLOAD BOOK

Download Formal Methods for Discrete-Time Dynamical Systems in PDF, Epub, and Kindle

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

• Author : Oscar Castillo,Anupam Kumar
• Publisher : Springer Nature
• Release Date : 2023-03-31
• Total pages : 272
• ISBN : 9783031263323
• File Size : 16,5 Mb
• Total Download : 252
• DOWNLOAD BOOK

Download Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications in PDF, Epub, and Kindle

This book covers the introduction, theory, development and applications of type-2 fuzzy logic systems, which represent the current state-of-the-art in various domains such as control applications, power plants, health care, image processing, mathematical applications etc. The book is also rich in discussing different applications in order to give the researchers a flavor of how type-2 fuzzy logic is designed for different types of problems. Type-2 fuzzy logic systems are now used extensively in engineering applications for many purposes. In simple language, this book covers the practical use of type-2 fuzzy logic and its optimization through different training methods. Furthermore, this book maintains the relationship between mathematics and practical implementations in the real world. This book chapter also contains the proper comparisons with available literature work. It shows that the presented enhanced techniques have better results. This book would serve as a handy reference guide for a variety of readers, primarily targeting research scholars, undergraduate and postgraduate researchers and practicing engineers working in Type-2 fuzzy logic systems and their applications.

• Author : Lipo Wang,Licheng Jiao,Guanming Shi,Xue Lu,Jing Liu
• Publisher : Springer Science & Business Media
• Release Date : 2006-09-19
• Total pages : 1362
• ISBN : 9783540459163
• File Size : 25,8 Mb
• Total Download : 175
• DOWNLOAD BOOK

Download Fuzzy Systems and Knowledge Discovery in PDF, Epub, and Kindle

This book constitutes the refereed proceedings of the Third International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2006, held in federation with the Second International Conference on Natural Computation ICNC 2006. The book presents 115 revised full papers and 50 revised short papers. Coverage includes neural computation, quantum computation, evolutionary computation, DNA computation, fuzzy computation, granular computation, artificial life, innovative applications to knowledge discovery, finance, operations research, and more.

• Author : Zhenhua Duan,Luke Ong
• Publisher : Springer
• Release Date : 2017-10-13
• Total pages : 498
• ISBN : 9783319686905
• File Size : 48,9 Mb
• Total Download : 740
• DOWNLOAD BOOK

Download Formal Methods and Software Engineering in PDF, Epub, and Kindle

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

• Author : Didier J. Dubois,Henri Prade,Ronald R. Yager
• Publisher : Morgan Kaufmann
• Release Date : 2014-05-12
• Total pages : 928
• ISBN : 9781483214504
• File Size : 32,9 Mb
• Total Download : 659
• DOWNLOAD BOOK

Download Readings in Fuzzy Sets for Intelligent Systems in PDF, Epub, and Kindle

Readings in Fuzzy Sets for Intelligent Systems is a collection of readings that explore the main facets of fuzzy sets and possibility theory and their use in intelligent systems. Basic notions in fuzzy set theory are discussed, along with fuzzy control and approximate reasoning. Uncertainty and informativeness, information processing, and membership, cognition, neural networks, and learning are also considered. Comprised of eight chapters, this book begins with a historical background on fuzzy sets and possibility theory, citing some forerunners who discussed ideas or formal definitions very close to the basic notions introduced by Lotfi Zadeh (1978). The reader is then introduced to fundamental concepts in fuzzy set theory, including symmetric summation and the setting of fuzzy logic; uncertainty and informativeness; and fuzzy control. Subsequent chapters deal with approximate reasoning; information processing; decision and management sciences; and membership, cognition, neural networks, and learning. Numerical methods for fuzzy clustering are described, and adaptive inference in fuzzy knowledge networks is analyzed. This monograph will be of interest to both students and practitioners in the fields of computer science, information science, applied mathematics, and artificial intelligence.

• Author : Yves Crama,Peter L. Hammer
• Publisher : Cambridge University Press
• Release Date : 2010-06-28
• Total pages : 781
• ISBN : 9780521847520
• File Size : 9,9 Mb
• Total Download : 319
• DOWNLOAD BOOK

Download Boolean Models and Methods in Mathematics, Computer Science, and Engineering in PDF, Epub, and Kindle

A collection of papers written by prominent experts that examine a variety of advanced topics related to Boolean functions and expressions.

• Author : Aleksandar Zecevic,Dragoslav D. Siljak
• Publisher : Springer Science & Business Media
• Release Date : 2010-01-08
• Total pages : 221
• ISBN : 9781441912169
• File Size : 37,7 Mb
• Total Download : 122
• DOWNLOAD BOOK

Download Control of Complex Systems in PDF, Epub, and Kindle

"Control of Complex Systems: Structural Constraints and Uncertainty" focuses on control design under information structure constraints, with a particular emphasis on large-scale systems. The complexity of such systems poses serious computational challenges and severely restricts the types of feedback laws that can be used in practice. This book systematically addresses the main issues, and provides a number of applications that illustrate potential design methods, most which use Linear Matrix Inequalities (LMIs), which have become a popular design tool over the past two decades. Authors Aleksandar I. Zecevic and Dragoslav D. Siljak use their years of experience in the control field to also: Address the issues of large-scale systems as they relate to robust control and linear matrix inequalities Discuss a new approach to applying standard LMI techniques to large-scale systems, combining graphic-theoretic decomposition techniques with appropriate low-rank numerical approximations and dramatically reducing the computational effort Providing numerous examples and a wide variety of applications, ranging from electric power systems and nonlinear circuits to mechanical problems and dynamic Boolean networks "Control of Complex Systems: Structural Constraints and Uncertainty" will appeal to practicing engineers, researchers and students working in control design and other related areas.

• Author : Corrado Priami,Falko Dressler,Ozgur Akan,Alioune Ngom
• Publisher : Springer Science & Business Media
• Release Date : 2008-12-18
• Total pages : 204
• ISBN : 9783540922728
• File Size : 45,6 Mb
• Total Download : 364
• DOWNLOAD BOOK

Download Transactions on Computational Systems Biology X in PDF, Epub, and Kindle

Technology is taking us to a world where myriads of heavily networked devices interact with the physical world in multiple ways, and at many levels, from the globalInternetdowntomicroandnanodevices. Manyofthesedevicesarehighly mobile and autonomous and must adapt to the surrounding environment in a totally unsupervised way. A fundamental research challenge is the design of robust decentralized c- puting systemsthat arecapableofoperating in changing environmentsandwith noisy input, and yet exhibit the desired behavior and response time, under c- straints such as energy consumption, size, and processing power. These systems should be able to adapt and learn how to react to unforeseen scenarios as well as to display properties comparable to social entities. The observation of nature has brought us many great and unforeseen concepts. Biological systems are able to handle many of these challenges with an elegance and e?ciency far beyond currenthumanartifacts. Basedonthisobservation,bio-inspiredapproacheshave been proposed as a means of handling the complexity of such systems. The goal is to obtain methods to engineer technical systems, which are of a stability and e?ciency comparable to those found in biological entities. This Special Issue on Biological and Biologically-inspired Communication contains the best papers from the Second International Conference on Bio- Inspired Models of Network, Information, and Computing Systems (BIONET- ICS 2007). The BIONETICS conference aims to bring together researchers and scientistsfromseveraldisciplines incomputerscienceandengineeringwhereb- inspired methods are investigated, as well as from bioinformatics, to deepen the information exchange and collaboration among the di?erent communities.

• Author : Daizhan Cheng,Hongsheng Qi,Zhiqiang Li
• Publisher : Springer Science & Business Media
• Release Date : 2010-11-23
• Total pages : 472
• ISBN : 9780857290977
• File Size : 34,6 Mb
• Total Download : 147
• DOWNLOAD BOOK

Download Analysis and Control of Boolean Networks in PDF, Epub, and Kindle

Analysis and Control of Boolean Networks presents a systematic new approach to the investigation of Boolean control networks. The fundamental tool in this approach is a novel matrix product called the semi-tensor product (STP). Using the STP, a logical function can be expressed as a conventional discrete-time linear system. In the light of this linear expression, certain major issues concerning Boolean network topology – fixed points, cycles, transient times and basins of attractors – can be easily revealed by a set of formulae. This framework renders the state-space approach to dynamic control systems applicable to Boolean control networks. The bilinear-systemic representation of a Boolean control network makes it possible to investigate basic control problems including controllability, observability, stabilization, disturbance decoupling etc.

• Author : Ilario Bonacina
• Publisher : Springer
• Release Date : 2018-01-11
• Total pages : 130
• ISBN : 9783319734538
• File Size : 15,6 Mb
• Total Download : 447
• DOWNLOAD BOOK

Download Space in Weak Propositional Proof Systems in PDF, Epub, and Kindle

This book considers logical proof systems from the point of view of their space complexity. After an introduction to propositional proof complexity the author structures the book into three main parts. Part I contains two chapters on resolution, one containing results already known in the literature before this work and one focused on space in resolution, and the author then moves on to polynomial calculus and its space complexity with a focus on the combinatorial technique to prove monomial space lower bounds. The first chapter in Part II addresses the proof complexity and space complexity of the pigeon principles. Then there is an interlude on a new type of game, defined on bipartite graphs, essentially independent from the rest of the book, collecting some results on graph theory. Finally Part III analyzes the size of resolution proofs in connection with the Strong Exponential Time Hypothesis (SETH) in complexity theory. The book is appropriate for researchers in theoretical computer science, in particular computational complexity.