• SARAH

  • Referenced in 58 articles [sw06472]
  • theory can be chosen. CP and flavor violation can easily be switched...
  • espoisson

  • Referenced in 1 article [sw37361]
  • endogenous switching model corrects this problem. After describing the underlying econometric theory behind the command...
  • NEST

  • Referenced in 2 articles [sw14950]
  • uses unique concepts such as Differential Traffic Theory and Distributed Hybrid Simulation, which is patented ... modeling packet switched, circuit switched and virtual circuit switched networks. QoS Design has also developed...
  • qFunctions

  • Referenced in 5 articles [sw30803]
  • Mathematica package for q-series and partition theory applications. This package includes both experimental ... shift equations and recurrences, such as switching between these forms, finding the greatest common divisor...
  • QNSTOP

  • Referenced in 4 articles [sw26832]
  • Castle and Trosset. For stochastic problems, convergence theory exists for the particular algorithmic choices ... deterministic global optimization, based on an input switch. QNSTOP is particularly effective for “noisy” deterministic...
  • Game_Based_Crypto

  • Referenced in 1 article [sw38015]
  • attacks. We prove the random-permutation/random-function switching lemma, security of the Elgamal and hashed ... simple hops are easily justified using the theory of representation independence...
  • BEMLIB

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

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

  • Referenced in 357 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • cdd

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

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

  • Referenced in 21 articles [sw00275]
  • FEMSTER is a modular finite element class library...
  • FIAT

  • Referenced in 41 articles [sw00287]
  • Algorithm 839: FIAT, a new paradigm for computing...
  • FLAME

  • Referenced in 39 articles [sw00293]
  • We present a number of application program interfaces...
  • GAP

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

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

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

  • Referenced in 57 articles [sw00384]
  • GreatSPN2.0 is a software package for the modeling...