Aart Middeldorp - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged transformation system

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

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

Gramian-Preserving Frequency Transformation for Linear Discrete-Time State-Space SystemsShunsuke Koshita, Satoru Tanaka, Masahide Abe, Masayuki Kawamata. ieicet, 91-A(10):3014-3021, 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]

Floquet transformations for discrete-time systems: Equivalence between periodic systems and time-invariant onesYoshikazu Hayakawa, Tomohiko Jimbo. cdc 2008: 5140-5145 [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]

Gramian-preserving frequency transformation for linear discrete-time systems using normalized lattice structureShunsuke Koshita, Satoru Tanaka, Masahide Abe, Masayuki Kawamata. iscas 2008: 1124-1127 [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]

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.

Learning invariant object recognition in the visual system with continuous transformationsSimon M. Stringer, G. Perry, Edmund T. Rolls, J. H. Proske. bc, 94(2):128-142, 2006. [doi]

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]

Generalized laplace transformations and integration of hyperbolic systems of linear partial differential equationsSergey P. Tsarev. issac 2005: 325-331 [doi]

Transformation techniques for context-sensitive rewrite systemsJürgen Giesl, Aart Middeldorp. JFP, 14(4):379-427, 2004. [doi]

Scalable Automated Verification via Expert-System Guided TransformationsHari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann. FMCAD 2004: 159-173 [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]

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]

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]

Arithmetic Co-Transformations in the Real and Complex Logarithmic Number SystemsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel. TC, 47(7):777-786, 1998.

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

Arithmetic Co-transformations in the Real and Complex Logarithmic Number SystemsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel. arith 1997: 190-199 [doi]

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]

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

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.

Intertwined Recursion, Tree Transformations, and Linear SystemsMichael A. Arbib, Ernest G. Manes. iandc, 40(2):144-180, February 1979.

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]

Transformations and Somatotopy in Perceiving SystemsMichael A. Arbib. IJCAI 1971: 140-147

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

runs on WebDSL