• 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 X-transformation from the input points, to simultaneously promote ... points into a latent and potentially canonical order. Element-wise product and sum operations ... operator are subsequently applied on the X-transformed 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 skew-symmetric matrix under ... Parlett-Reid 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 (non-supersymmetric 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 semi-infinite 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 object-oriented 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...