104 search results - page 12 / 21 » Teaching computation to undergraduate scientists |
ITICSE
2006
ACM
14 years 1 months ago
2006
ACM
Crafting a good user experience requires skills in several disciplines. Few people have this breadth of knowledge, and undergraduate computer science students are no exception. En...
DIS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...
ITICSE
2010
ACM
13 years 12 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at di�...
JAPLL
2008
13 years 7 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
CG
2000
Springer
13 years 7 months ago
2000
Springer
Traditionally, the introductory computer graphics course in computer science has focused on fundamental algorithms and techniques for creating images and animations. This was refl...