• CellML

  • Referenced in 27 articles [sw05635]
  • context information to a model, and component grouping. These assist in the creation and maintenance ... canonical form: a set of connected components...
  • SODAS

  • Referenced in 70 articles [sw00885]
  • analysis, symbolic description of groups, factorial discriminant analysis, principal component analysis, histograms and elementary statistics...
  • NuSMV

  • Referenced in 309 articles [sw04131]
  • University of Genova The Mechanized Reasoning Group at University of Trento. NuSMV is a reimplementation ... areas. NuSMV2, combines BDD-based model checking component that exploits the CUDD library developed...
  • SmartPLS

  • Referenced in 26 articles [sw10491]
  • performance matrix analysis (IPMA), multi-group analysis (MGA), hierarchical component models second-order models), nonlinear...
  • TopSpin

  • Referenced in 13 articles [sw00972]
  • group theory to automatically determine a group of component symmetries associated with the specification...
  • PROST

  • Referenced in 166 articles [sw12822]
  • reconstruction of surface tension. There are several components to this procedure, including the new body ... quadratic approximation to the interface over groups of cells...
  • CF-GGA

  • Referenced in 18 articles [sw02592]
  • grouping genetic algorithm for the cell formation problem. In manufacturing, the machine-part cell formation ... processing requirements of the components, and the identification of machine groups based on their ability...
  • wedderga

  • Referenced in 13 articles [sw01019]
  • compute the simple components of the Wedderburn decomposition of semisimple group algebras of finite groups...
  • SCIRun2

  • Referenced in 7 articles [sw12920]
  • CORBA and Dataflow. A group of monitoring components built on top of the TAU toolkit...
  • fpc

  • Referenced in 27 articles [sw07105]
  • mixture components. Symmetric and asymmetric discriminant projections for visualisation of the separation of groupings. Cluster...
  • DINGO

  • Referenced in 4 articles [sw29317]
  • decomposing them into global and group-specific components. The delineation of these components allows ... studies demonstrate that DINGO provides more accurate group-specific conditional dependencies than achieved by using...
  • AREP

  • Referenced in 9 articles [sw13167]
  • representation of a solvable group G into its irreducible components. In contradistinction to other approaches...
  • SamIam

  • Referenced in 17 articles [sw29886]
  • Reasoning Group of Professor Adnan Darwiche at UCLA. Samiam includes two main components: a graphical...
  • iSuc-PseOpt

  • Referenced in 23 articles [sw22429]
  • incorporating sequence-coupling effects into pseudo components and optimizing imbalanced training dataset. Succinylation ... posttranslational modification (PTM) where a succinyl group is added to a Lys (K) residue...
  • xTensor

  • Referenced in 33 articles [sw04984]
  • Einstein, Weyl, etc.) xTensor does not perform component calculations. Use the companion package xCoba. xTensor ... list of indices under permutation symmetry groups...
  • STeP

  • Referenced in 36 articles [sw17948]
  • being developed by the REACT research group to support the computer-aided formal verification ... broad class of systems, including parameterized (N-component) circuit designs, parameterized (N-process) programs...
  • ADE-4

  • Referenced in 8 articles [sw14077]
  • global components, analogous to Moran and Geary indices), discriminant analysis and within/between groups analyses, many ... least squares) regression and orthogonal regression (principal component regression), projection methods like principal component analysis ... automatic collection of elementary graphics corresponding to groups of rows or to columns...
  • GIFT

  • Referenced in 3 articles [sw19798]
  • implements multiple algorithms for independent component analysis of group magneto resonance imaging data (GIFT...
  • CAS

  • Referenced in 22 articles [sw07634]
  • system for handling characters of finite groups, including irrationalities, and partially defined characters. The commands ... automorphism; powering, tensoring, inducing, extending; extracting irreducible components (using several techniques). Tests: orthogonality relations; Schur ... structure constants of the centre of the group algebra; kernel of a character; p-blocks...
  • iPhos-PseEn

  • Referenced in 16 articles [sw23954]
  • sites in proteins by fusing different pseudo components into an ensemble classifier. Protein phosphorylation ... modification (PTM or PTLM), where a phosphoryl group is added to the residue ... iPhos-PseEn by fusing four different pseudo component approaches (amino acids’ disorder scores, nearest neighbor...