Publications from 2050

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 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

Explicit Parallel Two-Step Runge-Kutta-Nyström Methods Article

N. Cong

How to share concurrent wait-free variables Article

M. Li (Ming), J.T. Tromp (John) and P.M.B. Vitányi (Paul)

Analyse van beelden en andere ruimtelijke data Article

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

Communication, synchronization and fault tolerance Dissertation

J.H. Hoepman (Jaap-Henk)

Numerical methods in smog prediction Dissertation

M. van Loon (Martin)

Functorial operational semantics and its denotational dual Dissertation

D. Turi

Scheduling complete intrees on two uniform processors with communication delays Article

J. Blazewicz, P. Bouvry, F. Guinand and D. Trystram

MK Papier 96/1 : Festschrift t.g.v. het afscheid van Joke Sterringa, 31.05.1996 Book

Confluence and normalisation for higher-order rewriting Dissertation

F. van Raamsdonk (Femke)

SMC/AE symposium on informatics, 11-12.04.1996 : SMC vijftig jaar Booklet

Uitnodiging voor afscheidsreceptie van Elsa Herweijer Other

Soiree Wiskunde & Informatica: een gouden bruiloft : een bijzondere avond met voordrachten door Donald E. Knuth en Benoit B. Mandelbrot, 12.03.1996 : programma Booklet

25 Years of SMC art - R.T. Baanders 1971-1996 Book

25 [Jaar] SMC art : R. T. Baanders 1971-1996 Miscellaneous

T. Baanders (Tobias)

Subspace iteration for eigenproblems Article

H.A. van der Vorst (Henk)

Choice sequences: a retrospect Article

A.S. Troelstra

The effect of stopping Newton-type iterations in implicit linear multistep methods Article

M.N. Spijker

The failed fusion of two mathematical reviewing journals 1932-1934 : an episode from the history of Dutch-German mathematical relations Article

R. Siegmund-Schultze

Spatial patterns in higher order phase transitions Article

L.A. Peletier (Bert) and W.C. Troy

Degree theory beyond continuous maps Article

L. Nirenberg

A scalpel, not a sledgehammer: qualitative approach to numerical mathematics Article

A. Iserles

Foundations of the cumulative hierarchy of sets Article

A.J.C. Hurkens

Computational aspects of systems over rings : reachability and stabilizability Article

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

Mathematical modelling in applied analysis Article

E.W.C. van Groesen

Estimation in restricted parameter spaces : some history and some recent developments Article

C. van Eeden (Constance)