536 search results - page 75 / 108 » A computer verified, monadic, functional implementation of t... |
BMCBI
2008
14 years 12 months ago
2008
Background: Protein domains are the structural and functional units of proteins. The ability to parse proteins into different domains is important for effective classification, un...
120
click to vote
EUROCRYPT
2006
Springer
15 years 3 months ago
2006
Springer
In this work we provide efficient distributed protocols for generating shares of random noise, secure against malicious participants. The purpose of the noise generation is to crea...
101
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...
SIGMOD
1998
ACM
15 years 4 months ago
1998
ACM
The functionality of extensible database servers can be augmented by user-de ned functions UDFs . However, the server's security and stability are concerns whenever new code...
121
click to vote
ESOP
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...