1847 search results - page 131 / 370 » Hybrid Functional Interpretations |
215
Voted
ASIACRYPT
2011
Springer
14 years 5 months ago
2011
Springer
We propose a lattice-based functional encryption scheme for inner product predicates whose security follows from the difficulty of the learning with errors (LWE) problem. This co...
172
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
168
click to vote
BMCBI
2002
15 years 5 months ago
2002
Background: Molecular characterization has contributed to the understanding of the inception, progression, treatment and prognosis of cancer. Nucleic acid array-based technologies...
141
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
151
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: The analysis of microarray experiments requires accurate and up-to-date functional annotation of the microarray reporters to optimize the interpretation of the biologi...