Publications from 2099

On likelihoods for Markov random sets and Boolean models Tech Report

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

An index of spatial interaction in multivariate point patterns Tech Report

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

A nonparametric measure of spatial interaction in point patterns Article

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

Markov properties of cluster processes Article

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

Termination of higher-order rewrite systems Book

J.C. van de Pol (Jaco)

Correct transformation of rewrite systems for implementation purposes Tech Report

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

Radio and television information filtering through speech recognition In Proceedings

A.P. de Vries (Arjen)

Iterating the sum-of-divisors function Article

G.L. Cohen and H.J.J. te Riele (Herman)

A comparative study of algorithms for computing continued fractions of algebraic numbers In Proceedings

R.P. Brent, A.J. van der Poorten (Alf) and H.J.J. te Riele (Herman)

Bipartite graphs and automatic generation of thesauri Article

M. Hazewinkel (Michiel)

Enriched thesauri and their uses in information retrieval and storage In Proceedings

M. Hazewinkel (Michiel)

Applications of shortest path methods Dissertation

J.C. de Pina

Unconstrained constraint programming Article

J.E.A. van Hintum

Hot links and cool sites: how do you make an electronic journal readable? Article

S. Pemberton (Steven)

Web design Article

L.G. Barfield (Lon)

Finding information on the web Article

P.M.E. de Bra

The world wide web : an introduction Article

S. Pemberton (Steven)

Step-Parallel Algorithms for Stiff Initial Value Problems Article

W.A. van der Veen (Wolter)

Explicit parallel block Cholesky algorithms on the CRAY APP Article

M. Nool (Margreet)

Generic eigenvalue assignment by memoryless real output feedback Article

J. Rosenthal, J.M. Schumacher (Hans) and J.C. Willems

Wisselwerking in R&D : CWI in bedrijf, 06.10.1995 : programma Booklet

Formal Mechanisms for Left Extraposition in Dutch In Proceedings

A.V. Groenink (Annius)

A generalization of a subspace method for the symmetric eigenelements problem Article

A. Benaini and Z.M. Drissi

The extended parameter space of a model for 1:4 resonance Article

B. Krauskopf

Dynamic systems in search and optimisation Article

L. Pronzato

Characterizing Homotopy of Systems of Curves on a Compact Surface by Crossing Numbers Article

M. de Graaf (Mart) and A. Schrijver (Lex)

On the Invariance of Colin de Verdière's Graph Parameter Under Clique Sums Article

H. van der Holst, L. Lovász (László) and A. Schrijver (Lex)

Explicit methods for stiff ODEs from atmospheric chemistry Article

J.G. Verwer (Jan) and D. Simpson

Eurographics '95 : graphics, multimedia, virtual reality : annual conference of the European Association for Computer Graphics, Maastricht, 28.08-01.09.1995 : organized by CWI : first announcement Booklet

Kegelsneden en kwadratische vormen : vakantiecursus 1995 : programma Booklet

Interactive design of constrained variational curves Article

W. Wesselink and R.C. Veltkamp (Remco)

Uitnodiging voor receptie ter gelegenheid van 25-jarig dienstverband van Paul den Hertog Other

Studies in Dynamic Logic Dissertation

G. Cepparello (Giovanna)

Using Eiffel to Adaptively Render 3 Dimensional Images Article

T. van Rij and A.A.M. Kuijk (Fons)

Instantial Logic : an investigation into reasoning with instances Dissertation

W. P. M. Meyer Viol (Wilfried)

Sorting out signature schemes Article

B. Pfitzmann

The match-making problem Article

J.A.M. van de Graaf (Jeroen)

Oblivious verification of common string Article

C. Crépeau (Claude) and L. Salvail (Louis)

Guiding schema integration by behavioural information Article

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

Schema integration based on structure and behaviour Dissertation

C.J.E. Thieme

CWI mededelingen personeel 1995 - 2004 Miscellaneous

Uitnodiging koffiereceptie ter gelegenheid van 25 jarig dienstverband Huib van den Berg Other

Stichting Mathematisch Centrum, Amsterdam

Polling Systems and the Power-Series Algorithm Dissertation

R.D. van der Mei (Rob)

Optimal repairman assignment in two symmetric maintenance models Article

G.M. Koole (Ger)

Generation of program analysis tools Dissertation

F. Tip (Frank)

New trends in applied mathematics Article

A. Bensoussan

Uitnodiging symposium ter gelegenheid van het 25-jarig MC-jubileum van Piet Hemker Other

Bibliotheek CWI gids = CWI Library guide Booklet

Queueing models with dependence structures Dissertation

M.B. Combé (Marco)

Twentieth conference on the mathematics of operations research, and: Sixth international workshop Landelijk Netwerk Mathematische Besliskunde, Lunteren, 10-12.01.1995 Booklet

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)

Defect correction and nonlinear multigrid for steady Euler equations Book Chapter

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

Defect correction and nonlinear multigrid for the steady Euler equations Book Chapter

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

Analysis of preconditioning and multigrid for Euler flows with low-subsonic regions Article

B. Koren (Barry) and B. van Leer

A reference model for teleconferencing systems Tech Report

C. Bonini, W.J. Fokkink (Wan) and A. Lesch (Arek)

A calculus of transition systems (towards universal coalgebra) Tech Report

J.J.M.M. Rutten (Jan)

A new algorithm for the recognition of series parallel graphs Tech Report

L.A.M. Schoenmakers (Berry)

Verification of a distributed summation algorithm Tech Report

F.W. Vaandrager (Frits)

The Wouthuysen equation Tech Report

M. Hazewinkel (Michiel)

On the facial structure of the set of correlation matrices Tech Report

M. Laurent (Monique) and S. Poljak

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

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

Control of discrete event systems : research at the interface of control theory and computer science Tech Report

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

Weak orthogonality implies confluence : the higher-order case Tech Report

V. van Oostrom (Vincent) and F. van Raamsdonk (Femke)

Off-line electronic cash based on secret-key certificates Tech Report

S.A. Brands (Stefan)

Elements of generalized ultrametric domain theory Tech Report

J.J.M.M. Rutten (Jan)

Ntyft/ntyxt rules reduce to ntree rules Tech Report

W.J. Fokkink (Wan) and R.J. van Glabbeek (Rob)

Restrictive blinding of secret-key certificates Tech Report

S.A. Brands (Stefan)

Secret-key certificates Tech Report

S.A. Brands (Stefan)

Partial up and down logic Tech Report

J.O.M. Jaspars

Honesty in partial logic Tech Report

W. van der Hoek (Wiebe), J.O.M. Jaspars and E. Thijsse

Transformations of CLP modules Tech Report

S. Etalle (Sandro) and M. Gabbrielli

Interaction objects in the MADE multimedia environment Tech Report

F.C. Heeman, I. Herman (Ivan) and G.J. Reynolds

Modal model theory Tech Report

M. de Rijke (Maarten)

An implicit-explicit approach for atmospheric transport-chemistry problems Tech Report

J.G. Verwer (Jan), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

Discrete approximations for singularly perturbed boundary value problems with parabolic layers Tech Report

P.A. Farrell, P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

Uniform asymptotic expansion of integrals : a selection of problems Tech Report

N.M. Temme (Nico)

Composing morphological filters Tech Report

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

The workload in the M/G/1 queue with work removal Tech Report

R.J. Boucherie (Richard) and O.J. Boxma (Onno)

Static optimization of queueing systems Tech Report

O.J. Boxma (Onno)

On the final size of epidemics within herds Tech Report

O. Diekmann (Odo), A.A. de Koeijer and J.A.J. Metz

On periodic cohort solurions of a size-structured population model Tech Report

W. Huyer

Classification in mathematics, discrete metric spaces, and approximation by trees Tech Report

M. Hazewinkel (Michiel)

Lipshitz distance and hierarchical clustering Tech Report

M. Hazewinkel (Michiel)

Tree-tree matrices and other combinatorial problems from taxonomy Tech Report

M. Hazewinkel (Michiel)

Linked balanced designs are symmetric BIBD's Tech Report

M. Hazewinkel (Michiel)

A vector/parallel method for a three-dimensional transport model coupled with bio-chemical terms Tech Report

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

Development of semi-coarsening and sparse-grid techniques Tech Report

P.M. de Zeeuw (Paul)

A comparison of stiff ODE solvers for atmospheric chemistry problems Tech Report

J.G. Verwer (Jan), J.G. Blom (Joke), M. van Loon (Martin) and E.J. Spee (Edwin)

Iteration of Runge-Kutta methods with block triangular Jacobians Tech Report

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

Step-parallel algorithms for stiff initial value problems Tech Report

W.A. van der Veen (Wolter)

Coupling advection and chemical kinetics in a global atmospheric test model Tech Report

E.J. Spee (Edwin)

On the generalized Hamming weights of convolutional codes Tech Report

J. Rosenthal and E.V. York

Structural identifiability of linear mamillary compartmental systems Tech Report

J.M. van den Hof

System identification with information theoretic criteria Tech Report

A.A. Stoorvogel and J.H. van Schuppen (Jan)

A controllability test for general first-order representations Tech Report

U. Helmke, J. Rosenthal and J.M. Schumacher (Hans)

Analysis of the asymmetrical shortest two-server queueing model Tech Report

J.W. Cohen

Statistical models of random polyhedra Tech Report

I.S. Molchanov (Ilya) and D. Stoyan

Set-valued means of random particles Tech Report

D. Stoyan and I.S. Molchanov (Ilya)

Self-stabilizing mutual exclusion on directed graphs Tech Report

D. Alstein, J.H. Hoepman (Jaap-Henk), B.E. Olivier and P.I.A. van der Put

Toward self-stabilizing wait-free shared memory objects Tech Report

J.H. Hoepman (Jaap-Henk), M. Papatriantafilou (Marina) and P. Tsigas (Philippas)