10997 search results - page 315 / 2200 » On the Structure of Complete Sets |
155
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. Several residuated algebras are taken into account. The set of axioms defining each structure is reduced with the aim to obtain an independent axiomatization. Further, th...
174
click to vote
GCB
2001
Springer
15 years 11 months ago
2001
Springer
: We derive an approximate Bayesian hypothesis test to discriminate between alternative mosaic structures of DNA sequence alignments, and test the viability of this approach on a s...
155
Voted
CCCG
2009
15 years 8 months ago
2009
Design Rule Checking (DRC) in VLSI design involves checking if a given VLSI layout satisfies a given set of rules, and reporting the violations if any. We propose data structures ...
161
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
We study the dynamics of the so-called Game of Cards by using tools developed in the context of discrete dynamical systems. We extend a result of [4] and [10] (the last one in the ...
320
click to vote
RECOMB
2011
Springer
14 years 9 months ago
2011
Springer
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...