Sciweavers

3804 search results - page 334 / 761
» From Here to There
Sort
View
JCNS
2011
61views more  JCNS 2011»
15 years 1 months ago
Automating the design of informative sequences of sensory stimuli
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...
NAR
2011
208views Computer Vision» more  NAR 2011»
15 years 1 months ago
The Pancreatic Expression database: 2011 update
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...
NC
2011
201views Neural Networks» more  NC 2011»
15 years 1 months ago
The computational power of membrane systems under tight uniformity conditions
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 ...
Niall Murphy, Damien Woods
NFM
2011
242views Formal Methods» more  NFM 2011»
15 years 1 months ago
Model Checking Using SMT and Theory of Lists
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...
Aleksandar Milicevic, Hillel Kugler
INTERSPEECH
2010
15 years 1 months ago
A classifier-based target cost for unit selection speech synthesis trained on perceptual data
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...
Volker Strom, Simon King