Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Representations of isotropic random fields with homogeneous increments Tech Report

K.O. Dzhaparidze (Kacha), J.H. van Zanten (Harry) and P. Zarȩba (Pawel)

January 2005
Identification clouds: aspects of the implementation Tech Report

C.L. Blom (Kees) and M. Hazewinkel (Michiel)

January 2005
Specification of coordination behaviors in software architecture using the Reo coordination language Tech Report

Y. Li (Yongzhi)

January 2005
Specification of e-business process model for PayPal online payment process using Reo Tech Report

M. Xie

January 2005
The unified coordination language UnCL. Tech Report

F.S. de Boer (Frank), J.V. Guillen Scholten (Juan) and J.F. Jacob (Joost)

January 2005
Design and implementation of an editor and simulators for constraint automata in the context of Reo Tech Report

H. Kwan Kan

January 2005
Landscape maps for enterprise architectures Tech Report

L.W.N. van der Torre (Leon), M.M. Lankhorst, H. ter Doest, J. Campschroer and F. Arbab (Farhad)

January 2005
Integrating architectural models Tech Report

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), M.M. Lankhorst, H.A. Proper and L.W.N. van der Torre (Leon)

January 2005
Interactive visualization of dynamic models Tech Report

F. Arbab (Farhad) and L.W.N. van der Torre (Leon)

January 2005
When and how to develop domain-specific languages Tech Report

M. Mernik (Marjan), J. Heering (Jan) and A.M. Sloane

January 2005
Super-scalar RAM-CPU cache compression Tech Report

M. Zukowski (Marcin), S. A. B. C. Héman (Sándor), N.J. Nes (Niels) and P.A. Boncz (Peter)

January 2005
Canonical processes of media production Tech Report

L. Hardman (Lynda)

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

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

L. Flapper (Lydia)

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 (Jelmer), 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 (Jelmer), 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 (Jun)

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 (Jun)

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

Previous

Next

Available Years