• DASSL

  • Referenced in 262 articles [sw03174]
  • DDASSL uses the backward differentiation formulas of orders one through five to solve a system ... results at additional TOUT. This is the interval mode of operation. Intermediate results can also...
  • MPFI

  • Referenced in 43 articles [sw00597]
  • employed in interval algorithms. The MPFI library has been built in order to fulfill this ... comparison with a fixed-precision interval arithmetic, on a specific problem, is presented. It shows...
  • TituRel

  • Referenced in 8 articles [sw08501]
  • extraction, social choice, decision support via interval orderings, etc. TituRel supports algebraic visualizations, proofs...
  • filib++

  • Referenced in 43 articles [sw06459]
  • interval. Second, state of the art design uses templates and traits classes in order...
  • NEURON

  • Referenced in 187 articles [sw03059]
  • equations for its subnet over an interval equal to the minimum (interprocessor) presynaptic spike generation ... potential for speed-ups of several orders of magnitude makes practical the running of large...
  • RFSFNS

  • Referenced in 12 articles [sw00803]
  • above functions in a predetermined interval within any accuracy (subject to relative machine precision ... above Bessel functions of various orders and several intervals of the argument...
  • bvpsuite

  • Referenced in 26 articles [sw08540]
  • orders, parameter dependent problems, problems with unknown parameters, problems posed on semi-infinite intervals, eigenvalue...
  • FADBAD++

  • Referenced in 58 articles [sw04863]
  • arithmetic types, such as doubles and intervals. One of the major ideas in FADBAD ... also makes it possible to generate high order derivatives by applying the AD-templates...
  • FEAST

  • Referenced in 90 articles [sw04025]
  • eigenvalues and eigenvectors within a given search interval. It is based on an innovative fast ... hand sides and one reduced eigenvalue problem orders of magnitude smaller than the original...
  • AQCS

  • Referenced in 15 articles [sw08109]
  • order predicate logic containing the following symbols: Variables ranging over the reals, floating point interval...
  • DPpackage

  • Referenced in 69 articles [sw10495]
  • requires the relaxation of parametric assumptions in order to gain modeling flexibility and robustness against ... density estimation, receiver operating characteristic curve analysis, interval-censored data, binary regression data, item response...
  • AMIGO

  • Referenced in 10 articles [sw02425]
  • interval methods for solving this class of problems by a refined use of first-order...
  • repolr

  • Referenced in 10 articles [sw07133]
  • first-order autoregressive correlation models, for data potentially recorded at irregularly spaced time intervals...
  • RGITL

  • Referenced in 5 articles [sw13917]
  • logic is based on interval temporal logic (ITL) and higher-order logic. It extends...
  • Algorithm 922

  • Referenced in 36 articles [sw12858]
  • needs special treatment. Based on a fourth-order reformulation of the transmission eigenvalue problem ... make the computation efficient, the search interval is decided using a Faber-Krahn type inequality...
  • coco_gop_ex

  • Referenced in 4 articles [sw10850]
  • COCONUT, regarding both interval function evaluations (such as first and second order derivatives with backward ... algorithmic questions (such as whether to use interval gradients or use slopes instead), that have...
  • somersd

  • Referenced in 7 articles [sw26008]
  • package somersd:Efficient Calculation of Jackknife Confidence Intervals for Rank Statistics. An algorithm is presented ... concordance-discordance totals in a time of order N log N , where ... confidence limits in the same time order for a very wide range of rank statistics ... Stata package is introduced for calculating confidence intervals for these rank statistics using this algorithm...
  • clusterSim

  • Referenced in 6 articles [sw16124]
  • GDM2, Sokal-Michener, Bray-Curtis, for symbolic interval-valued data), cluster quality indices (Calinski-Harabasz ... typical data), HINoV method, replication analysis, linear ordering methods, spectral clustering, agreement indices between ... partitions, plot functions (for categorial and symbolic interval-valued data...
  • NLambda

  • Referenced in 7 articles [sw23172]
  • language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite ... clique graph or the set of all intervals with rational endpoints. Internally, such sets...
  • d02kef

  • Referenced in 4 articles [sw30969]
  • singular second-order Sturm–Liouville system on a finite or infinite interval, using a Pruefer...