Sciweavers

9719 search results - page 1461 / 1944
» Inference for Multiplicative Models
Sort
View
MBEC
2011
157views more  MBEC 2011»
14 years 10 months ago
Size matters: MEG empirical and simulation study on source localization of the earliest visual activity in the occipital cortex
Abstract While the relationship between sensory stimulation and tasks and the size of the cortical activations is generally unknown, the visual modality offers a unique possibility...
Sanja Josef Golubic, Ana Susac, Veljko Grilj, Doug...
CRYPTO
2012
Springer
277views Cryptology» more  CRYPTO 2012»
13 years 9 months ago
Multiparty Computation from Somewhat Homomorphic Encryption
We propose a general multiparty computation protocol secure against an active adversary corrupting up to n−1 of the n players. The protocol may be used to compute securely arithm...
Ivan Damgård, Valerio Pastro, Nigel P. Smart...
POPL
2003
ACM
16 years 7 months ago
From symptom to cause: localizing errors in counterexample traces
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
Thomas Ball, Mayur Naik, Sriram K. Rajamani
RECOMB
2005
Springer
16 years 7 months ago
Comparative Systems Biology of the Sporulation Initiation Network in Prokaryotes
Many years of experimental and computational molecular biology of model organisms such as Escherichia coli and Saccharomyces cerevisiae has elucidated the gene regulatory network i...
Michiel J. L. de Hoon, Dennis Vitkup
STOC
2007
ACM
142views Algorithms» more  STOC 2007»
16 years 7 months ago
Lower bounds for randomized read/write stream algorithms
Motivated by the capabilities of modern storage architectures, we consider the following generalization of the data stream model where the algorithm has sequential access to multi...
Paul Beame, T. S. Jayram, Atri Rudra
« Prev « First page 1461 / 1944 Last » Next »