• FunArray

  • Referenced in 14 articles [sw13708]
  • array content analysis. We introduce FunArray, a parametric segmentation abstract domain functor for the fully ... scalar variables to the analysis of uniform compound data-structures such as arrays and collections...
  • ImUp

  • Referenced in 1 article [sw14752]
  • ImUp: A Maple package for uniformity-improved reparameterization of plane curves. We present a software ... piecewise rational reparameterizations of parametric plane curves, which have improved uniformities of angular speed...
  • SMM

  • Referenced in 1 article [sw22604]
  • sojourn times: Uniform, Geometric, Poisson, Discrete Weibull and Negative Binomial. The non-parametric estimation concerns...
  • Rhinoceros

  • Referenced in 18 articles [sw07518]
  • industries. Rhino specializes in free-form non-uniform rational B-spline (NURBS) modeling. Plug ... Many new avant-garde architects are using parametric modeling tools, like Grasshopper. Rhino’s increasing...
  • xc_functional

  • Referenced in 1 article [sw34850]
  • repository, the parametrization of the exchange correlation free energy of the uniform electron...
  • fmlogcondens

  • Referenced in 1 article [sw31328]
  • known parametric densities belong to that class, among them the normal density, the uniform density...
  • binsreg

  • Referenced in 1 article [sw37335]
  • implements binscatter estimation and robust (pointwise and uniform) inference of regression functions and derivatives thereof ... plots. binsregtest() implements hypothesis testing procedures for parametric functional forms of and nonparametric shape restrictions...
  • EZ-ROSE

  • Referenced in 0 articles [sw07670]
  • CorelDraw™. The statistical analysis involves tests of uniformity for the vectorial population distribution, such ... nonparametric Kuiper and Watson tests and the parametric Rayleigh test. The statistics calculated include...
  • NEEP

  • Referenced in 1 article [sw36005]
  • Estimated P-values (NEEP) is a non-parametric, high-throughput survival analysis meant for molecular ... user specified) ’genes’, which are a uniform permutation of the patient survival values from...
  • BEMLIB

  • Referenced in 108 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ANSYS

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

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

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 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 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...