
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 largescale 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]
 translationinvariant and permutationinvariant 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 hpolynomials...

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 firstorder ODE solver ... generator; the construction of the most general invariant firstorder 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 permutationinvariant MNIST, CIFAR10 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 timeinvariant (LTI) and for linear timevarying (LTV) modelpredictive...

RGIsearch
 Referenced in 1 article
[sw17649]
 program that searches for invariants of a userdefined 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 twoloop level. A manual for the program is given ... including the settings and setup of the program, as well as a test case...

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