Dimitrios Vytiniotis - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged transformation system

Quasi-Linear Transformations, Numeration Systems and FractalsMarie-Andrée Jacob-Da Col, Pierre Tellier. dgci 2011: 187-198 [doi]

Approximate eigenvalue decomposition of para-Hermitian systems through successive FIR paraunitary transformationsAndre Tkacenko. icassp 2010: 4074-4077 [doi]

Correctness of high-level transformation systems relative to nested conditionsAnnegret Habel, Karl-Heinz Pennemann. mscs, 19(2):245-296, 2009. [doi]

FPH: first-class polymorphism for HaskellDimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones. ICFP 2008: 295-306 [doi]

Transformational Pattern System - Some Assembly RequiredMika Siikarla, Tarja Systä. ENTCS, 211:63-74, 2008. [doi]

The Cole-Hopf transformation and improved tanh-coth method applied to new integrable system (KdV6)Cesar A. Gómez S, Alvaro H. Salas. amc, 204(2):957-962, 2008. [doi]

Thalamocortical transformations of periodic stimuli: the effect of stimulus velocity and synaptic short-term depression in the vibrissa-barrel systemJaime de la Rocha, Néstor Parga. jcns, 25(1):122-140, 2008. [doi]

Transformation Matrix System for Reducing the Computational Complexity of Wireless Multi-User Receivers for DS-CDMA SystemsSyed Sajjad Rizvi, Aasia Riasat, Khaled M. Elleithy. itng 2008: 1251-1252 [doi]

On the Construction of Transformation Steps in the Category of Multiagent SystemsThomas Soboll. AISC 2008: 184-190 [doi]

On a General Notion of Transformation for Multiagent Systems and its ImplementationJochen Pfalzgraf, Thomas Soboll. eceasst, 12, 2008. [doi]

Channel Estimation Scheme with Low Complexity Discrete Cosine Transformation in MIMO-OFDM SystemDaisuke Takeda, Yasuhiko Tanabe, Kazumi Sato. vtc 2007: 486-490 [doi]

Formal Transformation in Pipeline SystemsMohamad Al-Laham. ecs, 28(3):57-65, 2006.

Gramian-preserving frequency transformation for linear continuous-time state-space systemsShunsuke Koshita, Masahide Abe, Masayuki Kawamata. iscas 2006: [doi]

Interacting with notations: two examples of the use of a transformation systemSilas S. Brown, Peter Robinson. uais, 4(2):96-104, 2005. [doi]

A formalism for functionality preserving system level transformationsSamar Abdi, Daniel Gajski. aspdac 2005: 139-144 [doi]

A Contour Shape Description Method Via Transformation to Rotation and Scale Invariant Coordinates SystemMin-Ki Kim. grec 2006: 312-322 [doi]

Transformation-Oriented Middleware for Legacy System IntegrationGuido Menkhaus, Urs Frei. ICEIS 2004: 202-209

Application of the differential transformation method to a non-linear conservative systemChao-Kuang Chen, Shih-Shin Chen. amc, 154(2):431-441, 2004. [doi]

Metamodels and MDA Transformations for Embedded SystemsLossan Bonde, Cédric Dumoulin, Jean-Luc Dekeyser. fdl 2004: 240-252 [doi]

Stereo System for Tracking Moving Object Using Log-Polar Transformation and Zero Disparity FilteringIl Choi, Jong-Gun Yoon, Young-Beum Lee, Sung-Il Chien. caip 2003: 182-189 [doi]

Improved precision and efficiency of free energy calculations for small systems using lambda-scaled atomic masses and separating conformational and transformational samplingPeter Carlsson, Lennart Nilsson. jcc, 24(12):1383-1389, 2003. [doi]

Using Molecular Quantum Similarity Measures under Stochastic Transformation To Describe Physical Properties of Molecular SystemsXavier Gironés, Ramon Carbó-Dorca. jcisd, 42(2):317-325, 2002. [doi]

Interaction, transformation and information systems development - an extended application of Soft Systems MethodologyJeremy Rose. itp, 15(3):242-268, 2002. [doi]

Evolution of Affine Transformations and Iterated Function Systems Using Hierarchical Evolution StrategyAnargyros Sarafopoulos. eurogp 2001: 176-191 [doi]

System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion LevelAndreas Meier. cade 2000: 460-464

Discourses on the Interaction of Information Systems, Organizations, and Society: Reformation and TransformationRichard Baskerville, Jan Stage. ifip9-3 2000: 1-14

The tale of two ERICS: Factors influencing the development of the first ERIC and its transformation into a national systemLee G. Burchinal. jasis, 51(6):567-575, 2000.

Transformation Systems for Incidence StructuresGloria Rinaldi, Luigi Antonio Rosati. ejc, 20(4):307-312, 1999. [doi]

Web-Enabling Legacy Systems through Software TransformationsSilvia Mara Abrahão, Antônio Francisco do Prado. wecwis 1999: 87-90 [doi]

Query Transformation for Heterogeneous Provider Systems in MedocKai Großjohann, Dirk Menke. medoc 1998: 79-87 [doi]

Applications of the TAMPR Transformation SystemTerence J. Harmer, Patrick J. McParland, James M. Boyle. iwfm 1998:

Lexical Choice and Syntactic Generation in a Transfer System: Transformations in the New LMT English-German SystemClaudia Gdaniec. amta 1998: 408-420 [doi]

Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time SystemsIrina M. Smarandache, Paul Le Guernic. arts 1997: 233-247

Reactive Systems Developing by Formal Specification TransformationsAmmar Attoui, Abdelfettah Hasbani. dexaw 1997: 339-344

Traverdi - Transformation and Verification of Distributed SystemsJürgen Bohn, Hardi Hungar. korso 1995: 317-338

Specification and Transformation of Reactive Systems with Time Restrictions and ConcurrencyMichael Schenke. ftrtft 1994: 605-620

Adaptation of an isolated word speech recognition system to continuous speech using multisection LVQ codebook modification and prosodic parameter transformationAnastasios Tsopanoglou, J. Mourjopoulos, George K. Kokkinakis. speech, 15(1-2):1-20, 1994. [doi]

Correctness of Basic Systolic Systems TransformationsJozef Gruska, Irène Guessarian. ifip 1994: 315-321

Transformation of Doacross Loops on Distributed Memory SystemsA. Zaafrani, Mabo Robert Ito. ipps 1993: 824-829

Behavior tables: a basis for system representation and transformational system synthesisKamlesh Rath, M. Esen Tuna, Steven D. Johnson. iccad 1993: 736-740 [doi]

Uniformization and Exponential Transformation: Techniques for Fast Simulation of Highly Dependable Non-Markovian SystemsVictor F. Nicola, Philip Heidelberger, Perwez Shahabuddin. ftcs 1992: 130-139

Efficient representation and transformation of image data on the connection machine systemHarry Voorhees, Lewis W. Tucker. mva, 5(2):63-83, 1992. [doi]

A Transformational Method for Verifying Safety Properties in Real-Time SystemsMatthew K. Franklin, Armen Gabrielian. rtss 1989: 112-125

Transformation of computation formulae in systems of recurrence relationsEugene V. Zima. eurocal 1989: 223-224

Computerised system of analytic transformations for analysing of differential equationsVladislav L. Katkov, Michail D. Popov. eurocal 1989: 179-185

TRANSPLINE - A System for Representing Curves Using Transformations Among four Spline FormulationsBrian A. Barsky, Spencer W. Thomas. cj, 24(3):271-277, 1981.

Calculation of Eigenvalues of Systems of ODE s Using the Riccati TransformationJ. Stuart Bramley. ode 1979: 311-318

A Fast ::::Z:::: Transformation Algorithm for System IdentificationMichael J. Corinthios. TC, 26(1):55-67, 1977.

An adaptable, modular data - collection system suitable for scientific experimentation: analog to digital transformation, short - term digital storage, formatted digital tape - recording, and computer entry of experimental dataHarold H. Shlevin. afips 1976: 295-300 [doi]

On some transformation theorems in many-valued logical systemsChuen K. Tung. focs 1962: 185-199

runs on WebDSL