• Maxima

  • Referenced in 169 articles [sw00560]
  • expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations ... using exact fractions, arbitrary precision integers, and variable precision floating point numbers. Maxima can plot...
  • TAF

  • Referenced in 85 articles [sw07492]
  • Tool: TAF Transformation of Algorithms in Fortran (TAF) is a source-to-source AD-tool ... flow analysis. Given the independent and dependent variables of the specified top-level routine...
  • GTM

  • Referenced in 57 articles [sw39434]
  • variables. A familiar example is factor analysis which is based on a linear transformations between ... introduce a form of non-linear latent variable model called the Generative Topographic Mapping...
  • NICE

  • Referenced in 14 articles [sw29631]
  • resulting in independent latent variables. We parametrize this transformation so that computing the Jacobian determinant...
  • NumSBT

  • Referenced in 5 articles [sw09109]
  • very large values of the transform variable. Applications to the evaluation of overlap integrals...
  • irid_fod

  • Referenced in 5 articles [sw20906]
  • where ”s” is the Laplace transform variable, and ”r” is a real number...
  • Symbolic Math Toolbox

  • Referenced in 37 articles [sw08398]
  • transforms, and equation solving. Your computations can be performed either analytically or using variable-precision...
  • LSFBTR

  • Referenced in 7 articles [sw13181]
  • uniformly in the variable ln(r). The resulting values of the transform are given ... distributed uniformly in the variable ln(k). Solution method: The transform can be carried...
  • pyodesys

  • Referenced in 2 articles [sw29025]
  • sometimes necessary to perform variable transformations in order for the solution to proceed efficiently.pyodesys provides ... alternative formulations of the system (from variable transformations, including scaling of variables...
  • CiaoPP

  • Referenced in 44 articles [sw12089]
  • program debugging, analysis, and source-to-source transformation tasks on (Ciao) Prolog programs. These tasks ... program, including types, modes and other variable instantiation properties, non-failure, determinacy, bounds on computational ... Several kinds of source to source program transformations such as program specialization, slicing, partial evaluation...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model ... trail while displaying values of variables and internal states of Java lock objects...
  • DICTRA

  • Referenced in 9 articles [sw27312]
  • only geometries that can be transformed into one space variable can be treated, but many...
  • PROC CALIS

  • Referenced in 5 articles [sw12071]
  • should remove outliers and consider transformations of nonnormal variables before using PROC CALIS with maximum...
  • Statistics Toolbox

  • Referenced in 18 articles [sw10157]
  • identify key variables that impact your model with sequential feature selection, transform your data with...
  • SQEMA

  • Referenced in 39 articles [sw03056]
  • canonical completeness result. SQEMA is based on transformation rules, the most important of which employs ... enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative...
  • RuleMerger

  • Referenced in 3 articles [sw22849]
  • RuleMerger: automatic construction of variability-based model transformation rules. Unifying similar model transformation rules into ... variability-based ones can improve both the maintainability and the performance of a model transformation...
  • libMC

  • Referenced in 47 articles [sw06615]
  • implemented in libMC. Moreover, subgradients for multi-variable functions are calculated along various seed directions ... operator overloading approach (as opposed to program transformation techniques) to automate the relaxation and subgradient...
  • GPTIPS

  • Referenced in 7 articles [sw15254]
  • order non-linear transformations of the input variables. The functionality of GPTIPS is demonstrated...
  • biXid

  • Referenced in 9 articles [sw12667]
  • program defines a relation over documents and transforms a document to another ... allow non-linear pattern variables for expressing non-trivial transformations that cannot be written only...
  • DEQuadrature

  • Referenced in 1 article [sw12625]
  • after a variable transformation induces double exponential endpoint decay. In addition, the variable transformations maximize...