Sciweavers

659 search results - page 11 / 132
» Binding as sets of scopes
Sort
View
NJC
2006
86views more  NJC 2006»
15 years 1 months 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
GECCO
2000
Springer
122views Optimization» more  GECCO 2000»
15 years 5 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 2 months 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
BMCBI
2007
126views more  BMCBI 2007»
15 years 2 months 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
PVM
2005
Springer
15 years 7 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