Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged transformation

On a class of transformations of copulas and quasi-copulasElisabetta Alvoni, Pier Luigi Papini, Fabio Spizzichino. fss, 160(3):334-343, 2009. [doi]

Semi-parametric nonlinear regression and transformation using functional networksEnrique Castillo, Ali S. Hadi, Beatriz Lacruz, Rosa Eva Pruneda. csda, 52(4):2129-2157, 2008. [doi]

Static validation of XSL transformationsAnders Møller, Mads Østerby Olesen, Michael I. Schwartzbach. TOPLAS, 29(4):21, 2007. [doi]

Reduction Transformations in ORMTerry A. Halpin, Andy Carver, Kevin M. Owen. otm 2007: 699-708 [doi]

Existence of Similarity Transformation Converting BMIs to LMIsJi-Chang Lo, Min-Long Lin. tfs, 15(5):840-851, 2007. [doi]

Transformations for accelerating MCMC simulations with broken ergodicityMark Fleischer. wsc 2007: 658-666 [doi]

Numerical Simulation of Phase Transformations in Shape Memory Alloy Thin FilmsD. Roy Mahapatra, Roderick V. N. Melnik. iccS 2006: 114-121 [doi]

A comparison between Cole-Hopf transformation and the decomposition method for solving Burgers equationsAlice Gorguis. amc, 173(1):126-136, 2006. [doi]

The role of common point distribution in obtaining reliable parameters for coordinate transformationHakan S. Kutoglu, Tevfik Ayan. amc, 176(2):751-758, 2006. [doi]

Frequency Transformations of IIR Filters with Filter Bank ApplicationsL. Milic, S. Damjanovic, M. Nikolic. apccas 2006: 1051-1054 [doi]

Translation and Run-Time Validation of Loop TransformationsLenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu. fmsd, 27(3):335-360, 2005. [doi]

CPS transformation of beta-redexesOlivier Danvy, Lasse R. Nielsen. ipl, 94(5):217-224, 2005. [doi]

Obtaining Affine Transformations to Improve Locality of Loop NestsNickolai A. Likhoded, S. V. Bakhanovich, A. V. Zherelo. pcs, 31(5):270-281, 2005. [doi]

Typage des collections topologiques hétérogènes et des transformationsJulien Cohen. tsi, 24(9):1081-1111, 2005. [doi]

Variation of the Wiener index under tree transformationsJuan Rada. DAM, 148(2):135-146, 2005. [doi]

Transformations of self-stabilizing algorithmsKleoni Ioannidou. jhsn, 14(1):85-105, 2005. [doi]

Two Linear Transformations each Tridiagonal with Respect to an Eigenbasis of the other; Comments on the Parameter ArrayPaul Terwilliger. dcc, 34(2-3):307-332, 2005. [doi]

Horizontal Transformation of PSMsJamal Abd-Ali, Karim El Guemhioui. ECMDA-FA 2005: 299-315 [doi]

Aligning technology and business: Applying patterns for legacy transformationHoward M. Hess. IBMSJ, 44(1):25-46, 2005. [doi]

Application of differential transformation to transient advective-dispersive transport equationCha o-Kuang Chen, Shin-Ping Ju. amc, 155(1):25-38, 2004. [doi]

Process Ownership Challenges in IT-Enabled Transformation of Interorganizational Business ProcessesMichael Holm Larsen, Ralf Klischewski. hicss 2004: [doi]

A New One-Pass Transformation into Monadic Normal FormOlivier Danvy. cc 2003: 77-89 [doi]

Some operator identities and q-series transformation formulasZhi-Guo Liu. DM, 265(1-3):119-139, 2003. [doi]

Reduction of torque undulation and extension of the Park s transformation applied to non-sinusoidal saturated synchronous motorsG. Sturtzer, D. Flieller, J.-P. Louis. mcs, 63(3-5):297-305, 2003. [doi]

Mid-sagittal cut to area function transformations: Direct measurements of mid-sagittal distance and area with MRIA. Soquet, V. Lecuit, T. Metens, D. Demolin. speech, 36(3-4):169-180, 2002. [doi]

A Selective CPS TransformationLasse R. Nielsen. ENTCS, 45:311-331, 2001. [doi]

BINGOOO - Die Transformation des World Wide Web zur virtuellen DatenbankWolf Garbe. wi, 43(5):511-515, 2001.

A Frequency Domain Technique Based on Energy Radial Projections for Robust Estimation of Global 2D Affine Transformations: Volume 81(1): 72-116 (2001)Luca Lucchese. cviu, 82(1):82-83, 2001. [doi]

Transformation of the Health Care Industry by eMedicine: From Low-Tech Low-Touch to High-Tech High-TouchArkalgud Ramaprasad, Grace J. Johnson. aiworc 2000: 177-182 [doi]

Structural Computing Requirements for the Transformation of Structures and BehaviorsKenneth M. Anderson. ohs 2000: 140-146 [doi]

A Loop Transformation Algorithm for Communication OverlappingKazuaki Ishizaki, Hideaki Komatsu, Toshio Nakatani. ijpp, 28(2):135-154, 2000.

Karhunen-Loeve Transformation for Optimal Color Feature GenerationMehmet Celenk, Ivan Chang. pics 2000: 307-311 [doi]

Mutual Information in Learning Feature TransformationsKari Torkkola, William M. Campbell. icml 2000: 1015-1022

Multiresolution Video Segmentation Using Wavelet TransformationHong-heather Yu, Wayne Wolf. spieSR 1998: 176-187

Numeric Deduction in Symbolic Computation. Application to Normalizing TransformationsIvan I. Shevchenko. JSC, 24(1):103-111, 1997.

Transformation and synthesis of FSMs for low-power gated-clock implementationIn ISLPD. 1995: 21-26 [doi]

Virtual Transformations: The Evolution of Publication MediaKenneth Arnold. libt, 43(4):609-626, 1995. [doi]

Separating Stages in the Continuation-Passing Style TransformationJulia L. Lawall, Olivier Danvy. POPL 1993: 124-136

Sequential to Parallel Fortran Transformation Assistance ToolMichael R. Franks, Min-You Wu. ppsc 1993: 793-797

Representing Control: A Study of the CPS TransformationOlivier Danvy, Andrzej Filinski. mscs, 2(4):361-391, 1992.

A combinatorial construction for products of linear transformations over a finite fieldIan P. Goulden, David M. Jackson. JCT, 53(1):157-160, 1990. [doi]

Comparison at high spatial frequencies of two-pass and one-pass geometric transformation algorithmsDonald Fraser. cvgip, 46(3):267-283, 1989. [doi]

A fast algorithm for the discrete laplace transformationVladimir Rokhlin. jc, 4(1):12-32, 1988. [doi]

Konstruktion korrekter Programme durch TransformationHelmuth Partsch, Bernhard Möller. insk, 10(6):309-323, 1987.

An algorithm for transformations of pictures represented by quadtreesFrans J. Peters. cvgip, 32(3):397-403, 1985. [doi]

Automating the Transformational Development of SoftwareStephen Fickas. TSE, 11(11):1268-1277, 1985.

Type TransformationsDavid S. Wile. TSE, 7(1):32-39, 1981.

Corrigenda: Geometric Projection and Viewing TransformationsIngrid Carlbom, Joseph Paciorek. ACM Comput. Surv., 11(3):280, 1979.

Die diskrete Walsh-Transformation zur Spektralanalyse des Elektroencephalogramms (EEG) bei psychophysiologischen UntersuchungenHans Bäumler, Klaus-Dieter Wernecke, Josef Michel. eik, 13(11):561-570, 1977.

Implementing Clenshaw-Curtis Quadrature, II Computing the Cosine TransformationW. Morven Gentleman. CACM, 15(5):343-346, 1972.

runs on WebDSL