• Venture

  • Referenced in 10 articles [sw14670]
  • supports custom control flow, higher-order probabilistic procedures, partially exchangeable sequences and “likelihood-free” 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 state-explosion problem...
  • TimeSquare

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

  • 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 theorem-prover for first-order 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 higher-order logic interactively, automatically, or in a mixture...
  • Exa-Dune

  • 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 high-order discontinuous Galerkin discretisations as well as partially matrix-free 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...
  • tw-heuristic

  • 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 30-35 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...