279 search results - page 25 / 56 » Typability in Partial Applicative Structures |
WEBDB
2010
Springer
14 years 19 days ago
2010
Springer
A large number of web sites publish pages containing structured information about recognizable concepts, but these data are only partially used by current applications. Although s...
JCT
2010
13 years 6 months ago
2010
We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Sch¨utzenberger’s jeu de taquin....
BMCBI
2010
13 years 7 months ago
2010
Background: The activity of proteins within the cell is characterized by their motions, flexibility, interactions or even the particularly intriguing case of partially unfolded st...
BIBE
2005
IEEE
14 years 1 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
AGP
2003
IEEE
14 years 27 days ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...