
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 stateaction 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...

CXSC 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 highlevel language and interactive...

NetworkX
 Referenced in 141 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

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...

IsaPlanner
 Referenced in 30 articles
[sw02047]
 IsaPlanner is a generic framework for proof planning...