Sciweavers

16430 search results - page 125 / 3286
» On Computable Tree Functions
Sort
View
99
Voted
FOCS
1993
IEEE
15 years 7 months ago
Parallel computable higher type functionals (Extended Abstract)
d Abstract) Peter Clote A. Ignjatovicy B. Kapronz
Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapro...
94
Voted
SCP
2002
59views more  SCP 2002»
15 years 3 months ago
The universal resolving algorithm and its correctness: inverse computation in a functional language
We present an algorithm for inverse computation in a
Sergei M. Abramov, Robert Glück
133
Voted
CISIS
2010
IEEE
15 years 10 months ago
Gene Ontology Rewritten for Computing Gene Functional Similarity
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
Alessia Visconti, Francesca Cordero, Marco Botta, ...
130
Voted
MICS
2010
102views more  MICS 2010»
15 years 1 months ago
Computing Zeta Functions of Superelliptic Curves in Larger Characteristic
Abstract. Following Gaudry and G¨urel who extended Kedlaya’s point-counting algorithm to superelliptic curves, we introduce Harvey’s running time improvements for large enough...
Moritz Minzlaff
155
Voted
DAC
2007
ACM
15 years 7 months ago
Programming Living Cells to Function as Massively Parallel Computers
We have reprogrammed the genomes of living cells to construct massively parallel biological computers capable of processing two-dimensional images at a theoretical resolution of g...
Jeffrey J. Tabor