
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 quasiirreducible 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 nonlinear 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...

AMSSNCKU
 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 precisionrecall ... 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 RNAseq data sets demonstrate...

MISim
 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 noncoding 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 Kortewegde 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...