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

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

DENFIS
 Referenced in 48 articles
[sw24183]
 features, new classes, etc., through local element tuning. New fuzzy rules are created and updated ... rule set. Two approaches are proposed: (1) dynamic creation of a firstorder TakagiSugeno...

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

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

GRINS
 Referenced in 4 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...

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

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

ArbiLoMod
 Referenced in 4 articles
[sw21410]
 structure slightly and resimulate. Standard finite element based simulation software is usually not well suited ... each iteration, even for tiny changes. In settings with complex local microstructure, where a fine ... reduced basis method for model order reduction. It assumes that the reduced basis on many...