On the Power of Small-Depth Computation


Book Description

In this work we discuss selected topics on small-depth computation, presenting a few unpublished proofs along the way. The four sections contain: (1) A unified treatment of the challenge of exhibiting explicit functions that have small correlation with low-degree polynomials over {0, 1}.(2) An unpublished proof that small bounded-depth circuits (AC0) have exponentially small correlation with the parity function. The proof is due to Klivans and Vadhan; it builds upon and simplifies previous ones. (3) Valiant's simulation of log-depth linear-size circuits of fan-in 2 by sub-exponential size circuits of depth 3 and unbounded fan-in. To our knowledge, a proof of this result has never appeared in full. (4) Applebaum, Ishai, and Kushilevitz's cryptography in bounded depth.




Embedded and Ubiquitous Computing


Book Description

This book constitutes the refereed proceedings of the International Conference on Embedded and Ubiquitous Computing, EUC 2007, held in Taipei, Taiwan, in December 2007. The 65 revised full papers presented were carefully reviewed and selected from 217 submissions. The papers are organized in topical sections. They include sections on power aware computing, reconfigurable embedded systems, wireless networks, real-time/embedded operating systems, and embedded system architectures.




SIAM Journal on Computing


Book Description




Encyclopedia of Microcomputers


Book Description

This encyclopaedia covers Characterization Hierarchy Containing Augmented Characterizations to Video Compression.




Computational Complexity and Statistical Physics


Book Description

Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at the junction of these fields, connecting insights from statistical physics with basic computational challenges. Researchers have successfully applied techniques from the study of phase transitions to analyze NP-complete problems such as satisfiability and graph coloring. This is leading to a new understanding of the structure of these problems, and of how algorithms perform on them. Computational Complexity and Statistical Physics will serve as a standard reference and pedagogical aid to statistical physics methods in computer science, with a particular focus on phase transitions in combinatorial problems. Addressed to a broad range of readers, the book includes substantial background material along with current research by leading computer scientists, mathematicians, and physicists. It will prepare students and researchers from all of these fields to contribute to this exciting area.




Proceedings


Book Description




Fundamentals of Computation Theory


Book Description

This volume contains the proceedings of the Ninth Conference on Fundamentalsof Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: - Semanticsand logical concepts in the theory of computing and formal specification - Automata and formal languages - Computational geometry, algorithmic aspects of algebra and algebraic geometry, cryptography - Complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts) - Algorithms (efficient, probabilistic, parallel, sequential, distributed) - Counting and combinatorics in connection with mathematical computer science The volume contains the texts of 8 invitedlectures and 32 short communications selected by the international program committee from a large number of submitted papers.




Handbook of Neural Computation


Book Description

The Handbook of Neural Computation is a practical, hands-on guide to the design and implementation of neural networks used by scientists and engineers to tackle difficult and/or time-consuming problems. The handbook bridges an information pathway between scientists and engineers in different disciplines who apply neural networks to similar probl




Unconventional Models of Computation


Book Description

Covering recent research into unconventional methods of computing for disciplines in computer science, mathematics, biology, physics and philosophy, the subjects include: nonconventional computational methods, DNA computation, quantum computation, and beyong Turing computability; new methods of discrete computation; theoretical and conceptual new computational paradigms; practical knowledge on new computing technologies.