Publications from 2017

The rough guide to constraint propagation Article

K.R. Apt (Krzysztof)

Automatic generation of constraint propagation algorithms for small finite domains In Proceedings

K.R. Apt (Krzysztof) and E.B.G. Monfroy

Index : Theoretical computer science 1999 Article

M. Hazewinkel (Michiel)

The Alma project, or how first-order logic can help us in imperative programming In Proceedings

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

Factorization of RSA-140 using the number field sieve In Proceedings

S.H. Cavallar (Stefania), B. Dodson, A.K. Lenstra (Arjen), P.C. Leyland, W.M. Lioen (Walter), P.L. Montgomery, B. Murphy, H.J.J. te Riele (Herman) and P. Zimmermann

The compact dynamic bus station Article

A.S. Klusener (Steven), S.F.M. van Vlijmen and A. Schrijver (Lex)

Bipartite edge-colouring in O(Delta m) time Article

A. Schrijver (Lex)

Markov-modulated and feedback fluid queues Dissertation

W.R.W. Scheinhardt (Werner)

A numerical study for global atmospheric transport - chemistry problems Article

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

Removing and extracting features in images using mathematical morphology Article

C. Ronse

Markov random fields and images Article

P. Perez (Patrick)

Linear and non-linear scale-spaces Article

E.J.E.M. Pauwels (Eric)

Averaging of random sets and binary images Article

I.S. Molchanov (Ilya)

Multiresolution morphological stochastic image modeling Article

J. Goutsias (John)

The continuous wavelet transform in image processing Article

J.-P. Antoine

Special issue on signals and images : preface Article

H.J.A.M. Heijmans (Henk) and M.N.M. van Lieshout (Marie-Colette)

A local search template Article

R.J.M. Vaessens, E.H.L. Aarts (Emile) and J.K. Lenstra (Jan Karel)

Approximation problems with the divergence criterion for Gaussian variables and Gaussian processes Article

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

Weighted colimits and formal balls in generalized metric spaces Article

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

Fluid queues with long-tailed activity period distributions Article

O.J. Boxma (Onno) and V. Dumas

The use of approximate factorization in stiff ODE solvers Article

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

GRiNS (formerly CMIFed) - A GRaphical iNterface for SMIL In Proceedings

K.S. Mullender (Sjoerd)

Stochastic Geometry: Likelihood and Computation Book

W.S. Kendall and M.N.M. van Lieshout (Marie-Colette)

Implementing adaptability in the standard reference model for intelligent multimedia presentation systems In Proceedings

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

The Minimum Description Length Principle and Reasoning under Uncertainty Dissertation

P.D. Grünwald (Peter)

Technologieoverdracht door spin-offs : CWI in bedrijf, 02.10.1998 Booklet

A linear-time transformation of linear inequalities into conjunctive normal form Article

J.P. Warners (Joost)

Conferentie van numeriek wiskundigen : Zeist, 23-25.09.1998 Book

Jaren van berekening : toepassingsgerichte initiatieven in de Nederlandse wiskunde-beoefening 1945-1960 Dissertation

G. Alberts (Gerard)

Benoeming O. J. Boxma tot hoogleraar aan de TU Eindhoven : uitnodiging bij zijn afscheid als clusterleider, 11.09.1998 Booklet

Reversible simulation of irreversible computation Article

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

An analysis of crystal dissolution fronts in flows through porous media part 2: incompatible boundary conditions Article

C.J. van Duijn (Hans), P. Knabner and R.J. Schotting (Ruud)

Unfold/fold transformations of CCP programs Article

S. Etalle (Sandro), M. Gabbrielli and M.C. Meo

A language for modular information-passing agents Article

R.M. van Eijk, F.S. de Boer (Frank), W. van der Hoek (Wiebe) and J.-J.C. Meyer (John-Jules)

Temporal reasoning and constraint programming Article

R. Gennari (Rosella)

Special issue on constraint programming : preface Article

K.R. Apt (Krzysztof)

Meetkunde, oud en nieuw : vakantiecursus 1998 : programma Booklet

Computational steering in the CAVE Article

J.D. Mulder (Jurriaan), R. van Liere (Robert) and J.J. van Wijk (Jack)

Using coordination to parallelize sparse-grid methods for 3-D CFD problems Article

C.T.H. Everaars (Kees) and B. Koren (Barry)

Coordination languages for parallel programming Article

F. Arbab (Farhad), P. Ciancarini and C. Hankin

Reusable coordinator modules for massively concurrent applications Article

F. Arbab (Farhad), C.L. Blom (Kees), F.J. Burger (Freek) and C.T.H. Everaars (Kees)

A defect correction method for parabolic singular perturbation problems on a rectangle In Proceedings

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

Randomness is hard In Proceedings

H.M. Buhrman (Harry) and L. Torenvliet (Leen)

Synchronized Multimedia Integration Language (SMIL) 1.0 Manual

S. Bugaj, D.C.A. Bulterman (Dick) and not CWI et al

Primes in several classes of the positive matrices Article

G. Picci, J.M. van den Hof and J.H. van Schuppen (Jan)

Connecting informal and formal mathematics Dissertation

H.J. Elbers (Hugo)

Cascading Style Sheets, level 2 CSS2 Specification Standard

B. Bos, H.W. Lie, I. Jacobs, C. Lilley and S. Pemberton (Steven)

Entropy methods for Martingales Book

Y. Nishiyama (Yoichi)

Denotational models for programming languages: applications of Banach's Fixed Point Theorem Article

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

Technische documentatie functionele deel Neural Vision software Manual

M. van Wezel

Gaussian limits for discrepancies Article

A. van Hameren, R. Kleiss and J.K. Hoogland (Jiri)

Requirements for multimedia markup and style sheets on the World Wide Web Article

J.R. van Ossenbruggen (Jacco), A. P. W. Eliëns (Anton), L. Rutledge (Lloyd) and L. Hardman (Lynda)

GRiNS: A GRaphical INterface for creating and playing SMIL documents Article

D.C.A. Bulterman (Dick), L. Hardman (Lynda), A.J. Jansen (Jack), K.S. Mullender (Sjoerd) and L. Rutledge (Lloyd)

Implicit Hamiltonian systems with symmetry Article

A.J. van der Schaft

DEGAS: an active, temporal database of autonomous objects Dissertation

J.F.P. van den Akker (Johan)

Parameter estimation in nonlinear dynamical systems Dissertation

W.J.H. Stortelder (Walter)

Modelling and Authoring Hypermedia Documents Dissertation

L. Hardman (Lynda)

Parallel MIRK methods for ODEs Article

D. Voss (David)

The automatic control of numerical integration Article

G. Söderlind

The potential of parallel multi-value methods for the simulation of large real-life problems Article

P. Chartier

Survey of relevant concepts Article

J.J.B. de Swart (Jacques)

Minkowski decomposition of convex polygons into their symmetric and asymmetric parts Article

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

RKC: An explicit solver for parabolic PDEs Article

B.P. Sommeijer (Ben), L.F. Shampine and J.G. Verwer (Jan)

Asymptotics and zero distribution of Padé polynomials associated with the exponential function Article

K.A. Driver (Kathy) and N.M. Temme (Nico)

Using coordination for cooperative constraint solving In Proceedings

F. Arbab (Farhad) and E.B.G. Monfroy

Modelling activities in information systems using the coordination language manifold In Proceedings

G.A. Papadopoulos (George) and F. Arbab (Farhad)

Mathematical aspects of salt transport in porous media Dissertation

R.J. Schotting (Ruud)

Scientific publications CWI, februari 1998 Book

Generalized metric spaces: Completion topology, and powerdomains via the Yoneda embedding Article

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

Numerical methods in global transport-chemistry models Dissertation

E.J. Spee (Edwin)

A computational method for internal flows with mixed inlet-outlet ports, application to nozzle flows in melt-spinning processes In Proceedings

B. Koren (Barry) and D. Lanser (Debby)

Sparse-grid solution of the steady Euler equations of gas dynamics In Proceedings

B. Koren (Barry), P.W. Hemker (Piet) and C.T.H. Everaars (Kees)

Improving Euler computations at low Mach numbers Article

B. Koren (Barry)

Analysis of approximate factorization in iteration methods In Proceedings

C. Eichler-Liebenow, P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

A two-phase algorithm for solving a class of hard satisfiability problems Article

J.P. Warners (Joost) and H. van Maaren

Dynamic reasoning without variables Tech Report

D.J.N. van Eijck (Jan)

Wavelet transform in similarity paradigm Tech Report

Z.R. Struzik and A.P.J.M. Siebes (Arno)

Removing divergences in the negative moments of the multi-fractal parition function with the wavelet transformation Tech Report

Z.R. Struzik

Manual of the TYPO type checker Tech Report

H. de Nivelle

HPCN and air quality modeling Tech Report

J.G. Blom (Joke), W.M. Lioen (Walter) and J.G. Verwer (Jan)

Recent problems from uniform asymptotic analysis of integral in particular in connection with Tricomi's $ Psi $ -function Tech Report

N.M. Temme (Nico)

Uniqueness conditions in a hyperbolic model for oil recovery by steamdrive Tech Report

J. Bruining and C.J. van Duijn (Hans)

Bisimilarity in term graph rewriting Tech Report

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

On optimal pipeline processing in parallel query execution Tech Report

S. Manegold (Stefan), F. Waas (Florian) and M.L. Kersten (Martin)

Tree visualisation and navigation clues for information visualisation Tech Report

I. Herman (Ivan), M. Delest and G. Melançon

New experimental results concerning the Goldbach conjecture Tech Report

J.-M. Deshouillers, H.J.J. te Riele (Herman) and Y. Saouter

On the order of a graph and its deficiency in chordality Tech Report

M. Laurent (Monique)

Sojourn time asymptotics in the M/G/1 processor sharing queue Tech Report

A.P. Zwart (Bert) and O.J. Boxma (Onno)

A two phase algorithm for solving a class of hard satissfiability problems Tech Report

J.P. Warners (Joost) and H. van Maaren

Analysis of operator splitting for advection-diffusion-reaction problems from air pollution modelling Tech Report

D. Lanser (Debby) and J.G. Verwer (Jan)

Horizontal one-dimensional redistribution of oil and water with hysteresis due to oil entrapment Tech Report

M.I.J. van Dijke and S.E.A.T.M. van der Zee

Restarting parallel Jacobi-Davidson with both standard and harmonic Ritz values Tech Report

M. Nool (Margreet) and A. van der Ploeg (Auke)

Metrics for classifying heterogeneous objects Tech Report

M.A. Bezem, K. Blok and M. Keijzer

Verification of temporal properties of processes in a setting with data Tech Report

J.F. Groote (Jan Friso) and R. Mateescu

Rapid system understanding : two COBOL case studies Tech Report

A. van Deursen (Arie) and T. Kuipers (Tobias)

Splitting methods for second-order initial value problems Tech Report

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

Parallel Adams methods Tech Report

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

Parallel methods for nonstiff VIDEs Tech Report

P.J. van der Houwen (Piet)

Parallel Störmer-Cowell methods for high-precision orbit computations Tech Report

P.J. van der Houwen (Piet), E. Messina and J.J.B. de Swart (Jacques)

Oscillatory Störmer-Cowell methods Tech Report

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