11016 search results - page 87 / 2204 » Cloud Computing for Science |
INTERACT
1997
13 years 11 months ago
1997
This paper describes an innovative approach to teaching about human-computer interaction to a large class of students in their third year of a Computer Science major. Because of t...
SYNTHESE
2008
13 years 9 months ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
SIGCSE
2002
ACM
13 years 9 months ago
2002
ACM
As part of an NSF-funded IT Workforce grant, the authors conducted ethnographic research to provide deep understanding to the learning environment of computer science classrooms. ...
COMPUTER
2010
13 years 10 months ago
2010
COMPUTER
2008
13 years 9 months ago
2008