Sciweavers

659 search results - page 11 / 132
» Binding as sets of scopes
Sort
View
89
Voted
NJC
2006
86views more  NJC 2006»
15 years 6 days ago
Axiomatizing Binding Bigraphs
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...
Troels Christoffer Damgaard, Lars Birkedal
102
Voted
GECCO
2000
Springer
122views Optimization» more  GECCO 2000»
15 years 3 months ago
Genetic Programming with Statically Scoped Local Variables
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
Evan Kirshenbaum
BMCBI
2010
110views more  BMCBI 2010»
15 years 11 days ago
MultiRTA: A simple yet reliable method for predicting peptide binding affinities for multiple class II MHC allotypes
Background: The binding of peptide fragments of antigens to class II MHC is a crucial step in initiating a helper T cell immune response. The identification of such peptide epitop...
Andrew J. Bordner, Hans D. Mittelmann
95
Voted
BMCBI
2007
126views more  BMCBI 2007»
15 years 11 days ago
High-throughput identification of interacting protein-protein binding sites
Background: With the advent of increasing sequence and structural data, a number of methods have been proposed to locate putative protein binding sites from protein surfaces. Ther...
Jo-Lan Chung, Wei Wang, Philip E. Bourne
95
Voted
PVM
2005
Springer
15 years 5 months ago
A Case for New MPI Fortran Bindings
Abstract. The Fortran language has evolved substantially from the Fortran 77 bindings defined in the MPI-1 (Message Passing Interface) standard. Fortran 90 introduced interface bl...
Craig Edward Rasmussen, Jeffrey M. Squyres