3356 search results - page 134 / 672 » Computing education for sustainability |
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
141
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Reputation and recommendation systems are fundamental for the formation of community market places. Yet, they are easy targets for attacks which disturb a market's equilibriu...
143
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We define a class of “algebraic” random matrix channels for which one can generically compute the limiting Shannon transform using numerical techniques and often enumerate th...
151
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
This paper describes a study of undergraduate women's retention in the first-year of the computer science major at the University of Pennsylvania for the purpose of identifyi...
138
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
This technical report describes the participation of women in computing in more than 30 countries, by focussing on participation at undergraduate level. A brief discussion covers ...