Spike Timing Dependent Plasticity Definition