Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Timed verification with muCRL Tech Report

S.C.C. Blom (Stefan), N. Ioustinova (Natalia) and N. Sidorova

January 2003
Using fairness to make abstractions work Tech Report

D. Bosnacki, N. Ioustinova (Natalia) and N. Sidorova

January 2003
A component-based parallel constraint solver Tech Report

P. Zoeteweij (Peter) and F. Arbab (Farhad)

January 2003
COllective INtelligence with task assignment Tech Report

P.J. 't Hoen (Pieter Jan) and S.M. Bohte (Sander)

January 2003
A study of integrated document and connection caching in the WWW Tech Report

S. Albers and R. van Stee (Rob)

January 2003
Improved competitive guarantees for QoS buffering Tech Report

A. Kesselman, Y. Mansour and R. van Stee (Rob)

January 2003
Bargaining with posterior opportunities: an evolutionary social simulation Tech Report

E.H. Gerding (Enrico) and J.A. La Poutré (Han)

January 2003
Deriving tolerant grammars from a base-line grammar Tech Report

A.S. Klusener (Steven) and R. Lämmel (Ralf)

January 2003
A framework for datatype transformation Tech Report

J. Kort and R. Lämmel (Ralf)

January 2003
Adding superimposition to a language semantics Tech Report

R. Lämmel (Ralf)

January 2003
Design patterns and pspects : modular designs with seamless run-time integration Tech Report

R.A. Hirschfeld (Robert), R. Lämmel (Ralf) and M. Wagner

January 2003
Scrap your boilerplate: a practical design pattern for generic programming Tech Report

R. Lämmel (Ralf) and S. Peyton Jones

January 2003
Strategic polymorphism requires just two combinators! Tech Report

R. Lämmel (Ralf) and J.M.W. Visser (Joost)

January 2003
A Strafunski application letter Tech Report

R. Lämmel (Ralf) and J.M.W. Visser (Joost)

January 2003
Strategic programming meets adaptive programming Tech Report

R. Lämmel (Ralf), E. Visser (Eelco) and J.M.W. Visser (Joost)

January 2003
Parse-tree annotations meet re-engineering concerns Tech Report

J. Kort and R. Lämmel (Ralf)

January 2003
Semantics-directed implementation of method-call interception Tech Report

R. Lämmel (Ralf) and C. Stenzel

January 2003
Towards smart style: combining RDF semantics with XML document transformations Tech Report

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

January 2003
Creating harmonious and legible colour schemes in the automated generation of multimedia presentations Tech Report

A.S.K. Manniesing

January 2003
Automatic presentation generation for scholarly hypermedia Tech Report

S. Bocconi

January 2003
Cuypers meets users: implementing a user model architecture for multimedia presentation generation Tech Report

S. Little and L. Hardman (Lynda)

January 2003
Semantics in multi-facet hypermedia authoring Tech Report

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

January 2003
That obscure object of desire: multimedia metadata on the Web, part 1 Tech Report

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

January 2003
A consistent treatment of link and writhe for open rods, and their relation to end rotation Tech Report

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

January 2003
The hamiltonian particle-mesh method for the spherical shallow water equations Tech Report

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

January 2003
Pattern forming pulled fronts: bounds and universal convergence Tech Report

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

January 2003
A variational meshfree method for solving time-discrete diffusion equations Tech Report

J.K. Krottje (Johannes)

January 2003
Convergent asymptotic expansions of Charlier, Laguerre and Jacobi polynomials Tech Report

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

January 2003
A simple and efficient space-time adaptive grid technique for unsteady compressible flows Tech Report

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

January 2003
Efficient computation of steady, 3D water-wave patterns Tech Report

M.R. Lewis (Mervyn) and B. Koren (Barry)

January 2003
Bandwidth sharing with heterogeneous service requirements Tech Report

S.C. Borst (Sem), R. Núñez Queija (Rudesindo) and A.P. Zwart (Bert)

January 2003
On the asymptotic density in a one-dimensional self-organized critical forest-fire model Tech Report

J. van den Berg (Rob) and A.A. Járai (Antal)

January 2003
Solving disjunctive/conjunctive boolean equation systems with alternating fixed points Tech Report

J.F. Groote (Jan Friso) and M. Keinänen

January 2003
Bundling and pricing for information brokerage: customer satisfaction as a means to profit optimization Tech Report

D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2003
Non-separable 2D wavelets with two-row filters Tech Report

Y. Zhan (Yinwei) and H.J.A.M. Heijmans (Henk)

January 2003
Wireless data performance in multi-cell scenarios Tech Report

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

January 2003
BioVision: roadmap for biometrics in Europe to 2010 Tech Report

A. Albrecht, M. Behrens, T. Mansfield, W. McMeechan (Will), M. Savastano, P. Statham, C. Schmidt, B.A.M. Schouten (Ben) and M. Walsh

January 2003
Infinite volume limit for the stationary distribution of Abelian sandpile models Tech Report

S.R. Athreya and A.A. Járai (Antal)

January 2003
Conditional limit theorems for queues with Gaussian input, a weak convergence approach Tech Report

A.B. Dieker (Ton)

January 2003
A pressure-invariant and conservative method for two-fluid flows Tech Report

E.H. van Brummelen (Harald) and B. Koren (Barry)

January 2003
Computation of 3D steady Navier-Stokes flow with free-surface gravity waves Tech Report

M.R. Lewis (Mervyn), B. Koren (Barry) and H.C. Raven

January 2003
Fix for solution errors near interfaces in two-fluid flow computations Tech Report

B. Koren (Barry), E.H. van Brummelen (Harald), P.W. Hemker (Piet), B. van Leer and M.R. Lewis (Mervyn)

January 2003
An a-posteriori adaptive mesh technique for singularly perturbed convection-diffusion problems with a moving interior layer Tech Report

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

January 2003
Analysis and optimization of an algorithm for discrete tomography Tech Report

K.J. Batenburg (Joost)

January 2003
A Database Striptease or How to Manage Your Personal Databases Book Chapter

M.L. Kersten (Martin), G. Weikum, M. Franklin, D. Keim (Daniel), A. Buchmann (Alex) and S. Chaudhuri (Surajit)

January 2003
Nieuwjaarskaartje CWI 2003 Other

January 2003
Nieuwjaarskaart 2003 : versie 2 Other

January 2003
Nieuwjaarskaart 2003 : versie 1 Other

January 2003
Coalgebra and coinduction in decentralized supervisory control In Proceedings

Komenda, J. (Jan)

January 2003
Combinatorial Optimization - polyhedra and efficiency Book

A. Schrijver (Lex)

January 2003
Colour Picking - the Pecking Order of Form and Function In Proceedings

F.-M. Nack (Frank), A.S.K. Manniesing and L. Hardman (Lynda)

January 2003
That obscure object of desire: multimedia metadata on the web Tech Report

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

January 2003
That obscure object of desire: multimedia metadata on the Web, part 2 Tech Report

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

January 2003
Strings: Variational Deformable Models of Multivariate Continuous Boundary Features Article

IEEE Transactions on Pattern Analysis and Machine Intelligence, 25(11), 1399-1410.

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

January 2003
Fragmentation in the Vision of Scenes In Proceedings

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

January 2003
Fast Anisotropic Gauss Filtering Article

IEEE Transactions on Image Processing, 12(8), 938-943.

J.M. Geusebroek (Jan-Mark), A.W.M. Smeulders (Arnold) and J. van de Weijer

January 2003
Design Considerations for Generic Grouping in Vision Article

IEEE Transactions on Pattern Analysis and Machine Intelligence, 25(4), 445-457.

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

January 2003
Concept-Based Retrieval of Biomedical Images In Proceedings

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

January 2003
Components and Systems for Interactive Video Indexing In Proceedings

J. Vendrig, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 2003
Color Constancy from Physical Principles Article

Pattern Recognition Letters, 24(11), 1653-1662.

J.M. Geusebroek (Jan-Mark), R. van den Boomgaard, A.W.M. Smeulders (Arnold) and T. Gevers

January 2003
Computational Fluid Dynamics: Wetenschap en Gereedschap Inaugural Lecture

B. Koren (Barry)

January 2003
On the excluded minors for the matroids with branch-width k Article

Journal of Combinatorial Theory - Series B, 261-265.

J. Geelen (Jim), A.M.H. Gerards (Bert), N. Robertson (Neil) and G. Whittle (Geoff)

January 2003
Disjoint cocircuits in matroids with large rank Article

Journal of Combinatorial Theory - Series B, 270-279.

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

January 2003
Large parameter cases of the Gauss hypergeometric function In Proceedings

N.M. Temme (Nico)

January 2003
Computing special functions by using quadrature rules In Proceedings

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

January 2003
Inference for random sets Book Chapter

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

January 2003
Approximation algorithms for the test cover problem Article

Mathematical Programming Series B, 477-492.

K.M.J. de Bontridder, B.V. Halldórsson, M.M. Halldórsson, C.A.J. Hurkens (Cor), J.K. Lenstra (Jan Karel), R. Ravi and L. Stougie (Leen)

January 2003
Optical Tracking Using Projective Invariant Marker Pattern Properties In Proceedings

R. van Liere (Robert) and J.C. Mulder

January 2003
Case study: comparing two methods for filtering external motion in 4D confocal microscopy data In Proceedings

W.C. de Leeuw (Wim) and R. van Liere (Robert)

January 2003
MCMR: a fluid view on time dependent volume data In Proceedings

R. van Liere (Robert) and W.C. de Leeuw (Wim)

January 2003
Search space reduction in optical tracking} In Proceedings

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

January 2003
Term rewriting with traversal functions Article

ACM Transactions on Software Engineering and Methodology, 12(2)

J.J. Vinju (Jurgen), M.G.J. van den Brand (Mark) and P. Klint (Paul)

January 2003
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model Article

Journal of Universal Computer Science, 9(1), 2-33.

R. Banach, F. Arbab (Farhad), G.A. Papadopoulos (George) and J.R.W. Glauert

January 2003
The lowest crossing in 2D critical percolation Article

Annals of Probability, 1241-1253.

J. van den Berg (Rob) and A.A. Járai (Antal)

January 2003
Hoare Logic for Object-Oriented Programming Concepts In Proceedings

F.S. de Boer (Frank)

January 2003
Matching, edge-colouring, dimers In Proceedings

A. Schrijver (Lex)

January 2003
Computation of 3D Steady Navier-Stokes Flow with Free-Surface Gravity Waves Tech Report

M.R. Lewis (Mervyn), B. Koren (Barry) and H.C. Raven

January 2003
Kink Band Instability and Propagation in Layered Structures Tech Report

M.A. Wadee, G.W. Hunt and M.A. Peletier (Mark)

January 2003
Formal Methods for Components and Objects - A theoretical perspective Proceedings

January 2003
Equivalent Semantic Models for a Distributed Dataspace Architecture In Proceedings

J. Hooman and J.C. van de Pol (Jaco)

January 2003
Adaptive lifting for shape-based image retrieval Article

Pattern Recognition, 2663-2672.

P.J. Oonincx and P.M. de Zeeuw (Paul)

January 2003
Numerical methods for steady viscous free-surface flows Book

E.H. van Brummelen (Harald)

January 2003
Vakantiecursus [Centrum voor Wiskunde en Informatica] 2003 : wiskunde in het dagelijks leven Book

January 2003
A parallel, state-of-the-art, least-squares spectral element solver for incompressible flow problems In Proceedings

M. Nool (Margreet) and M.M.J. Proot

January 2003
An Unstructured Parallel Least-Squares Spectral Element Solver for Incompressible Flow Problems. In Proceedings

M. Nool (Margreet) and M.M.J. Proot

January 2003
Application of least-squares spectral element solver methods to incompressible flow problems In Proceedings

M.M.J. Proot, M.I. Gerritsma and M. Nool (Margreet)

January 2003
Jan de Witt : Elementa Curvarum Linearum, liber secundus - [Geannoteerde Nederlandse vertaling] Book

A.W. Grootendorst (Albert)

January 2003
Animating Peer-Level Annotations Within Web-Based Multimedia In Proceedings

D.C.A. Bulterman (Dick)

January 2003
SMIL Authoring Systems: The State of the Art. In Proceedings

D.C.A. Bulterman (Dick)

January 2003
Spontaneous Branching of Anode-Directed Discharge Streamers: In Proceedings

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

January 2003
The coherent scattering function in the reptation model: simulations compared to theory Article

European Physical Journal E, 303-319.

A. Baumgärtner, U. Ebert (Ute) and L. Schäfer

January 2003
A comparison of the Sherali-Adams, Lov\'asz-Schrijver and Lasserre relaxations for 0-1 programming. Article

Mathematics of Operations Research, 28(3), 470-496.

M. Laurent (Monique)

January 2003
A Hamiltonian Particle-Mesh Method for the Rotating Shallow Water Equations Book Chapter

J.E. Frank (Jason), G.A. Gottwald and S. Reich

January 2003
Novel Defect-Correction High-Order, in Space and Time, Accurate Schemes for ParaboliC Singularly Perturbed Convection-Diffusion Problems Article

Computational Methods in Applied Mathematics, 3(3), 387-404.

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

January 2003
Discontinuous Galerkin discretisation with embedded boundary conditions Article

Computational Methods in Applied Mathematics, 3(1), 135-158.

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

January 2003
UML for the Semantic Web: Transformation-Based Approaches Book Chapter

K. Falkovych (Kateryna), M. Sabou and H. Stuckenschmidt

January 2003
Capturing experience - a matter of contextualising events In Proceedings

F.-M. Nack (Frank)

January 2003
Sequence and Emphasis in Automated Domain-Independent Discourse Generation Book Chapter

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

January 2003
Finding the Story - Broader Applicability of Semantics and Discourse for Hypermedia Generation Book Chapter

L. Rutledge (Lloyd), M. Alberink, R. Brussee, S. Pokraev, W. van Dieten and M. Veenstra

January 2003
Colour Picking - the Pecking Order of Form and Function Book Chapter

F.-M. Nack (Frank), A.S.K. Manniesing and L. Hardman (Lynda)

January 2003

Previous

Next

Available Years