Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Capture and transfer of metadata during video production Tech Report

F.-M. Nack (Frank)

January 2005
Ontologies in information integration within multimedia presentation generation Tech Report

J. Salas Enrech

January 2005
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)

January 2005
Algebraic specification and coalgebraic synthesis of Mealy automata Tech Report

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

January 2005
Discovering faults in idiom-based exception handling Tech Report

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

January 2005
Infinitary normalization Tech Report

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

January 2005
On a model of sequential point patterns Tech Report

V. Shcherbakov (Vadim)

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

V. Shcherbakov (Vadim)

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

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

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

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

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

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

January 2005
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)

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

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

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

J. Werner

January 2005
Composing discourse based on genre semantics Tech Report

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

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

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

January 2005
Zero, Sucessor and Equality in BDDs Article

Annals of Pure and Applied Logic, 101-123.

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

January 2005
TIJAH: embracing IR methods in XML databases Article

Information Retrieval Journal, 8(4), 547-570.

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

January 2005
Semantic Models of a Timed Distributed Dataspace Architecture Article

Theoretical Computer Science, 331(2-3), 291-323.

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

January 2005
Uitnodiging kerstbuffet / Invitation Christmas party, 16.12.2004 Other

December 2004
Multigrid analysis and embedded boundary conditions for discontinuous Galerkin discretization Dissertation

Scientific Computing

M.H. van Raalte (Marc)

December 2004
Performance of middleware based architectures: a quantitative approach In Proceedings

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

December 2004
Rule-based constraint propagation : theory and applications Dissertation

Networks and Optimization

S. Brand

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

Multiscale Dynamics

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

December 2004
A Lindley-type equation arising from a carousel problem Article

Journal of Applied Probability, 41(4), 1171-1181.

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

December 2004
Reminiscences on Influential Papers Article

SIGMOD Record, 33(4), 91-92.

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

December 2004
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)

December 2004
On distributed verification and verified distribution Dissertation

S.-M. Orzan (Simona-Mihaela)

November 2004
Uitnodiging afscheid Chester Thomson, 12.11.2004 Other

November 2004
Abstractions and static analysis for verifying reactive systems Dissertation

Software Analysis and Transformation

N. Yustinova (Nataliya)

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

November 2004
Using generative probabilistic models for multimedia retrieval Dissertation

T.H.W. Westerveld (Thijs)

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

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 70(5)

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

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

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

October 2004
Evolutionary agent-based economics Dissertation

Intelligent and autonomous systems

F. Alkemade (Floortje)

October 2004
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)

October 2004
A Linking and Interaction Evaluation Test Set for SMIL In Proceedings

D.C.A. Bulterman (Dick)

October 2004
Supporting the Production and Playback of Complex Multimedia Documents In Proceedings

D.C.A. Bulterman (Dick)

October 2004
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

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

September 2004
Semi-Automatic Identification of Humpback Whales In Proceedings

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

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

August 2004
Formal verification of distributed systems Dissertation

J. Pang

August 2004
Efficient Doubling on Genus Two Curves over Binary Fields In Proceedings

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

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

Intelligent and autonomous systems

E.H. Gerding (Enrico)

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

Lydia Flapper (L.)

July 2004
Multimedia retrieval using multiple images In Proceedings

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

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

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 70(1)

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

July 2004
The Calibrator Software

S. Manegold (Stefan)

June 2004
MOnitoring Distributed Object and Component Communication Dissertation

N.K. Diakov (Nikolay)

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

Modelling, Analysis and Computation

M.R. Lewis (Mervyn)

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

Computer Security

F. Bartels (Falk)

June 2004
Variability and Component Composition, In Proceedings

T. van der Storm (Tijs)

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

Mathematical Structures in Computer Science, 14(3), 329-366.

F. Arbab (Farhad)

June 2004
Streamer branching rationalized by conformal mapping techniques Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 69(6)

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

June 2004
Structuring and presenting annotated media repositories In Proceedings

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

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

Journal of Nonlinear Science, 14(3), 237-278.

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

May 2004
CWI mededelingen : personeelsnieuws 2004 - 2009 Miscellaneous

May 2004
SMIL 2.0 - Interactive Multimedia for Web and Mobile Devices Book

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

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

G. Schäfer (Guido)

April 2004
Geometric space-time integration of ferromagnetic materials Article

Applied Numerical Mathematics, 307-322.

J.E. Frank (Jason)

March 2004
Altijd gedonder om dat vrouw zijn Magazine Article

U. Ebert (Ute)

March 2004
CWI 58 jaar! 1946-2004, 11.02.2004 Other

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

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

February 2004
A fully conservative model for compressible two-fluid flow Article

International Journal for Numerical Methods in Fluids, 1-6.

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

January 2004
Adjoint based model adaptation for a linear problem In Proceedings

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

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

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

January 2004
Adjoint-based model adaptation for a linear problem In Proceedings

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

January 2004
Modernizing existing software : a case study In Proceedings

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

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

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

January 2004
Modal abstractions in $ \mu $ CRL Tech Report

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

January 2004
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

January 2004
Symphony: view-driven software architecture reconstruction Tech Report

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

January 2004
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

January 2004
Simplifying Itai-Rodeh leaderelection for anonymous rings Tech Report

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

January 2004
Compositional construction of web services using Reo Tech Report

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

January 2004
Generalizing DPLL and satisfiability for equalities Tech Report

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

January 2004
An approximation algorithm for square packing Tech Report

R. van Stee (Rob)

January 2004
Combining request scheduling with web caching Tech Report

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

January 2004
The differential calculus of bitstreams Tech Report

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

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

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

January 2004
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)

January 2004
A statistically principled approach to histogram segmentation Tech Report

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

January 2004
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

January 2004
Path openings and closings Tech Report

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

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

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

January 2004
Packet models revisited: tandem and priority systems Tech Report

M.R.H. Mandjes (Michel)

January 2004
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

January 2004
A note on the benefits of buffering Tech Report

M.R.H. Mandjes (Michel)

January 2004
Pricing strategies under heterogeneous service requirements Tech Report

M.R.H. Mandjes (Michel)

January 2004
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)

January 2004
Large deviations of sojourn times in processor sharing queues Tech Report

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

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

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

January 2004
High-order TVD and TVB linear multistep methods Tech Report

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

January 2004
Multi-point Taylor expansions of analytic functions Tech Report

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

January 2004
Integral representations for computing real parabolic cylinder functions Tech Report

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

January 2004
On monotonicity and boundedness properties of linear multistep methods Tech Report

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

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

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

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

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

January 2004

Previous

Next

Available Years