Publications from 2040

Theory of linear and integer programming Book

A. Schrijver (Lex)

A nonlinear multi-grid method for the steady Euler equations Tech Report

P.W. Hemker (Piet) and B. Koren (Barry)

Computation of layers in Eulerian gas flow In Proceedings

P.W. Hemker (Piet)

Geometric methods in discrete optimization Article

A. Schrijver (Lex)

Polyhedral proof methods in combinatorial optimization Article

A. Schrijver (Lex)

Relaxations of vertex packing Article

M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)

An integer analogue of Carathéodory's Theorem Article

W.J. Cook, J. Fonlupt and A. Schrijver (Lex)

Sensitivity theorems in integer programming Article

W.J. Cook, A.M.H. Gerards (Bert), A. Schrijver (Lex) and É. Tardos

Nieuwjaarskaart 1986 'We wish you a very happy new year' Other

CWI, Amsterdam, The Netherlands

Numerical time-stepping in partial differential equations Tech Report

J.G. Verwer (Jan)

The seventh MTNS symposium Stockholm, June 10-14, 1985 Tech Report

J.M. Schumacher (Hans)

Semiparametric models: progress and problems Tech Report

J.A. Wellner

Homogeneous zero-dimensional absolute Borel sets Dissertation

A.J.M. van Engelen

Principles of distributed operating system design Dissertation

S.J. Mullender (Sape)

The B programmer's handbook : for using B on Unix systems, IBM PC's and compatibles under DOS Book

L.J.M. Geurts (Leo), L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

Conferentie van numeriek wiskundigen : Zeist, 30.09-02.10.1985 : programma Booklet

The misconstrued semicolon : reconciling imperative languages and dataflow machines Dissertation

A.H. Veen (Arthur)

The home of the Big Whopper Tech Report

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

A recent algorithm for the factorization of polynomials Tech Report

A.K. Lenstra (Arjen)

The new Linear programming method of Karmarkar Tech Report

A. Schrijver (Lex)

Cryptanalysis of DES with a reduced number of rounds: Sequences of linear factors in block ciphers In Proceedings

D. Chaum (David) and J.-H. Evertse (Jan-Hendrik)

Order dependence Dissertation

B.F. Schriever (Bert)

ESPRIT/LPC advanced school on current trends in concurrency : Noordwijkerhout, 10-21.06.1985 : program Booklet

A Model for a Secure Programming Environment Dissertation

M.L. Kersten (Martin)

Beleidsbegroting 1986, en: Meerjarenraming 1987-1991 Stichting Mathematisch Centrum Book

CWI CWI

Ontwikkelingsplan informatica-onderzoek CWI : uitwerking voor de jaren 1986-1989 Book

CWI CWI

On the zeros of the Riemann zeta function in the critical strip IV Tech Report

J. van de Lune (Jan), H.J.J. te Riele (Herman) and D.T. Winter (Dik)

Vehicle routing and computer graphics Tech Report

M.W.P. Savelsbergh

Set theory and topology Tech Report

J. van Mill (Jan)

Erich L. Lehmann was granted an honorary degree by the University of Leiden on 8th February 1985 Tech Report

W.R. van Zwet (Willem)

Second order approximations Tech Report

W. Albers

Design and analysis of algorithms for stochastic integer programming Dissertation

L. Stougie (Leen)

Algebraic groups with a commuting pair of involutions and semisimple symmetric spaces Dissertation

A.G. Helminck

Dynamics of structured populations Dissertation

H.J.A.M. Heijmans (Henk)

Workshop Ontwikkelingsplan Informatica Onderzoek : Noordwijk, 13-14.05.1985 : verslag Booklet

Entire functions of Paley-Wiener type in Cn, Radon transforms and problems of holomorphic extension Dissertation

J.J.O.O. Wiegerinck (Jan)

Production-inventory control models : approximations and algorithms Dissertation

A.G. de Kok (Ton)

The Pythagoras tree as a Julia set Tech Report

H.A. Lauwerier

Calculating by steam : book review Tech Report

H. Cohen

Mathematical libraries in Ada Tech Report

J. Kok (Jan)

Aspects of Quantification in Natural Language Dissertation

D.J.N. van Eijck (Jan)

Some Contributions to Percolation Theory Dissertation

J. van den Berg (Rob)

On the product and sum of a system of transformation semi-groups Tech Report

P.C. Baayen and Z. Hedrlin

Special orthogonal polynomial systems mapped onto each other by the Fourier-Jacobi transform Tech Report

T.H. Koornwinder

Stability, multiplicity and global continuation of symmetric periodic solutions of a nonlinear Volterra integral equation Tech Report

S.-N. Chow, O. Diekmann (Odo) and J. Mallet-Paret

The Pythagoras tree as a Julia set Tech Report

H.A. Lauwerier

Symmetric linear multistep methods for second-order differential equations with periodic solutions Tech Report

B.P. Sommeijer (Ben), P.J. van der Houwen (Piet) and B. Neta

Partial evaluation and w-completeness of algebraic specifications Tech Report

J. Heering (Jan)

Simple mathematical models for cannibalism: a critique and a new approach Tech Report

O. Diekmann (Odo), R.M. Nisbet, W.S.C. Gurney and F. van den Bosch

On the holomorphic continuation of the Iwasawa and a related decomposition Tech Report

E.P. van der Ban

Numerical integration of retarded differential equations with periodic solutions Tech Report

H. Arndt, P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

Integer-square-root : een voorbeeld van en inleiding tot programmatransformaties [an example of and introduction to program transformations] Tech Report

N.W.P. van Diepen

Variaties op het thema 'stack' [Variations on the theme 'stack'] : een oefening in algebraische specificatie [an exercise in algebraic specification] Tech Report

J. Heering (Jan)

Conditional axioms and ***/*** calculus in process algebra Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Syntax and defining equations for an interrupt mechanism in process algebra Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Algebraic definition of a simple programming language Tech Report

J.A. Bergstra (Jan), J. Heering (Jan) and P. Klint (Paul)

On the theory of topographic vorticity production by tidal currents Tech Report

N.M. Temme (Nico) and J.T.F. Zimmerman

Implementation of a new primality test Tech Report

H. Cohen and A.K. Lenstra (Arjen)

Transition systems, infinitary languages and the semantics of uniform concurrency Tech Report

J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules), E.R. Olderog (Ernst-Rüdiger) and J.I. Zucker

Onderzoek volgtijden op de 2x2-strooks autosnelweg [Investigation of leadways on the 2x2 lane freeway] Tech Report

P. Groeneboom

The total time on test plot and the cumulative total time on test statistic for a counting process Tech Report

R.D. Gill (Richard)

Computation of all the amicable pairs below 10*** Tech Report

H.J.J. te Riele (Herman)

A distributed file service based on optimistic concurrency control Tech Report

S.J. Mullender (Sape) and A.S. Tanenbaum (Andrew)

Infinite streams and finite observations in the semantics of uniform concurrency Tech Report

J.W. de Bakker (Jaco), J.-J.C. Meyer (John-Jules) and E.R. Olderog (Ernst-Rüdiger)

The efficiency of the equation interpreter compared with the UNH-PROLOG interpreter Tech Report

J. Heering (Jan) and P. Klint (Paul)

Eentalige programmeeromgevingen [Monolingual programming environments] Tech Report

J. Heering (Jan)

Stochastic integer programming by dynamic programming Tech Report

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

Construction and analysis of a low order spectral model of the barotropic potential vorticity equation in a beta channel Tech Report

H.E. de Swart (Huibert)

Statistical investigation of weather conditions in the German Bight near Sylt, June-July 1984 Tech Report

R.D. Gill (Richard)

On estimating transition intensities of a Markov process with aggregate data of a certain type: occurrences but no exposures Tech Report

R.D. Gill (Richard)

Standard layout for scientific CWI-publications Tech Report

H. Noot (Han)

Multiple grid and Osher's scheme for the efficient solution of the steady Euler equations Tech Report

P.W. Hemker (Piet) and S.P. Spekreijse

On the economization of explicit Runge-Kutta methods Tech Report

B.P. Sommeijer (Ben)

Spatial discretization of hyperbolic equations with periodic solutions Tech Report

P.J. van der Houwen (Piet)

Two ADA mathematical functions packages for use in real time Tech Report

J. Kok (Jan)

Documentverwerking [Document processing] Tech Report

L.G. Bouma, J. Bruining and J.C. van Vliet (Hans)

Time-driven algorithms for distributed control Tech Report

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

On the consistency of Koomen's fair abstraction rule Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

A geometric approach to the singular filtering problem Tech Report

J.M. Schumacher (Hans)

Genuinely polynomial simplex and non-simplex algorithms for the minimum cost flow problem Tech Report

J.B. Orlin

The complexity of dynamic/periodic languages and optimization problems Tech Report

J.B. Orlin

Explicit Runge-Kutta (-Nyström) methods with reduced phase errors for computing oscillating solutions Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

Multigrid solution of the steady Euler equations Tech Report

P.W. Hemker (Piet) and S.P. Spekreijse

Convergence and order reduction of diagonally implicit Runge-Kutta schemes in the method of lines Tech Report

J.G. Verwer (Jan)

Discretization of hyperbolic differential equations with periodic solutions Tech Report

P.J. van der Houwen (Piet)

Performance evaluation of explicit shallow-water equations solver on the Cyber 205 Tech Report

F.W. Wubs (Fred)

A double integral containing the modified Bessel function: asymptotics and a device for computation Tech Report

N.M. Temme (Nico)

An abstract delay-differential equation modelling size dependent cell growth and division Tech Report

M. Gyllenberg and H.J.A.M. Heijmans (Henk)

The size and scar distributions of the yeast : saccharomyces cerevisiae Tech Report

M. Gyllenberg

On the odd-even hopscotch scheme for the numerical integration of time-dependent partial differential equations Tech Report

J.H.M. ten Thije Boonkkamp and J.G. Verwer (Jan)

Recursive constructions of mutually orthogonal latin squares Tech Report

A.E. Brouwer (Andries)

Uniqueness and nonexistence of some graphs related to M*** Tech Report

A.E. Brouwer (Andries)

A group theoretic interpretation of Wilson polynomials Tech Report

T.H. Koornwinder

Egg-eating predator-prey interactions: the effect of the functional response and age-structure Tech Report

F. van den Bosch and O. Diekmann (Odo)

Stability and B-convergence of linearly implicit Runge-Kutta methods Tech Report

W. Hundsdorfer (Willem)

A study of B-convergence of Runge-Kutta methods Tech Report

K. Burrage, W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

Some current developments in density estimation Tech Report

P. Groeneboom

A simple test of the proportional hazards assumption Tech Report

R.D. Gill (Richard) and M. Schumacher

On asymptotic inference about intensity parameters of a counting process Tech Report

K.O. Dzhaparidze (Kacha)

NUMVEC FORTRAN library manual : chapter: elliptic PDEs : routine: MGZEB Tech Report

W.M. Lioen (Walter)