Publications from 2086

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 and A.A.M. Kuijk (Fons)

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

P.C. Marais, E.H. Blake 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 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)

Explicit parallel two-step Runge-Kutta-Nyström methods Tech Report

N. Cong

Origin tracking in primitive recursive schemes Tech Report

A. van Deursen (Arie)

Logic programming and negation: a survey Tech Report

K.R. Apt (Krzysztof) and R.N. Bol

An approach to schema integration based on transformations and behaviour Tech Report

C.J.E. Thieme and A.P.J.M. Siebes (Arno)

Outerjoins as disjunctions Tech Report

C.A. Galindo-Legaria (César)

Term rewriting properties of SOS axiomatisations Tech Report

D.J.B. Bosscher (Doeko)

Data mining. The search for knowledge in databases Tech Report

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

The Goblin database programming language Tech Report

M.L. Kersten (Martin), C.A. van den Berg (Carel), A.P.J.M. Siebes (Arno) and C.J.E. Thieme

Initial algebra and final coalgebra semantics for concurrency Tech Report

J.J.M.M. Rutten (Jan) and D. Turi

Data mining : schatgraven in databases Tech Report

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

The $s$-semantics approach; theory and applications Tech Report

A. Bossi, M. Gabbrielli, G. Levi and M. Martelli

Axioms for $ aleph_ 0 $-categorical orderings Tech Report

H.A.N. van Maanen

Program verification and prolog Tech Report

K.R. Apt (Krzysztof)

Linguistics, logic, and finite trees Tech Report

P. Blackburn (Patrick) and W. P. M. Meyer Viol (Wilfried)

Proofs of partial knowledge and simplified design of witness hiding protocols Tech Report

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and L.A.M. Schoenmakers (Berry)

Line segment rasterization in n-dimensional space Tech Report

C.A. Wüthrich

A complete equational axiomatisation for prefix iteration Tech Report

W.J. Fokkink (Wan)

Fast, randomized join-order selection : why use transformations? Tech Report

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

Implementation and performance of a three-dimensional numerical transport model Tech Report

B.P. Sommeijer (Ben) and J. Kok (Jan)

VLUGR2: a vectorizable adaptive grid solver for PDEs in 2D Tech Report

J.G. Blom (Joke), R.A. Trompert (Ronald) and J.G. Verwer (Jan)

VLUGR3: a vectorizable adaptive grid solver for PDEs in 3D, part I: Algorithmic aspects and applications Tech Report

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

CQG algebras: a direct algebraic approach to compact quantum groups Tech Report

M. Dijkhuizen and T.H. Koornwinder

Polling systems with multiple coupled servers Tech Report

S.C. Borst (Sem)

Self-dual morphological operators and filters Tech Report

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

Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics Tech Report

J.G.L. Booten, P.M. Meijer, H.J.J. te Riele (Herman) and H.A. van der Vorst (Henk)

Analysis of multiple-server polling systems by means of the power-series algorithm Tech Report

R.D. van der Mei (Rob) and S.C. Borst (Sem)

Declarative interpretations reconsidered Tech Report

K.R. Apt (Krzysztof) and M. Gabbrielli