-
SPARQL
- Referenced in 140 articles
[sw07429]
- features for querying RDF.par In this paper, we survey two key features of SPARQL...
-
QAPLIB
- Referenced in 236 articles
[sw00751]
- survey available software and describe recent dissertations related to the quadratic assignment problem. The paper...
-
SIMATH
- Referenced in 31 articles
[sw00861]
- system for number theoretic applications. This paper surveys the functionalities of the computer algebra system...
-
ARPREC
- Referenced in 56 articles
[sw07222]
- only very minor changes. This paper includes a survey of some of the interesting applications...
-
FOC
- Referenced in 17 articles
[sw07537]
- methods for fractional-order controllers This survey paper presents methods of tuning and implementation...
-
GGPLAB
- Referenced in 16 articles
[sw04344]
- intended to complement the survey paper A Tutorial on Geometric Programming, and the book Convex...
-
GRAPH
- Referenced in 25 articles
[sw19079]
- disprove conjectures. The present article surveys 92 papers, mostly in spectral graph theory, which results...
-
NetKAT
- Referenced in 23 articles
[sw16269]
- verification of networks. This paper presents a survey of recent work in the development...
-
Prune
- Referenced in 10 articles
[sw13750]
- background can be found in the survey paper ”How to prune a horseshoe...
-
CoolProp
- Referenced in 16 articles
[sw27300]
- pseudo-pure fluids. In this paper, a survey of all the state...
-
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...
-
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...
-
MIRPLib
- Referenced in 19 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...
-
Geo-sal
- 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 diffusion-controlled transformations (DICTRA) software ... models, which are discussed in the present paper. Each model has its own applications...
-
ORCA
- Referenced in 11 articles
[sw26304]
- performance metrics from the paper ”Ordinal regression methods: survey and experimental study” published in IEEE...
-
infinite group relaxation
- Referenced in 24 articles
[sw14600]
- Foundations and taxonomy. This is a survey on the infinite group problem, an infinite-dimensional ... 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...