Sciweavers

128 search results - page 24 / 26
» Weak Verifiable Random Functions
Sort
View
JCNS
2008
64views more  JCNS 2008»
13 years 5 months ago
Spike-frequency adaptation generates intensity invariance in a primary auditory interneuron
Adaptation of the spike-frequency response to constant stimulation, as observed on various timescales in many neurons, reflects high-pass filter properties of a neuron's tran...
Jan Benda, Matthias Hennig
RECOMB
2003
Springer
14 years 6 months ago
Physical network models and multi-source data integration
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
Chen-Hsiang Yeang, Tommi Jaakkola
STOC
2010
ACM
200views Algorithms» more  STOC 2010»
14 years 3 months ago
Hardness Amplification in Proof Complexity
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
Paul Beame, Trinh Huynh and Toniann Pitassi
BMCBI
2008
153views more  BMCBI 2008»
13 years 5 months ago
Estimating the size of the solution space of metabolic networks
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
Alfredo Braunstein, Roberto Mulet, Andrea Pagnani
BMCBI
2008
144views more  BMCBI 2008»
13 years 5 months ago
Pep-3D-Search: a method for B-cell epitope prediction based on mimotope analysis
Background: The prediction of conformational B-cell epitopes is one of the most important goals in immunoinformatics. The solution to this problem, even if approximate, would help...
Yanxin Huang, Yongli Bao, Shu Yan Guo, Yan Wang, C...