Proceedings 45th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2004 ; 17 - 19 October 2004, Rome, Italy (IEEE Computer Society, 2004)