
Miniball
 Referenced in 43 articles
[sw05179]
 centers are affinely independent. Via a geometric transformation and suitable generalization, it fits into ... fixed point on the boundary is equivalent to the problem of finding the minimumnorm...

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

loops2recursion
 Referenced in 1 article
[sw16864]
 iterative loop into an equivalent recursive method. The transformation implements the changes needed to transform...

libMC
 Referenced in 47 articles
[sw06615]
 procedure is first employed to develop an equivalent reformulation in terms of unary and binary ... operator overloading approach (as opposed to program transformation techniques) to automate the relaxation and subgradient...

AREP
 Referenced in 9 articles
[sw13167]
 representation, we hence obtain a fast Fourier transform for G. Our algorithm is based ... representations are considered and manipulated, rather than equivalence classes of representations as it is done ... fast algorithms for discrete linear signal transforms...

pyFFTW
 Referenced in 7 articles
[sw15538]
 unified interface for all the possible transforms that FFTW can perform. Both the complex ... strided arrays, which makes it almost feature equivalent to standard and real FFT functions...

CAESAR
 Referenced in 9 articles
[sw29138]
 generated graph, including model checking, equivalence checking, and visual checking. Taking as input filename.lotos, which ... operations defined in filename.lotos, caesar performs successive transformation steps and produces a C program that...

R2D
 Referenced in 2 articles
[sw26497]
 aims to transform, at runtime, semistructured RDF data into an equivalent domainspecific ... performance graphs for every stage of the transformation process and screenshots of a relational visualization...

ERES
 Referenced in 8 articles
[sw12686]
 with other existing methodologies. The extended row equivalence and shifting (ERES) method ... several polynomials. The ERES algorithm performs row transformations and shifting on a matrix formed directly...

Sigma*
 Referenced in 12 articles
[sw21731]
 refinement to overapproximate program behavior, Sigma* transforms arbitrary source representation of programs into faithful ... transducers that can be effectively composed and equivalence checked. Thus, Sigma* enables fully automatic analysis...

Emlk2d
 Referenced in 2 articles
[sw13516]
 equivalent to the maximum likelihood estimate and to the conditional expectation. The transform to normality...

SMatrix
 Referenced in 1 article
[sw31130]
 expressions can be transformed at compile time to code which is equivalent to hand optimized...

HRSQL
 Referenced in 1 article
[sw32283]
 algorithm that transforms a database containing hypothetical definitions into an equivalent one without hypothesis...

TASS_
 Referenced in 3 articles
[sw04889]
 establish that two programs are functionally equivalent. This is particularly useful in scientific computing, where ... sequential encoding of an algorithm, then gradually transform this into a production code by introducing...

FingerNet
 Referenced in 2 articles
[sw40760]
 methods performed well on rolled/slap fingerprints are transformed into convolutional manners and integrated ... network. We demonstrate that this pipeline is equivalent to a shallow network with fixed weights...

PencilsOfQuadrics
 Referenced in 0 articles
[sw36754]
 category of E are equivalent by a FourierMukai transformation (see Section...

Algorithm 923
 Referenced in 6 articles
[sw20231]
 based on unitary transformations, using block Householder transformations and Givens rotations, that are applicable ... class D nanowire, and show numerically the equivalence of definitions based on the Hamiltonian...

Cucheb
 Referenced in 3 articles
[sw28326]
 procedure uses a carefully chosen polynomial spectral transformation to accelerate convergence of the Lanczos method ... theory. We compare our implementation against an equivalent CPU implementation and show that using...

POLRANGE
 Referenced in 1 article
[sw10305]
 first program (POLRANGE) is to transform a polynomial in the generators of a Lie algebra ... with numerical coefficients into an equivalent form which exhibits a freely chosen but prescribed order...