Sciweavers

1374 search results - page 77 / 275
» Computer graphics in undergraduate computational science edu...
Sort
View
CORR
2004
Springer
139views Education» more  CORR 2004»
13 years 9 months ago
The Computational Power of Benenson Automata
The development of autonomous molecular computers capable of making independent decisions in vivo regarding local drug administration may revolutionize medical science. Recently B...
David Soloveichik, Erik Winfree
LISA
2007
13 years 11 months ago
Master Education Programmes in Network and System Administration
We report on and discuss our experiences with teaching Network and System Administration at the level of Masters at Oslo University College and the University of Amsterdam. At our...
Mark Burgess, Karst Koymans
ISVD
2007
IEEE
14 years 3 months ago
Variants of Jump Flooding Algorithm for Computing Discrete Voronoi Diagrams
Jump flooding algorithm (JFA) is an interesting way to utilize the graphics processing unit to efficiently compute Voronoi diagrams and distance transforms in 2D discrete space. T...
Guodong Rong, Tiow Seng Tan
ITICSE
2010
ACM
14 years 2 months ago
Enhancing K-12 education with alice programming adventures
This paper describes the integration of the Alice 3D virtual worlds environment into many disciplines in elementary school, middle school and high school. We have developed a wide...
Susan H. Rodger, Maggie Bashford, Lana Dyck, Jenna...
FM
2008
Springer
135views Formal Methods» more  FM 2008»
13 years 11 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman