• SemiPar

  • Referenced in 761 articles [sw07116]
  • suitable for several audiences. One audience consists of students or working scientists with only ... Another audience that they are aiming at consists of statistically oriented scientists who have ... third possible audience. This book consists of 19 chapters and 3 appendixes...
  • VRP

  • Referenced in 1128 articles [sw05207]
  • more than 40 years ago, this problem consists in designing the optimal set of routes...
  • Scikit

  • Referenced in 640 articles [sw08058]
  • ease of use, performance, documentation, and API consistency. It has minimal dependencies and is distributed...
  • SIFT

  • Referenced in 635 articles [sw16554]
  • performing verification through least-squares solution for consistent pose parameters. This approach to recognition...
  • TETRAD

  • Referenced in 441 articles [sw12177]
  • search procedures are ”pointwise consistent”--they are guaranteed to converge almost certainly to correct information...
  • ggplot2

  • Referenced in 381 articles [sw04557]
  • sophisticated multidimensional conditioning system and a consistent interface to map data to aesthetic attributes...
  • Boids

  • Referenced in 356 articles [sw38863]
  • flocking creatures boids. The basic flocking model consists of three simple steering behaviors which describe...
  • Mfree2D

  • Referenced in 324 articles [sw15725]
  • loadings with heat transfer process. The software consists of three major processors : MFreePre, MFreeApp...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • resp. FORTRAN 90. par The book consists of seven chapters and a bibliography...
  • KEGG

  • Referenced in 281 articles [sw13866]
  • computer representation of the biological system, consisting of molecular building blocks of genes and proteins...
  • VAMPIRE

  • Referenced in 267 articles [sw02918]
  • prover for first-order classical logic. It consists of a shell and a kernel...
  • plfit

  • Referenced in 267 articles [sw23186]
  • cases we find these conjectures to be consistent with the data, while in others...
  • DASSL

  • Referenced in 263 articles [sw03174]
  • given as input. These values must be consistent, (that is, if T,Y,YPRIME...
  • SUNDIALS

  • Referenced in 246 articles [sw00927]
  • parallelism. Thus, using a solver in parallel consists of using a parallel vector implementation, either...
  • BVPh

  • Referenced in 217 articles [sw06575]
  • convergence of a solution. This book consists of three parts. Part I provides its basic...
  • E Theorem Prover

  • Referenced in 207 articles [sw10187]
  • equality. It accepts a problem specification, typically consisting of a number of first-order clauses...
  • ODEPACK

  • Referenced in 206 articles [sw08341]
  • problem for ordinary differential equation systems. It consists of nine solvers, namely a basic solver...
  • DOLFIN

  • Referenced in 205 articles [sw04313]
  • element assembly. To provide a simple and consistent user interface, DOLFIN wraps the functionality...
  • Isar

  • Referenced in 145 articles [sw04599]
  • Isar formal proof document language. Isabelle/Isar input consists either of proper document constructors, or improper ... commands (for diagnostics, exploration etc.). Proof texts consisting of proper document constructors only admit...