
SQEMA
 Referenced in 38 articles
[sw03056]
 general correspondence and canonical completeness result. SQEMA is based on transformation rules, the most important ... obtain restricted versions of SemSQEMA which guarantee canonicity...

LINA01
 Referenced in 6 articles
[sw04902]
 made on the basis of Lie canonical transformation method. The program package of LINA01...

RuleML
 Referenced in 22 articles
[sw01792]
 Initiative is to develop RuleML as the canonical Web language for rules using XML markup ... entire rule spectrum, from derivation rules to transformation rules to reaction rules. RuleML can thus...

aster2
 Referenced in 2 articles
[sw32136]
 offspring). Uses the exponential family canonical parameterization (aster transform of usual parameterization). Unlike the aster...

TAMPR
 Referenced in 6 articles
[sw03197]
 used to transform the abstract syntax tree of a program to canonical form by exhaustive...

homals
 Referenced in 13 articles
[sw13953]
 imposed (nonlinear PCA). The categories are transformed by means of optimal scaling with options ... order to emulate regression analysis and canonical correlation analysis...

TPtool
 Referenced in 6 articles
[sw11769]
 straightforward series of operations. The TP model transformation generates two kinds of polytopic models. Firstly ... HOSVD (Higher Order Singular Value) based canonical form of LPV models. This ... matrices and tensors. Secondly, the TP model transformation generates various convex polytopic forms, upon which...

PointCNN
 Referenced in 5 articles
[sw32557]
 problems, we propose to learn an Xtransformation from the input points, to simultaneously promote ... points into a latent and potentially canonical order. Elementwise product and sum operations ... operator are subsequently applied on the Xtransformed features. The proposed method is a generalization...

Ferret
 Referenced in 2 articles
[sw27107]
 involves finding the canonical image of an object (graph, set, list, transformation and others...

JET
 Referenced in 2 articles
[sw33765]
 canonical densities and investigation of the complete integrability, computation of differential substitutions and Bäcklund transformations...

Biplot
 Referenced in 1 article
[sw26237]
 analysis or canonical correspondence analysis. The macros allow for a variety of transformations...

cyclogpl.m
 Referenced in 1 article
[sw26770]
 transformed into the favorable ϵ form of dimensional regularization. The master integrals of the canonical...

Algorithm 923
 Referenced in 5 articles
[sw20231]
 Pfaffian and a related problem, computing the canonical form of a skewsymmetric matrix under ... ParlettReid algorithm, or based on unitary transformations, using block Householder transformations and Givens rotations...

SVCCA
 Referenced in 1 article
[sw35870]
 propose a new technique, Singular Vector Canonical Correlation Analysis (SVCCA), a tool for quickly comparing ... that is both invariant to affine transform (allowing comparison between different layers and networks...

GrIP
 Referenced in 1 article
[sw32821]
 information about (super)field content and their transformation properties under the assigned symmetries. The order ... mass (nonsupersymmetric models) and canonical (supersymmetric scenarios) dimensions. These operators can be suitably collected...

DEQuadrature
 Referenced in 1 article
[sw12625]
 fastest general purpose quadrature package, supporting the canonical interval, and semiinfinite and infinite domains ... after a variable transformation induces double exponential endpoint decay. In addition, the variable transformations maximize...

BPOLY
 Referenced in 13 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

CLIFFORD
 Referenced in 79 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...