• RCDC

  • Referenced in 1 article [sw14739]
  • qualitative spatial reasoning with cardinal direction relations between regions of the plane approximated by rectangles...
  • EoN

  • Referenced in 6 articles [sw31396]
  • Epidemics on Networks: from Exact to Approximate Models”. EoN is built on top of NetworkX ... weighted version is slower, but still reasonably fast. There are methods for generic simple contagions ... epidemics. Numerical solvers for ODE models; pair approximation models; effective degree models; edge-based compartmental...
  • CLIFF

  • Referenced in 10 articles [sw35898]
  • This clustering problem is difficult for several reasons, in particular the sparsity of the data ... clustering. Given a reference partition that approximates the correct clustering of the samples, our feature...
  • Volume

  • Referenced in 3 articles [sw22518]
  • relative error. The algorithm can compute a reasonable estimate for the volume of 100-dimensional ... within a few minutes. This software will approximate the volume of, or sample from...
  • Pajarito

  • Referenced in 4 articles [sw33900]
  • MICP problems by constructing sequential polyhedral outer-approximations of the convex feasible set, similar ... algorithm has theoretical finite-time convergence under reasonable assumptions. Pajarito accesses state...
  • Algorithm 992

  • Referenced in 3 articles [sw30516]
  • numerically stable and efficient up to a reasonable dimension number and may be useful ... academics and engineers in the fields of Approximation Theory, Computer Aided Geometric Design, Computer Graphics...
  • CTBN-RLE

  • Referenced in 6 articles [sw12961]
  • present a continuous time Bayesian network reasoning and learning engine (CTBN-RLE). A continuous time ... exact inference and Gibbs and importance sampling approximate inference for any type of evidence pattern...
  • ACCEPT

  • Referenced in 1 article [sw22894]
  • approximate computing have relied on either manual program modification, based exclusively on programmer reasoning ... describe ACCEPT, a comprehensive framework for approximation that balances automation with programmer guidance. It includes...
  • INVLAP

  • Referenced in 2 articles [sw20911]
  • offers a simple, effective and reasonably accurate way to achieve the result. It is based ... paper: J. Valsa and L. Brancik: Approximate Formulae for Numerical Inversion of Laplace Transforms ... transform F(s) may be any reasonable function of complex variable s^α, where...
  • Perracotta

  • Referenced in 7 articles [sw12087]
  • controlled conditions. In this paper, we identify reasons why scaling dynamic inference techniques has proven ... available in industrial scenarios. We describe our approximate inference algorithm, present and evaluate heuristics...
  • AlgoPy

  • Referenced in 10 articles [sw16107]
  • compute derivatives of arbitrary order and Taylor approximations of such programs. The approach is based ... implemented in AlgoPy. We discuss the reasons for this alternative approach and explain the underlying...
  • ConfJump

  • Referenced in 1 article [sw36026]
  • want to approximate the molecule’s Boltzmann distribution in a reasonable time. This...
  • WSReasoner

  • Referenced in 1 article [sw22932]
  • reasoners to provide efficient classification service. In our proposed approach, we approximate the target ontology ... classified by a consequence-based main reasoner. Classification of Owk produces a subset of subsumptions...
  • cplint

  • Referenced in 4 articles [sw22924]
  • have extended cplint to perform causal reasoning. In particular, we consider Pearl’s do calculus ... also executed experiments comparing exact and approximate inference with conditional and causal queries, showing that...
  • NLCertify

  • Referenced in 4 articles [sw08786]
  • tool exploits sparse semialgebraic optimization techniques with approximation methods for transcendental functions, as well ... challenge of the field of formal nonlinear reasoning is to develop adaptive techniques to produce ... basic operations. NLCertify approximates t with means of semialgebraic estimators and provides lower and upper...
  • qTorch

  • Referenced in 5 articles [sw27767]
  • /QAOA with graphs of regularities approximately five and below. Insight into this point of equal ... only when the time to calculate a reasonable tree decomposition is prohibitively expensive. Finally...
  • ManiSolve

  • Referenced in 1 article [sw34623]
  • reasonable bound constraints on all variables. We propose an algorithm for finding good approximations...
  • MEMSALab

  • Referenced in 1 article [sw08622]
  • approximate it by another partial differential equation which can be numerically simulated in a reasonable...
  • DVRlib

  • Referenced in 1 article [sw34979]
  • elements are essential to ensure accurate numerical approximations, to improve the condi- tioning of systems ... equations to be resolved, and to choose reasonable step sizes in time integration schemes. DVRlib...
  • Moldy

  • Referenced in 5 articles [sw01311]
  • data” parallelization strategy is used to achieve reasonable performance with a minimal difference between serial ... ions are treated in the rigid-molecule approximation and their rotational motion is modeled using...