Lower bounds on the efficiency of transforming static data structures into dynamic structures Kurt Mehlhorn OriginalPaper Pages: 1 - 16
Recursive paths in cross-connected trees and an application to cell spaces Hans Georg CarstensUlrich Golze OriginalPaper Pages: 29 - 37
A new performance measure for stochastic optimization in Hilbert space A. FeintuchR. SaeksC. Neil OriginalPaper Pages: 39 - 54
Realization theory of infinite-dimensional linear systems. Part I Yutaka Yamamoto OriginalPaper Pages: 55 - 77
Hamiltonian dynamics with external forces and observations A. J. van der Schaft OriginalPaper Pages: 145 - 168
Realization theory of infinite-dimensional linear systems. Part II Yutaka Yamamoto OriginalPaper Pages: 169 - 190
Parallel random access machines with powerful instruction sets Walter J. Savitch OriginalPaper Pages: 191 - 210
Finitary and infinitary interpretations of languages H. A. MaurerA. SalomaaD. Wood OriginalPaper Pages: 251 - 265
In Scott-Strachey style denotational semantics, parallelism implies nondeterminism David B. Benson OriginalPaper Pages: 267 - 275
Lie and morse theory for periodic orbits of vector fields and matrix riccati equations, I: General lie-theoretic methods Robert HermannClyde Martin OriginalPaper Pages: 277 - 284
Semantics of looping programs in Propositional Dynamic Logic Francine Berman OriginalPaper Pages: 285 - 294
A priority queue in which initialization and queue operations takeO(loglogD) time Donald B. Johnson OriginalPaper Pages: 295 - 309
A note on complete sets and transitive closure Ronald V. BookCelia Wrathall OriginalPaper Pages: 311 - 313
On reducing the number of states in a PDA Jonathan GoldstineJohn K. PriceDetlef Wotschke OriginalPaper Pages: 315 - 321
Stability analysis of the orbits of control systems N. KalouptsidisD. L. Elliott OriginalPaper Pages: 323 - 342
The theory of equivalence of Pfaffian systems and input systems under feedback Robert Hermann OriginalPaper Pages: 343 - 356