17 search results - page 2 / 4 » On representable ordered residuated semigroups |
94
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
94
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: The task of computing highly accurate structural alignments of proteins in very short computation time is still challenging. This is partly due to the complexity of pr...
86
Voted
BMCBI
2006
14 years 10 months ago
2006
Background: Many biological processes involve the physical interaction between protein domains. Understanding these functional associations requires knowledge of the molecular str...
82
Voted
BMCBI
2007
14 years 10 months ago
2007
Background: Structural genomics initiatives are producing increasing numbers of threedimensional (3D) structures for which there is little functional information. Structure-based ...
70
Voted
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...