Publications from 2017

A vector valued Stefan problem from aluminium industry Tech Report

F.J. Vermolen and C. Vuik

A feature database for multimedia objects Tech Report

M.L. Kersten (Martin), N.J. Nes (Niels) and M.A. Windhouwer (Menzo)

Efficient enumeration of non-isomorphic processing trees Tech Report

F. Waas (Florian)

Automata and coinduction (an exercise in coalgebra) Tech Report

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

Undecidability and completeness results for process algebras with alternative with alternative quantification over data Tech Report

J.F. Groote (Jan Friso) and S.P. Luttik (Bas)

The leap year problem Tech Report

A. van Deursen (Arie)

Discrete time process algebra and the semantics of SDL Tech Report

J.A. Bergstra (Jan), C.A. Middelburg and Y.S. Usenko (Yaroslav)

Heavy-traffic theory for the heavy-tailed M/G/1 queue and v-stable Lévy noise traffic Tech Report

J.W. Cohen

Basic theorems for parallel processes in timed $ mu $ CRL Tech Report

J.F. Groote (Jan Friso) and J.J. van Wamel

Note on PARNASSOS, a Navier-Stokes method for ship-stern flows Tech Report

B. Koren (Barry)

On the structure of the space of product-form models Tech Report

N. Bayer and R.J. Boucherie (Richard)

Density-based unsupervised classification for remote sensing Tech Report

C.H.M. van Kemenade (Cees), J.A. La Poutré (Han) and R.J. Mokken

Waitfree distributed memory management by Create, and Read Until Deletion (CRUD) Tech Report

W.H. Hesselink (Wim) and J.F. Groote (Jan Friso)

The v-stable Lévy motion in heavy-traffic analysis of queueing models with ::::heavy-tailed distributions Tech Report

J.W. Cohen

Truth of duration calculus formulae in timed frames Tech Report

C.A. Middelburg

Type inference for COBOL systems Tech Report

A. van Deursen (Arie) and L.M.F. Moonen (Leon)

Exploiting cost distributions for query optimization Tech Report

F. Waas (Florian) and A.J. Pellenkoft (Jan)

Alternative correction equations in the Jacobi-Davidson method Tech Report

M. Genseberger (Menno) and G.L.G. Sleijpen

A free boundary problem involving a cusp : breakthrough of salt water Tech Report

H.W. Alt and C.J. van Duijn (Hans)

A behavioral approach to singular systems Tech Report

V. Lomadze, M.S. Ravi, J. Rosenthal and J.M. Schumacher (Hans)

Finding column depedencies in sparse matrices over $ F_ 2 $ by block Wiedemann Tech Report

O. Penninga

Sojourn time in a processor sharing queue with service interruptions Tech Report

R. Núñez Queija (Rudesindo)

Identifying objects using cluster and concept analysis Tech Report

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

Analysis of three hybrid systems in timed uCRL Tech Report

J.F. Groote (Jan Friso) and J.J. van Wamel

A survey of computational steering environments Tech Report

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

Pixel masks for screen-door transparency Tech Report

J.D. Mulder (Jurriaan), F.C.A. Groen and J.J. van Wijk (Jack)

Computational steering in the CAVE Tech Report

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

Remote object translation methods for immersive virtual environments Tech Report

J.D. Mulder (Jurriaan)

A distributed blackboard architecture for interactive data visualization Tech Report

R. van Liere (Robert), J.A. Harkes and W.C. de Leeuw (Wim)

Porting a visualization package from IRIX to NT : what will I get, what will I pay? Tech Report

R. van Liere (Robert), J.A. Harkes and J.H. Kniesmeijer

Comparing LIC and spot noise Tech Report

W.C. de Leeuw (Wim) and R. van Liere (Robert)

Spotting structure in complex time dependent flow Tech Report

W.C. de Leeuw (Wim) and R. van Liere (Robert)

On the probabilistic complexity of numerically checking the binary Goldbachconjecture in certain intervals Tech Report

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

Bisimulation for probabilistic transition systems : a coalgebraic approach Tech Report

E.P. de Vink (Erik) and J.J.M.M. Rutten (Jan)

A note on coinduction and weak bisimilarity for while programs Tech Report

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

Coordination of heterogeneous distributed cooperative constraint solving Tech Report

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

Formulas as programs Tech Report

K.R. Apt (Krzysztof) and M.A. Bezem

Multiresolution signal decomposition schemes Tech Report

J. Goutsias (John) and H.J.A.M. Heijmans (Henk)

Automatic phase detection in seismic data using the discrete wavelet transform Tech Report

P.J. Oonincx

A mathematical model for the dissolution of particles in multi-component alloys Tech Report

F.J. Vermolen and C. Vuik

A slicing-based approach for locating type errors Tech Report

T.B. Dinesh and F. Tip (Frank)

A transition system semantics for the control-driven coordination language MANIFOLD Tech Report

M.M. Bonsangue (Marcello), F. Arbab (Farhad), J.W. de Bakker (Jaco), J.J.M.M. Rutten (Jan), A. Scutellà and G. Zavattaro (Gianluigi)

Numerical time integration for air pollution models Tech Report

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

Test set for initial value problem solvers Tech Report

W.M. Lioen (Walter) and J.J.B. de Swart (Jacques)

On interpolation series related to the Abel-Goncharov problem, with applications to arithmetic-geometric mean relationship and Hellinger integrals Tech Report

K.O. Dzhaparidze (Kacha)

On the absence of phase transition in the monomer-dimer model Tech Report

J. van den Berg (Rob)

A multivariate central limit theorem for continuous local martingales Tech Report

J.H. van Zanten (Harry)

Asymptotic density in a coalescing random walk model Tech Report

H. Kesten and J. van den Berg (Rob)

On the existence and non-existence of finitary codings for a class of random fields Tech Report

J. van den Berg (Rob) and J.E. Steif

ERMR: a generalised equivalent random method for overflow systems with repacking Tech Report

S.C. Borst (Sem), R.J. Boucherie (Richard) and O.J. Boxma (Onno)

On a posterior information process for parametric families of experiments Tech Report

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

On estimation of Poisson intensity functions Tech Report

R. Helmers (Roelof) and R. Zitikis

Inference on rare errors using asymptotic expansions and bootstrap calibration Tech Report

R. Helmers (Roelof)

Interpolation on sparse Gauss-Chebyshev grids in higher dimensions Tech Report

F. Sprengel

Programming with dynamic predicate logic Tech Report

D.J.N. van Eijck (Jan)

Incremental dynamics Tech Report

D.J.N. van Eijck (Jan)

Axiomatising dynamic logics for anaphora Tech Report

D.J.N. van Eijck (Jan)

Skeletal images as visual cues in graph visualization Tech Report

I. Herman (Ivan), M.S. Marshall (Scott), G. Melançon, D.J. Duke, M. Delest and J.-P. Domenger

A new cluster algorithm for graphs Tech Report

S. van Dongen

Priors on network structures : biasing the search for Bayesian networks Tech Report

J.R. Castelo and A.P.J.M. Siebes (Arno)

Circular drawings of rooted trees Tech Report

G. Melançon and I. Herman (Ivan)

Some error estimates for periodic interpolation of functions from Besov spaces Tech Report

W. Sickel and F. Sprengel

Disturbance decoupling and robustness of stability Tech Report

U. Baser, M.K.K. Cevik and J.M. Schumacher (Hans)

Uniform approximations of Bernoulli and Euler polynomials in terms of hyperbolic functions Tech Report

J.L. López and N.M. Temme (Nico)

A Godunov-type scheme with applications in hydrodynamics Tech Report

E.H. van Brummelen (Harald)

A note on operator splitting in a stiff linear case Tech Report

J.G. Verwer (Jan) and B. Sportisse

Partially implicit BDF2 blends for convection dominated flows Tech Report

W. Hundsdorfer (Willem)

Specification of PSIDE Tech Report

J.J.B. de Swart (Jacques), W.M. Lioen (Walter) and W.A. van der Veen (Wolter)

PSIDE users' guide Tech Report

W.M. Lioen (Walter), J.J.B. de Swart (Jacques) and W.A. van der Veen (Wolter)

Approximate factorization in shallow water applications Tech Report

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

A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data Tech Report

J.F. Groote (Jan Friso) and S.P. Luttik (Bas)

The tree identify protocol of IEEE 1394 in uCRL Tech Report

C. Shankland and M.B. van der Zwaag

Coordination of a parallel proposition solver Tech Report

C.T.H. Everaars (Kees) and B. Lisser (Bert)

Coordination of a heterogeneous coastal hydrodynamics application in manifold Tech Report

C.L. Blom (Kees), F. Arbab (Farhad), S. Hummel and I.J.P. Elshoff

Agent-based simulation of animal behaviour Tech Report

C.M. Jonker (Catholijn) and J. Treur

Deliberate evolution in multi-agent systems Tech Report

F.M.T. Brazier, C.M. Jonker (Catholijn), J. Treur and N.J.E. Wijngaards

Building block filtering and mixing Tech Report

C.H.M. van Kemenade (Cees)

Transmission function models of infinite population genetic algorithms Tech Report

C.H.M. van Kemenade (Cees), J.N. Kok (Joost), J.A. La Poutré (Han) and D. Thierens (Dirk)

Transmission function models of finite population genetic algorithms Tech Report

C.H.M. van Kemenade (Cees), J.N. Kok (Joost), J.A. La Poutré (Han) and D. Thierens (Dirk)

Analysis of NK-xor landscapes Tech Report

C.H.M. van Kemenade (Cees)

Running a job on a collection of dynamic machines, with on-lin restarts Tech Report

R. van Stee (Rob) and J.A. La Poutré (Han)

STS : a structural theory of sets Tech Report

A. Baltag

The effects of pair-wise and higher order correlations on the firing rate of a post-synaptic neuron Tech Report

S.M. Bohte (Sander), H. Spekreijse and P.R. Roelfsema (Pieter)

An algebraic programming style for numerical software and its optimization Tech Report

T.B. Dinesh, M. Haveraaen and J. Heering (Jan)

Computational sieving applied to some classical number-theoretic problems Tech Report

H.J.J. te Riele (Herman)

Error analysis for function representation by the sparse-grid combination technique Tech Report

B. Lastdrager and B. Koren (Barry)

Coordination models and languages Tech Report

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

De opkomst van de informatietechnologie in Nederland : aangeboden door Centrum voor Wiskunde en Informatica Book

G. Alberts (Gerard), J. van den Ende and H. W. Lintsen

Bibliotheek CWI gids = CWI Library guide Book

Third international workshop on formal methods for industrial critical systems : held at CWI, Amsterdam, The Netherlands, 25-26.05.1998 Proceedings

Annual report CWI 1997 : one-time publication on CD-ROM Other

Nieuwjaarskaart 1998 = New years card 1998 Other

Entropy methods for Martingales Dissertation

Y. Nishiyama (Yoichi)

On a distributed clustering process of Coffman, Courtois, Gilbert and Piret Article

J. van den Berg (Rob) and Ermakov, A. (A.)

Description Complexity and Applications Book

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

On Ryszard Syski Article

J.W. Cohen

Equational axioms of test algebra In Proceedings

M. Hollenberg (Marco)

A tool for approximation in bivariate periodic Sobolev spaces In Proceedings

F. Sprengel

Comparison of spectral and Hadamard bounds for $D$-optimality In Proceedings

C.W. Ko, J. Lee (Jon) and K. Wayne

GRiNS: A GRaphical INterface for Creating and Playing SMIL Documents In Proceedings

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