• TRIOPT

  • Referenced in 6 articles [sw02486]
  • Hence, revised entropies change the direction of the search to new areas. The latter ... scheme leads to a dynamic parallel search policy which is based on an entropy...
  • SeqGAN

  • Referenced in 9 articles [sw26534]
  • generator differentiation problem by directly performing gradient policy update. The RL reward signal comes from ... intermediate state-action steps using Monte Carlo search. Extensive experiments on synthetic data and real...
  • BARON

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

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

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

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

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • DEA

  • Referenced in 245 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Maple

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 257 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

  • Referenced in 13100 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • R

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

  • Referenced in 413 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • GLIM

  • Referenced in 190 articles [sw01126]
  • GLIM - a system for interactive fitting of generalized...
  • PRISM

  • Referenced in 434 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...