Publications from 2020

Monet: An Impressionist Sketch of an Advanced Database System In Proceedings

P.A. Boncz (Peter) and M.L. Kersten (Martin)

Applying an Advanced Data Model to Graphic Constraint Handling In Proceedings

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

TOPYDE: A Tool for Physical Database Design In Proceedings

S.R. Choenni (Sunil), H. Wagterveld, H.M. Blanken and T. Chang

An Active Component for a Parallel Database Kernel In Proceedings

M.L. Kersten (Martin)

Calibration of a DBMS Cost Model With the Software Testpilot In Proceedings

F. Andres, F. Kwakkel and M.L. Kersten (Martin)

Are relativistic effects significant for the analysis of whistler-mode waves in the earth's magnetosphere? Book Chapter

S.S. Sazhin, A.E. Sumner and N.M. Temme (Nico)

Strict functionals for termination proofs In Proceedings

J.C. van de Pol (Jaco) and H. Schwichtenberg

Two different strong normalization proofs? - computability versus functionals of finite type - In Proceedings

J.C. van de Pol (Jaco)

Stochastic geometry models in image analysis and spatial statistics Article

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

Area-interaction point processes Article

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

Markov chain Monte Carlo methods for clustering of image features In Proceedings

M.N.M. van Lieshout (Marie-Colette) and A.J. Baddeley (Adrian)

Markov point processes and their applications in high-level imaging Article

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

Linear vs non-linear mathematics with emphasis on the KdV equation and other Liouville integrable systems In Proceedings

M. Hazewinkel (Michiel)

Review of "Handbook of logic in computer science, Vols. 1&2" by Gabby, D. M. (ed.), Abramsky, S. (ed.) and Maibaum, T. S. E. (ed.) Article

K.R. Apt (Krzysztof)

Let's talk about it: dialogues with multimedia databases Tech Report

A.P. de Vries (Arjen), G.C. van der Veer and H.M. Blanken

Meta-logics and logic programming Book

Preface: Meta-logics and logic programming 1995 Preface

K.R. Apt (Krzysztof) and F. Turini

Radio and television information filtering through speech recognition Tech Report

A.P. de Vries (Arjen)

Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings

K.R. Apt (Krzysztof)

Verification of logic programs with delay declarations In Proceedings

K.R. Apt (Krzysztof) and I. Luitjes

Index : Theoretical computer science 1995 Article

M. Hazewinkel (Michiel) and S. van Dongen

Handbook of algebra Book

Program verification and Prolog Book Chapter

K.R. Apt (Krzysztof)

Symmetry, Yang-Baxter equation, quantum groups, and link invariants Tech Report

M. Hazewinkel (Michiel)

Third Siberian School Algebra and Analysis Book

Y.G. Reshetnyak (Yurii)

KdV '95 : proceedings of the international symposium held in Amsterdam, The Netherlands, 23-26.04.1995 Book

Convergence analysis of the defect-correction iteration for hyperbolic problems Article

J.-A. Désidéri and P.W. Hemker (Piet)

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