-
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 fractional-order 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]
- pseudo-pure 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 diffusion-controlled 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...