Sciweavers

2941 search results - page 398 / 589
» The Myth of the Educational Computer
Sort
View
CORR
2008
Springer
113views Education» more  CORR 2008»
15 years 6 months ago
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Paul Tarau
CORR
2008
Springer
102views Education» more  CORR 2008»
15 years 6 months ago
Offloading Cognition onto Cognitive Technology
: "Cognizing" (i.e., thinking, understanding, knowing, and having the capacity to do what cognizers can do) is a mental state. Systems without mental states, such as cogn...
Itiel E. Dror, Stevan Harnad
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 6 months ago
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Strong and weak simulation relations have been proposed for Markov chains, while strong simulation and strong probabilistic simulation relations have been proposed for probabilisti...
Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand...
CORR
2008
Springer
135views Education» more  CORR 2008»
15 years 6 months ago
Conditional probability based significance tests for sequential patterns in multi-neuronal spike trains
URL for the abstract in place of http://abstract.citation (the square brackets will take care of linking). Remember that we decided to omit the journal details from the list in fav...
P. S. Sastry, K. P. Unnikrishnan
CORR
2008
Springer
145views Education» more  CORR 2008»
15 years 6 months ago
The Capacity Region of Large Wireless Networks
The capacity region of a wireless network with n nodes is the set of all simultaneously achievable rates between all possible n2 node pairs. In this paper, we consider the questio...
Urs Niesen, Piyush Gupta, Devavrat Shah