• JADE

  • Referenced in 146 articles [sw24855]
  • evolution with optional external archive. A new differential evolution (DE) algorithm, JADE, is proposed ... relationship between the parameter settings and the characteristics of optimization problems. It is thus helpful...
  • CharSets

  • Referenced in 3 articles [sw13623]
  • characteristic sets of polynomial sets (in different senses), decomposing polynomial sets into ascending sets ... into irreducible and quasi-irreducible ascending sets, decomposing algebraic varieties into irreducible components, decomposing polynomial ... that contains eight functions for computing differential characteristic sets and the corresponding zero decompositions...
  • ICS

  • Referenced in 1 article [sw09220]
  • package for computing involutive characteristic set of algebraic partial differential equation systems. A constructive algorithm ... completion of arbitrary algebraic partial differential equation systems to involutive ones is presented. Based ... computing the involutive characteristic set (ICS) of an algebraic partial differential equation system is given ... computing the involutive characteristic set of arbitrary algebraic partial differential equation systems thereafter...
  • PITT

  • Referenced in 2 articles [sw07739]
  • schemes to write Einstein equations explicitly as differential equations. One is based ... set of ordinary differential equations. The latter scheme is called characteristic formalism which is free ... well developed code (PITT code) for characteristic formalism. In PITT code, special finite difference algorithm ... modify the equations for characteristic formalism. Based on our new set of equations...
  • ARXtools

  • Referenced in 10 articles [sw09727]
  • algorithm to build complex non-linear differential characteristics for ARX constructions, that we applied ... hash function Skein. We present several characteristics for use in various attack scenarios ... relatively low complexity, in relatively strong settings; and on the other hand weaker distinguishers reaching ... some of the first examples of complex differential trails built for pure ARX designs...
  • AMSS-NCKU

  • Referenced in 1 article [sw07740]
  • schemes to write Einstein equations explicitly as differential equations. One is based ... set of ordinary differential equations. The latter scheme is called characteristic formalism which is free ... well developed code (PITT code) for characteristic formalism. In PITT code, special finite difference algorithm ... modify the equations for characteristic formalism. Based on our new set of equations...
  • PREvaIL

  • Referenced in 10 articles [sw25073]
  • method was developed by leveraging a comprehensive set of informative features extracted from multiple levels ... with an area under the receiver operating characteristic curve and area under the precision-recall ... signals arising from different levels, leveraging such differential but useful types of features and allowing...
  • HmmSeq

  • Referenced in 1 article [sw13742]
  • develop a procedure for detection of differentially expressed genes that automatically controls false discovery rate ... operating characteristic curves. Finally, the analyses of three publicly available RNA-seq data sets demonstrate...
  • MI-Sim

  • Referenced in 1 article [sw17108]
  • where they differ only in the underlying characteristics of the organisms and substrates describing ... properties of the system through sets of ordinary differential equations, has been used extensively...
  • SNPinfo

  • Referenced in 3 articles [sw17360]
  • results, linkage disequilibrium (LD), and predicted functional characteristics of both coding and non-coding SNPs ... that selection is from a much larger set of SNPs than the GWAS itself ... likely to have differential effects on function. Users can assign weights for different functional categories...
  • DiffCapAnalyzer

  • Referenced in 1 article [sw35631]
  • plots. Differential capacity plots (dQ/dV) can be very powerful for uncovering battery performance characteristics ... charge and discharge cycle in the data set, comprised of a gaussian baseline and pseudo...
  • AMIKS

  • Referenced in 2 articles [sw22460]
  • AMIKS for the numerical solution of stochastic differential equations (SDE) systems on supercomputers. In addition ... select the necessary parameters for task setting on a supercomputer. For the Korteweg-de Vries ... interface for plotting graphs such as frequency characteristics, generalizing the integral curve, phase portrait...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CLIFFORD

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1898 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Epsilon

  • Referenced in 44 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • FEMLAB

  • Referenced in 57 articles [sw00274]
  • COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...