Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
https function » its function, sites function, ups function
hard https » care https, aid https, hazards https
program computing » program comparing, programs compiling, problem computing
https function » its function, sites function, ups function
hard https » care https, aid https, hazards https
1
Published 2006
Table of Contents:
“... Generators from Exponentially Hard One-Way Functions -- Hardness of Distinguishing the MSB or LSB of Secret...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“...-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Heuristics for Hard ASP Programs -- Complexity of Rule Redundancy in Non-ground Answer-Set Programming over...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... for the Theory of Uninterpreted Functions -- No, Coreset, No Cry -- Hardness Hypotheses, Derandomization...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Design of Security Protocols -- Approximating the Minimum Length of Synchronizing Words Is Hard...”View full text
Electronic
eBook