Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
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
Application of a chimera technique to the computation of subsonic and transonic bi-airfoil flows Tech Report

L.C.Q. Yagua and B. Koren (Barry)

January 2004
Capturing experience: a matter of contextualising events Tech Report

F.-M. Nack (Frank)

January 2004
Structuring and presenting annotated media repositories Tech Report

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

January 2004
Multimedia retrieval using multiple examples Tech Report

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

January 2004
Video on the semantic web: experiences with media streams Tech Report

J.P.T.M. Geurts (Joost) and J.R. van Ossenbruggen (Jacco)

January 2004
VOX POPULI: automatic generation of biased video sequences Tech Report

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

January 2004
Cache-conscious radix-decluster projections Tech Report

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

January 2004
Transforming abstract document structure to a hypermedia presentation Tech Report

R.C.E. van Velthoven

January 2004
Wavelet techniques for reversible data embedding into images Tech Report

L. Kamstra and H.J.A.M. Heijmans (Henk)

January 2004
A J-function for marked point patterns Tech Report

M.N.M. van Lieshout (Marie-Colette)

January 2004
Variability and component composition Tech Report

T. van der Storm (Tijs)

January 2004
Predicting class testability using object-oriented metrics Tech Report

M. Bruntink (Magiel) and A. van Deursen (Arie)

January 2004
An evaluation of clone detection techniques for identifying crosscutting concerns Tech Report

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

January 2004
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
Verkeersproblemen op de digitale snelweg Inaugural Lecture

R.D. van der Mei (Rob)

January 2004
Adaptieve systemen : intelligentie in software-agenten en economische spelen Inaugural Lecture

J.A. La Poutré (Han)

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

Previous

Next

Available Years