412 search results - page 63 / 83 » Innovations in computational type theory using Nuprl |
CCA
2005
Springer
14 years 1 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
WIKIS
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we ask to what extent collective cognition can be supported and sustained in classroom practices. One major challenge for learning in technology-rich, collaborative ...
MIS
2007
Springer
13 years 7 months ago
2007
Springer
Mobility models, synthetic or trace, try to accurately model the movement of a single user or a group of users. Models are used in simulators and emulators to investigate the cons...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
Ordering and ranking items of different types are important tasks in various applications, such as query processing and scientific data mining. A total order for the items can be ...
CCE
2005
13 years 7 months ago
2005
In the field of controlled release technology for pesticides or active ingredients (AI), models that can predict its delivery during application are important for purposes of desi...