Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

The Haskell Road to Logic, Maths and Programming Book

D.J.N. van Eijck (Jan) and H.C. Doets (Kees)

January 2004
Experiencing 3D interactions in virtual reality and augmented reality In Proceedings

J.-B. Martens and R. van Liere (Robert)

January 2004
An Experimental Comparison of Three Optical Trackers for Model Based Pose Determination in Virtual Reality Article

Eurographics Symposium on Virtual Environments

R. van Liere (Robert) and A.J. van Rhijn (Arjen)

January 2004
Tangible devices for two handed 3D interaction} In Proceedings

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

January 2004
Co-location and Tactile Feedback for 2D Widget Manipulation" In Proceedings

A.J.F. Kok (Arjan) and R. van Liere (Robert)

January 2004
Deliver: intelligent beheer en distributie van software Article

Informatie (NGI), 2004(1)

G.C. Ballintijn (Gerco), S. Brinkkemper, P. Klint (Paul) and T. van der Storm (Tijs)

January 2004
Amicable pairs : a survey In Proceedings

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

January 2004
Hamiltonian Particle-Mesh Method for Two-Layer Shallow-Water Equations Subject to the Rigid-Lid Approximation Article

SIAM Journal on Applied Dynamical Systems, 3(1), 69-83.

C.J. Cotter, J.E. Frank (Jason) and S. Reich

January 2004
The Hamiltonian Particle-Mesh Method for the Spherical Shallow Water Equations Article

Atmospheric Science Letters, 5(5), 89-95.

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

January 2004
Self-destructive percolation Article

Random Structures & Algorithms, 480-501.

J. van den Berg (Rob) and R.M. Brouwer (Rachel)

January 2004
Quenched invariance principles for walks on clusters of percolations or among random conductances Article

Probability Theory and Related Fields, 129(2), 219-244.

V. Sidoravicius (Vladas) and A.-S. Sznitman (Alain-Sol)

January 2004
Verifying a sliding window protocol in muCRL In Proceedings

W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun), B. Badban (Bahareh) and J.C. van de Pol (Jaco)

January 2004
Modal abstractions in $ \mu $ CRL In Proceedings

J.C. van de Pol (Jaco) and M.V. Espada

January 2004
Buffer management problems Article

ACM SIGACT News, 35(3), 58-66.

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

January 2004
A fully abstract semantics for UML Components In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello), M. Steffen and E. Abraham (Erika)

January 2004
Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

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

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

January 2004
On a packet scheduling problem for smart antennas and polyhedra defined by circular-ones matrices Article

Electronic Notes in Discrete Mathematics, 175-178.

D. Gijswijt (Dion)

January 2004
Vakantiecursus 2004 Centrum voor Wiskunde en Informatica : Structuur in schoonheid Book

January 2004
Is It Time for a Moratorium on Metadata? Article

IEEE MultiMedia, 11(4), 10-17.

D.C.A. Bulterman (Dick)

January 2004
Experiments on propagating and branching positive streamers in air In Proceedings

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

January 2004
Kosmische Zündfunken? Article

Physik Journal, 17-18.

M. Füllekrug (Martin) and U. Ebert (Ute)

January 2004
Pattern forming pulled fronts: bounds and universal convergence Article

Physica - D, Nonlinear Phenomena, 13-32.

U. Ebert (Ute), W. Spruijt and W. van Saarloos

January 2004
Stability of negative ionization fronts: regularization by electric screening? Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics

M. Arrayás and U. Ebert (Ute)

January 2004
A continuum model of lipid bilayers Article

European Journal of Applied Mathematics, 15(14), 487-508.

J.G. Blom (Joke) and M.A. Peletier (Mark)

January 2004
Mixture formulae for shot noise weighted point processes Article

Statistics and Probability Letters, 311-320.

P. Gregori, M.N.M. van Lieshout (Marie-Colette) and J. Mateu

January 2004
Clustering of search engine results by Google In Proceedings

W. Mettrop (Wouter), P. Nieuwenhuysen and H. Smulders

January 2004
High-order accurate decomposition of Richardson’s method for a singularly perturbed elliptic reaction-diffusion equation Article

Computational Mathematics and Mathematical Physics, 309-316.

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 2004
A class of singularly perturbed convection-diffusion problems with a moving interior layer Article

Computational Methods in Applied Mathematics, 4(1), 105-127.

G.I. Shishkin (Gregori), P.W. Hemker (Piet) and L.P. Shishkina

January 2004
Parameter-robust domain decomposition methods for semilinear singularly perturbed parabolic reaction-diffusion equations in a composed domain In Proceedings

I.V. Tselishcheva, P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

January 2004
High-order space-time accurate defect correction schemes for semilinear singularly perturbed parabolic problems with convection In Proceedings

L.P. Shishkina, P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

January 2004
Fourier two-level analysis for higher dimensional discontinuous Galerkin discretisation Article

Computing and Visualization in Science, 159-172.

P.W. Hemker (Piet) and M.H. van Raalte (Marc)

January 2004
Two-level Fourier analysis of a multigrid approach for discontinuous Galerkin discretisation Article

SIAM Journal on Scientific Computing, 1018-1041.

P.W. Hemker (Piet), W. Hoffmann (Walter) and M.H. van Raalte (Marc)

January 2004
Semantic-Aware Automatic Video Editing In Proceedings

S. Bocconi

January 2004
SampLe: Towards a Framework for System-supported Multimedia Authoring In Proceedings

K. Falkovych (Kateryna), F.-M. Nack (Frank), J.R. van Ossenbruggen (Jacco) and L. Rutledge (Lloyd)

January 2004
Next Generation Search Interfaces - Interactive Data Exploration and Hypothesis Testing In Proceedings

J. Hunter, K. Falkovych (Kateryna) and S. Little

January 2004
Discourse knowledge in device independent document formatting In Proceedings

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

January 2004
VOX POPULI: Automatic Generation of Biased Video Sequences In Proceedings

S. Bocconi and F.-M. Nack (Frank)

January 2004
That Obscure Object of Desire: Multimedia Metadata on the Web (Part I) Article

IEEE MultiMedia, 11(4), 38-48.

J.R. van Ossenbruggen (Jacco), F.-M. Nack (Frank) and L. Hardman (Lynda)

January 2004
Saying What It Means: Semi-Automated (News) Media Anotation Article

International Journal on Multimedia Tools and Applications, 22(3), 263-302.

F.-M. Nack (Frank) and W. Putz

January 2004
AmbientDB: P2P Data Management Middleware for Ambient Intelligence In Proceedings

W. Fontijn and P.A. Boncz (Peter)

January 2004
Cache-Conscious Radix-Decluster Projections In Proceedings

S. Manegold (Stefan), P.A. Boncz (Peter), N.J. Nes (Niels) and M.L. Kersten (Martin)

January 2004
A comparison of continuous vs. discrete image models for probabilistic image and video retrieval In Proceedings

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

January 2004
Multi-attribute bilateral bargaining in a one-to-many setting Tech Report

E.H. Gerding (Enrico), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2004
Automated negotiation and bundling of information goods Tech Report

D.J.A. Somefun (Koye), E.H. Gerding (Enrico), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2004
A study into ant colony optimisation, evolutionary computation and constraint programming on binary constraint satisfaction problems. Tech Report

J.I. van Hemert and C. Solnon

January 2004
Binary merge model representation of the graph colouring problem Tech Report

I. Juhos, A. Tóth and J.I. van Hemert

January 2004
Dynamic routing problems with fruitful regions: models and evolutionary computation Tech Report

J.I. van Hemert and J.A. La Poutré (Han)

January 2004
Phase transition properties of clustered travelling salesman problem instances generated with evolutionary computation Tech Report

J.I. van Hemert and N.B. Urquhart

January 2004
This side up! Tech Report

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

January 2004
Online bin packing with resource augmentation Tech Report

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

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

Previous

Next

Available Years