
CiaoPP
 Referenced in 41 articles
[sw12089]
 program, including types, modes and other variable instantiation properties, nonfailure, determinacy, bounds on computational ... Several kinds of source to source program transformations such as program specialization, slicing, partial evaluation ... granularity control into account), inclusion of runtime tests for assertions which cannot be checked...

CORO
 Referenced in 23 articles
[sw02197]
 optimization of a multiperiod Supply, Transformation and Distribution (STD) scheduling problem under uncertainty ... implemented for a given set of initial time periods, such that the solution ... they are modeled by using a splitting variable scheme, via a redundant circular linking representation...

OpenAD/F
 Referenced in 21 articles
[sw09380]
 specified through an XML schema. The implemented transformation algorithms allow efficient derivative computations using locally ... example from geophysical fluid dynamics, a nonlinear timedependent scalable, yet simple, barotropic ocean model ... such as bottom topography as independent (control) variables. Report version published in Aachener Informatik Berichte...

ADTIC
 Referenced in 1 article
[sw17727]
 Laplace transform in time. The Laplace variable can be considered as a regularization parameter...

irid_fod
 Referenced in 5 articles
[sw20906]
 function is prepared to compute a discretetime finite dimensional (z) transfer function to approximate ... where ”s” is the Laplace transform variable, and ”r” is a real number...

Monty Python
 Referenced in 3 articles
[sw26372]
 variables takes a decreasing density, cuts it into three pieces, then, using areapreserving transformations ... from the given density, most of the time as itself or a linear function ... average, from 1.5 to 1.8 uniform variables. In this article, we apply the method...

smbinning
 Referenced in 2 articles
[sw33579]
 process, reducing significantly the time spent on data exploration, variable selection, feature engineering, binning ... monotonic and customized binning, scaling capabilities that transforms logistic coefficients into points for a better...

glarma
 Referenced in 5 articles
[sw23274]
 GLARMA) models for discrete valued time series with regression variables. These are a class ... model fits, autocorrelation functions and probability integral transform residuals are included in the package. Several...

BEMDYN
 Referenced in 1 article
[sw01190]
 BEMDYN, a boundary element program for general timedependent problems in elastic or viscoelastic plane ... equation that relates to the Laplace transformed boundary variables. The theoretical basis is presented. Further...

WMTSA
 Referenced in 2 articles
[sw26454]
 Walden (2000) Wavelet Methods for Time Series Analysis. Cambridge: Cambridge University Press. henceforth referred ... versions of the discrete wavelet transform (DWT), analyzing variability as a function of scale, displaying...

biXid
 Referenced in 9 articles
[sw12667]
 allow nonlinear pattern variables for expressing nontrivial transformations that cannot be written only ... biXid, consisting of the “parsing” phase that transforms the input document to an intermediate “parse ... tree” structure and the “unparsing” phase that transforms it to an output document. Both phases ... enough expressiveness and a lineartime performance from experiments with several realistic bidirectional transformations including...

CANAL
 Referenced in 1 article
[sw28166]
 CANAL: A Cache Timing Analysis Framework via LLVM Transformation. A unified modeling framework ... transforming its intermediate representation in the LLVM compiler. CANAL inserts auxiliary variables and instructions over ... these variables, to allow standard verification tools to handle a new class of cache related ... computing the worstcase execution time and detecting sidechannel leaks. We demonstrate the effectiveness...

ROSA
 Referenced in 1 article
[sw02381]
 programs, both in terms of execution time and memory requirements, which in practice limit ... live variables, aliased variables, and types of variables. These inferred properties enable program transformations such ... shows substantial reductions by ROSA in execution time and memory consumption over both CRAN...

MPO Canopus
 Referenced in 0 articles
[sw32813]
 your images, do photometric transforms, generate lightcurves, analyze periods and times of minimum, look ... asteroids or new variables, and much more. More than 2500 astrometric positions have been submitted...

GPB
 Referenced in 3 articles
[sw18875]
 defined in cases where the Bernoulli variables can take any two arbitrary values instead ... probability distribution via the discrete Fourier transform of the characteristic function of the distribution ... distribution function, which uses the fast Fourier transform. We test the accuracy of the developed ... binomial distribution. We also study the computational time of the algorithm in various parameter settings...

INVLAP
 Referenced in 1 article
[sw20911]
 transform F(s) may be any reasonable function of complex variable s^α, where ... selected complex values of the independent variable s. The resultant computational error can be held ... arbitrarily low at the cost of CPU time. With the today’s computers and their...

IJIT
 Referenced in 1 article
[sw21506]
 Boolean Program Analysis with JustinTime Translation. Exploration algorithms for explicitstate transition systems ... stores states directly as valuations of program variables. Performed manually on a peralgorithm basis ... Interface (API), which allows users to automatically transform a given transition system exploration algorithm ... states temporarily to program states just in time for expansion via image computations, forward...

musica
 Referenced in 0 articles
[sw16681]
 relations between variables and/or different data sets at multiple time scales (e.g. correlation of precipitation ... control and scenario simulation) and (4) transformation of time series at custom time scales...

Cadmos
 Referenced in 1 article
[sw07301]
 interpreted as the guaranteed amount of time, up to which the system does not change ... approach is employed that transforms elements of dataflow into variables of linear expressions...

IPSHIN
 Referenced in 1 article
[sw31888]
 individual effects, time trends, and common time effects. Based on the mean of the individual ... null hypothesis. Lags of the dependent variable may be introduced to allow for serial correlation ... statistic are given in IPS. After transformation by factors provided in the paper (available...