331 search results - page 18 / 67 » New Results on the Pseudorandomness of Some Blockcipher Cons... |
ASWEC
2000
IEEE
14 years 1 months ago
2000
IEEE
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Tile sets and tilings of the plane appear in many topics ranging from logic (the Entscheidungsproblem) to physics (quasicrystals). The idea is to enforce some global prop...
STOC
2006
ACM
14 years 9 months ago
2006
ACM
: We derandomize results of H?astad (1999) and Feige and Kilian (1998) and show that for all > 0, approximating MAX CLIQUE and CHROMATIC NUMBER to within n1are NP-hard. We furt...
CIE
2009
Springer
14 years 3 months ago
2009
Springer
computability uses ordinals instead of natural numbers in abstract machines like register or Turing machines. We give an overview of the computational strengths of α-β-machines,...