• 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 first-order 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 high-order spatial discretizations of well-known ... 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 level-set realizations. In particular, the use of finite elements permits to localize ... also allows to maintain the second-order 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 first-order 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 (arbitrary-order) grad, div, and curl ... conforming finite element methods, discontinuous Galerkin methods, B-splines, 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 velocity-pressure 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 baricenter-based front-to-back 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 first-order logic. XPathLog is then the Horn fragment ... programming language, whereas also an equivalent answer-set 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 object-oriented 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 (arbitrary-order) grad, div, and curl ... conforming finite element methods, discontinuous Galerkin methods, B-splines, 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 object-oriented C++C++ libraries which ... developed in this work to provide language elements to express algebraic expressions efficiently on modern...