Adaptive stimulus design methods can potentially improve the efficiency of sensory neurophysiology experiments significantly; however, designing optimal stimulus sequences in re...
Jeremy Lewi, David M. Schneider, Sarah M. N. Wooll...
The Pancreatic Expression database (PED, http:// www.pancreasexpression.org) has established itself as the main repository for pancreatic-derived -omics data. For the past 3 years...
Rosalind J. Cutts, Emanuela Gadaleta, Stephan A. H...
We apply techniques from complexity theory to a model of biological cellular membranes known as membrane systems or P-systems. Like Boolean circuits, membrane systems are defined ...
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
Our goal is to automatically learn a perceptually-optimal target cost function for a unit selection speech synthesiser. The approach we take here is to train a classifier on human...