Sciweavers

9787 search results - page 455 / 1958
» A Utile Function Optimizer
Sort
View
BMCBI
2010
101views more  BMCBI 2010»
15 years 7 months ago
Optimizing structural modeling for a specific protein scaffold: knottins or inhibitor cystine knots
Background: Knottins are small, diverse and stable proteins with important drug design potential. They can be classified in 30 families which cover a wide range of sequences (1621...
Jérôme Gracy, Laurent Chiche
CORR
2008
Springer
106views Education» more  CORR 2008»
15 years 7 months ago
Spectral efficiency and optimal medium access control of random access systems over large random spreading CDMA
This paper analyzes the spectral efficiency as a function of medium access control (MAC) for large random spreading CDMA random access systems that employ a linear receiver. It is ...
Yi Sun
ECCC
2010
82views more  ECCC 2010»
15 years 7 months ago
On optimal proof systems and logics for PTIME
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...
Yijia Chen, Jörg Flum
MST
2008
157views more  MST 2008»
15 years 6 months ago
Optimal On-Line Algorithms to Minimize Makespan on Two Machines with Resource Augmentation
We study the problem of on-line scheduling on two uniformly related machines where the on-line algorithm has resources different from those of the off-line algorithm. We consider ...
Leah Epstein, Arik Ganot
POPL
1997
ACM
15 years 11 months ago
Synchronization Transformations for Parallel Computing
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
Pedro C. Diniz, Martin C. Rinard