Publications from before 2016

Uitnodiging voor de afscheidsdag van Prof.dr. P. C. Baayen, wetenschappelijk directeur SMC, 20.12.1994 Other

The gap topology for linear systems : a geometric approach Dissertation

J. de Does (Jesse)

Clocks, trees and stars in process theory Dissertation

W.J. Fokkink (Wan)

Verantwoording bij de verbreking van een verhouding : rede uitgesproken bij het afscheid als wetenschappelijk directeur van de Stichting Mathematisch Centrum, 20.12.1994 Farewell Lecture

P.C. Baayen

Prime numbers in quadratic fields Article

T.J. Dekker

A survey of modern integer factorization algorithms Article

P.L. Montgomery

Introduction to the special issue [of CWI Quarterly 7(1994)4] on computational number theory Article

H.J.J. te Riele (Herman)

Randomness Book Chapter

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

Stability Analysis of a Difference Scheme for Three-Dimensional Advection-Diffusion Problems (Dedicated to Cor Baayen at the occasion of his retirement as our scientific Director) Book Chapter

J.G. Verwer (Jan) and B.P. Sommeijer (Ben)

Verification of a Distributed Summation Algorithm Book Chapter

F.W. Vaandrager (Frits)

Kleene's Realizability (for Cor Baayen) Book Chapter

A.S. Troelstra

Bernoulli Polynomials Old and New: Problems in Complex Analysis and Asymptotics Book Chapter

Data Mining: Exploratory Data Analysis on Very Large Databases (To professor Baayen at the occasion of his retirement) Book Chapter

A.P.J.M. Siebes (Arno)

Rambling along paths, trees, flows, curves, knots, and rails Book Chapter

A. Schrijver (Lex)

Job scheduling on a parallel shared memory bus computer (Dedicated to Cor Baayen, With esteem and admiration) Book Chapter

H.J.J. te Riele (Herman)

Fast, Randomized Join-Order and Join-Method Selection Combined with Transformation Based Optimization Book Chapter

A.J. Pellenkoft (Jan), C.A. Galindo-Legaria (César) and M.L. Kersten (Martin)

Control of Discrete Event Systems - Research at the Interface of Control Theory an Computer Science Book Chapter

A.A.F. Overkamp (Ard) and J.H. van Schuppen (Jan)

The Expansion Theorem for Median Graphs (To Cor Baayen, at the occasion of his retirement) Book Chapter

H.M. Mulder (Henry Martyn)

Actions on the Hilbert cube (To Cor Baayen, at the occasion of his retirement) Book Chapter

J. van Mill (Jan)

Systematic Computations on Mertens' Conjecture and Dirichlet's divisor Problem by Vectorized Sieving (Dedicated to Cor Baayen, at the occasion of his retirement as scientific director of SMC and its CWI) Book Chapter

W.M. Lioen (Walter) and J. van de Lune (Jan)

Adaptive Spline-Wavelet Image Encoding and Real-Time Synthesis on a VLSI Difference Engine for Image Generation (To Cor Baayen, at the occasion of his retirement) Book Chapter

A.A.M. Kuijk (Fons), P.C. Marais and E.H. Blake (Edwin)

Special Functions Associated with Root Systems: Recent Progress Book Chapter

T.H. Koornwinder

Het Europese ESPRIT Programma: Een Persoonlijk Perspectief (Opgedragen aan Cor Baayen voor zijn bijdrage aan de Europese samenwerking op het gebied van Wiskunde en Informatica) Book Chapter

P. Klint (Paul)

The Essence of the Law of Large Numbers Book Chapter

M.S. Keane

On the History of Runge-Kutta Methods (To Cor Baayen, at the occasion of his retirement) Book Chapter

P.J. van der Houwen (Piet)

Premo: An ISO Standard for a Presentation Environment for Multimedia Objects (To Cor Baayen, at the occasion of his retirement) Book Chapter

I. Herman (Ivan), P.J.W. ten Hagen (Paul) and G.J. Reynolds

Prehistory of the ASF + SDF System (1980-1984) (Dedicated to Cor Baayen) Book Chapter

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

The Wouthuysen Equation Book Chapter

M. Hazewinkel (Michiel)

Mathematics as the Paradigm for Metaphysics (Dedicated to Prof. Cor Baayen, who retires as the scientific director of CWI, and who can therefore revive his interest in philosophy) Book Chapter

L.E. Fleischhacker

The full non-renameability result; a lost tale (Dedicated to Cor Baayen at the occasion of his retirement from the CWI) Book Chapter

P. van Emde Boas (Peter)

A Natural Term Language Book Chapter

D.J.N. van Eijck (Jan)

Research in Computational Fluid Dynamics Stimulated by ERCIM Book Chapter

J.-A. Désidéri, P.W. Hemker (Piet), B. Koren (Barry) and M.H. Lallemand

Yet Another Lecture on the Icosahedron Book Chapter

A.M. Cohen (Arjeh)

A Framework for Adaptive Networked Multimedia Book Chapter

D.C.A. Bulterman (Dick)

Finite graphs in which the point neighbourhoods are the maximal independent sets Book Chapter

A.E. Brouwer (Andries)

Polling systems Book Chapter

O.J. Boxma (Onno)

Introductory note to "Object-Oriented Algebra Specification" Book Chapter

J.A. Bergstra (Jan), J. Heering (Jan) and J.W. Klop (Jan Willem)

A New World Underneath Standard Logic: Cylindric Algebra, Modality and Quantification Book Chapter

J. F. A. K. van Benthem (Johan)

New Trends in Applied Mathematics (Dedicated Professor to Cor Baayen) Book Chapter

A. Bensoussan

Discriminating coded lambda terms (Dedicated in friendship to Cor Baayen on the occasion of his retirement) Book Chapter

H.P. Barendregt (Henk)

The randomness assumption in word frequency statistics Book Chapter

R.H. Baayen

The Manifold Coordination Language (To Cor Baayen, at the occasion of his retirement) Book Chapter

F. Arbab (Farhad) and I. Herman (Ivan)

Comparing Negation in Logic Programming and in Prolog Book Chapter

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

Operational Operations Research at the Mathematical Centre Book Chapter

J.M. Anthonisse and J.K. Lenstra (Jan Karel)

Dat was volkomen abracadabra voor me, maar het leek me wel heel erg interessant (Interview met Cor Baayen) Book Chapter

A. Schrijver (Lex)

Een woord vooraf Book Chapter

G.Y. Nieuwland

Polling systems Dissertation

S.C. Borst (Sem)

Quadratic vs cubic spline-wavelets for image representation and compression In Proceedings

P.C. Marais, E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

Adaptive Spline-Wavelet Image Encoding and Real-Time Synthesis In Proceedings

P.C. Marais, E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

Supervised boundary formation Dissertation

C. M. Orange (Carol)

Uitnodiging voor viering van 25 jarig dienstverband van Jan de Vries. Met de voordracht "Even slikken" door Dr. E. Wattel (VU, Amsterdam). Other

M. (tr.) Hazewinkel (Michiel)

Modular algebraic specifications and transformational program development Dissertation

N.W.P. van Diepen

Programma wetenschapsdag zondag 9 oktober 1994 Booklet

Strategische samenwerking in research & development : CWI in bedrijf, 07.10.1994 Booklet

Uitnodiging viering 25-jarig jubileum Dik Winter Other

Executable language definitions : case studies and origin tracking techniques Dissertation

A. van Deursen (Arie)

Conferentie van numeriek wiskundigen, Zeist, 26-28.09.1994 : programma en abstracts Booklet

Explorations of the dynamic environment Dissertation

C.F.M. Vermeulen (Kees)

CWI Bakker quarterly number 1 : uitgave t.g.v. het 25-jarig jubileum van M[iente] Bakker bij de Stichting Mathematisch Centrum, Amsterdam, September 1994 Book

Minisymposium in honour of Jaroslav Hájek, 8th June 1994, Charles University, Prague, Czech Republic Article

R. Helmers (Roelof)

A general introduction to software reliability Article

M.C. J. van Pul (Mark)

Experience with a difference engine for graphics In Proceedings

A.A.M. Kuijk (Fons), E.H. Blake (Edwin) and E.H. Steffens

Computeralgebra : vakantiecursus 1994 : programma Booklet

Periodic assignment and graph colouring Article

J. Korst (Jan), E.H.L. Aarts (Emile), J.K. Lenstra (Jan Karel) and J. Wessels (Jaap)

CWI's experimentation with High-Speed Communication: Life near the fast lane... Article

D.C.A. Bulterman (Dick)

Set functionals in stochastic geometry Dissertation

A.J. Cabo (Annoesjka)

Graphs and curves on surfaces Dissertation

M. de Graaf (Maurits)

Algebraic and computational aspects of time-delay systems Dissertation

L.C.G.J.M. Habets (Luc)

Shared data spaces for distributed computing and parallelism in scientific visualization systems Article

M. Grave

How scientific visualization can benefit from virtual environments Article

H. Haase, M. Göbel, P. Astheimer, K. Karlsson, F. Schröder, T. Frühauf and R. Ziegler

Visualization of multi-dimensional scalar functions using HyperSlice Article

R. van Liere (Robert) and J.J. van Wijk (Jack)

Visualization techniques for vector fields with applications to flow data Article

F.H. Post (Frits), T. van Walsum, W.C. de Leeuw (Wim) and A.J.S. Hin

Application of scientific visualization in a physics environment Article

H.J.W. Spoelder and F.C.A. Groen

Syntactic definitions of undefined: On defining the undefined In Proceedings

Z.M. Ariola (Zena), J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

Diffusion langer Polymerketten in einem eingefrorenen Zufallsmedium : eine Renormierungsgruppenanalyse Dissertation

U. Ebert (Ute)

Stochastic geometry models in image analysis and spatial statistics Dissertation

M.N.M. van Lieshout (Marie-Colette)

Supporting Adaptive Multimedia In Proceedings

D.C.A. Bulterman (Dick)

Parallel Runge-Kutta-Nyström methods Dissertation

Huu Cong Nguyen

Small grains with high lead concentration in Chainpur In Proceedings

J.L.A.M. Kramer, A.C. Kik (Annette) and R.D. Vis

30 Years after Sketchpad: relaxation of geometric constraints revisited Article

C.W.A.M. van Overveld

Huygens : carrying the world in your back pocket Article

S.J. Mullender (Sape)

MADE: a multimedia application development environment Article

I. Herman (Ivan), G.J. Reynolds and J. Davy

Authoring interactive multimedia: problems and prospects Article

L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

Managing the Adaptive Processing of Distributed Multimedia Information Article

D.C.A. Bulterman (Dick)

Funding of academic mathematical research in The Netherlands Article

M. Bakker (Miente)

Dynamic query processing in a parallel object-oriented database system Dissertation

C.A. van den Berg (Carel)

Generating uniform user-interfaces Dissertation

J.W.C. Koorn

VLUGR3: a vectorizable adaptive grid solver for PDEs in 3D, part II: Code description Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

Which data types have w-complete initial algebra specifications? Article

J.A. Bergstra (Jan) and J. Heering (Jan)

Local uniform grid refinement for time-dependent partial differential equations Dissertation

R.A. Trompert (Ronald)

Nineteenth conference on the mathematics of operations research, and: Fifth international workshop Landelijk Netwerk Mathematische Besliskunde : Lunteren, 11-14.01.1994 : program and abstracts Booklet

Research in computational fluid dynamic, stimulated by ERCIM In Proceedings

J.-A. Désidéri, P.W. Hemker (Piet), M.H. Lallemand and B. Koren (Barry)

Product forms based on backward traffic equations Tech Report

R.J. Boucherie (Richard)

A structural characterisation of product form stochastic Petri nets Tech Report

R.J. Boucherie (Richard) and M. Sereno

Structural identifiability of dynamic systems operating under feedback with application to economic systems Tech Report

I.G. Sterlina and J.H. van Schuppen (Jan)

On the power series algorithm Tech Report

G.M. Koole (Ger)

Assigning a single server to inhomogeneous queues with switching costs Tech Report

G.M. Koole (Ger)

On the effective bandwidth in buffer design for the multi-server channels Tech Report

J.W. Cohen

On periodic Pollaczek waiting time processes Tech Report

J.W. Cohen

Parallel iteration schemes for implicit ODEIVP methods Tech Report

P.J. van der Houwen (Piet)