
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; edgebased 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 100dimensional ... 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 outerapproximations of the convex feasible set, similar ... algorithm has theoretical finitetime 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...

CTBNRLE
 Referenced in 6 articles
[sw12961]
 present a continuous time Bayesian network reasoning and learning engine (CTBNRLE). 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 consequencebased 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 rigidmolecule approximation and their rotational motion is modeled using...