Sciweavers

396 search results - page 22 / 80
» Argument Controlled Profiling
Sort
View
AUTOMATICA
2005
87views more  AUTOMATICA 2005»
13 years 7 months ago
Plasma vertical stabilization with actuation constraints in the DIII-D tokamak
In the advanced tokamak (AT) operating mode of the DIII-D tokamak, an integrated multivariable controller takes into account highly coupled influences of plasma equilibrium shape,...
Eugenio Schuster, M. L. Walker, D. A. Humphreys, M...
ISER
2000
Springer
109views Robotics» more  ISER 2000»
13 years 11 months ago
Advancing Active Vision Systems by Improved Design and Control
Abstract: This paper presents the mechanical hardware and control software of a novel high-performance active vision system. It is the latest in an ongoing research effort to devel...
Orson Sutherland, Harley Truong, Sebastien Rougeau...
FROCOS
2007
Springer
14 years 1 months ago
Proving Termination Using Recursive Path Orders and SAT Solving
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
Peter Schneider-Kamp, René Thiemann, Elena ...
ECOOP
1998
Springer
14 years 10 hour ago
Predicate Dispatching: A Unified Theory of Dispatch
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
Michael D. Ernst, Craig S. Kaplan, Craig Chambers
NAR
2008
113views more  NAR 2008»
13 years 7 months ago
miRNAMap 2.0: genomic maps of microRNAs in metazoan genomes
MicroRNAs (miRNAs) are small non-coding RNA molecules that can negatively regulate gene expression and thus control numerous cellular mechanisms. This work develops a resource, mi...
Sheng-Da Hsu, Chia-Huei Chu, Ann-Ping Tsou, Shu-Je...