Sciweavers

3007 search results - page 180 / 602
» Linear Functional Fixed-points
Sort
View
155
Voted
FP
1992
135views Formal Methods» more  FP 1992»
15 years 7 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....
138
Voted
KDD
2000
ACM
162views Data Mining» more  KDD 2000»
15 years 7 months ago
Data Mining from Functional Brain Images
Recent advances in functional brain imaging enable identication of active areas of a brain performing a certain function. Induction of logical formulas describing relations betwee...
Mitsuru Kakimoto, Chie Morita, Yoshiaki Kikuchi, H...
STOC
1991
ACM
84views Algorithms» more  STOC 1991»
15 years 6 months ago
Self-Testing/Correcting for Polynomials and for Approximate Functions
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
Peter Gemmell, Richard J. Lipton, Ronitt Rubinfeld...
122
Voted
BMCBI
2010
104views more  BMCBI 2010»
15 years 3 months ago
A novel scoring function for discriminating hyperthermophilic and mesophilic proteins with application to predicting relative th
Background: The ability to design thermostable proteins is theoretically important and practically useful. Robust and accurate algorithms, however, remain elusive. One critical pr...
Yunqi Li, C. Russell Middaugh, Jianwen Fang
138
Voted
BMCBI
2008
141views more  BMCBI 2008»
15 years 3 months ago
Discovering functional interaction patterns in protein-protein interaction networks
Background: In recent years, a considerable amount of research effort has been directed to the analysis of biological networks with the availability of genome-scale networks of ge...
Mehmet E. Turanalp, Tolga Can