• CGAL

  • Referenced in 384 articles [sw00118]
  • neighbor interpolation and placement of streamlines), shape analysis, fitting, and distances (smallest enclosing sphere...
  • TVLA

  • Referenced in 34 articles [sw09878]
  • YACC”-like framework for automatically constructing static-analysis algorithms from an operational semantics, where ... successfully used to perform shape analysis on programs manipulating linked data structures (singly and doubly...
  • shapes

  • Referenced in 18 articles [sw14500]
  • package shapes: Statistical Shape Analysis. Routines for the statistical analysis of landmark shapes, including Procrustes...
  • Momocs

  • Referenced in 7 articles [sw11242]
  • package Momocs: Shape Analysis of Outlines. Momocs is intended to ease and popularize shape analysis...
  • RNAshapes

  • Referenced in 7 articles [sw07960]
  • RNAshapes: an integrated RNA analysis package based on abstract shapes. We introduce RNAshapes ... abstract shapes approach: the analysis of shape representatives, the calculation of shape probabilities...
  • W4s

  • Referenced in 8 articles [sw36454]
  • employs a combination of stereo, shape analysis and tracking to locate people and their parts...
  • Anthropometry

  • Referenced in 7 articles [sw23443]
  • Anthropometry: An R Package for Analysis of Anthropometric Data. Anthropometry: Statistical Methods for Anthropometric Data ... statistical concept of data depth, statistical shape analysis and archetypal analysis...
  • VeriSmall

  • Referenced in 6 articles [sw09788]
  • VeriSmall: verified smallfoot shape analysis. We have implemented a version of the Smallfoot shape analyzer...
  • Rssa

  • Referenced in 7 articles [sw20105]
  • extension of 2D-SSA analysis called Shaped 2D-SSA is introduced for analysis of images...
  • THOR

  • Referenced in 5 articles [sw15079]
  • that it provides not only shape analysis, but also arithmetic reasoning via a novel combination...
  • Bubble-FOS/C

  • Referenced in 8 articles [sw06814]
  • Beyond good partition shapes: an analysis of diffusive graph partitioning. ... We then regard Bubble ... experiments to produce solutions with good partition shapes and other favorable properties. In this paper...
  • Gudhi

  • Referenced in 38 articles [sw08777]
  • data analysis, where one is interested in learning topological invariants of a shape, sampled...
  • SU2

  • Referenced in 50 articles [sw19896]
  • tools for performing Partial Differential Equation (PDE) analysis and solving PDE-constrained optimization problems ... with Computational Fluid Dynamics (CFD) and aerodynamic shape optimization in mind, but is extensible...
  • PolyTop

  • Referenced in 42 articles [sw07629]
  • this framework, the finite element and sensitivity analysis routines contain no information related ... various steps taken in casting the optimal shape problem as a sizing optimization problem. This ... isolate the finite element and geometric analysis parameters and how they are related...
  • FISh

  • Referenced in 2 articles [sw12636]
  • Denotational semantic of shape: Past present and future. Past work on the semantics of vectors ... language FISh, that uses static analysis to determine array shapes. This semantics will be combined ... language that will support both shape analysis and shape polymorphism on both arrays and inductive...
  • VCFEM-HOMO

  • Referenced in 30 articles [sw35054]
  • Following the macroscopic analysis, a local VCFEM analysis is invoked to depict the true evolution ... VCFEM-HOMO, and the effect of size, shape and distribution of heterogeneities on local...
  • Jnurbs

  • Referenced in 8 articles [sw08871]
  • problems, selected from meshless structural analysis, material microstructure simulation, shape optimal design, and equilibrium shape...
  • CPAlien

  • Referenced in 2 articles [sw25255]
  • CPAlien: Shape Analyzer for CPAChecker. CPAlien is a configurable program analysis framework instance. It uses ... memory graphs (SMGs) abstract domain for shape analysis of programs manipulating the heap. In particular ... extends SMGs with a simple integer value analysis in order to handle programs with both ... COMP’14 does not contain any shape abstraction, but it is still powerful enough...
  • STAGS

  • Referenced in 10 articles [sw17042]
  • general-purpose nonlinear analysis of stiffened shell structures of arbitrary shape and complexity. Its capabilities ... material and geometric nonlinearities permitted in all analysis types. STAGS includes enhancements, such...
  • MorphoJ

  • Referenced in 2 articles [sw08244]
  • package for geometric morphometrics. Increasingly, data on shape are analysed in combination with molecular genetic ... information, so that tools for geometric morphometric analysis are required. Morphometric studies most often ... landmarks as the data source and extract shape information from them by Procrustes superimposition ... wide range of methods for shape analysis in different biological contexts. The program offers...