Centrum Wiskunde & Informatica

Convergence analysis of one-step schemes in the method of lines Tech Report

J.M. Sanz-Serna and J.G. Verwer (Jan)

January 1986
On the sign of the difference $ pi(x)-li(x) $ Tech Report

H.J.J. te Riele (Herman)

January 1986
The M/G/1 queue with randomly alternating services Tech Report

W.P. Groenendijk

January 1986
Constrained normalization of Hamiltonian systems and perturbed Keplerian motion Tech Report

J.-C. van der Meer and R. Cushman

January 1986
On the necessity of identifying the true parameter in adaptive LQ control Tech Report

J.W. Polderman

January 1986
Elementary symmetric polynomials of increasing order Tech Report

A.J. van Es (Bert) and R. Helmers (Roelof)

January 1986
Failure semantics with fair abstraction Tech Report

J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)

January 1986
Verification of two communication protocols by means of process algebra Tech Report

F.W. Vaandrager (Frits)

January 1986

Previous

Next