
SPARQL
 Referenced in 102 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 199 articles
[sw00751]
 survey available software and describe recent dissertations related to the quadratic assignment problem. The paper...

ARPREC
 Referenced in 49 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...

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

EdgeIdeals
 Referenced in 5 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...

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

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

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

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

NCLab
 Referenced in 1 article
[sw12880]
 cloud with NCLab. This survey paper describes NCLab (Network Computing Laboratory), a novel cloud computing...