Sciweavers

737 search results - page 86 / 148
» Computer science projects with music
Sort
View
FOCS
2007
IEEE
14 years 3 months ago
The Power of Quantum Systems on a Line
: We study the computational strength of quantum particles (each of finite dimensionality) arranged on a line. First, we prove that it is possible to perform universal adiabatic q...
Dorit Aharonov, Daniel Gottesman, Sandy Irani, Jul...
SIGCSE
2009
ACM
139views Education» more  SIGCSE 2009»
14 years 9 months ago
On preparing students for distributed software development with a synchronous, collaborative development platform
Working remotely is becoming the norm for both professionals and students alike. Software development has become a global industry due to outsourcing, teleworking, flex time, and ...
Andrew Meneely, Laurie Williams
SIGCSE
2006
ACM
179views Education» more  SIGCSE 2006»
14 years 2 months ago
Fifteen compilers in fifteen days
Traditional approaches to semester-long projects in compiler courses force students to implement the early stages of a compiler in depth; since many students fall behind, they hav...
Jeremy D. Frens, Andrew Meneely
SIGCSE
2005
ACM
125views Education» more  SIGCSE 2005»
14 years 2 months ago
Efficient use of robots in the undergraduate curriculum
In this paper we describe how a single Khepera II robot was used for an assignment in a senior level course on graphical user interface implementation. The assignment required eac...
Judith Challinger
TLCA
2005
Springer
14 years 2 months ago
The Elimination of Nesting in SPCF
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
James Laird