Results 1 to 20 of 335
Sort by:

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