Sciweavers

2335 search results - page 173 / 467
» Functional Differentiation of Computer Programs
Sort
View
CIBCB
2005
IEEE
14 years 4 months ago
Predicting Peroxisomal Proteins
— PTS1 proteins are peroxisomal matrix proteins that have a well conserved targeting motif at the C-terminal end. However, this motif is present in many non peroxisomal proteins ...
John Hawkins, Mikael Bodén
FOSSACS
2003
Springer
14 years 4 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani
FCCM
2004
IEEE
109views VLSI» more  FCCM 2004»
14 years 2 months ago
Unifying Bit-Width Optimisation for Fixed-Point and Floating-Point Designs
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...
Altaf Abdul Gaffar, Oskar Mencer, Wayne Luk, Peter...
JCC
2008
85views more  JCC 2008»
13 years 10 months ago
Minimal molecular surfaces and their applications
Abstract: This article presents a novel concept, the minimal molecular surface (MMS), for the theoretical modeling of biomolecules. The MMS can be viewed as a result of the surface...
P. W. Bates, G. W. Wei, Shan Zhao
MP
2006
88views more  MP 2006»
13 years 10 months ago
Bounds on linear PDEs via semidefinite optimization
Using recent progress on moment problems, and their connections with semidefinite optimization, we present in this paper a new methodology based on semidefinite optimization, to ob...
Dimitris Bertsimas, Constantine Caramanis