• ALGOL 60

  • Referenced in 666 articles [sw21807]
  • ALGOL 60 was the first language implementing nested function definitions with lexical scope. It gave ... BCPL, B, Pascal and C. Niklaus Wirth based his own ALGOL W on ALGOL...
  • copula

  • Referenced in 167 articles [sw14499]
  • Goodness-of-fit tests for copulas based on multipliers, the parametric bootstrap with several transformation ... options. Merged former package ’nacopula’ for nested Archimedean copulas: Efficient sampling algorithms, various estimators, goodness...
  • Wesseling

  • Referenced in 327 articles [sw09677]
  • multigrid cycles, transfer operators, smoothing methods, and nested iteration, and defect correction. Cell centered ... Unix based computers. The methods used are fully described in the following book: An Introduction...
  • SIGMA

  • Referenced in 98 articles [sw06904]
  • handle multisums in terms of indefinite nested sums and products. The summation principles of Sigma ... solving. The underlying machinery of Sigma is based on difference field theory. The package...
  • Mjollnir

  • Referenced in 14 articles [sw38338]
  • propose a quantifier elimination scheme based on nested lazy model enumeration through SMT-solving...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • BILUM and BILUTM. All these methods are based on a block incomplete LU factorization ... ARMS is fully recursive and employs the nested dissection reordering and inner-level iterations. Assumptions...
  • Nestedsums

  • Referenced in 28 articles [sw15013]
  • functions. The algorithms are based on the Hopf algebra of nested sums. The program...
  • INLA

  • Referenced in 47 articles [sw07535]
  • complex spatial point process models using integrated nested Laplace approximation (INLA). This paper develops ... pattern data. We consider models that are based on log-Gaussian Cox processes and include ... covariates. This enables us to use integrated nested Laplace approximation and to considerably speed...
  • dynesty

  • Referenced in 9 articles [sw28387]
  • adaptively allocating samples based on posterior structure, Dynamic Nested Sampling has the benefits of Markov...
  • Globalizer

  • Referenced in 5 articles [sw27314]
  • curves, and multi-stage computing based on the nested block reduction schemes. These novelties provide...
  • Crowfoot

  • Referenced in 5 articles [sw07706]
  • Crowfoot’s assertion language, based on separation logic, features nested Hoare triples which describe ... tool based on recent developments in the mathematical foundations of Hoare logics with nested triples...
  • TOPOS

  • Referenced in 43 articles [sw02206]
  • pieces previously nested. Several criteria to choose the next piece to place and its orientation ... computationally tested. The computational experiments are based on data sets published in the literature...
  • EVPI

  • Referenced in 20 articles [sw02644]
  • EVPI-based importance sampling solution procedures for multistage stochastic linear programmes on parallel MIMD architectures ... simplex and interior-point methods and nested Benders decomposition, which decomposes the original problem into ... paper describes a parallel implementation of the nested Benders algorithm which employs a farming technique ... sequential importance sampling solution algorithm based on local expected value of perfect information (EVPI...
  • JAXNS

  • Referenced in 1 article [sw36439]
  • JAXNS: a high-performance nested sampling package based on JAX. Since its debut by John ... data science toolbox. We present JAX-based nested sampling (JAXNS), a high-performance nested sampling...
  • Henshin

  • Referenced in 14 articles [sw10085]
  • pattern-based rules on the lowest level, which can be structured into nested transformation units...
  • phylodyn

  • Referenced in 3 articles [sw19813]
  • based methods and an integrated nested Laplace approximation-based approach for phylodynamic inference that have...
  • LIFT

  • Referenced in 3 articles [sw25813]
  • LIFT: A nested decomposition algorithm for solving lower block triangular linear programs. The lower block ... solving this class of problems based on the nested decomposition algorithm ... this algorithm (LIFT) has been developed based on state-of-the-art modular linear programming...
  • Fg-index

  • Referenced in 9 articles [sw18892]
  • technique that constructs a nested inverted-index, called FG-index, based...
  • cirt

  • Referenced in 11 articles [sw08115]
  • hierarchical framework based on the fact that response times and responses are nested within individuals...
  • PyMultiNest

  • Referenced in 2 articles [sw28457]
  • sampler, http://apemost.sf.net/ ). Recently, MultiNest added Importance Nested Sampling (INS, see http://arxiv.org/abs/1306.2144) which ... sampling the parameter space is based on nested sampling and the idea of disjoint multi...