
METIS
 Referenced in 352 articles
[sw04089]
 set of serial programs for partitioning graphs, partitioning finite element meshes, and producing fill reducing ... orderings for sparse matrices. The algorithms implemented in METIS are based on the multilevel recursive...

ILUM
 Referenced in 59 articles
[sw07244]
 based on independent set orderings and multicoloring. We note that in order to improve robustness ... matrices such as those arising from finite element methods on unstructured meshes...

Mcmt
 Referenced in 14 articles
[sw11911]
 indexes and the elements of the arrays. Sets of states and transitions of a system ... described by quantified firstorder formulae. The core of the system is a backward reachability...

EasyMesh
 Referenced in 7 articles
[sw13276]
 nodes, elements and sides in order to decrease the bandwidth of discretized set of equations ... function for relaxation of grid, in order to avoid the creation of nodes surrounded with ... more than 7 and less than 5 elements. The result of this technique, combined with...

FEMSTER
 Referenced in 15 articles
[sw00275]
 forms) and can be used for highorder spatial discretizations of wellknown ... curl})$conforming finite element methods. The software consists of a set of abstract interfaces...

OBOE
 Referenced in 6 articles
[sw04713]
 first order information on the key elements of the problem (support the feasible set, support...

FELSOS
 Referenced in 19 articles
[sw18095]
 finite difference levelset realizations. In particular, the use of finite elements permits to localize ... also allows to maintain the secondorder accuracy of the interface normal, curvature and mass...

Charles
 Referenced in 1 article
[sw00121]
 specified positions. Associative containers (sets and maps) order elements according to a key associated with...

PZ
 Referenced in 8 articles
[sw09006]
 Tmatrix) and a set of classes for the implementation of finite element algorithms ... dimensional finite elements with arbitrary orders of interpolation and applicable to a variety of systems...

TeMP
 Referenced in 11 articles
[sw09989]
 each element n of ℕ, representing a moment in time, a firstorder structure ... set of valid formulae of this logic is not recursively enumerable. However...

Footprinter
 Referenced in 6 articles
[sw09003]
 discovery of regulatory elements in a set of homologous regulatory regions, usually collected from multiple ... phylogenetic relationships among the homologous sequences in order to make more accurate predictions. The software...

GRINS
 Referenced in 3 articles
[sw21301]
 Multiphysics Framework Based on the libMesh Finite Element Library. FEMPAR is an open source object ... flexible, and extensible library, that provides a set of modules that can be combined ... rich set of algorithms for the discretization step, namely (arbitraryorder) grad, div, and curl ... conforming finite element methods, discontinuous Galerkin methods, Bsplines, and unfitted finite element techniques...

SG
 Referenced in 28 articles
[sw20599]
 manipulation tool for use with the finite element research codes MC and PLTMG. SG provides ... uses a baricenterbased fronttoback ordering for the Painter’s algorithm, which often ... using the SGI ”GLw” widget set on X11 platforms. The graphics in SG is done...

Alya
 Referenced in 5 articles
[sw08539]
 discretization is based on unstructured linear finite elements, tetrahedras and prisms. A Variational Multiscale Stabilization ... convection dominated flows and allow for equal order velocitypressure interpolations. A fixed grid method ... position of the interface with the Level Set technique is used to simulate ... motivated the use of anisotropically refined prism elements close the hull. Such meshes have challenged...

RepFinder
 Referenced in 6 articles
[sw14452]
 algorithm only considers the shape of the elements, and ignores similarity based on color, texture ... topological sorting to establish a partial depth ordering of overlapping repeated instances. Missing parts ... versatility of our framework on a large set of inputs of varying complexity, showing applications...

XPathLog
 Referenced in 7 articles
[sw15782]
 variable bindings and embeds it into firstorder logic. XPathLog is then the Horn fragment ... programming language, whereas also an equivalent answerset semantics for evaluating XPathLog queries is given ... XPath filters are interpreted as specifications of elements and properties which should be added...

FEMPAR
 Referenced in 1 article
[sw21297]
 FEMPAR: An objectoriented parallel finite element framework. FEMPAR is an open source object oriented ... flexible, and extensible library, that provides a set of modules that can be combined ... rich set of algorithms for the discretization step, namely (arbitraryorder) grad, div, and curl ... conforming finite element methods, discontinuous Galerkin methods, Bsplines, and unfitted finite element techniques...

TUBA3
 Referenced in 3 articles
[sw06145]
 underlying partial differential equation is of fourth order, such as beam and plate bending ... dependent materials. Although a few $C^{1}$ elements have been presented in the literature, their ... rational design to a predetermined set of desirable element properties. Therefore, a general procedure...

SEMIFEM
 Referenced in 2 articles
[sw19570]
 combination of the reliability method and finite element method, is utilized to determine the reliability ... order reliability method (FORM) is the one favored in the present reliability analysis. Two sets...

MGTP
 Referenced in 5 articles
[sw09701]
 generation based theorem prover MGTP for firstorder logic. This paper describes the major results ... parallel inference machine PIM with 256 processing elements. With MGTP, we succeeded in proving difficult ... interval constraint propagation, respectively, nonHorn magic set to suppress the generation of useless model...