Sciweavers

FCS
2008
13 years 6 months ago
Snack Attack: An Exploration of Collaborative Learning
James Tyson, James Kriigel, Jon Preston, Byron Jef...
FCS
2008
13 years 6 months ago
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
Abstract We define a finitary model of firstorder Peano Arithmetic in which quantification is interpreted constructively in terms of Turingcomputability, and show that it is incons...
Bhupinder Singh Anand
FCS
2008
13 years 6 months ago
A Finitary Model of Peano Arithmetic
We define a finitary model of first-order Peano Arithmetic in which satisfaction and quantification are interpreted constructively in terms of Turing-computability.
Bhupinder Singh Anand
FCS
2008
13 years 6 months ago
Autonomous Scheduling
Abstract. Autonomous scheduling deals with the problem - how to enable agents to schedule a set of interdependent tasks in such a way that whatever schedule they choose for their t...
Chetan Yadati, Cees Witteveen, Yingqian Zhang, Men...
FECS
2007
223views Education» more  FECS 2007»
13 years 6 months ago
Designing Software Engineering Option within Computer Science Bachelor of Science Program
- This paper describes a Software Engineering Option (SEO) within the current BS in Computer Science program at UMASS Dartmouth. The SE Option reuses significant portion of the exi...
Jan Bergandy, Paul L. Bergstein, Boleslaw Mikolajc...
FECS
2007
138views Education» more  FECS 2007»
13 years 6 months ago
Computing Branches Out: On Revitalizing Computing Education
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
Ljubomir Perkovic, Amber Settle