• nuSpectral

  • Referenced in 5 articles [sw26228]
  • show the equivalence to the discrete Fourier transform applied onto uniformly sampled data...
  • DVHmetrics

  • Referenced in 0 articles [sw16149]
  • metrics as well as generalized equivalent uniform dose (gEUD), biologically effective dose (BED), equivalent dose...
  • Kaleido

  • Referenced in 8 articles [sw05940]
  • Uniform solution for uniform polyhedra. A uniform polyhedron in 3-dimensional space has faces which ... convex), and finitely many vertices which are equivalent under its symmetry group ... provided a complete enumeration of the uniform polyhedra, together with a limited amount of metrical...
  • ToyElim

  • Referenced in 3 articles [sw09900]
  • equivalent formula without these operators. Tasks like elimination of Boolean quantifiers, computation of uniform interpolants...
  • Regex_Equivalence

  • Referenced in 7 articles [sw32229]
  • verified decision procedures for regular expression equivalence. Five recently published formalizations of such decision procedures ... different, and one seems to produce uniformly smaller automata. The common framework makes it possible...
  • PySRURGS

  • Referenced in 2 articles [sw32436]
  • package does this task by randomly, with uniform probability of selection, guessing candidate solutions ... Theorem argues that random search should be equivalent to other approaches like Genetic Programming when...
  • PlayGame

  • Referenced in 2 articles [sw01409]
  • evidence that is an abstract and uniform encoding of the proof computed by a checker ... including: bisimulation /simulation, weak bisimulation /simulation, trace equivalence /preorder, and testing equivalence /preorder. Blow...
  • designv2

  • Referenced in 3 articles [sw27807]
  • also evaluates these designs using General Equivalence Theorem results. A related article ... used for the Bayesian optimal designs includes uniform, trivariate normal and a bivariate normal with...
  • RiemannMapper

  • Referenced in 3 articles [sw23087]
  • such that the mapping preserves angles, or equivalently, the mapping maps infinitesimal circles ... small circles are well preserved. According to uniformization theorem, all surfaces in real life...
  • FastMMD

  • Referenced in 3 articles [sw31729]
  • core idea of FastMMD is to equivalently transform the MMD with shift-invariant kernels into ... Fastfood technique (Le, Sarlós, & Smola, 2013). The uniform convergence of our method has also been...
  • binsmooth

  • Referenced in 0 articles [sw16391]
  • widths need not be uniform, and the top bin may be unbounded. All PDF smoothing ... areas specified by the binned data. (Equivalently, all CDF smoothing methods interpolate the points specified...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CASA

  • Referenced in 105 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Gmsh

  • Referenced in 720 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • GNT

  • Referenced in 22 articles [sw00367]
  • GnT is an experimental implementation of the stable...