Results 1 to 20 of 1171
Sort by:

  • 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...