
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 3dimensional 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 shiftinvariant 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 specialpurpose 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...