Sciweavers

4498 search results - page 317 / 900
» How to Invent Functions
Sort
View
ICFP
1999
ACM
15 years 9 months ago
Type Inference Builds a Short Cut to Deforestation
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
Olaf Chitil
BMCBI
2010
129views more  BMCBI 2010»
15 years 5 months ago
The LabelHash Algorithm for Substructure Matching
Background: There is an increasing number of proteins with known structure but unknown function. Determining their function would have a significant impact on understanding diseas...
Mark Moll, Drew H. Bryant, Lydia E. Kavraki
148
Voted
BMCBI
2005
97views more  BMCBI 2005»
15 years 5 months ago
Sequence variation in ligand binding sites in proteins
Background: The recent explosion in the availability of complete genome sequences has led to the cataloging of tens of thousands of new proteins and putative proteins. Many of the...
Thomas J. Magliery, Lynne Regan
146
Voted
SYNTHESE
2010
99views more  SYNTHESE 2010»
14 years 11 months ago
The epistemology of science - a bird's-eye view
In this paper I outline my conception of the epistemology of science, by reference to my published papers, showing how the ideas presented there fit together. In particular I disc...
Alexander Bird
263
Voted
FSE
2011
Springer
289views Cryptology» more  FSE 2011»
14 years 8 months ago
On Cipher-Dependent Related-Key Attacks in the Ideal-Cipher Model
Abstract. Bellare and Kohno introduced a formal framework for the study of related-key attacks against blockciphers. They established sufficient conditions (output-unpredictabilit...
Martin R. Albrecht, Pooya Farshim, Kenny G. Paters...