Sciweavers

3128 search results - page 185 / 626
» Finite element method
Sort
View
PC
2000
128views Management» more  PC 2000»
15 years 3 months ago
Shape-optimized mesh partitioning and load balancing for parallel adaptive FEM
We present a dynamic distributed load balancing algorithm for parallel, adaptive Finite Element simulations in which we use preconditioned Conjugate Gradient solvers based on doma...
Ralf Diekmann, Robert Preis, Frank Schlimbach, Chr...
TCS
2002
15 years 3 months ago
Monadic second-order logic on tree-like structures
An operation M which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata r...
Igor Walukiewicz
CDC
2010
IEEE
216views Control Systems» more  CDC 2010»
14 years 10 months ago
On infinity norms as Lyapunov functions: Alternative necessary and sufficient conditions
This paper considers the synthesis of infinity norm Lyapunov functions for discrete-time linear systems. A proper conic partition of the state-space is employed to construct a fini...
Mircea Lazar
SIAMNUM
2010
85views more  SIAMNUM 2010»
14 years 10 months ago
Geometrically Consistent Mesh Modification
A new paradigm of adaptivity is to execute refinement, coarsening, and smoothing of meshes on manifolds with incomplete information about their geometry and yet preserve position a...
A. Bonito, R. H. Nochetto, M. S. Pauletti
PODS
2007
ACM
171views Database» more  PODS 2007»
16 years 3 months ago
Monadic datalog over finite structures with bounded treewidth
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...
Georg Gottlob, Reinhard Pichler, Fang Wei