1263 search results - page 27 / 253 » Packaging Mathematical Structures |
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper a methodology to the analysis of bifurcations of variable structure systems is proposed. This methodology, based on the use of symbolic computation packages, is d...
BMCBI
2010
13 years 7 months ago
2010
Background: Efficient dissection of large proteins into their structural domains is critical for high throughput proteome analysis. So far, no study has focused on mathematically ...
CJ
1998
13 years 7 months ago
1998
Approximation structuring clustering is an extension of what is usually called square-error clustering" onto various cluster structures and data formats. It appears to be not...
BMCBI
2004
13 years 7 months ago
2004
Background: The integration of many aspects of protein/DNA structure analysis is an important requirement for software products in general area of structural bioinformatics. In fa...