867 search results - page 45 / 174 » On Two Forms of Structural Recursion |
100
Voted
ENTCS
2007
15 years 14 days 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...
69
Voted
MA
2010
Springer
14 years 7 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....
109
Voted
BMCBI
2010
15 years 19 days ago
2010
Background: The hierarchical and partially redundant nature of protein structures justifies the definition of frequently occurring conformations of short fragments as `states'...
104
Voted
LACL
2001
Springer
15 years 5 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...
89
Voted
BMCBI
2006
15 years 17 days 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 ...