Sciweavers

Share
FCS
2008
8 years 4 months ago
Snack Attack: An Exploration of Collaborative Learning
James Tyson, James Kriigel, Jon Preston, Byron Jef...
FCS
2008
8 years 4 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
8 years 4 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
8 years 4 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...
books