Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Software release and deployment at Exact: a case study report Tech Report

R.L. Jansen (Slinger), G.C. Ballintijn (Gerco) and S. Brinkkemper

January 2004
Online learning of aggregate knowledge about non-linear preferences applied to negotiating prices and bundles Tech Report

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

January 2004
The separation of economic versus EA parameters in EA-learning. Tech Report

F. Alkemade (Floortje), J.A. La Poutré (Han) and H.M. Amman (Hans)

January 2004
Bounds for online bounded space hypercube packing Tech Report

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

January 2004
MoCha, a model for distributed mobile channels Tech Report

J.V. Guillen Scholten (Juan)

January 2004
A process framework and typology for software product updaters. Tech Report

R.L. Jansen (Slinger), S. Brinkkemper and G.C. Ballintijn (Gerco)

January 2004
Strongly typed heterogeneous collections Tech Report

O. Kiselyov (Oleg), R. Lämmel (Ralf) and K. Schupke

January 2004
Term rewriting meets aspect-oriented programming Tech Report

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

January 2004
Decentralized reputation-based trust for assessing agent reliability under aggregate feedback Tech Report

T.B. Klos (Tomas) and J.A. La Poutré (Han)

January 2004
Reducing dynamic epistemic logic to PDL by program transformation Tech Report

D.J.N. van Eijck (Jan)

January 2004
Dynamic epistemic modelling Tech Report

D.J.N. van Eijck (Jan)

January 2004
Guarded actions Tech Report

D.J.N. van Eijck (Jan)

January 2004
My favorite editor anywhere Tech Report

H.A. de Jong (Hayco) and A.T. Kooiker (Taeke)

January 2004
Vicious circles in rewriting systems Tech Report

J. Ketema, J.W. Klop (Jan Willem) and V. van Oostrom (Vincent)

January 2004
Large deviations of Gaussian tandem queues and resulting performance formulae Tech Report

M.R.H. Mandjes (Michel), P. Mannersalo and I. Norros

January 2004
Large deviations for complex buffer architectures: the short-range dependent case Tech Report

M.R.H. Mandjes (Michel)

January 2004
Maintenance routing for train units: the scenario model Tech Report

G. Maróti (Gábor) and L.G. Kroon

January 2004
Maintenance routing for train units: the transition model Tech Report

G. Maróti (Gábor) and L.G. Kroon

January 2004
Reduced-load equivalence for queues with Gaussian input Tech Report

A.B. Dieker (Ton)

January 2004
A versatile model for TCP bandwidth sharing in networks with heterogeneous users. Tech Report

D. Abendroth, J.L. van den Berg (Hans) and M.R.H. Mandjes (Michel)

January 2004
Reconstructing binary images from discrete X-rays Tech Report

K.J. Batenburg (Joost)

January 2004
Dobrushin-Kotecky-Schlosman theorem for polygonal Markov fields in the plane Tech Report

T. Schreiber

January 2004
A rolling stock circulation model for combining and splitting of passenger trains. Tech Report

P.J. Fioole, L.G. Kroon, G. Maróti (Gábor) and A. Schrijver (Lex)

January 2004
Integer programming, lattices, and results in fixed dimension Tech Report

K.I. Aardal (Karen) and F. Eisenbrand

January 2004
A multigrid approach to image processing. Tech Report

P.M. de Zeeuw (Paul)

January 2004
Indexing, learning and content-based retrieval for special purpose image databases Tech Report

M.J. Huiskes (Mark) and E.J.E.M. Pauwels (Eric)

January 2004
A matlab toolbox for image fusion (MATIFUS). Tech Report

P.M. de Zeeuw (Paul), G. Piella (Gema) and H.J.A.M. Heijmans (Henk)

January 2004
A finite-element solver for the 2D heat equation with convection. Tech Report

J. Wackers (Jeroen)

January 2004
Numerical simulations and conformal analysis of growing and branching negative discharge streamers Tech Report

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

January 2004
Branching of positive discharge streamers in air at varying pressures Tech Report

T.M.P. Briels (Tanja), E.M. van Veldhuizen and U. Ebert (Ute)

January 2004
Self-contact for rods on cylinders Tech Report

G.H.M. van der Heijden, M.A. Peletier (Mark) and R. Planqué (Robert)

January 2004
Dependence of the transition from Townsend to glow discharge on secondary emission Tech Report

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

January 2004
Observability of Hybrid Systems and Turing Machines Tech Report

P.J. Collins (Pieter) and J.H. van Schuppen (Jan)

January 2004
Five-equation model for compressible two-fluid flow Tech Report

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

January 2004
Algorithm 831: modified Bessel functions of imaginary order and positive argument Tech Report

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

January 2004
Computing solutions of the modified Bessel differential equation for imaginary orders and positive arguments Tech Report

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

January 2004
On positive solutions in a phytoplankton-nutrient model Tech Report

N.N. Pham Thi (Nga)

January 2004
Entropy-minimising models of surface diffeomorphisms relative to homoclinic and heteroclinic orbits Tech Report

P.J. Collins (Pieter)

January 2004
Forcing relations for homoclinic orbits of the Smale horseshoe map Tech Report

P.J. Collins (Pieter)

January 2004
On the temporal order of first-passage times in one-dimensional lattice random walks Tech Report

J.B. Sanders and N.M. Temme (Nico)

January 2004
System theory of rational positive systems for cell reaction networks Tech Report

J.H. van Schuppen (Jan)

January 2004
Coalgebra and coinduction in discrete-event control with partial observations Tech Report

J. Komenda and J.H. van Schuppen (Jan)

January 2004
Reachability of affine systems on polytopes in the plane Tech Report

L.C.G.J.M. Habets (Luc) and J.H. van Schuppen (Jan)

January 2004
Oscillations in DC driven 'barrier' discharges: numerical solutions, stability analysis and phase diagram Tech Report

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

January 2004
Cracking the database store Tech Report

M.L. Kersten (Martin) and S. Manegold (Stefan)

January 2004
Clustering semantics for hypermedia presentation Tech Report

M. Alberink, L. Rutledge (Lloyd), L. Hardman (Lynda) and M. Veenstra

January 2004
Towards making automated multimedia communicate more effectively: A multi-disciplinary approach Tech Report

M.S. Cáceres

January 2004
Cooperative scans Tech Report

M. Zukowski (Marcin), P.A. Boncz (Peter) and M.L. Kersten (Martin)

January 2004
An investigation on the relationship between the user model and graphic representations for the automated generation of multimedia presentations. Tech Report

K. Schwarz

January 2004
Identifying aspects using fan-in analysis Tech Report

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

January 2004
Amicable pairs : a survey Article

Fields Institute Communications, 1-19.

M. García, J.M. Pedersen and H.J.J. te Riele (Herman)

January 2004
Multi-point Taylor expansions of analytic functions Article

Transactions of the American Mathematical Society, 356(11), 4323-4342.

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

January 2004
Grid approximation of a singularly perturbed boundary value problem modelling heat transfer in the case of flow over a flat plate with suction of the boundary layer Article

Journal of Computational and Applied Mathematics, 166(1), 221-232.

J.J.H. Miller (John), G.I. Shishkin (Gregori), B. Koren (Barry) and L.P. Shishkina

January 2004
Keyphrase assignment. Comparison between 'identification cloud' based automatic methods and human experts Tech Report

M. Hazewinkel (Michiel)

January 2004
Hopf algebras of endomorphisms of Hopf algebras Unpublished

M. Hazewinkel (Michiel)

January 2004
Dynamic stochastic models for indexes and thesauri, identification clouds, and information retrieval and storage In Proceedings

M. Hazewinkel (Michiel)

January 2004
A State Space Distribution Policy based on Abstract Interpretation In Proceedings

S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.A. Valero Espada (Miguel)

January 2004
Mathematical knowledge management is needed In Proceedings

M. Hazewinkel (Michiel)

January 2004
Hopf algebras : their status and pervasiveness Unpublished

M. Hazewinkel (Michiel)

January 2004
Solving Satisfiability of Ground Term Algebras Using DPLL and Unification In Proceedings

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

January 2004
Abstraction of parallel uniform processes with data In Proceedings

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

January 2004
Recent advances in constraints Book

January 2004
Preface: Recent advances in constraints Preface

K.R. Apt (Krzysztof), F. Fages, F. Rossi, P. Szeredi and J. Váncza

January 2004
Mass customization in ambient narratives Tech Report

M.G.L.M. van Doorn (Mark) and A.P. de Vries (Arjen)

January 2004
A comparative study of arithmetic constraints on integer intervals In Proceedings

K.R. Apt (Krzysztof) and P. Zoeteweij (Peter)

January 2004
Algebras, rings, and modules: Volume 1 Book

M. Hazewinkel (Michiel), N. Gubareni (Nadiya) and V.V. Kirichenko

January 2004
Combining multiple representations on the TRECVID search task In Proceedings

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

January 2004
Monitoring user-system performance in interactive retrieval tasks In Proceedings

L. Boldareva, A.P. de Vries (Arjen) and D. Hiemstra

January 2004
Tolerance to Irrelevance: A User-effort Oriented Evaluation of Retrieval Systems without Predefined Retrieval Unit In Proceedings

A.P. de Vries (Arjen), G. Kazai and M. Lalmas

January 2004
A dynamic probabilistic retrieval model In Proceedings

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

January 2004
Uniform proofs of order independece for various strategy elimination procedures Article

Contributions to Theoretical Economics, 4(1), 1-48.

K.R. Apt (Krzysztof)

January 2004
A Case Study on Array Query Optimisation In Proceedings

R. Cornacchia (Roberto), A.R. van Ballegooij (Alex) and A.P. de Vries (Arjen)

January 2004
Graph parameters and reflection positivity Tech Report

A. Schrijver (Lex), M.H. Freedman and L. Lovász (László)

January 2004
Polyhedral combinatorics and combinatorial optimization Article

Journée Annuelle-Recherche Opérationnelle, 59-74.

A. Schrijver (Lex)

January 2004
Integral representations for computing real parabolic cylinder functions Article

Numerische Mathematik, 98(1), 105-134.

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

January 2004
Computing solutions of the modified bessel differential equation for imaginary orders and positive arguments Article

ACM Transactions on Mathematical Software, 30(2), 145-158.

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

January 2004
Algorithms 831: modified bessel functions of imaginary order and positive argument Article

ACM Transactions on Mathematical Software, 39(2), 159-164.

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

January 2004
Building Logic Toolboxes Dissertation

Standardization and Knowledge Transfer

J.M. Heguiabehere

December 2003
Generalized processor sharing queues Dissertation

Stochastics

M.J.G. van Uitert (Miranda)

November 2003
Plural Pronominal Anaphora in Context: Dynamic Aspects of Quantification Dissertation

R.W.F. Nouwen

November 2003
Feature Grammar Systems - Incremental Maintenance of Indexes to Digital Media Warehouses Dissertation

Database Architectures

M.A. Windhouwer (Menzo)

November 2003
The Ambulant Annotator: Medical Multimedia Annotations on TabletPC’s In Proceedings

D.C.A. Bulterman (Dick)

November 2003
Lower bound for the number of iterations in semidefinite relaxations for the cut polytope. Article

Mathematics of Operations Research, 28(4), 871-883.

M. Laurent (Monique)

November 2003
Adaptive wavelets and their applications to image fusion and compression Dissertation

Scientific Computing

G. Piella (Gema)

October 2003
Wetenschap in het spel : CWI in bedrijf, 17.10.2003 Booklet

October 2003
Welkomstfoto Jan Karel Lenstra als directeur CWI, 01.10.2003 Other

October 2003
XForms 1.0 Standard

M. Dubinko, S. Pemberton (Steven) and not CWI et al

October 2003
XML Events An Events Syntax for XML Standard

S. McCarron (Shane), S. Pemberton (Steven) and T.V. Raman

October 2003
Towards Ontology-driven Discourse: From Semantic Graphs to Multimedia Presentations In Proceedings

J.P.T.M. Geurts (Joost), S. Bocconi, J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

October 2003
AmbientDB: P2P Database Technology for Ambient Intelligent Multimedia Applications Article

ERCIM News, 231-246.

P.A. Boncz (Peter)

October 2003
Infectious diseases among animals: combining models and data Dissertation

A.A. de Koeijer

September 2003
Identifiability of nonlinear homogeneous polynomial systems In Proceedings

R. Peeters (Ralf) and B. Hanzon (Bernard)

September 2003
An algebraic method for system reduction of stationary Gaussian systems In Proceedings

D. Jibetean (Dorina) and J.H. van Schuppen (Jan)

August 2003
Taking the Pulse of the Economy Article

Quantitative Finance, 3(4)

Z.R. Struzik

August 2003
Combinatorics and quantum nonlocality Article

Physical Review Letters, 91(4)

H.M. Buhrman (Harry), P. Høyer (Peter), S. Massar (Serge) and H. Röhrig (Hein)

July 2003
A decommitment strategy in a competitive multi-agent transportation setting In Proceedings

P.J. 't Hoen (Pieter Jan) and J.A. La Poutré (Han)

July 2003
The Dijkstra-Zonneveld ALGOL 60 compiler for the Electrologica X1 historical note SEN, 2 Book

F.E.J. Kruseman Aretz

June 2003
Matching, edge-colouring, dimers In Proceedings

A. Schrijver (Lex)

June 2003
Populariseren van de wetenschap : Henk Nieland minisymposium, 11.06.2003 Other

June 2003
Algebraic optimization with applications to system theory Dissertation

Scientific Computing

D. Jibetean (Dorina)

June 2003

Previous

Next

Available Years