• Algorithm 792

  • Referenced in 36 articles [sw04774]
  • methods that are not included in this survey). Our test suite consists of five sets...
  • GRAPH

  • Referenced in 25 articles [sw19079]
  • expert system “Graph” -- an extended survey. GRAPH is an interactive package, developed as an expert ... verify or disprove conjectures. The present article surveys 92 papers, mostly in spectral graph theory...
  • ALTRAN

  • Referenced in 34 articles [sw01203]
  • Altran system for rational function manipulation - a survey. Altran is a complete system for symbolic...
  • sampling

  • Referenced in 33 articles [sw08016]
  • package sampling: Survey Sampling. Functions for drawing and calibrating samples...
  • SIMATH

  • Referenced in 31 articles [sw00861]
  • system for number theoretic applications. This paper surveys the functionalities of the computer algebra system...
  • IVEware

  • Referenced in 19 articles [sw07448]
  • Imputation in the survey on living conditions. The Spanish “European Statistics on Income and Living ... harmonised to EU standards. In this household survey there are two kinds of non-response ... questionnaire of the current or previous surveys. The procedure applied to the data preserves...
  • PrefLib

  • Referenced in 30 articles [sw07689]
  • constructing such a repository, provide a survey of the initial release of the library...
  • JPAX

  • Referenced in 30 articles [sw09906]
  • potentially furthermore be applied during operation to survey safety critical systems...
  • NetKit

  • Referenced in 27 articles [sw22730]
  • which the class is known. After surveying prior work, we present NetKit, a modular toolkit...
  • MIRPLib

  • Referenced in 19 articles [sw11220]
  • library of maritime inventory routing problem instances: survey, core model, and benchmark results. This paper ... planning horizon. After providing a comprehensive literature survey of this class, we introduce a core...
  • EvaluateMultiSums

  • Referenced in 25 articles [sw11639]
  • multiple sums in difference fields. In this survey article, we present difference field algorithms...
  • faraway

  • Referenced in 24 articles [sw04357]
  • footsteps, Extending the Linear Model with R surveys the techniques that grow from the regression...
  • StatMatch

  • Referenced in 23 articles [sw11933]
  • when dealing with data from complex sample surveys are available...
  • NetKAT

  • Referenced in 23 articles [sw16269]
  • verification of networks. This paper presents a survey of recent work in the development...
  • QMC4PDE

  • Referenced in 23 articles [sw33945]
  • elliptic PDEs with random diffusion coefficients – a survey of analysis and implementation”, Foundations of Computational...
  • TELOS

  • Referenced in 21 articles [sw00954]
  • analysing customer satisfaction. The software uses survey data on customer satisfaction judgements while the analysis...
  • SUDAAN

  • Referenced in 19 articles [sw06995]
  • proper analysis of data from surveys and experimental studies, since SUDAAN procedures properly account...
  • TABLEAUX

  • Referenced in 18 articles [sw11674]
  • usual temporal, epistemic or dynamic logics. We survey the modal languages covered by TABLEAUX, which...
  • FOC

  • Referenced in 17 articles [sw07537]
  • implementation methods for fractional-order controllers This survey paper presents methods of tuning and implementation...