Sciweavers

Share
18 search results - page 1 / 4
» On representable ordered residuated semigroups
Sort
View
IGPL
2011
8 years 2 months ago
On representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of su...
Szabolcs Mikulás
ICIP
2008
IEEE
9 years 9 months ago
Efficient representation and coding of prediction residuals and parameters in frame-based animated mesh compression
For compression of 3-D dynamic meshes, the novel framework of so-called frame-based animated mesh compression (FAMC) has been introduced recently. In this context, we propose an e...
Detlev Marpe, Heiner Kirchhoffer, Karsten Mül...
ALMOB
2007
155views more  ALMOB 2007»
8 years 7 months ago
Finding coevolving amino acid residues using row and column weighting of mutual information and multi-dimensional amino acid rep
Background: Some amino acid residues functionally interact with each other. This interaction will result in an evolutionary co-variation between these residues – coevolution. Ou...
Rodrigo Gouveia-Oliveira, Anders Gorm Pedersen
BMCBI
2006
152views more  BMCBI 2006»
8 years 7 months ago
A two-stage approach for improved prediction of residue contact maps
Background: Protein topology representations such as residue contact maps are an important intermediate step towards ab initio prediction of protein structure. Although improvemen...
Alessandro Vullo, Ian Walsh, Gianluca Pollastri
ARITH
1999
IEEE
8 years 11 months ago
Digit-Recurrence Algorithm for Computing Euclidean Norm of a 3-D Vector
A digit-recurrence algorithm for computing the Euclidean norm of a 3-dimensional vector is proposed. Starting from the vector component with the highest order of magnitude as the ...
Naofumi Takagi, Seiji Kuwahara
books