1507 search results - page 143 / 302 » Separating Complexity Classes Using Structural Properties |
JIB
2007
13 years 10 months ago
2007
As protein-protein interactions are one of the basic mechanisms in most cellular processes, it is desirable to understand the molecular details of protein-protein contacts and ult...
BIBE
2005
IEEE
14 years 4 days ago
2005
IEEE
The classification of proteins based on their structure can play an important role in the deduction or discovery of protein function. However, the relatively low number of solved...
BSL
2004
13 years 10 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
APSEC
2001
IEEE
14 years 1 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
ISCC
2008
IEEE
14 years 4 months ago
2008
IEEE
The crossbar fabric is widely used as the interconnect of high-performance packet switches due to its low cost and scalability. There are two main variants of the crossbar fabric:...