1090 search results - page 15 / 218 » The Equivalence between Biology and Computation |
STOC
2003
ACM
14 years 10 months ago
2003
ACM
In this paper we establish a topological similarity between two apparently different shape constructors from a set of points. Shape constructors are geometric structures that tran...
CISS
2010
IEEE
13 years 1 months ago
2010
IEEE
—Recovery of sparse signals from noisy observations is a problem that arises in many information processing contexts. LASSO and the Dantzig selector (DS) are two well-known schem...
CONCUR
1991
Springer
14 years 1 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...
DAC
2012
ACM
12 years 5 days ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
ISMB
1994
13 years 11 months ago
1994
Someof the geometric problemsof interest to molecular biologists havemacroscopicanaloguesin the field of robotics. Twoexamples of such analogies are those between protein docking ...