Publications from 2017

Capture and transfer of metadata during video production Tech Report

F.-M. Nack (Frank)

Ontologies in information integration within multimedia presentation generation Tech Report

J. Salas Enrech

Learning from induced changes in opponent (re)actions in multi-agent games Tech Report

P.J. 't Hoen (Pieter Jan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

Algebraic specification and coalgebraic synthesis of Mealy automata Tech Report

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

Discovering faults in idiom-based exception handling Tech Report

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

Infinitary normalization Tech Report

J.W. Klop (Jan Willem) and R. de Vrijer

On a model of sequential point patterns Tech Report

V. Shcherbakov (Vadim)

Gaussian fluctuations of random point measures generated by cooperative sequential adsorption Tech Report

V. Shcherbakov (Vadim)

About 'trivial' software patents: the IsNot case Tech Report

J.A. Bergstra (Jan) and P. Klint (Paul)

A surface capturing method for the efficient computation of steady water waves. Tech Report

J. Wackers (Jeroen) and B. Koren (Barry)

A fully conservative model for compressible two-fluid flow. Tech Report

J. Wackers (Jeroen) and B. Koren (Barry)

On the adjoint solution of the quasi-1D Euler equations: the effect of boundary conditions and the numerical flux function Tech Report

G.F. Duivesteijn, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

An adaptive grid refinement strategy for the simulation of negative streamers. Tech Report

C. Montijn (Carolynne-Sireeh), W. Hundsdorfer (Willem) and U. Ebert (Ute)

Investigation of methods for user adapted visualisation of information in a hypermedia generation system Tech Report

J. Werner

Composing discourse based on genre semantics Tech Report

K. Falkovych (Kateryna) and F.-M. Nack (Frank)

The cluster size distribution for a forest-fire process on Z. Tech Report

R.M. Brouwer (Rachel) and J. Pennanen

Zero, Sucessor and Equality in BDDs Article

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

TIJAH: embracing IR methods in XML databases Article

J.A. List (Johan), V. Mihajlovic, G. Ramirez Camps (Georgina), A.P. de Vries (Arjen), D. Hiemstra and H.E. Blok (Henk Ernst)

Semantic Models of a Timed Distributed Dataspace Architecture Article

J. Hooman and J.C. van de Pol (Jaco)

Uitnodiging kerstbuffet / Invitation Christmas party, 16.12.2004 Other

Multigrid analysis and embedded boundary conditions for discontinuous Galerkin discretization Dissertation

M.H. van Raalte (Marc)

Performance of middleware based architectures: a quantitative approach In Proceedings

M. Harkema (Marcel), B.M.M. Gijsen and R.D. van der Mei (Rob)

Rule-based constraint propagation : theory and applications Dissertation

S. Brand

Spatio-temporal pattern formation in a semiconductor-gas-discharge system Dissertation

D.D. Šijačić (Danijela)

A Lindley-type equation arising from a carousel problem Article

M. Vlasiou (Maria), I.J.B.F. Adan and J. Wessels (Jaap)

Reminiscences on Influential Papers Article

K.A. Ross, P.A. Boncz (Peter), I.F. Ilyas, V. Markl and V. Vassalos

An Efficient Turnkey Agent for Repeated Trading with Overall Budget and Preferences In Proceedings

I.B. Vermeulen (Ivan), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

On distributed verification and verified distribution Dissertation

S.-M. Orzan (Simona-Mihaela)

Uitnodiging afscheid Chester Thomson, 12.11.2004 Other

Abstractions and static analysis for verifying reactive systems Dissertation

N. Yustinova (Nataliya)

Goodbye Chester : Liber Amicorum bij het afscheid van Chester Thomson op 12 november 2004 Book

Using generative probabilistic models for multimedia retrieval Dissertation

T.H.W. Westerveld (Thijs)

Period doubling in glow discharges: Local versus global differential conductivity Article

D.D. Šijačić (Danijela), U. Ebert (Ute) and I. Rafatov (Ismail)

ICT innovatie: trends, troeven en twijfels : programma CWI in Bedrijf, 22-10-2004 Booklet

ICT-innovatie: trends, troeven & twijfels : CWI in bedrijf, 22.10.2004 Other

Evolutionary agent-based economics Dissertation

F. Alkemade (Floortje)

Towards Computer-Assisted Photo-Identification of Humpback Whales In Proceedings

E.B. Ranguelova (Elena), M.J. Huiskes (Mark) and E.J.E.M. Pauwels (Eric)

A Linking and Interaction Evaluation Test Set for SMIL In Proceedings

D.C.A. Bulterman (Dick)

Supporting the Production and Playback of Complex Multimedia Documents In Proceedings

D.C.A. Bulterman (Dick)

Ambulant: A Fast, Multi-Platform Open Source SMIL Player In Proceedings

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), K. Kleanthous, C.L. Blom (Kees) and D. Benden

Netwerken in Nederland : Piet Beertema, van pionier tot goeroe : uitnodiging afscheid Piet Beertema, 16.09.2004 Other

Semi-Automatic Identification of Humpback Whales In Proceedings

E.B. Ranguelova (Elena), M.J. Huiskes (Mark) and E.J.E.M. Pauwels (Eric)

Structuur in schoonheid : vakantiecursus 2004 : programma en abstracts : Amsterdam, 27-28.08.2004 en Eindhoven, 03-04.09.2004 Booklet

Formal verification of distributed systems Dissertation

J. Pang

Efficient Doubling on Genus Two Curves over Binary Fields In Proceedings

T. Lange and M.M.J. Stevens (Marc)

Autonomous agents in bargaining games : an evolutionary investigation of fundamentals, strategies, and business applications Dissertation

E.H. Gerding (Enrico)

Computersystemen en Telematica (CST) : onderzoek naar de kwaliteit van de dienstverlening Book

Lydia Flapper (L.)

Multimedia retrieval using multiple images In Proceedings

T.H.W. Westerveld (Thijs) and A.P. de Vries (Arjen)

Dependence of the transition from Townsend to glow discharge on secondary emission Article

Y.P. Raizer (Yuri), U. Ebert (Ute) and D.D. Šijačić (Danijela)

The Calibrator Software

S. Manegold (Stefan)

MOnitoring Distributed Object and Component Communication Dissertation

N.K. Diakov (Nikolay)

Numerical methods for water flows with free-surface gravity waves Dissertation

M.R. Lewis (Mervyn)

On generalised coinduction and probabilistic specification formats : distributive laws in coalgebraic modelling Dissertation

F. Bartels (Falk)

Variability and Component Composition, In Proceedings

T. van der Storm (Tijs)

Reo: A Channel-based Coordination Model for Component Composition Article

F. Arbab (Farhad)

Streamer branching rationalized by conformal mapping techniques Article

B.J. Meulenbroek (Bernard), A. Rocco (Andrea) and U. Ebert (Ute)

Structuring and presenting annotated media repositories In Proceedings

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

Stabilization by slow diffusion in a real Ginzburg-Landau system Article

A. Doelman (Arjen), G. Hek (Geertje) and N. Valkhoff

CWI mededelingen : personeelsnieuws 2004 - 2009 Miscellaneous

SMIL 2.0 - Interactive Multimedia for Web and Mobile Devices Book

D.C.A. Bulterman (Dick) and L. Rutledge (Lloyd)

Worst case instances are fragile : average case and smoothed competitive analysis of algorithms Dissertation

G. Schäfer (Guido)

Geometric space-time integration of ferromagnetic materials Article

J.E. Frank (Jason)

Altijd gedonder om dat vrouw zijn Magazine Article

U. Ebert (Ute)

CWI 58 jaar! 1946-2004, 11.02.2004 Other

An Algorithm to Verify Formulas by means of (O,S,=)-BDDs In Proceedings

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

A fully conservative model for compressible two-fluid flow Article

J. Wackers (Jeroen) and B. Koren (Barry)

Adjoint based model adaptation for a linear problem In Proceedings

J.M. Cnossen, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

A fully conservative model for compressible two-fluid flow In Proceedings

J. Wackers (Jeroen) and B. Koren (Barry)

Adjoint-based model adaptation for a linear problem In Proceedings

J.M. Cnossen, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

Modernizing existing software : a case study In Proceedings

C.T.H. Everaars (Kees), F. Arbab (Farhad) and B. Koren (Barry)

How mobility impacts the flow-level performance of wireless data networks Tech Report

T. Bonald, S.C. Borst (Sem) and A. Proutière

Modal abstractions in $ \mu $ CRL Tech Report

J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

A note on K-state self-stabilization in a ring with K=N Tech Report

W.J. Fokkink (Wan), J.H. Hoepman (Jaap-Henk) and J. Pang

Symphony: view-driven software architecture reconstruction Tech Report

A. van Deursen (Arie), C. Hofmeister, R. Koschke, L.M.F. Moonen (Leon) and C. Riva

Exact Metropolis-Hastings sampling for marked point processes using a C++ library Tech Report

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

Simplifying Itai-Rodeh leaderelection for anonymous rings Tech Report

W.J. Fokkink (Wan) and J. Pang

Compositional construction of web services using Reo Tech Report

N.K. Diakov (Nikolay) and F. Arbab (Farhad)

Generalizing DPLL and satisfiability for equalities Tech Report

B. Badban (Bahareh), J.C. van de Pol (Jaco), O. Tveretina and H. Zantema (Hans)

An approximation algorithm for square packing Tech Report

R. van Stee (Rob)

Combining request scheduling with web caching Tech Report

T. Feder, R. Motwani, R. Panigrahy, S. Seiden, R. van Stee (Rob) and A. Zhu

The differential calculus of bitstreams Tech Report

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

Online scheduling of splittable tasks in peer-to-peer networks Tech Report

L. Epstein (Lea) and R. van Stee (Rob)

Negotiating over bundles and prices using aggregate knowledge Tech Report

D.J.A. Somefun (Koye), T.B. Klos (Tomas) and J.A. La Poutré (Han)

A statistically principled approach to histogram segmentation Tech Report

G. Frederix (Greet) and E.J.E.M. Pauwels (Eric)

Adaptive wavelets for image compression using update lifting: quantisation and error analysis Tech Report

H.J.A.M. Heijmans (Henk), G. Piella (Gema) and B. Pesquet-Popescu

Path openings and closings Tech Report

H.J.A.M. Heijmans (Henk), M. Buckley and H. Talbot

Fast simulation of overflow probabilities in a queue with Gaussian input Tech Report

A.B. Dieker (Ton) and M.R.H. Mandjes (Michel)

Packet models revisited: tandem and priority systems Tech Report

M.R.H. Mandjes (Michel)

QoS-aware bandwidth provisioning for IP network links Tech Report

J.L. van den Berg (Hans), M.R.H. Mandjes (Michel), R. van de Meent, A. Pras, F. Roijers (Frank) and P. Venemans

A note on the benefits of buffering Tech Report

M.R.H. Mandjes (Michel)

Pricing strategies under heterogeneous service requirements Tech Report

M.R.H. Mandjes (Michel)

Large deviations of infinite intersections of events in Gaussian processes Tech Report

M.R.H. Mandjes (Michel), P. Mannersalo, I. Norros and M.J.G. van Uitert (Miranda)

Large deviations of sojourn times in processor sharing queues Tech Report

M.R.H. Mandjes (Michel) and A.P. Zwart (Bert)

Sojourn times in the M/G/1 FB queue with light-tailed service times Tech Report

M.R.H. Mandjes (Michel) and M. Nuyens

High-order TVD and TVB linear multistep methods Tech Report

S.J. Ruuth and W. Hundsdorfer (Willem)

Multi-point Taylor expansions of analytic functions Tech Report

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

Integral representations for computing real parabolic cylinder functions Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

On monotonicity and boundedness properties of linear multistep methods Tech Report

W. Hundsdorfer (Willem) and S.J. Ruuth

RKC time-stepping for advection-diffusion-reaction problems Tech Report

J.G. Verwer (Jan), B.P. Sommeijer (Ben) and W. Hundsdorfer (Willem)

On spurious reflections, nonuniform grids and finite difference discretizations of wave equations Tech Report

J.E. Frank (Jason) and S. Reich