Sciweavers

4087 search results - page 11 / 818
» Sets in Types, Types in Sets
Sort
View
BMCBI
2007
102views more  BMCBI 2007»
13 years 8 months ago
Setting up a large set of protein-ligand PDB complexes for the development and validation of knowledge-based docking algorithms
Background: The number of algorithms available to predict ligand-protein interactions is large and ever-increasing. The number of test cases used to validate these methods is usua...
Luis A. Diago, Persy Morell, Longendri Aguilera, E...
IANDC
2006
82views more  IANDC 2006»
13 years 8 months ago
Recognizability, hypergraph operations, and logical types
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
Achim Blumensath, Bruno Courcelle
BMCBI
2005
116views more  BMCBI 2005»
13 years 8 months ago
Automating Genomic Data Mining via a Sequence-based Matrix Format and Associative Rule Set
There is an enormous amount of information encoded in each genome
Jonathan D. Wren, David Johnson, Le Gruenwald
ASE
2010
77views more  ASE 2010»
13 years 8 months ago
Type safety for feature-oriented product lines
A feature-oriented product line is a family of programs that share a common set of features. A feature implements a stakeholder's requirement and represents a design deci
Sven Apel, Christian Kästner, Armin Grö&...
WOLLIC
2009
Springer
14 years 3 months ago
Recognizability in the Simply Typed Lambda-Calculus
Abstract. We define a notion of recognizable sets of simply typed λterms that extends the notion of recognizable sets of strings or trees. This definition is based on finite mo...
Sylvain Salvati