2941 search results - page 110 / 589 » The Myth of the Educational Computer |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
With an historical point of view combined with a bibliographic overview, the article discusses the idea that haptic force-feedback transducers correspond with a paradigm shift in o...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Fixpoint Computations with Numerical Acceleration Methods Olivier Bouissou1 , Yassamine Seladji1 CEA, LIST, Laboratory for the Modeling and Analysis of Interacting Systems 91191 Gi...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Reputation and recommendation systems are fundamental for the formation of community market places. Yet, they are easy targets for attacks which disturb a market's equilibriu...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We define a class of “algebraic” random matrix channels for which one can generically compute the limiting Shannon transform using numerical techniques and often enumerate th...