Sciweavers

11016 search results - page 623 / 2204
» Cloud Computing for Science
Sort
View
SIGCSE
2008
ACM
166views Education» more  SIGCSE 2008»
15 years 7 months ago
Defense against the dark arts
Computer science faculty must attract and retain students by offering innovative courses that spark student interest, yet still teach core, computer science concepts. These effort...
Mark W. Bailey, Clark L. Coleman, Jack W. Davidson
SIGCSE
2003
ACM
161views Education» more  SIGCSE 2003»
16 years 14 days ago
Faculty turnover in CS departments
The rapid growth of computer science in both academia and industry creates a special problem with faculty turnover. This paper examines data from a national study of computer scie...
Joanne McGrath Cohoon, Rebecca Shwalb, Lih-Yuan Ch...
TLCA
2001
Springer
15 years 11 months ago
Strong Normalization of Classical Natural Deduction with Disjunction
We introduce λµ→∧∨⊥ , an extension of Parigot’s λµ-calculus where disjunction is taken as a primitive. The associated reduction relation, which includes the permutati...
Philippe de Groote
ITICSE
1997
ACM
15 years 11 months ago
Recursion and grammars for CS2
A programming exercise on recursion in which students create drawings of simple and bracketed Lindenmayer Systems provides a context for exploring additional computer science conc...
Viera K. Proulx
ITICSE
1996
ACM
15 years 11 months ago
Integrating animations into courses
This paper describes two ways we have integrated algorithm animations into several computer science courses. First, we use previously existing animations during lectures to aid in...
Susan H. Rodger