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

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

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

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

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

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

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

EdgeIdeals
 Referenced in 6 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 6 articles
[sw13750]
 background can be found in the survey paper ”How to prune a horseshoe...

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

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

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

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

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

PFAST
 Referenced in 2 articles
[sw01457]
 facility to design a new layout. This paper introduces the Production Flow Analysis and Simplification ... facility planner. In this survey paper, eleven algorithms that comprise the current version of this...

MIRPLib
 Referenced in 10 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...

DICTRA
 Referenced in 4 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...

PDDE
 Referenced in 4 articles
[sw07608]
 software package PDDE The paper gives a survey of the author’s results...

ALTRAN
 Referenced in 31 articles
[sw01203]
 Altran system for rational function manipulation — a survey. Altran is a complete system for symbolic ... variety of computing machines. In this paper a brief description of the language, run time...

NetNUMPAC
 Referenced in 6 articles
[sw19081]
 purpose of this paper is to present a survey on Yor’s formula...