• kappalab

  • Referenced in 42 articles [sw06086]
  • well-known Moebius transform, as well as other equivalent representations of set functions can also...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • local invariants and then transforms the system (1) into an equivalent strangeness-free DAE with...
  • CFSF

  • Referenced in 7 articles [sw13927]
  • continued fraction tails, perform equivalence transformations and contractions, and much more. The package, developed...
  • na24

  • Referenced in 14 articles [sw11485]
  • Moreau envelope as several one-dimensional transforms and then reduce the brute force quadratic worst ... time by using either the equivalence with Fast Legendre Transform algorithms, the computation...
  • Catfact

  • Referenced in 6 articles [sw14840]
  • desired degree, of the right-equivalence that transforms the given unfolding into its normal form...
  • TAC++

  • Referenced in 3 articles [sw01438]
  • describes the development of the software tool Transformation of Algorithms in C++ (TAC++) for automatic ... algorithms from its well-established Fortran equivalent, Transformation of Algorithms in Fortran (TAF). TAC++ features...
  • FLIPS

  • Referenced in 7 articles [sw00299]
  • inverse problem by first transforming it into a equivalent (overdetermined) least squares problem...
  • FastMMD

  • Referenced in 3 articles [sw31729]
  • core idea of FastMMD is to equivalently transform the MMD with shift-invariant kernels into...
  • ACE

  • Referenced in 8 articles [sw22675]
  • functional program. This function is transformed into its nonrecursive equivalent according to MacCarthy’s recursion ... complexity is not a decidable property, this transformation will not be possible in all cases...
  • SQEMA

  • Referenced in 38 articles [sw03056]
  • algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus ... canonical completeness result. SQEMA is based on transformation rules, the most important of which employs...
  • CoVaC

  • Referenced in 7 articles [sw21472]
  • proving program equivalence and its application to automatic verification of transformations performed by optimizing compilers...
  • SetSails!

  • Referenced in 2 articles [sw06371]
  • eLearning application with which students learn to transform terms in set algebra. There are several ... proof the correctness of an equivalence. In each step one first selects a rule ... learner is not forced to transform the equivalence ”from left to right ... even possible to do transformations in both directions in parallel, as can be seen...
  • EVOLP

  • Referenced in 4 articles [sw02677]
  • paper we characterize EVOLP by transforming it into an equivalent normal logic program over ... implementation. Then we prove that the proposed transformation is sound and complete and examine...
  • DET2STO

  • Referenced in 5 articles [sw05102]
  • modeling tool DET2STO is a tool that transforms a stochastic version of a model written ... MathProg into a deterministic equivalent in a fully automated way. It outputs a model file ... This transformation results in a new mathematical programming problem named the deterministic equivalent, which...
  • TVOC

  • Referenced in 19 articles [sw02521]
  • given source program, TVOC proves the equivalence of the source code and the target code ... verification process: the first phase verifies loop transformations using the proof rule permute; the second...
  • CertiCrypt

  • Referenced in 6 articles [sw09443]
  • language tools (observational equivalence, relational Hoare logic, semantics-preserving program transformations) to assist in constructing...
  • XYZ/SE

  • Referenced in 2 articles [sw03027]
  • every XYZ/BE program can be transformed into an equivalent XYZ/SE program. So we have developed...
  • biXid

  • Referenced in 9 articles [sw12667]
  • program defines a relation over documents and transforms a document to another ... equivalent expressivenesses, and (3) allow non-linear pattern variables for expressing non-trivial transformations that...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • application. A framework that automatically transforms PLC software to SystemC is presented. The integrated flow ... applied to the verification of PLC programs. Equivalence checking and property checking are applied...
  • HEPTHools

  • Referenced in 2 articles [sw30615]
  • within a (chi_{mathrm{o}})-equivalence class can be transformed into each other via field ... Yielding Matrix Numbers (HYMNs) and introduce HYMN equivalence classes. These findings have been summarized...