• CiaoPP

  • Referenced in 41 articles [sw12089]
  • 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 ... granularity control into account), inclusion of run-time 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 time-dependent scalable, yet simple, barotropic ocean model ... such as bottom topography as independent (control) variables. Report version published in Aachener Informatik Berichte...
  • AD-TIC

  • 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 discrete-time 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 area-preserving 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 time-dependent 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 non-linear pattern variables for expressing non-trivial 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 linear-time 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 worst-case execution time and detecting side-channel 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 Just-in-Time Translation. Exploration algorithms for explicit-state transition systems ... stores states directly as valuations of program variables. Performed manually on a per-algorithm 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 data-flow 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...