Sciweavers

1419 search results - page 167 / 284
» A Characterization of Constructive Dimension
Sort
View
BMCBI
2008
109views more  BMCBI 2008»
15 years 6 months ago
The meaning of alignment: lessons from structural diversity
Background: Protein structural alignment provides a fundamental basis for deriving principles of functional and evolutionary relationships. It is routinely used for structural cla...
Walter Pirovano, K. Anton Feenstra, Jaap Heringa
CAGD
2008
104views more  CAGD 2008»
15 years 6 months ago
On the curvature of guided surfaces
Following [KP07], we analyze surfaces arising as an infinite sequence of guided C2 surface rings. However, here we focus on constructions of too low a degree to be curvature conti...
Kestutis Karciauskas, Jörg Peters
CORR
2008
Springer
104views Education» more  CORR 2008»
15 years 6 months ago
De Bruijn Graph Homomorphisms and Recursive De Bruijn Sequences
This paper presents a method to find new De Bruijn cycles based on ones of lesser order. This is done by mapping a De Bruijn cycle to several vertex disjoint cycles in a De Bruijn ...
Abbas Alhakim, Mufutau Akinwande
DCG
2010
77views more  DCG 2010»
15 years 6 months ago
Oriented Mixed Area and Discrete Minimal Surfaces
Abstract. Recently a curvature theory for polyhedral surfaces has been established which associates with each face a mean curvature value computed from areas and mixed areas of tha...
Christian Müller, Johannes Wallner
CSR
2008
Springer
15 years 6 months ago
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
Arnon Avron, Anna Zamansky