In recent years, a number of low-cost laptops have been created for children’s education, most notably the XO, developed by One Laptop per Child to embody principles of construc...
Ruy Cervantes, Mark Warschauer, Bonnie A. Nardi, N...
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...
For the past two decades, developments in DRAM technology, the primary technology for the main memory of computers, have been directed towards increasing density. As a result 256 M...
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged betwee...
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecs three levels of abstraction and descri...
R. Peter Bonasso, David Kortenkamp, David P. Mille...