• NESTA

  • Referenced in 133 articles [sw06576]
  • Accurate signal recovery or image reconstruction from indirect and possibly undersampled data is a topic ... norm of $W_x$ under constraints, in which $W$ is not diagonal. The code...
  • HEPfit

  • Referenced in 4 articles [sw24717]
  • Code for the Combination of Indirect and Direct Constraints on High Energy Physics Models...
  • D-NURBS

  • Referenced in 17 articles [sw09123]
  • required specifications not only in the traditional indirect fashion, by adjusting control points and setting ... simulated forces and local and global shape constraints. We use Lagrangian mechanics to formulate...
  • NetQuest

  • Referenced in 5 articles [sw13969]
  • network path properties subject to given resource constraints. We then apply network inference techniques ... properties of interest based on the partial, indirect observations we get through these measurements...
  • NET-SYNTHESIS

  • Referenced in 3 articles [sw29379]
  • application lies in representing observed indirect causal relationships as network paths, introducing pseudo-vertices ... initially synthesized graph subject to the constraints that no edges corresponding to direct interactions...
  • Hazma

  • Referenced in 1 article [sw36336]
  • Hazma: A Python Toolkit for Studying Indirect Detection of Sub-GeV Dark Matter. With several ... reliably computing these spectra, determining the resulting constraints from existing gamma-ray data, and prospects...
  • DarkBit

  • Referenced in 1 article [sw20535]
  • models with both particle and astrophysics constraints, and a consistent treatment of systematic uncertainties ... application of DarkBit’s advanced direct and indirect detection routines to a simple effective dark...
  • mAL

  • Referenced in 1 article [sw26683]
  • agent domains in the presence of state constraints: the action language mAL. Reasoning about actions ... reason about both the direct and indirect effects of both ontic and epistemic actions within...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • COOPT

  • Referenced in 5 articles [sw00158]
  • The paper is devoted to promoting and describing...
  • Coq

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

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

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • Superiso

  • Referenced in 20 articles [sw00929]
  • Superiso: a program for calculating the isospin asymmetry...
  • AUTO

  • Referenced in 943 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • SOFTSUSY

  • Referenced in 80 articles [sw01415]
  • SOFTSUSY: a program for calculating supersymmetric spectra. SOFTSUSY...