
SPARQL
 Referenced in 123 articles
[sw07429]
 features for querying RDF.par In this paper, we survey two key features of SPARQL...

SIMATH
 Referenced in 31 articles
[sw00861]
 system for number theoretic applications. This paper surveys the functionalities of the computer algebra system...

QAPLIB
 Referenced in 216 articles
[sw00751]
 survey available software and describe recent dissertations related to the quadratic assignment problem. The paper...

ARPREC
 Referenced in 56 articles
[sw07222]
 only very minor changes. This paper includes a survey of some of the interesting applications...

FOC
 Referenced in 16 articles
[sw07537]
 methods for fractionalorder controllers This survey paper presents methods of tuning and implementation...

GGPLAB
 Referenced in 15 articles
[sw04344]
 intended to complement the survey paper A Tutorial on Geometric Programming, and the book Convex...

GRAPH
 Referenced in 23 articles
[sw19079]
 disprove conjectures. The present article surveys 92 papers, mostly in spectral graph theory, which results...

NetKAT
 Referenced in 18 articles
[sw16269]
 verification of networks. This paper presents a survey of recent work in the development...

EdgeIdeals
 Referenced in 8 articles
[sw06521]
 Algebras by R. Villarreal and the survey paper of T. Ha and A. Van Tuyl ... free monomial ideals via facet ideals: a survey,” Contemporary Mathematics...

Prune
 Referenced in 8 articles
[sw13750]
 background can be found in the survey paper ”How to prune a horseshoe...

CoolProp
 Referenced in 10 articles
[sw27300]
 pseudopure fluids. In this paper, a survey of all the state...

FIDISOL
 Referenced in 12 articles
[sw00288]
 order finite difference method. This paper is a survey of the project at the University ... details the reader is referred to a paper by the authors and {\itH. Muller...

HotFrame
 Referenced in 7 articles
[sw13457]
 heuristic optimization framework. n this paper we survey the design and application of HotFrame...

Geosal
 Referenced in 4 articles
[sw28465]
 statistical database system, Cantor [Kara86]. This paper surveys the design objectives, operators and grammatical structures...

DICTRA
 Referenced in 9 articles
[sw27312]
 alloys. In the present paper, a general survey of the diffusioncontrolled transformations (DICTRA) software ... models, which are discussed in the present paper. Each model has its own applications...

MIRPLib
 Referenced in 16 articles
[sw11220]
 routing problem instances: survey, core model, and benchmark results. This paper presents a detailed description ... planning horizon. After providing a comprehensive literature survey of this class, we introduce a core...

ORCA
 Referenced in 8 articles
[sw26304]
 performance metrics from the paper ”Ordinal regression methods: survey and experimental study” published in IEEE...

infinite group relaxation
 Referenced in 22 articles
[sw14600]
 Foundations and taxonomy. This is a survey on the infinite group problem, an infinitedimensional ... Gomory and Ellis Johnson in their groundbreaking papers titled {it Some continuous functions related ... 1972a, b). The survey presents the infinite group problem in the modern context...

BACK
 Referenced in 2 articles
[sw11408]
 dynamical adaptive backstepping control. In this survey paper the authors consider a number of adaptive...

SPIRIT
 Referenced in 7 articles
[sw26763]
 from a given stimulus. This paper is a brief survey of theoretical concepts...