Sciweavers

5244 search results - page 299 / 1049
» Structural Complexity of AvgBPP
Sort
View
BMCBI
2010
190views more  BMCBI 2010»
15 years 6 months ago
APIS: accurate prediction of hot spots in protein interfaces by combining protrusion index with solvent accessibility
Background: It is well known that most of the binding free energy of protein interaction is contributed by a few key hot spot residues. These residues are crucial for understandin...
Jun-Feng Xia, Xing-Ming Zhao, Jiangning Song, De-S...
PADL
2010
Springer
16 years 3 months ago
First-Order Interactive Programming
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
Roly Perera
IV
2005
IEEE
68views Visualization» more  IV 2005»
16 years 9 days ago
Visualisation and Analysis of Network Motifs
Many of the complex networks that occur both in nature and in technology are built up from frequently recurring patterns of basic structural elements. These structural patterns kn...
Weidong Huang, Colin Murray, Xiaobin Shen, Le Song...
BSL
2004
110views more  BSL 2004»
15 years 6 months ago
Notes on quasiminimality and excellence
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...
John T. Baldwin
DAC
1994
ACM
15 years 10 months ago
BDD Variable Ordering for Interacting Finite State Machines
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
Adnan Aziz, Serdar Tasiran, Robert K. Brayton