Sciweavers

6833 search results - page 4 / 1367
» Some two-character sets
Sort
View
AML
2011
204views Mathematics» more  AML 2011»
13 years 2 months ago
A note on propositional proof complexity of some Ramsey-type statements
Any valid Ramsey statement n −→ (k)2 2 can be encoded into a DNF formula RAM(n, k) of size O(nk) and with terms of size k 2 . Let rk be the minimal n for which the statement h...
Jan Krajícek
SIGMETRICS
2012
ACM
347views Hardware» more  SIGMETRICS 2012»
11 years 9 months ago
Temperature management in data centers: why some (might) like it hot
The energy consumed by data centers is starting to make up a significant fraction of the world’s energy consumption and carbon emissions. A large fraction of the consumed energ...
Nosayba El-Sayed, Ioan A. Stefanovici, George Amvr...
DCC
2003
IEEE
14 years 7 months ago
Some New Maximal Sets of Mutually Orthogonal Latin Squares
Two ways of constructing maximal sets of mutually orthogonal Latin squares are presented. The first construction uses maximal partial spreads in PG(3, 4)\ PG(3, 2) with r lines, wh...
Patrick Govaerts, Dieter Jungnickel, Leo Storme, J...
COMBINATORICS
2006
105views more  COMBINATORICS 2006»
13 years 7 months ago
Sets of Points Determining Only Acute Angles and Some Related Colouring Problems
We present both probabilistic and constructive lower bounds on the maximum size of a set of points S Rd such that every angle determined by three points in S is acute, considerin...
David Bevan
ICLA
2009
Springer
14 years 1 months ago
Some Second Order Set Theory
Joel David Hamkins