
METIS
 Referenced in 309 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 58 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...

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...

Mcmt
 Referenced in 12 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...

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

FEMSTER
 Referenced in 14 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...

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

FELSOS
 Referenced in 16 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...

PZ
 Referenced in 7 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 9 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...

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...

SG
 Referenced in 25 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...

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...

S/PHI/nX
 Referenced in 2 articles
[sw13989]
 program library S/PHI/nX (sphinx, sphinxlib). In order to simplify the development and implementation process ... quantum mechanical algorithms, we developed a set of objectoriented C++C++ libraries which ... developed in this work to provide language elements to express algebraic expressions efficiently on modern...