Sciweavers

1374 search results - page 114 / 275
» Computer graphics in undergraduate computational science edu...
Sort
View
SIGADA
2007
Springer
14 years 3 months ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
CORR
2007
Springer
114views Education» more  CORR 2007»
13 years 9 months ago
High Performance Direct Gravitational N-body Simulations on Graphics Processing Units
We present the results of gravitational direct N-body simulations using the commercial graphics processing units (GPU) NVIDIA Quadro FX1400 and GeForce 8800GTX, and compare the re...
Simon Portegies Zwart, Robert G. Belleman, Peter G...
FLAIRS
1998
13 years 10 months ago
Teaching Bottom-up AI from the Top Down
For many reasons, it is desirable to use robots in courses such as introductory computer science, artificial intelligence, and cognitive science, yet the knowledge normally require...
Christopher A. Welty, Kenneth Livingston, Calder M...
CSCLP
2007
Springer
14 years 3 months ago
A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games
The notion of optimality naturally arises in many areas of applied mathematics and computer science concerned with decision making. Here we consider this notion in the context of ...
Krzysztof R. Apt, Francesca Rossi, Kristen Brent V...
SIGCSE
2008
ACM
166views Education» more  SIGCSE 2008»
13 years 9 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