Publications from before 2016

Probabilistic and analytical aspects of the umbral calculus Book

A. Di Bucchianico

Splitting methods for three-dimensional transport models with interaction terms Article

P.J. van der Houwen (Piet), M. Guedda, D. Hilhorst (Danielle), M.A. Peletier (Mark) and B.P. Sommeijer (Ben)

Probability and lattices Book

W. Vervaat and H. Holwerda

A new world record for the special number field sieve factoring method Article

P.L. Montgomery, S.H. Cavallar (Stefania) and H.J.J. te Riele (Herman)

The miraculous universal distribution Article

W. Kirchherr, M. Li (Ming) and P.M.B. Vitányi (Paul)

Termination for a class of algorithms for constructing algebras given by generators and relations In Proceedings

M.A.A. van Leeuwen (Marc) and M. Roelofs

On the subject reduction property for algebraic type systems In Proceedings

G. Barthe and P.-A. Melliès

Average-case analysis via incompressibility In Proceedings

M. Li (Ming) and P.M.B. Vitányi (Paul)

Efficient and provable security amplifications In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and T.P. Pedersen (Torben Pryds)

A simple proof of the ratio ergodic theorem Article

T. Kamae and M.S. Keane

Vakantiecursus [Centrum voor Wiskunde en Informatica] 1997 : rekenen op het toeval Book

Lambda calculus with explicit recursion Article

Z.M. Ariola (Zena) and J.W. Klop (Jan Willem)

Euler-Chebyshev methods for integro-differential equations In Proceedings

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

A numerical method with floating meshes for singularly perturbed problems with a concentrated disturbance in the initial data In Proceedings

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

Approximating Runge-Kutta matrices by triangular matrices Article

W. Hoffmann (Walter) and J.J.B. de Swart (Jacques)

Geometry of Cuts and Metrics Book

M. Deza and M. Laurent (Monique)

On Hellinger processes for parametric families of experiments In Proceedings

K.O. Dzhaparidze (Kacha), P.J.C. Spreij (Peter) and E. Valkeila

Parallel linear system solvers for Runge-Kutta-Nyström methods In Proceedings

P.J. van der Houwen (Piet) and E. Messina

Jan de Witt - Elementa Curvarum Linearum Liber Primus - Geannoteerde Nederlandse vertaling Book

A.W. Grootendorst (Albert)

Inferring a DNA sequence from erroneous copies In Proceedings

J. Kececioglu, M. Li (Ming) and J.T. Tromp (John)

Short time behavior in de Gennes' reptation model Article

U. Ebert (Ute), A. Baumgärtner and L. Schäfer

Propagation and Structure of Planar Streamer Fronts Article

U. Ebert (Ute), W. van Saarloos and C. Caroli

Connections between semidefinite relaxations of the max-cut and stable set problems Article

M. Laurent (Monique), S. Poljak and F. Rendl (Franz)

The real positive semidefinite completion problem for series-parallel graphs Article

M. Laurent (Monique)

Geometric Integrators for Classical Spin Systems Article

J.E. Frank (Jason), W. Huang (Wei) and B.J. Leimkuhler (Ben)

3D multigrid on partially ordered sets of grids Article

P.W. Hemker (Piet), B. Koren (Barry) and J. Noordmans

Standard multigrid techniques for CFD In Proceedings

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

Solution-adaptive multigrid for steady gas dynamics problems Article

P.W. Hemker (Piet), B. Koren (Barry), M. Nool (Margreet), W.M. Lioen (Walter) and H.T.M. van der Maarel (Eric)

System Design for Structured Hypermedia Generation Book Chapter

M. Worring (Marcel), C.A. van den Berg (Carel), L. Hardman (Lynda) and A. Tam

Document Model Issues for Hypermedia Book Chapter

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

Generic Hypermedia Structure and Presentation Specification In Proceedings

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

Cooperative use of MHEG and HyTime in Hypermedia Environments In Proceedings

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

Models, Media and Motion: Using the Web to Support Multimedia Documents Article

D.C.A. Bulterman (Dick)

Creating Adaptive Hyperdocuments for and on the Web In Proceedings

P.M.E. de Bra and L. Calvi

FishNet: Finding and Maintaining Information on the Net In Proceedings

P.M.E. de Bra and W.J.M. Lemmens (Pim)

Improving the Usability of Hypertext Courseware through Adaptive Linking In Proceedings

L. Calvi and P.M.E. de Bra

Using Dynamic Hypertext to Create Multi-Purpose Textbooks In Proceedings

L. Calvi and P.M.E. de Bra

A framework for multi query optimization In Proceedings

S.R. Choenni (Sunil), M.L. Kersten (Martin) and J.F.P. van den Akker (Johan)

World Wide Web Presentations for Volatile Hypermedia Database Output Article

G.J. Houben and P.M.E. de Bra

Stability Considerations for Invariant Features in the Solution to the Inverse Fractal Problem with the Wavelet Transform In Proceedings

Z.R. Struzik

Enriching Active Databases with Agent Technology In Proceedings

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

Fitting the Generic Multi-Parameter Crossover Model: Towards Realistic Scaling Estimates Book Chapter

Z.R. Struzik, E.H. Dooijes and F.C.A. Groen

Duplicate-free Generation of Alternatives in Transformation-based Optimizers In Proceedings

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

Region-based indexing in an image database In Proceedings

N.J. Nes (Niels) and M.L. Kersten (Martin)

Data Mining, een Introductie In Proceedings

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

Load Balanced Query Evaluation in Shared-Everything Environments In Proceedings

S. Manegold (Stefan), J.K. Obermaier and F. Waas (Florian)

Keso: Minimizing Database Interaction In Proceedings

A.P.J.M. Siebes (Arno) and M.L. Kersten (Martin)

Query Optimization to Support Data Mining In Proceedings

S.R. Choenni (Sunil) and A.P.J.M. Siebes (Arno)

A Cellular Database System for the 21th Century In Proceedings

M.L. Kersten (Martin)

Research and Business challanges in Data Mining Technology In Proceedings

M.L. Kersten (Martin), A.P.J.M. Siebes (Arno), M. Holsheimer and F. Kwakkel

The Complexity of Transformation-Based Join Enumeration In Proceedings

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

Data Mining Algorithmen Article

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

In Quest of the Bottleneck - Monitoring Parallel Database Systems In Proceedings

S. Manegold (Stefan), F. Waas (Florian) and D. Gudlat

Standard multigrid techniques for CFD Tech Report

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

Euler and Navier-Stokes solvers using multi-dimensional upwind schemes and multigrid acceleration Book

Prior distributions for {Bayesian} image analysis Tech Report

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

Indices of dependence between types in multivariate point patterns Tech Report

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

Prior distributions for Bayesian image analysis In Proceedings

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

The statistical theory of shape Article

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

On likellihoods for Markov random sets and Boolean models In Proceedings

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

Simulation as a correct transformation of rewrite systems In Proceedings

W.J. Fokkink (Wan) and J.C. van de Pol (Jaco)

Current and emerging applications Book Chapter

C. Breiteneder, W. Klas and A.P. de Vries (Arjen)

Algorithmic and computer methods for three-manifolds Book

A.T. Fomenko and S.V. Matveev

Intelligent television: a testbed for multimedia information filtering Tech Report

A.P. de Vries (Arjen)

Search and imperative programming In Proceedings

K.R. Apt (Krzysztof) and A. Schaerf

Index : Artificial intelligence 1997 Article

M. Hazewinkel (Michiel)

Semi-coarsening in three directions for Euler-flow computations in three dimensions. Book Chapter

B. Koren (Barry), P.W. Hemker (Piet) and P.M. de Zeeuw (Paul)

Multigrid for steady gas dynamics problems Book Chapter

P.W. Hemker (Piet), B. Koren (Barry), W.M. Lioen (Walter), M. Nool (Margreet) and H.T.M. van der Maarel (Eric)

Finite volume multigrid for 3D-problems Article

P.W. Hemker (Piet)

Verification of sequential and concurrent programs Book

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

Nieuwjaarskaart 1997 Other

CWI, Amsterdam, The Netherlands

Experiments in specification re-engineering Dissertation

J. A. Hillebrand (Joris)

Termination of Higher-order Rewrite Systems Dissertation

J.C. van de Pol (Jaco)

Toegangsbewijs Soirée Wiskunde & Informatica: een gouden bruiloft met voordrachten door Donald E. Knuth en Benoit B. Mandelbrot, Park Plaza Hotel, Amsterdam, 12.03.1996 Miscellaneous

Rare event analysis of communication networks Dissertation

M.R.H. Mandjes (Michel)

Cascading Style Sheets, level 1 Standard

S. Pemberton (Steven), H.W. Lie and B. Bos

A crash course in stochastic calculus with applications to mathematical finance Article

P.J.C. Spreij (Peter)

No-arbitrage, change of measure and conditional Esscher transforms Article

H. Bühlmann, F. Delbaen (Freddy), P. Embrechts and A.N. Shiryaev

Challenges in Human-Computer Interfaces: Making the Technology Serve the User Article

D.C.A. Bulterman (Dick)

Confluence for process verification Article

J.F. Groote (Jan Friso) and M.P.A. Sellink

Topological dualities in semantics Dissertation

M.M. Bonsangue (Marcello)

Uitnodiging Lustrum Paul Vitanyi 1971 - 1996 @ CWI Programma en inschrijfformulier Other

Discrete event control motivated by layered network architectures Dissertation

A.A.F. Overkamp (Ard)

On the diagonal approximation of full matrices Article

W.M. Lioen (Walter)

ANDES: Evaluating mapping strategies with synthetic programs Article

J.P. Kitajima, B. Plateau, P. Bouvry (Pascal) and D. Trystram

Solving boundary value problems on composite grids with an application to combustion Dissertation

P.J.J. Ferket

Uitnodiging en programma WCW Open Dag 1996 Other

Fluid queues and regular variation Article

O.J. Boxma (Onno)

Parameter estimation in dynamic systems Article

W.J.H. Stortelder (Walter)

Logic programming and non-monotonic reasoning Dissertation

F. J. M. Teusink (Frank)

Compilation of term rewriting systems Dissertation

J.F.T. Kamperman (Jasper)

CARDIS 1996 - Smart card research and advanced applications Proceedings

Data flow analysis for reverse engineering Master Thesis

L.M.F. Moonen (Leon)

A retrospective view on sampled-data control systems Article

Y. Yamamoto

On information structures and nonsequential stochastic control Article

D. Teneketzis

Geometric methods in stochastic realization and system identification Article

G. Picci

Probability in the real world as a system attribute Article

R.E. Kalman

Time series econometrics Article

M. Deistler

Rekenen aan de universiteit Article

P.W. Hemker (Piet)

Vakantiecursus 1996 - Chaos - programma + aanmeldingsformulier 50ste Vakantiecursus Booklet