Publications from 2067

Proving deadlock freedom of logic programs with dynamic scheduling Tech Report

E. Marchiori and F. J. M. Teusink (Frank)

Search and imperative programming Tech Report

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

Reordering strategies and LU-decomposition of block tridiagonal matrices for parallel processing Tech Report

A. van der Ploeg (Auke)

Parallel iterative linear solvers for multistep Runge-Kutta methods Tech Report

E. Messina, J.J.B. de Swart (Jacques) and W.A. van der Veen (Wolter)

Vectorization and parallelization of a numerical scheme for 3D global atmospheric transport-chemistry problems Tech Report

E.J. Spee (Edwin), P.M. de Zeeuw (Paul), J.G. Verwer (Jan), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

The iterative solution of fully implicit discretizations of three-dimensional transport models Tech Report

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

Asymptotics and numerics of zeros of polynomials that are related to Daubechies wavelets Tech Report

N.M. Temme (Nico)

Multiparameter quantum supergroups Tech Report

M. Hazewinkel (Michiel)

Analysis of DNAPL infiltration in a medium with a low-permeable lens Tech Report

M.J. de Neef and J. Molenaar (Gijs)

On the asymmetric clocked buffered switch Tech Report

J.W. Cohen

Analysis of a multi-server queueing model of ABR Tech Report

R. Núñez Queija (Rudesindo) and O.J. Boxma (Onno)

Regular variation in a multi-source fluid queue Tech Report

O.J. Boxma (Onno)

On a zero-drift nearest-neighbour random walk Tech Report

J.W. Cohen

Universal coalgebra: a theory of systems Tech Report

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

Towards a complete transformational toolkit for compilers Tech Report

J.A. Bergstra (Jan), T.B. Dinesh, J. Field and J. Heering (Jan)

Scopes in discourse Tech Report

P. Dekker

Cases, adverbs, situations and events Tech Report

P. Dekker

Proving termination of logic programs with delay declarations Tech Report

E. Marchiori and F. J. M. Teusink (Frank)

Numerical solution of advection-diffusion-reaction equations : lecture notes for Ph.D. course, 1996, Thomas Stieltjes Institute Tech Report

W. Hundsdorfer (Willem)

Stability of implicit-explicit linear multistep methods Tech Report

J.E. Frank (Jason), W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

The number of relations in the quadratic sieve algorithm Tech Report

H. Boender (Henk)

Brine transport in porous media self-similar solutions Tech Report

C.J. van Duijn (Hans), L.A. Peletier (Bert) and R.J. Schotting (Ruud)

Approximation problems with the divergence criterion for Gaussian variablesand Gaussian processes Tech Report

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

Computational forging in the Eulerian formulation at MacNeal-Schwendler (E.D.C.) B.V. Tech Report

B. Koren (Barry)

Workshop innovative time integrators : Amsterdam, 30.10-01.11.1996 Tech Report

Comparison of selection schemes for evolutionary constrained optimization Tech Report

C.H.M. van Kemenade (Cees)

Lambda calculus with explicit recursion Tech Report

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

Explicit filtering of building blocks for genetic algorithms Tech Report

C.H.M. van Kemenade (Cees)

Cluster evolution strategies : enhancing the sampling density using representatives Tech Report

C.H.M. van Kemenade (Cees)

Evolutionary air traffic flow management for large 3D-problems Tech Report

C.H.M. van Kemenade (Cees), J.M. van den Akker (Marjan) and J.N. Kok (Joost)

Speuren op het Spoor Wedstrijd in het kader van het 50-jarig jubileum van de STICHTING MATHEMATISCH CENTRUM Other

De ziel van het MC : verzamelde verhalen Book

J. Sterringa (Joke)

Nieuwjaarskaart 1996 = New years card 1996 Other

Explicit symmetric Runge-Kutta-Nyström methods for parallel computers Article

N. Cong

A simple cell-centered multigrid method for $3$D interface problems Article

J. Molenaar (Gijs)

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

K.R. Apt (Krzysztof)

Prime factorizations of abstract domains using first-order logic In Proceedings

E. Marchiori

Coalgebraic specifications and models of deterministic hybrid systems In Proceedings

B.P.F. Jacobs

Quantifiers and partiality Book Chapter

D.J.N. van Eijck (Jan)

VLUGR3 Software

J.G. Blom (Joke)

VLUGR2 Software

J.G. Blom (Joke)

Development of semi-coarsening techniques Article

P.M. de Zeeuw (Paul)

On termination of general logic programs w.r.t. constructive negation Article

E. Marchiori

Chamfer metrics, the medial axis and mathematical morphology Article

P. F. M. Nacken (Peter)

The Robinson-Schensted and Schützenberger algorithms, an elementary approach. The Foata Festschrift Article

M.A.A. van Leeuwen (Marc)

A note on disjoint-occurrence inequalities for marked Poisson point processes Article

J. van den Berg (Rob)

The development of Runge-Kutta methods for partial differential equations In Proceedings

P.J. van der Houwen (Piet)

Tree-tree matrices and other combinatorial problems from taxonomy In Proceedings

M. Hazewinkel (Michiel)

Self-dual morphological operators and filters Article

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

Practical methods for proving termination of general logic programs Article

E. Marchiori

On cubism Article

B.P.F. Jacobs

Historical background of the number field sieve factoring method Article

M. Elkenbracht-Huizing

On the identification of Wiener-Hopf factors Article

N. Bayer

Explicit Runge-Kutta methods for parabolic partial differential equations Article

J.G. Verwer (Jan)

Set-valued estimators for mean bodies related to Boolean models Article

I.S. Molchanov (Ilya)

A singularly perturbed model problem for numerical computation Article

P.W. Hemker (Piet)

Three-valued completion for abductive logic programs In Proceedings

F. J. M. Teusink (Frank)

Tableau algorithms defined naturally for pictures In Proceedings

M.A.A. van Leeuwen (Marc)

An implementation of the number field sieve Article

M. Elkenbracht-Huizing

Elements of generalized ultrametric domain theory Article

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

Implicit coercions in type systems In Proceedings

G. Barthe

On periodic Pollaczek waiting time processes In Proceedings

J.W. Cohen

A multiple polynomial general number field sieve In Proceedings

M. Elkenbracht-Huizing

Genetic fitness optimization using rapidly mixing Markov chains In Proceedings

P.M.B. Vitányi (Paul)

Uniform asymptotics for the incomplete gamma functions starting from negative values of the parameters Article

N.M. Temme (Nico)

A dynamic and quick intellect : Paul Vitányi 25 years at CWI Book

A Comparitve Study of Several Colour Models for Colour Image Invariant Retrieval In Proceedings

T. Gevers and A.W.M. Smeulders (Arnold)

Parameterized Feasible Boundaries in Gradient Vector Fields Article

M. Worring (Marcel), A.W.M. Smeulders (Arnold), L. Staib and J. Duncan

Horus: Integration of Digital Vision and Database Paradigms In Proceedings

C.A. van den Berg (Carel), R. van den Boomgaard, M. Worring (Marcel), D.C. Koelma and A.W.M. Smeulders (Arnold)

Content Based Hypertext Creation in Text/figure Databases In Proceedings

M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

An implicit-explicit approach for atmospheric transport-chemistry problems In Proceedings

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

Experiences with sparse matrix solvers in parallel ODE software Article

J.J.B. de Swart (Jacques) and J.G. Blom (Joke)

On the final size of epidemics with herds Article

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

Impulsive-smooth behavior in multimode systems I. State-space and polynomial representations Article

A.H.W. Geerts and J.M. Schumacher (Hans)

Impulsive-smooth behavior in multimode systems II. Minimality and equivalence Article

A.H.W. Geerts and J.M. Schumacher (Hans)

Splitting methods for three-dimensional bio-chemical transport Article

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

Multi-authority secret-ballot elections with linear work In Proceedings

R.J.F. Cramer (Ronald), M. Franklin, L.A.M. Schoenmakers (Berry) and M. Yung (Moti)

A compositional semantics for normal open programs In Proceedings

S. Etalle (Sandro) and F. J. M. Teusink (Frank)

Fundamentals of partial modal logic Book Chapter

J.O.M. Jaspars and E. Thijsse

Jacobi-Davidson methods for generalized MHD-eigenvalue problems In Proceedings

A.G.L. Booten (Albert), D.R. Fokkema, G.L.G. Sleijpen and H.A. van der Vorst (Henk)

Congruence types In Proceedings

G. Barthe and H. Geuvers

New generation of secure and practical RSA-based signatures In Proceedings

R.J.F. Cramer (Ronald) and I.B. Damgård (Ivan)

A World Wide number field sieve factoring record: on to $512$ bits In Proceedings

J. Cowie, B. Dodson, M. Elkenbracht-Huizing, A.K. Lenstra (Arjen), P.L. Montgomery and J. Zayer

Basic quantifier theory Book Chapter

J. van der Does (Jaap) and D.J.N. van Eijck (Jan)

System design for structured hypermedia generation In Proceedings

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

THREED: hybrid multigrid and Bi-CGSTAB algorithm for a linearsecond order elliptic problem in three dimensions using a 27 point stencil Software

P.M. de Zeeuw (Paul)

A new lower bound for the critical probability of site percolation on the square lattice Article

J. van den Berg (Rob) and A. B. Ermakov (Alexei)

A comparison of stiff ode solvers for atmospheric chemistry problems Article

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

Differential Hopf algebra structures on the universal enveloping algebra of a Lie algebra Article

N.W. van den Hijligenberg and R. Martini

The workload in the $M/G/1$ queue with work removal Article

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

Comparing curried and uncurried rewriting Article

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

Reversibility and adiabatic computation: trading time and space for energy Article

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

Parallel predictor-corrector methods In Proceedings

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and J.J.B. de Swart (Jacques)

Discrete approximations for singularly perturbed boundary value problems with parabolic layers Article

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

Statistical models of random polyhedra Article

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

Systolic arrays for the recognition of permutation-invariant segments Article

J.P. Katoen and L.A.M. Schoenmakers (Berry)

Large time asymptotics in contaminant transport in porous media Article

C.N. Dawson, C.J. van Duijn (Hans) and R.E. Grundy

A closer look at declarative interpretations Article

K.R. Apt (Krzysztof), M. Gabbrielli and D. Pedreschi

Asymptotic behaviour of solutions of a nonlinear transport equation Article

C.J. van Duijn (Hans) and M.A. Peletier (Mark)

Development of semi-coarsening techniques Article

P.M. de Zeeuw (Paul)