Citation: Schulz JM, Redgrave P and Reynolds JNJ (2015) Corrigendum: Cortico-striatal spike-timing dependent plasticity after activation of subcortical pathways. The arrangement of the panels in Figure 4 of the article by Schulz et al. (2010) is incorrect. The order of the panels A and B in Figure 4 was erroneously reversed, so that the graphs do not match the figure legend and the references i...

E is a theorem prover for full first-order logic with equality. It reduces first-order problems to clause normal form and employs a saturation algorithm based on the equational superposition calculus. E is built on shared terms with cached rewriting, and employs several innovations for efficient clause indexing. Major strengths of the system are automatic problem analysis and highly flexible se...

Relations are found between grain boundary character distribution, misorientation distribution and two-point orientation distribution. Some of these relations are analogies for polycrystals of the Debye-Anderson-Brumberger formula and Berryman formula established for two-phase composites.