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