Publications from 2016

On operations in Brown-Peterson cohomology Tech Report

M. Hazewinkel (Michiel)

On almost fixed point theory Tech Report

M. Hazewinkel (Michiel) and M. van de Vel

Local class field theory is easy Tech Report

M. Hazewinkel (Michiel)

A universal formal group and complex cobordism Article

M. Hazewinkel (Michiel)

Local class field theory is easy Article

M. Hazewinkel (Michiel)

Reizen op een graaf Tech Report

J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

Kortste-padproblemen Tech Report

B.J. Lageweg

Network flow theory Tech Report

E.L. Lawler

A note on the optimality of a switch-over policy for the M/G/1 queue with variable service rate Tech Report

H.C. Tijms (Henk)

Optimal control of the workload in an M/G/1 queueing system with removable server Tech Report

H.C. Tijms (Henk)

Technical aspects of the iterative solution of the automobile insurance problem Tech Report

P.J. Weeda

A simple proof of the equivalence of the limiting distributions of the continuous-time and the embedded process of the queue size in the M/G/1 queue Tech Report

A. Hordijk (Arie) and H.C. Tijms (Henk)

Graph terminology and elementary analyses for the social sciences : (prepublication) Tech Report

J.M. Anthonisse

A graph-defining language : (2nd rev. ed) Tech Report

J.M. Anthonisse

Boolean elements in combinatorial optimization : a survey Tech Report

P.L. Hammer

Complexity of machine scheduling problems Tech Report

P. Brucker, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

On a switch-over policy for controlling the workload in a queueing system with two constant service rates and fixed switch-over costs : (prepublication) Tech Report

H.C. Tijms (Henk)

On White's condition in dynamic programming : (prepublication) Tech Report

J.M. Anthonisse and H.C. Tijms (Henk)

Convergent dynamic programming : (prepublication) Tech Report

A. Hordijk (Arie)

Sensitive optimality criteria in countable state dynamic programming : (prepublication) Tech Report

A. Hordijk (Arie) and K. Sladky

Regenerative markov decision models Tech Report

A. Hordijk (Arie)

A recursive approach to the generation of combinatorial configurations Tech Report

J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

Graphlib 0: Procedures to represent, generate and analyse graphs Tech Report

J.M. Anthonisse and B.J. Lageweg

Minimizing maximum lateness on one machine : Computational experience and some applications Tech Report

B.J. Lageweg, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

A probabilistic approach to renewal theory Tech Report

I. Meilijson

Optimal sequencing of jobs subject to series parallel precedence constraints Tech Report

E.L. Lawler

On dynamic programming with arbitrary state space, compact action space and the average return as criterion : (prepublication) Tech Report

H.C. Tijms (Henk)

On the existence of discounted and average return equilibrium policies in n-person stochastic games : (prepublication) Tech Report

A. Federgruen, O.J. Vrieze and G.L. Wanrooij

On the stability of products of stochastic matrices : (prepublication) Tech Report

J.M. Anthonisse and H.C. Tijms (Henk)

Syllabus cursus Algol 68 : (herz. uitg) Tech Report

L. Ammeraal

PDP program documentation series, 1; PDP 8 Tech Report

Infal, an informatics library Tech Report

Deterministically recognizing EOL-languages in time $0(n^{3.81} )$ Tech Report

J. van Leeuwen (Jan)

Call-by-value versus call-by-name: a proof-theoretic comparison : (prepublication) Tech Report

W.P. de Roever

Fixed point semantics and Dijkstra's fundamental invariance theorem Tech Report

J.W. de Bakker (Jaco)

The Utor, a program for the connection of a number of peripherals to a general purpose computer Tech Report

P.J.W. ten Hagen (Paul) and C.L. Pippel

An implementation of an Algol 68 sublanguage : (prepublication) Tech Report

L. Ammeraal

Mini Algol 68 user's guide Tech Report

L. Ammeraal

The organization of the object code generator in Algol 68 H : (prepublication) Tech Report

H.J. Boom

On the design of programming languages including mini Algol 68 Tech Report

L. Ammeraal

Design of an interactive graphics system Tech Report

P.J.W. ten Hagen (Paul), P. Klint (Paul), H. Noot (Han) and T. Hagen

A note on the recursive enumerability of some classes of recursively enumerable languages : (prepublication) Tech Report

P. van Emde Boas (Peter) and P.M.B. Vitányi (Paul)

On the non-vanishing terms in a product of multivariate polynomials : (prepublication) Tech Report

J. van Leeuwen (Jan)

How program statements transform predicates : (prepublication) Tech Report

L. Ammeraal

Digraphs associated with DOL systems : (prepublication) Tech Report

P.M.B. Vitányi (Paul)

Some elementary proofs of lower-bounds in complexity-theory : (prepublication) Tech Report

J. van Leeuwen (Jan) and P. van Emde Boas (Peter)

The halting problem for linear Turing assemblers Tech Report

R.M. Baer and J. van Leeuwen (Jan)

Stochastic models of storage allocation systems Tech Report

C.L. Pippel and R. van Vliet

Mode and meaning : (pepublication) Tech Report

L.G.L.T. Meertens (Lambert)

Designing a beginners' programming language : (prepublication) Tech Report

L.J.M. Geurts (Leo) and L.G.L.T. Meertens (Lambert)

Flow of control in the proof theory of structured programming : (prepublicationn) Tech Report

J.W. de Bakker (Jaco)

Extending a run-time stack with some registers : (prepublication) Tech Report

L. Ammeraal

Context sensitive table Lindenmayer languages and a relation to the LBA problem : (prepublication) Tech Report

P.M.B. Vitányi (Paul)

Termination of nondeterministic programs Tech Report

J.W. de Bakker (Jaco)

Textual management in an Algol 68 compiler Tech Report

H.J. Boom and D. Grune (Dick)

Repairing the parenthesis skeleton of Algol 68 programs: proof of correctness : (prepublication) Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

The MC Algol 68 test set Tech Report

D. Grune (Dick)

Parsing Algol 68 with syntax-directed error recovery Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

Derde orde Runge-Kuttamethoden van het Scraton type Tech Report

R.R. de Graaf

S-stability and stiff-accuracy for two classes of generalized integration methods Tech Report

J.G. Verwer (Jan)

Nonlinear least squares estimation Tech Report

J.C.P. Bus, B. van Domselaar and J. Kok (Jan)

Nonlinear parameter estimation in initial value problems Tech Report

B. van Domselaar and P.W. Hemker (Piet)

On the representation of the positive integers as the sum of two unitary abundant numbers Tech Report

H.J.J. te Riele (Herman)

An analysis of the convergence of newton-like methods for solving systems of nonlinear equations Tech Report

J.C.P. Bus

Internal s-stability for generalized runge-kutta methods Tech Report

J.G. Verwer (Jan)

Two-level difference schemes with varying mesh sizes for the shallow water equations Tech Report

P.J. van der Houwen (Piet)

Galerkin's method and Lobatto points Tech Report

P.W. Hemker (Piet)

A comparative study of programs for solving nonlinear equations Tech Report

J.C.P. Bus

Metingen aan betonelementen Tech Report

J. Hemelrijk (Jan), R.T.J.N. Piscaer and M.C.A. van Zuijlen

Asymptotic power efficiency for a location and scale problem : (prepublication) Tech Report

Y. Lepage

Some properties of the empirical distribution function in the non-i.i.d. case Tech Report

M.C.A. van Zuijlen

A user's program for multiple linear regression analysis Tech Report

M. van Gelderen

A note on contiguity and Hellinger distance Tech Report

J. Oosterhoff and W.R. van Zwet (Willem)

Some properties of the empirical distribution function in the non-i.i.d. case, 2 : (prepublication) Tech Report

M.C.A. van Zuijlen

An application of latent structure analysis Tech Report

R.D. Gill (Richard)

The rate of convergence of simple linear rank statistics under the hypothesis Tech Report

M. Husková

The order of the normal approximation for linear combinations of order statistics with smooth weight functions : (prepublication) Tech Report

R. Helmers (Roelof)

Werkbesprekingen in eerste helft 1974 Tech Report

SMC SMC Afdeling Toegepaste Wiskunde

A limit case of a volterra-lotka system : (prepublication) Tech Report

H.A. Lauwerier

Asymptotic expansion of certain numbers related to the gamma function Tech Report

O. Diekmann (Odo)

Kwalitatieve analyse van stationaire oplossingen van stelsels differentiaalvergelijkingen Tech Report

G.M. Willems

The birth of a boundary layer in an elliptic singular perturbation problem : (prepublication) Tech Report

J. Grasman (Johan)

Fourier transforms of holomorphic functions and application to Newton interpolation series, 2 Tech Report

J.W. de Roever

Relaxation oscillations governed by a van der pol-equation with periodic forcing term Tech Report

J. Grasman (Johan), E.J.M. Veling and G.M. Willems

Three notes on classical orthogonal polynomials : (prepublication) Tech Report

T.H. Koornwinder

Ehrenpreis' fundamental principle for non-entire functions : (prepublication) Tech Report

J.W. de Roever

On the numerical evaluation of the ordinary bessel function of the second kind : (prepublication) Tech Report

N.M. Temme (Nico)

Uniform asymptotic expansions of confluent hypergeometric functions : (prepublication) Tech Report

N.M. Temme (Nico)

Analytic representations and fourier transforms of analytic functionals in z' carried by the real space : (prepublication) Tech Report

J.W. de Roever

Necessary conditions for the existence of perfect lee codes Tech Report

H.W. Lenstra (Hendrik)

Ten years of speedup : (prepublication) Tech Report

P. van Emde Boas (Peter)

A note on euler's (incomplete) gamma-function Tech Report

J. van de Lune (Jan)

A note on euler's constant Tech Report

J. van de Lune (Jan)

Critical points of the degenerate operator in elliptic singular perturbation problem Tech Report

P.P.N. de Groen

The triply shortened binary hamming code is optimal : (prepublication) Tech Report

M.R. Best (Marc) and A.E. Brouwer (Andries)

Can every tychonoff g-space equivariantly be embedded in a compact hausdorff g-space? Tech Report

J. de Vries (Jan)

Monotic approximation of integrals in relation to some inequalities for sums of powers of integers Tech Report

J. van de Lune (Jan)

On dual pairs of antichains Tech Report

A.E. Brouwer (Andries)

On restrictions on transformational grammars reducing the generative power : (prepublication) Tech Report

T.M.V. Janssen (Theo), G. Kok (Gerard) and L.G.L.T. Meertens (Lambert)

Categories of topological transformation groups : (prepublication) Tech Report

J. de Vries (Jan)