• EasyLocal++

  • Referenced in 39 articles [sw04104]
  • Template Method”, to specify and implement the invariant parts of various search algorithms ... framework is composed of a set of cooperating classes, which belong to five main categories...
  • VerCors

  • Referenced in 7 articles [sw11259]
  • reason about class invariance properties in a concurrent setting. Further, we also show...
  • SmeftFR

  • Referenced in 4 articles [sw31392]
  • Theory (SMEFT) including the complete set of gauge invariant operators up to dimension 6. Feynman ... eigenstates) basis for all fields. The complete set of interaction vertices can be derived including...
  • Openpipeflow

  • Referenced in 16 articles [sw30456]
  • used in a range of settings, from large-scale simulation of highly turbulent flow ... detailed analysis of nonlinear invariant solutions (equilibria and periodic orbits) and their influence...
  • symmChainGens

  • Referenced in 8 articles [sw06689]
  • ideals that are invariant under a symmetric group action. In our setting, the ambient rings...
  • PointNet

  • Referenced in 46 articles [sw31209]
  • PointNet: Deep Learning on Point Sets for 3D Classification and Segmentation. Point cloud ... point clouds and well respects the permutation invariance of points in the input. Our network...
  • PointConv

  • Referenced in 5 articles [sw41516]
  • translation-invariant and permutation-invariant convolution on any point set in the 3D space. Besides...
  • DeepLab

  • Referenced in 39 articles [sw15303]
  • pooling and downsampling in DCNNs achieves invariance but has a toll on localization accuracy ... improve localization performance. Our proposed ”DeepLab” system sets the new state...
  • posets

  • Referenced in 18 articles [sw07773]
  • environment for computations involving partially ordered sets and related structures. The package is particularly useful ... isomorphism testing, and for computing various poset invariants, such as Möbius functions or h-polynomials...
  • VS3

  • Referenced in 2 articles [sw19492]
  • power of SMT solvers. VS3 discovers program invariants with arbitrary, but prespecified, quantification and logical ... user supplies VS3 with a set of predicates and invariant templates. VS3 automatically finds instantiations ... templates as subsets of the predicate set. We have used VS3 to automatically verify ∀ ∃ properties...
  • HyDe

  • Referenced in 2 articles [sw29663]
  • producing a set of functions called phylogenetic invariants. In this article, we introduce HyDe ... software package for detecting hybridization using phylogenetic invariants arising under the coalescent model with hybridization ... well as on two empirical data sets from the literature. We focus in particular...
  • STRATIFY

  • Referenced in 1 article [sw18775]
  • theory, more precisely, the construction of fundamental invariants and, additionally, of fundamental equivariants of compact ... algebraic sets, called strata. A set of fundamental invariants allows to construct this stratification...
  • seqICP

  • Referenced in 1 article [sw36712]
  • package is ’seqICP’, which performs linear sequential invariant causal prediction and has guaranteed type ... test whether an individual set S is invariant the package contains the subroutines ’seqICP.s...
  • SMCSolver

  • Referenced in 18 articles [sw15194]
  • This tool is composed of a set of MATLAB functions (i.e., .m files) to compute ... Reduction (QBD_CR.m), Functional Iterations (QBD_FI.m), Invariant Subspace Approach (QBD_IS.m), Logarithmic Reduction...
  • ODEtools

  • Referenced in 12 articles [sw09257]
  • group symmetry methods is presented. The set of commands includes a first-order ODE solver ... generator; the construction of the most general invariant first-order ODE under given symmetries...
  • PPFNet

  • Referenced in 3 articles [sw32559]
  • vicinity. Our permutation invariant network design is inspired by PointNet and sets PPFNet ... network suggest increased recall, improved robustness and invariance as well as a vital step...
  • BinaryConnect

  • Referenced in 24 articles [sw35871]
  • best results obtained with large training sets and large models. In the past, GPUs enabled ... results with BinaryConnect on the permutation-invariant MNIST, CIFAR-10 and SVHN...
  • qpDUNES

  • Referenced in 15 articles [sw13238]
  • problem intrinsic structures. Problems can be set up and solved from a C/C++ environment ... well as for linear time-invariant (LTI) and for linear time-varying (LTV) model-predictive...
  • RGIsearch

  • Referenced in 1 article [sw17649]
  • program that searches for invariants of a user-defined set of renormalization group equations. Based ... theories, RGIsearch searches for several types of invariants that require different methods. Additionally, it supports ... computation of invariants up to two-loop level. A manual for the program is given ... including the settings and set-up of the program, as well as a test case...
  • CRISP

  • Referenced in 1 article [sw27976]
  • injectors for Fitting classes (and Fitting sets) C, C-residuals for formations ... computation of normal subgroups invariant under a prescribed set of automorphisms and belonging...