10271 search results - page 423 / 2055 » Computer Science |
124
click to vote
MFCS
1993
Springer
15 years 9 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
140
click to vote
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we offer an exposition of a theorem originally due to Adleman, Demarrais and Huang that shows that the quantum complexity class BQP (Bounded-error Quantum Polynomia...
132
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
119
click to vote
ITICSE
2006
ACM
15 years 10 months ago
2006
ACM
While classes in IT skills are endemic, high school students in the UK rarely experience computer science. We present a pilot of a scheme that aims to go some way towards addressi...
178
click to vote
CPHYSICS
2007
15 years 4 months ago
2007
Progress in developing, implementing, publishing, and refining a coherent set of education materials in computational physics education will be described. These materials form th...