Sciweavers

4117 search results - page 809 / 824
» On the Satisfiability of Complex Constraints
Sort
View
98
Voted
SPAA
2010
ACM
14 years 9 months ago
Scheduling to minimize power consumption using submodular functions
We develop logarithmic approximation algorithms for extremely general formulations of multiprocessor multiinterval offline task scheduling to minimize power usage. Here each proce...
Erik D. Demaine, Morteza Zadimoghaddam
AUTOMATICA
2007
103views more  AUTOMATICA 2007»
14 years 9 months ago
Lexicographic perturbation for multiparametric linear programming with applications to control
Optimal control problems for constrained linear systems with a linear cost can be posed as multiparametric linear programs with a parameter in the cost, or equivalently the right-...
Colin Neil Jones, Eric C. Kerrigan, Jan M. Maciejo...
BMCBI
2010
95views more  BMCBI 2010»
14 years 9 months ago
Identifying main effects and epistatic interactions from large-scale SNP data via adaptive group Lasso
Background: Single nucleotide polymorphism (SNP) based association studies aim at identifying SNPs associated with phenotypes, for example, complex diseases. The associated SNPs m...
Can Yang, Xiang Wan, Qiang Yang, Hong Xue, Weichua...
BMCBI
2008
109views more  BMCBI 2008»
14 years 9 months ago
ConStruct: Improved construction of RNA consensus structures
Background: Aligning homologous non-coding RNAs (ncRNAs) correctly in terms of sequence and structure is an unresolved problem, due to both mathematical complexity and imperfect s...
Andreas Wilm, Kornelia Linnenbrink, Gerhard Steger
BMCBI
2008
78views more  BMCBI 2008»
14 years 9 months ago
A new protein linear motif benchmark for multiple sequence alignment software
Background: Linear motifs (LMs) are abundant short regulatory sites used for modulating the functions of many eukaryotic proteins. They play important roles in post-translational ...
Emmanuel Perrodou, Claudia Chica, Olivier Poch, To...