Sciweavers

4507 search results - page 399 / 902
» Generalized Binet dynamics
Sort
View
BC
2007
79views more  BC 2007»
15 years 6 months ago
Spike-timing-dependent plasticity for neurons with recurrent connections
The dynamics of the learning equation, which describes the evolution of the synaptic weights, is derived in the situation where the network contains recurrent connections. The deri...
Anthony N. Burkitt, Matthieu Gilson, J. Leo van He...
ENTCS
2008
120views more  ENTCS 2008»
15 years 6 months ago
Separation Logic Semantics for Communicating Processes
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
Tony Hoare, Peter W. O'Hearn
IJBC
2006
65views more  IJBC 2006»
15 years 6 months ago
Noise-Sensitivity in Machine Tool Vibrations
We consider the effect of random variation in the material parameters in a model for machine tool vibrations, specifically regenerative chatter. We show that fluctuations in these...
E. Buckwar, R. Kuske, B. L'esperance, T. Soo
177
Voted
CORR
2007
Springer
120views Education» more  CORR 2007»
15 years 6 months ago
Random subcubes as a toy model for constraint satisfaction problems
We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the s...
Thierry Mora, Lenka Zdeborová
SIGKDD
2008
159views more  SIGKDD 2008»
15 years 6 months ago
Data mining with cellular automata
A cellular automaton is a discrete, dynamical system composed of very simple, uniformly interconnected cells. Cellular automata may be seen as an extreme form of simple, localized...
Tom Fawcett