Sciweavers

1452 search results - page 166 / 291
» Algorithmic Analysis of Array-Accessing Programs
Sort
View
LSSC
2007
Springer
15 years 6 months ago
Optimization Based Stabilization of Nonlinear Control Systems
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
Lars Grüne
106
Voted
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
14 years 7 months ago
Distributed scheduling for air traffic throughput maximization during the terminal phase of flight
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...
Rahul Chipalkatty, Philip Twu, Amir Rahmani, Magnu...
83
Voted
AMC
2005
112views more  AMC 2005»
15 years 17 days ago
Mechanization for solving SPP by reducing order method
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of reduction of order approximation method for solving singula...
Zhenqing Li, Weiming Wang
109
Voted
BMCBI
2005
124views more  BMCBI 2005»
15 years 16 days ago
ErmineJ: Tool for functional analysis of gene expression data sets
Background: It is common for the results of a microarray study to be analyzed in the context of biologically-motivated groups of genes such as pathways or Gene Ontology categories...
Homin K. Lee, William Braynen, Kiran Keshav, Paul ...
109
Voted
BMCBI
2008
110views more  BMCBI 2008»
15 years 23 days ago
Methylation Linear Discriminant Analysis (MLDA) for identifying differentially methylated CpG islands
Background: Hypermethylation of promoter CpG islands is strongly correlated to transcriptional gene silencing and epigenetic maintenance of the silenced state. As well as its role...
Wei Dai, Jens M. Teodoridis, Janet Graham, Constan...