
kappalab
 Referenced in 42 articles
[sw06086]
 wellknown 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 strangenessfree 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 onedimensional 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 rightequivalence 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 wellestablished 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 shiftinvariant 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 firstorder 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, semanticspreserving 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 nonlinear pattern variables for expressing nontrivial 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...