
Venture
 Referenced in 10 articles
[sw14670]
 supports custom control flow, higherorder probabilistic procedures, partially exchangeable sequences and “likelihoodfree” stochastic...

pacotest
 Referenced in 4 articles
[sw18927]
 whether a conditional copula coincides with its partial copula. Functions to test whether a regular ... order partial copula are available. The ECORR test comes with a decision tree approach...

Milnor Tyurina
 Referenced in 4 articles
[sw27256]
 MAPLE implementation of local monomial ordering. As an application, the last section is devoted ... inclusions of algebraic subsets, the partial ordering on classes of simple singularities induced...

Cunf
 Referenced in 4 articles
[sw09238]
 behaviour of a net by a partial order, effectively coping with the stateexplosion problem...

TimeSquare
 Referenced in 4 articles
[sw15830]
 calculus engine able to process a partial order conforming to the set of constraints...

FLGrCCA
 Referenced in 4 articles
[sw00296]
 this, this work proposes a partial order relation and lattice computing, respectively, for dealing with...

TPS
 Referenced in 73 articles
[sw00973]
 automated theoremprover for firstorder logic and type theory. The latter ... theorem proving include hardware and software verification, partial automation of various mathematical activities, promoting development ... prove theorems of first and higherorder logic interactively, automatically, or in a mixture...

ExaDune
 Referenced in 13 articles
[sw32962]
 software for the scalable solution of partial differential equations (PDEs) on future exascale systems exhibiting ... heterogeneous massively parallel architecture. In order to cope with the increased probability of hardware failures ... factorisation for highorder discontinuous Galerkin discretisations as well as partially matrixfree preconditioners...

RepFinder
 Referenced in 6 articles
[sw14452]
 topological sorting to establish a partial depth ordering of overlapping repeated instances. Missing parts...

MNP
 Referenced in 8 articles
[sw10537]
 each individual, and complete or partial individual choice orderings of the available alternatives from...

Posets
 Referenced in 2 articles
[sw14777]
 Partially ordered sets in Macaulay2. We introduce the package Posets for Macaulay2. This package provides ... necessary methods for working with partially ordered sets, also called posets. In particular, the package...

Kuai
 Referenced in 2 articles
[sw34182]
 machines. Kuai uses a set of partial order reduction techniques specific to the SDN domain ... show that our set of partial order reduction techniques significantly reduces the state spaces...

twheuristic
 Referenced in 3 articles
[sw34759]
 graphs are heuristics that compute an elimination order, i.e., a permutation of the vertex ... heuristic has already computed a partial elimination order of width at most (k), but extending ... last (c) positions of the partial elimination order such that it can be extended without...

LIMbook
 Referenced in 59 articles
[sw14520]
 address the implementation of HBVMs in order to recover in the numerical solution what ... handle the numerical solution of Hamiltonian partial differential equations (PDEs) and explores extensions...

rPref
 Referenced in 3 articles
[sw27906]
 maxima for a given strict partial order. This especially includes the computation of the Pareto...

multiplex
 Referenced in 3 articles
[sw16370]
 that combine algebraic systems like the partially ordered semigroup or the semiring structure together with...

IBCN
 Referenced in 3 articles
[sw03452]
 interest. Moreover, the paper proves a partial ordering property for the system eigenvalues and presents...

Nektar++
 Referenced in 104 articles
[sw11964]
 case study. Numerical methods for elliptic partial differential equations (PDEs) within both continuous and hybridized ... implementation, obtaining total speedups on the order of 3035 times over a serial...

PHAML
 Referenced in 12 articles
[sw05764]
 elliptic partial differential equations using low or high order finite elements, adaptive mesh refinement based...

COMPASS
 Referenced in 39 articles
[sw03040]
 simulation, and the decision variables are integer ordered. We prove that COMPASS converges ... both fully constrained problems and partially constrained or unconstrained problems under mild conditions...