Analysis of proteins in computational models of synaptic plasticity