3323 search results - page 499 / 665 » Computational Semantics with Functional Programming |
155
click to vote
DNA
2009
Springer
16 years 1 months ago
2009
Springer
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
172
click to vote
IPPS
2008
IEEE
16 years 27 days ago
2008
IEEE
As an essential part of in vitro analysis, biological database query has become more and more important in the research process. A few challenges that are specific to bioinformat...
189
click to vote
PDP
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
170
click to vote
ICALP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We give an fpt approximation algorithm for the directed vertex disjoint cycle problem. Given a directed graph G with n vertices and a positive integer k, the algorithm co...
171
click to vote
ICALP
2007
Springer
16 years 19 days ago
2007
Springer
We consider the problem of constructing efficient locally decodable codes in the presence of a computationally bounded adversary. Assuming the existence of one-way functions, we c...