Sciweavers

655 search results - page 40 / 131
» On Flat Programs with Lists
Sort
View
ACE
2004
207views Education» more  ACE 2004»
13 years 9 months ago
Teaching Java First: Experiments with a Pigs-Early Pedagogy
This paper introduces PigWorld, a tool for teaching Java to novice programmers, via the objects-early style. Three design guidelines forobject-early assignments are discussed: (1)...
Raymond Lister
CSREAPSC
2006
13 years 9 months ago
Sensor Network Lab Exercises Using TinyOS and MicaZ Motes
- MIT Technology Review lists sensor networks as one of "Ten Emerging Technologies That Will Change the World" [1]. This paper describes three lab exercises that are suit...
Jens Mache, Chris Allick, John Charnas, Alex Hickm...
IWAR
1992
13 years 8 months ago
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
Shang-Ching Chou, Xiao-Shan Gao
NAR
2010
107views more  NAR 2010»
13 years 2 months ago
PLAST-ncRNA: Partition function Local Alignment Search Tool for non-coding RNA sequences
Alignment-based programs are valuable tools for finding potential homologs in genome sequences. Previously, it has been shown that partition function posterior probabilities attun...
Satish Chikkagoudar, Dennis R. Livesay, Usman Rosh...
ICFP
2002
ACM
14 years 7 months ago
A demand-driven adaptive type analysis
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
Danny Dubé, Marc Feeley