Results 1 to 20 of 376
Sort by:

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

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

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