747 search results - page 17 / 150 » Theory and Construction of Molecular Computers |
ACS
2011
13 years 3 months ago
2011
Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the ...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
COMPGEOM
2006
ACM
14 years 2 months ago
2006
ACM
We construct a class of envelope surfaces in Rd , more precisely envelopes of balls. An envelope surface is a closed C1 (tangent continuous) manifold wrapping tightly around the u...
BMCBI
2007
13 years 8 months ago
2007
Background: Remote homology detection is a challenging problem in Bioinformatics. Arguably, profile Hidden Markov Models (pHMMs) are one of the most successful approaches in addre...
ICIAP
1997
ACM
14 years 23 days ago
1997
ACM
Image formation of a two-dimensional input image can be quantified by imposing an image induced connection and computing the associated torsion and curvature. The latter aspects of...