659 search results - page 13 / 132 » Binding as sets of scopes |
92
Voted
ENTCS
2007
15 years 8 days ago
2007
Polyadic coalgebraic modal logic is studied in the setting of locally presentable categories. It is shown that under certain assumptions, accessible functors admit expressive logi...
BMCBI
2004
15 years 5 days ago
2004
Background: This paper addresses the problem of discovering transcription factor binding sites in heterogeneous sequence data, which includes regulatory sequences of one or more g...
109
click to vote
RECOMB
2006
Springer
16 years 18 days ago
2006
Springer
Abstract. We describe and empirically evaluate machine learning methods for the prediction of zinc binding sites from protein sequences. We start by observing that a data set consi...
125
click to vote
NIPS
2008
15 years 1 months ago
2008
Metal binding is important for the structural and functional characterization of proteins. Previous prediction efforts have only focused on bonding state, i.e. deciding which prot...
CSL
2004
Springer
15 years 5 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...