3356 search results - page 140 / 672 » Computing education for sustainability |
149
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...
155
click to vote
SC
2005
ACM
16 years 2 days ago
2005
ACM
We describe Miranda, a massively parallel spectral/compact solver for variabledensity incompressible flow, including viscosity and species diffusivity effects. Miranda utilizes...
168
click to vote
ITICSE
2010
ACM
15 years 10 months ago
2010
ACM
Introductory computer science classes are known for having a high attrition rate. Some authors believe this is due to students’ difficulties in establishing a mental model of co...
162
click to vote
ASSETS
2006
ACM
16 years 15 days ago
2006
ACM
As ASSETS attendees, we are clearly interested in promoting accessibility in computing. One way to do this is to teach courses on the topic. Most such courses are aimed at upper-l...
157
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
In this project an interactive computer system is designed that envisions to contribute to young children's musical education. From literature, requirements for musical inter...