David R. Lester

Learn More
Blue and violet flowers generally contain derivatives of delphinidin; red and pink flowers generally contain derivatives of cyanidin or pelargonidin. Differences in hydroxylation patterns of these three major classes of anthocyanidins are controlled by the cytochrome P450 enzymes flavonoid 3'-hydroxylase and flavonoid 3',5'-hydroxylase. Here we report on(More)
SpiNNaker (a contraction of Spiking Neural Network Architecture) is a million-core computing engine whose flagship goal is to be able to simulate the behavior of aggregates of up to a billion neurons in real time. It consists of an array of ARM9 cores, communicating via packets carried by a custom interconnect fabric. The packets are small (40 or 72 bits),(More)
Two distinct partial cDNAs, PRF1 and PRF3, similar in sequence to previously described polygalacturonases, were amplified from ripe peach (Prunus persica L. Batsch cv Flavorcrest) fruit cDNA by the polymerase chain reaction. PRF1-related RNA was present in fruit from early ripening at levels not detected by northern analysis. PRF3-related RNA was readily(More)
SpiNNaker is a novel chip - based on the ARM processor - which is designed to support large scale spiking neural networks simulations. In this paper we describe some of the features that permit SpiNNaker chips to be connected together to form scalable massively-parallel systems. Our eventual goal is to be able to simulate neural networks consisting of(More)
Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a theorem prover or proof assistant in a convenient and highly automated as well as interactive way. First, we formally establish upper and lower bounds for elementary functions.(More)
The pea genome contains seven histone H1 genes encoding different subtypes. Previously, the DNA sequence of only one gene, His1, coding for the subtype H1-1, had been identified. We isolated a histone H1 allele from a pea genomic DNA library. Data from the electrophoretic mobility of the pea H1 subtypes and their N-bromosuccinimide cleavage products(More)
The modelling of large systems of spiking neurons is computationally very demanding in terms of processing power and communication. SpiNNaker—Spiking Neural Network architecture—is a massively parallel computer system designed to provide a cost-effective and flexible simulator for neuroscience experiments. It can model up to a billion neurons and a trillion(More)