867 search results - page 45 / 174 » On Two Forms of Structural Recursion |
116
Voted
ENTCS
2007
15 years 2 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
88
Voted
MA
2010
Springer
14 years 9 months ago
2010
Springer
Tail dependence and conditional tail dependence functions describe, respectively, the tail probabilities and conditional tail probabilities of a copula at various relative scales....
130
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: The hierarchical and partially redundant nature of protein structures justifies the definition of frequently occurring conformations of short fragments as `states'...
120
Voted
LACL
2001
Springer
15 years 7 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
103
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: The number and the arrangement of subunits that form a protein are referred to as quaternary structure. Quaternary structure is an important protein attribute that is ...