Sciweavers

3145 search results - page 76 / 629
» Algebraic Linear Orderings
Sort
View
119
Voted
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 7 months ago
Parametric model order reduction accelerated by subspace recycling
Abstract-- Many model order reduction methods for parameterized systems need to construct a projection matrix V which requires computing several moment matrices of the parameterize...
Lihong Feng, Peter Benner, Jan G. Korvink
TVCG
2012
191views Hardware» more  TVCG 2012»
13 years 6 months ago
Direct Isosurface Visualization of Hex-Based High-Order Geometry and Attribute Representations
—In this paper, we present a novel isosurface visualization technique that guarantees the accurate visualization of isosurfaces with complex attribute data defined on (un)structu...
Tobias Martin, Elaine Cohen, Mike Kirby
EUROPAR
1998
Springer
15 years 8 months ago
Parallel Sparse Matrix Computations Using the PINEAPL Library: A Performance Study
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...
Arnold R. Krommer
ISSAC
1995
Springer
125views Mathematics» more  ISSAC 1995»
15 years 7 months ago
Numeric-Symbolic Algorithms for Evaluating One-Dimensional Algebraic Sets
: We present e cient algorithms based on a combination of numeric and symbolic techniques for evaluating one-dimensional algebraic sets in a subset of the real domain. Given a desc...
Shankar Krishnan, Dinesh Manocha
CIE
2010
Springer
15 years 8 months ago
Higher-Order Containers
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
Thorsten Altenkirch, Paul Levy, Sam Staton