Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Formal analysis of a fair payment protocol Tech Report

J.G. Cederquist and M.T. Dashti (Mohammad)

January 2004
Models and temporal logics for timed component connectors Tech Report

F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank) and J.J.M.M. Rutten (Jan)

January 2004
Synthesis of reo circuits for implementation of component-connector automata specifications Tech Report

F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank), J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)

January 2004
Some conditional correlation inequalities for percolation and related processes Tech Report

J. van den Berg (Rob), O. Häggström and J. Kahn

January 2004
Strong laws for generalized absolute Lorenz curves when data are stationary and ergodic sequences Tech Report

R. Helmers (Roelof) and R. Zitikis

January 2004
Decomposition orders : another generalisation of the fundamental theorem of arithmetic Tech Report

S.P. Luttik (Bas) and V. van Oostrom (Vincent)

January 2004
Modelling coordination in biological systems Tech Report

D.G. Clarke (David), D.F. de Oliveira Costa (David) and F. Arbab (Farhad)

January 2004
Integrated SCM/PDM/CRM and delivery of software products to 160.000 customers Tech Report

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

January 2004
Construction of negotiation protocols for E-commerce applications Tech Report

Z.V. Zlatev, N.K. Diakov (Nikolay) and S. Pokraev

January 2004
Vicious circles in orthogonal term rewriting systems Tech Report

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

January 2004
Normal forms for characteristic functions on n-ary relations Tech Report

D.J.N. van Eijck (Jan)

January 2004
From timed $X_t$ to $mu$CRL: combining performance and functional analysis Tech Report

A.J. Wijs (Anton) and W.J. Fokkink (Wan)

January 2004
Inter-cell scheduling in wireless data networks Tech Report

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

January 2004
Image segmentation by polygonal Markov fields Tech Report

R. Kluszczynski, M.N.M. van Lieshout (Marie-Colette) and T. Schreiber

January 2004
Addressing special structure in the relevance feedback learning problem through aspect-based image search Tech Report

M.J. Huiskes (Mark)

January 2004
Continuity and computability of reachable sets Tech Report

P.J. Collins (Pieter)

January 2004
Realization theory for linear switched systems Tech Report

M. Petreczky (Mihaly)

January 2004
Realization theory for linear switched systems: formal power series apporach Tech Report

M. Petreczky (Mihaly)

January 2004
Approximating the minimal-cost sensor-selection for discrete-event systems Tech Report

K.R. Rohloff and J.H. van Schuppen (Jan)

January 2004
Cache-Conscious Radix-Decluster Projections Book Chapter

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

January 2004
Internet voor iedereen: 10 tips Hoe maak je een toegankelijke website? Other

January 2004
New years card 2004 Other

January 2004
Automated negotiation and bundling of information goods In Proceedings

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

January 2004
Negotiating the distribution of obligations with sanctions among autonomous agents In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2004
Quantum computation and privacy Master Thesis

S.D.C. Wehner (Stephanie)

January 2004
The Future in Digital Media Computing Is Meta Article

IEEE Multimedia, 11(2), 10-13.

F.-M. Nack (Frank)

January 2004
Combining Indexing Schemes to Accelerate Querying XML on Content and Structure In Proceedings

G. Ramirez Camps (Georgina) and A.P. de Vries (Arjen)

January 2004
Automatic Meaning Discovery Using Google Tech Report

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

January 2004
Tracking Aspects of the Foreground Against the Background In Proceedings

H.T. Nguyen (Hieu) and A.W.M. Smeulders (Arnold)

January 2004
Thick 2D Relations for Document Understanding Article

Information Sciences, 167(1-4), 147-176.

M. Aiello and A.W.M. Smeulders (Arnold)

January 2004
Population-Based Incremental Interactive Concept Learning for Image Retrieval by Stochastic String Segmentations Article

IEEE Transactions on Medical Imaging, 23(6), 676-689.

S. Ghebreab, C.C. Jaffe and A.W.M. Smeulders (Arnold)

January 2004
Observables and Invariance for Early Cognitive Vision In Proceedings

G.J. Burghouts, J.M. Geusebroek (Jan-Mark) and A.W.M. Smeulders (Arnold)

January 2004
Guest Editorial Article

International Journal of Computer Vision, 56(1-2), 5-6.

A.W.M. Smeulders (Arnold), T.S. Huang (Thomas) and T. Gevers

January 2004
Fast Occluded Object Tracking by a Robust Appearance Filter Article

IEEE Transactions on Pattern Analysis and Machine Intelligence, 26(8), 1099-1104.

H.T. Nguyen (Hieu) and A.W.M. Smeulders (Arnold)

January 2004
Content-Based Image Retrieval Article

International Journal of Computer Vision, 5-6.

A.W.M. Smeulders (Arnold), T.S. Huang (Thomas) and T. Gevers

January 2004
Combining Strings and Necklaces for Interactive Three-Dimensional Segmentation of Spinal Images Using an Integral Deformable Spine Model Article

IEEE Transactions on Biomedical Engineering, 50(10), 1821-1829.

S. Ghebreab and A.W.M. Smeulders (Arnold)

January 2004
An Information-Based Measure for Grouping Quality In Proceedings

E.A. Engbers, M. Lindenbaum and A.W.M. Smeulders (Arnold)

January 2004
An Approximately Complete String Representation of Local Object Boundary Features for Concept-Based Image Retrieval In Proceedings

S. Ghebreab and A.W.M. Smeulders (Arnold)

January 2004
Active Learning Using Pre-Clustering In Proceedings

H.T. Nguyen (Hieu) and A.W.M. Smeulders (Arnold)

January 2004
Kosmische Zündfunken Article

Physik Journal, 3(2), 17-18.

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

January 2004
Verifying a sliding window protocol in muCRL In Proceedings

W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang, 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
Convergent asymptotic expansions of Charlier, Laguerre and Jacobi polynomials Book Chapter

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

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

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

January 2004
The overlap problem in content-oriented XML retrieval evaluation In Proceedings

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

January 2004
Minimizing makespan in a two-machine flow shop with delays and unit-time operations is NP-hard Article

Journal of Scheduling, 333-348.

W. Yu, J.A. Hoogeveen and J.K. Lenstra (Jan Karel)

January 2004
Computer-aided complexity classification of dial-a-ride problems. Article

INFORMS Journal on Computing, 120-132.

W.E. de Paepe, J.K. Lenstra (Jan Karel), J. Sgall, R.A. Sitters (René) and L. Stougie (Leen)

January 2004
Waiting time asymptotics in the single server queue with service in random order Article

Queueing Systems, 35-73.

O.J. Boxma (Onno), S.G. Foss (Sergey), J.M. Lasgouttes and R. Núñez Queija (Rudesindo)

January 2004
The Haskell Road to Logic, Maths and Programming: Textbook Programs Software

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

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

Previous

Next

Available Years