14190 search results - page 312 / 2838 » computer 2008 |
161
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...
160
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...
111
Voted
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
The simulation of the effect of a high intensity ultrasound interstitial therapy is mainly connected on an accurate estimation of the pressure delivered by the transducer. This pa...
135
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...
ER
2008
Springer
15 years 8 months ago
2008
Springer