887 search results - page 11 / 178 » A Science of Reasoning |
CE
2010
14 years 9 months ago
2010
: Enrollment in Computing Science university programs is at a dangerously low level. A major reason for this is the general lack of interest in Computing Science by females. In thi...
119
Voted
SIGADA
2007
Springer
15 years 6 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
153
Voted
WSC
2007
15 years 2 months ago
2007
I will review the role that Monte Carlo methods play in the physical sciences. They are very widely used for a number of reasons: they permit the rapid and faithful transformation...
119
click to vote
FOCS
2002
IEEE
15 years 5 months ago
2002
IEEE
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...
104
click to vote
FECS
2006
15 years 1 months ago
2006
Improving the quality of student thinking should be given a high priority in any educational system as good thinking is essential in meeting the challenges of living in a rapidly ...