Søgning på underkategorier- og emner:
This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties.
The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and ?rst-order logic with basics of set theory is enough) but not necessarily in modal logic.
The 4th FTRA International Conference on Information Technology Convergence and Services (ITCS-12) will be held in Gwangju, Korea on September 6 - 8, 2012.
This book treats state-of-the-art computational methods for power flow studies and contingency analysis. Furthermore, traditional methods to solve such problems are compared to modern solvers, developed using the knowledge of the first part of the book.
This book reveals the historical context and the evolution of the technically complex Allied Signals Intelligence (Sigint) activity against Japan from 1920 to 1945.
The essays in this book look at the question of whether physics can be based on information, or – as John Wheeler phrased it – whether we can get “It from Bit”.
Part III presentscomplexity results and lower bounds, giving negative evidence by way of W[1]-hardness, the Exponential Time Hypothesis, and kernelization lower bounds.All the... Læs mere
There are 90 examples, 200 exercises, 36 algorithms, 40 interactive JavaScript programs, 91 references to software programs and 1 case study. Topics are introduced with goals, literature references and links to public software.
Among all computer-generated mathematical images, Julia sets of rational maps occupy one of the most prominent positions. The book summarizes the present knowledge (most of it from the authors' own work) about the computational properties of Julia sets in a self-contained way.