Sciweavers

3128 search results - page 75 / 626
» Finite element method
Sort
View
JSCIC
2002
34views more  JSCIC 2002»
15 years 2 months ago
Spectral Element Methods for Transitional Flows in Complex Geometries
Paul F. Fischer, Gerald W. Kruse, Francis Loth
AML
2008
85views more  AML 2008»
15 years 3 months ago
A hierarchy of hereditarily finite sets
This article defines a hierarchy on the hereditarily finite sets which reflects the way sets are built up from the empty set by repeated adjunction, the addition to an already exis...
Laurence Kirby
CAP
2010
14 years 10 months ago
Parallel computation of the minimal elements of a poset
Computing the minimal elements of a partially ordered finite set (poset) is a fundamental problem in combinatorics with numerous applications such as polynomial expression optimiz...
Charles E. Leiserson, Marc Moreno Maza, Liyun Li, ...
ISSTA
1996
ACM
15 years 7 months ago
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
Daniel Jackson, Craig Damon