Sciweavers

44 search results - page 6 / 9
» Basis Reduction, and the Complexity of Branch-and-Bound
Sort
View
WSC
2007
14 years 11 months ago
A discrete event model of clinical trial enrollment at Eli Lilly and company
Clinical trials constitute large, complex, and resource intensive activities for pharmaceutical companies. Accurate prediction of patient enrollment would represent a major step f...
Bernard M. McGarvey, Nancy J. Dynes, Burch C. Lin,...
JELIA
2004
Springer
15 years 2 months ago
tascpl: TAS Solver for Classical Propositional Logic
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
Manuel Ojeda-Aciego, Agustín Valverde
CGO
2003
IEEE
15 years 2 months ago
Adaptive Online Context-Sensitive Inlining
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
Kim M. Hazelwood, David Grove
FOCM
2008
100views more  FOCM 2008»
14 years 9 months ago
Meshfree Thinning of 3D Point Clouds
An efficient data reduction scheme for the simplification of a surface given by a large set X of 3D point-samples is proposed. The data reduction relies on a recursive point remov...
Nira Dyn, Armin Iske, Holger Wendland
COMPUTING
2006
130views more  COMPUTING 2006»
14 years 9 months ago
Factorized Solution of Lyapunov Equations Based on Hierarchical Matrix Arithmetic
We investigate the numerical solution of large-scale Lyapunov equations with the sign function method. Replacing the usual matrix inversion, addition, and multiplication by format...
Ulrike Baur, Peter Benner