Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

The statistical strength of nonlocality proofs Article

IEEE Transactions on Information Theory, 51(8), 2812-2835.

W. van Dam (Wim), R.D. Gill (Richard) and P.D. Grünwald (Peter)

January 2005
Quantum Anonymous Transmissions In Proceedings

M. Christandl (Matthias) and S.D.C. Wehner (Stephanie)

January 2005
Clustering by compression Article

IEEE Transactions on Information Theory, 51(4), 1523-1545.

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

January 2005
Language compression and pseudorandom generators Article

Computational Complexity, 247-274.

H.M. Buhrman (Harry), T. J. Lee (Troy) and D. van Melkebeek

January 2005
Some Results on Derandomization Article

Theory of Computing Systems, 38(2), 211-227.

H.M. Buhrman (Harry), L. Fortnow (Lance) and A. Pavan

January 2005
A Post’s Program for Complexity Theory Article

Bulletin of the EATCS, 41-51.

H.M. Buhrman (Harry) and L. Torenvliet (Leen)

January 2005
Increasing Kolmogorov Complexity In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance), I. Newman and N.K. Vereshchagin (Nikolay Konstantinovich)

January 2005
Robust Quantum Algorithms and Polynomials In Proceedings

H.M. Buhrman (Harry), I. Newman, H. Röhrig (Hein) and R.M. de Wolf (Ronald)

January 2005
Causality and Tsirelson’s bounds Article

Physical Review A: Atomic, Molecular and Optical Physics, 72(5), 1-7.

H.M. Buhrman (Harry) and S. Massar (Serge)

January 2005
Quantum Algorithms for Element Distinctness Article

SIAM Journal on Computing, 34(6), 1324-1330.

H.M. Buhrman (Harry), C. Dürr, M. Heiligman, P. Høyer (Peter), F. Magniez, M. Santha (Miklos) and R.M. de Wolf (Ronald)

January 2005
Collaborate With Strangers To Find Own Preferences In Proceedings

B. Awerbuch (Baruch), Y. Azar, Z. Lotker (Zvi), B. Patt-Shamir and M.R. Tuttle

January 2005
PVR Software

R. van Liere (Robert)

January 2005
Argos Software

R. van Liere (Robert)

January 2005
Interacting with Molecular Structures: User Performance versus System Complexity In Proceedings

R. van Liere (Robert), A.J.F. Kok (Arjan), J.-B. Martens and M. van Tienen

January 2005
Evaluation of Collaborative Construction in Mixed Reality In Proceedings

B.R. Boschker (Breght) and J.D. Mulder (Jurriaan)

January 2005
Menu Selection in Desktop Virtual Reality In Proceedings

J.D. Mulder (Jurriaan)

January 2005
Realistic Occlusion Effects in Mirror-Based Co-Located Augmented Reality Systems In Proceedings

J.D. Mulder (Jurriaan)

January 2005
An Analysis of Orientation Prediction and Filtering Methods for VR/AR In Proceedings

A.J. van Rhijn (Arjen), R. van Liere (Robert) and J.D. Mulder (Jurriaan)

January 2005
Optical Tracking and Calibration of Tangible Interaction Devices In Proceedings

A.J. van Rhijn (Arjen) and J.D. Mulder (Jurriaan)

January 2005
Comparing three PCA-based Methods for the 3D Visualization of Imaging Spectroscopy Data In Proceedings

A. Broersen (Alexander), R. van Liere (Robert) and R.M.A. Heeren (Ron)

January 2005
Transfer Functions for Imaging Spectroscopy Data using Principle Component Analysis In Proceedings

A. Broersen (Alexander) and R. van Liere (Robert)

January 2005
In vivo HP1 targeting causes large-scale chromatin condensation and enhanced histone lysine methylation Article

Molecular and Cellular Biology, 4552-4564.

P.J. Verschure (Pernette), I. van der Kraan, W.C. de Leeuw (Wim), J. van der Vlag, A.S. Belmont and R. van Driel (Roel)

January 2005
oMAP: an ontology alignment tool Software

R. Troncy (Raphael)

January 2005
Noadster demo Software

L. Rutledge (Lloyd)

January 2005
Prototype of the SampLe system Software

K. Falkovych (Kateryna)

January 2005
Extended implementation of the Vox Populi demo Software

S. Bocconi

January 2005
Eculture MultimediaN demonstrator Software

J.R. van Ossenbruggen (Jacco)

January 2005
Multimedia Annotations and the Semantic Web. SemanticWeb Case Studies and Best Practices for eBusiness In Proceedings

J.R. van Ossenbruggen (Jacco), G. Stamou and J.Z. Pan (Jeff)

January 2005
Semantic Timeline Interfaces for Annotated Multimedia Assets Presentation

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

January 2005
oMAP: Results of the Ontology Alignment Contest In Proceedings

U. Straccia and R. Troncy (Raphael)

January 2005
Cruising the Semantic Web with Noadster Presentation

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

January 2005
Recommending Topics from Rated Objects In Proceedings

L. Rutledge (Lloyd) and not CWI et al

January 2005
Capture and Transfer of Metadata During Video Production In Proceedings

F.-M. Nack (Frank)

January 2005
Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Master Thesis

K. Schwarz

January 2005
Supporting the decision process for the choice of a domain modeling scheme In Proceedings

K. Schwarz, T. Kouwenhoven, V. Dignum and J.R. van Ossenbruggen (Jacco)

January 2005
Making RDF Presentable. Integrated Global and Local Semantic Web Browsing In Proceedings

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

January 2005
ABC Programmer's Handbook Book

L.J.M. Geurts (Leo), L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

January 2005
W3C XFrames Tech Report

S. Pemberton (Steven) and M. Ishikawa

January 2005
sparql-p, a SPARQL API implementation for the Python RDF Environment RDFLib Software

I. Herman (Ivan)

January 2005
High- Order Linear Multistep Methods with General Monotonicity and Boundedness Properties Article

Journal of Computational Physics, 226-248.

S.J. Ruuth and W. Hundsdorfer (Willem)

January 2005
Nonlinear instability and saturation of linearly stable currentcarrying pair plasmas Article

Physics of Plasmas, 1-6.

A. Luque (Alejandro), H. Schamel, B. Eliasson and P.K. Shukla

January 2005
Electrostatic trapping as a key to the dynamics of plasmas, fluids and other collective systems Article

Physics Reports-Review Section of Physics Letters, 261-359.

A. Luque (Alejandro) and H. Schamel

January 2005
On monotonicity and boundedness properties of linear multistep methods Article

Mathematical Computation, S0025(S0025-5718)

W. Hundsdorfer (Willem) and S.J. Ruuth

January 2005
Preface Book Chapter

J.H. van Schuppen (Jan)

January 2005
Control and realization of piecewise-affine hybrid systems Tech Report

J.H. van Schuppen (Jan)

January 2005
Hyperbolic and elliptic problems Tech Report

B. Koren (Barry)

January 2005
The Eggshell Method for Magnetic Field Computations In Proceedings

M. Nool (Margreet) and D.J.P. Lahaye (Domenico)

January 2005
Space-Mapping Applied to Linear Actuator Designs In Proceedings

D. Echeverria (David), D.J.P. Lahaye (Domenico), L. Encica, E.A. Lomonova, P.W. Hemker (Piet) and A.J.A. Vandenput

January 2005
An improved front tracking method for the Euler equations In Proceedings

J.A.S. Witteveen (Jeroen), P.G. Bakker and B. Koren (Barry)

January 2005
A surface capturing method for the efficient computation of steady water waves In Proceedings

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

January 2005
A fully conservative model for compressible two-fluid flow Article

International Journal for Numerical Methods in Fluids, 1337-1343.

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

January 2005
Realization and control problems for biochemical reaction networks In Proceedings

J.H. van Schuppen (Jan)

January 2005
Realization theory for bilinear switched systems In Proceedings

M. Petreczky (Mihaly)

January 2005
Realization theory for bilinear hybrid systems In Proceedings

M. Petreczky (Mihaly)

January 2005
A parallel least-squares spectral element solver for incompressible flow problems on unstructured grids Article

Parallel Computing, 414-438.

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

January 2005
Control of discrete-event systems with partial observations using coalgebra and coinduction Article

Discrete Event Dynamic Systems: Theory and Applications, 257-315.

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

January 2005
Modular supervisory control with general indecomposable specification languages In Proceedings

J. Komenda, J.H. van Schuppen (Jan), B. Gaudin and H. Marchand

January 2005
Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems In Proceedings

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

January 2005
Control to facet problems for affine systems on simplices and polytopes - with applications to control of hybrid systems In Proceedings

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

January 2005
On the adjoint solution of the quasi-1D Euler equations: the effect of boundary conditions and the numerical flux function Article

International Journal for Numerical Methods in Fluids, 987-993.

G.F. Duivesteijn, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

January 2005
Computability of finte-time sets for hybrid systems In Proceedings

P.J. Collins (Pieter) and J. Lygeros

January 2005
On the Computability of Reachable and Invariant Sets In Proceedings

P.J. Collins (Pieter)

January 2005
Entropy-minimizing models of surface diffeomorphisms relative to homoclinic and heteroclinic orbits Article

Dynamical Systems, 20(4), 369-400.

P.J. Collins (Pieter)

January 2005
Continuity and computability of reachable sets Article

Theoretical Computer Science, 162-195.

P.J. Collins (Pieter)

January 2005
Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map Article

Experimental Mathematics, 14(1), 75-86.

P.J. Collins (Pieter)

January 2005
Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits Article

Dynamical Systems, 19(1), 1-39.

P.J. Collins (Pieter)

January 2005
Noisy Turing Machines In Proceedings

E. Asarin and P.J. Collins (Pieter)

January 2005
Modelling a Living Cell - Mathematics to Model Metabolic Pathways Article

ERCIM News

J.G. Blom (Joke) and A.C. Kik (Annette)

January 2005
Two perspectives on reduction of ordinary differential equations Article

Mathematische Nachrichten, 1629-1642.

A. Zagaris (Antonios), H.G. Kaper and T.J. Kaper (Tasso Joost)

January 2005
On the temporal order of first-passage times in onedimensional lattice random walks Article

Journal of Computational and Applied Mathematics, 134-149.

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

January 2005
Stability of spatially periodic pulse patterns in a class of singularly perturbed reactiondiffusion equations Article

Indiana University Mathematics Journal, 54(2), 1219-1301.

H. van der Ploeg and A. Doelman (Arjen)

January 2005
On positive solutions in a phytoplankton-nutrient model Article

Journal of Computational and Applied Mathematics, 467-473.

N.N. Pham Thi (Nga)

January 2005
Simulation of 3D phytoplankton dynamics: competition in light-limited environments Article

Journal of Computational and Applied Mathematics, 57-77.

N.N. Pham Thi (Nga), J. Huisman and B.P. Sommeijer (Ben)

January 2005
Proceedings NUMDIFF 10 Proceedings

January 2005
Stabilization of pulses by competing instability mechanisms In Proceedings

G. Hek (Geertje), N. Valkhoff and A. Doelman (Arjen)

January 2005
Projecting to a slow manifold: Singularly perturbed systems and legacy codes Article

SIAM Journal on Applied Dynamical Systems, 711-732.

C.W. Gear, T.J. Kaper (Tasso Joost) and A. Zagaris (Antonios)

January 2005
Analysis of a regularized, time-staggered discretization method and its link to the semi-implicit method Article

Atmospheric Science Letters, 97-104.

J.E. Frank (Jason), S. Reich, A. Staniforth, A. White and N. Wood

January 2005
Asymptotic approximations of integrals: An introduction, with recent developements and applications to orthogonal polynomials Article

Electronic Transactions on Numerical Analysis, 58-83.

C.E. Ferreira, J.L. López, E. Mainar and N.M. Temme (Nico)

January 2005
Edge bifurcations in singularly perturbed reaction-diffusion equations: a case study In Proceedings

A. Doelman (Arjen), D. Iron and Y. Nishiura

January 2005
Impact of information and coordination on transport procurement Book Chapter

X. Brusset and N.M. Temme (Nico)

January 2005
Weakly nonlinear asymptotics of the κ-θ model of cellular flames: the Q-S equation Article

Interfaces and Free Boundaries, 131-146.

C.-M. Brauner, M. Frankel, J. Hulshof and G.I. Sivashinsky

January 2005
Singularities at t = ∞ in equivariant harmonic map flow Article

Contemporary Mathematics, 1-15.

S. Angenent and J. Hulshof

January 2005
Een, twee, ..., ontelbaar Inaugural Lecture

K.I. Aardal (Karen)

January 2005
Neural networks for discrete tomography Article

SNN Adaptive Intelligence: Lerende oplossingen, 18-19.

K.J. Batenburg (Joost) and W.A. Kosters

January 2005
DynTex: Dynamic Texture Database Software

R. Peteri (Renaud) and M.J. Huiskes (Mark)

January 2005
Image understanding toolbox (in progress). Software

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

January 2005
Aspect Explorer retrieval system Software

M.J. Huiskes (Mark)

January 2005
PhlukePhinder and PhlukeMatcher: Matlab software for segmentation of flukes of humback whales, salient patches extraction and matching systems Software

E.B. Ranguelova (Elena) and E.J.E.M. Pauwels (Eric)

January 2005
NUMIP combined Fortran and Matlab software for the multigrid image transform Software

P.M. de Zeeuw (Paul)

January 2005
EQ-MPPLIB Software

M.N.M. van Lieshout (Marie-Colette) and A.G. Steenbeek (Adri)

January 2005
Kans en Ruimte Inaugural Lecture

J. van den Berg (Rob)

January 2005
Gaat Internet-telefonie de wereld veroveren? Article

Alubull, 21-29.

R.D. van der Mei (Rob) and R.E. Kooij (Robert)

January 2005
Het berekenen van kwaliteit van Internet-telefonie met wiskundige modellen Article

Aenorm, 22-27.

R.D. van der Mei (Rob) and R.E. Kooij (Robert)

January 2005
Nooit meer wachten op het Internet Article

Aenorm, 11-14.

W. van der Weij (Wemke)

January 2005
Efficient scheduling of multi-user multi-antenna systems Tech Report

K.P. Jagannathan, S.C. Borst (Sem), P.A. Whiting and E. Modiano

January 2005
Sojourn time tails in the M/D/1 processor-sharing queue Tech Report

R.R. Egorova (Regina Robertovna), A.P. Zwart (Bert) and O.J. Boxma (Onno)

January 2005
Capacity of wireless networks with intra- and inter-cell mobility Tech Report

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

January 2005
Flow-level stability of channel-aware scheduling algorithms Tech Report

S.C. Borst (Sem) and M. Jonckheere (Matthieu)

January 2005
Dynamic optimization in future cellular networks Tech Report

S.C. Borst (Sem) and not CWI et al

January 2005
Approximation in Stochastic Integer Programming Tech Report

L. Stougie (Leen) and M. van der Vlerk

January 2005

Available Years

Publications from before 2016

The statistical strength of nonlocality proofs Article

Quantum Anonymous Transmissions In Proceedings

Clustering by compression Article

Language compression and pseudorandom generators Article

Some Results on Derandomization Article

A Post’s Program for Complexity Theory Article

Increasing Kolmogorov Complexity In Proceedings

Robust Quantum Algorithms and Polynomials In Proceedings

Causality and Tsirelson’s bounds Article

Quantum Algorithms for Element Distinctness Article

Collaborate With Strangers To Find Own Preferences In Proceedings

PVR Software

Argos Software

Interacting with Molecular Structures: User Performance versus System Complexity In Proceedings

Evaluation of Collaborative Construction in Mixed Reality In Proceedings

Menu Selection in Desktop Virtual Reality In Proceedings

Realistic Occlusion Effects in Mirror-Based Co-Located Augmented Reality Systems In Proceedings

An Analysis of Orientation Prediction and Filtering Methods for VR/AR In Proceedings

Optical Tracking and Calibration of Tangible Interaction Devices In Proceedings

Comparing three PCA-based Methods for the 3D Visualization of Imaging Spectroscopy Data In Proceedings

Transfer Functions for Imaging Spectroscopy Data using Principle Component Analysis In Proceedings

In vivo HP1 targeting causes large-scale chromatin condensation and enhanced histone lysine methylation Article

oMAP: an ontology alignment tool Software

Noadster demo Software

Prototype of the SampLe system Software

Extended implementation of the Vox Populi demo Software

Eculture MultimediaN demonstrator Software

Multimedia Annotations and the Semantic Web. SemanticWeb Case Studies and Best Practices for eBusiness In Proceedings

Semantic Timeline Interfaces for Annotated Multimedia Assets Presentation

oMAP: Results of the Ontology Alignment Contest In Proceedings

Cruising the Semantic Web with Noadster Presentation

Recommending Topics from Rated Objects In Proceedings

Capture and Transfer of Metadata During Video Production In Proceedings

Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Master Thesis

Supporting the decision process for the choice of a domain modeling scheme In Proceedings

Making RDF Presentable. Integrated Global and Local Semantic Web Browsing In Proceedings

ABC Programmer's Handbook Book

W3C XFrames Tech Report

sparql-p, a SPARQL API implementation for the Python RDF Environment RDFLib Software

High- Order Linear Multistep Methods with General Monotonicity and Boundedness Properties Article

Nonlinear instability and saturation of linearly stable currentcarrying pair plasmas Article

Electrostatic trapping as a key to the dynamics of plasmas, fluids and other collective systems Article

On monotonicity and boundedness properties of linear multistep methods Article

Preface Book Chapter

Control and realization of piecewise-affine hybrid systems Tech Report

Hyperbolic and elliptic problems Tech Report

The Eggshell Method for Magnetic Field Computations In Proceedings

Space-Mapping Applied to Linear Actuator Designs In Proceedings

An improved front tracking method for the Euler equations In Proceedings

A surface capturing method for the efficient computation of steady water waves In Proceedings

A fully conservative model for compressible two-fluid flow Article

Realization and control problems for biochemical reaction networks In Proceedings

Realization theory for bilinear switched systems In Proceedings

Realization theory for bilinear hybrid systems In Proceedings

A parallel least-squares spectral element solver for incompressible flow problems on unstructured grids Article

Control of discrete-event systems with partial observations using coalgebra and coinduction Article

Modular supervisory control with general indecomposable specification languages In Proceedings

Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems In Proceedings

Control to facet problems for affine systems on simplices and polytopes - with applications to control of hybrid systems In Proceedings

On the adjoint solution of the quasi-1D Euler equations: the effect of boundary conditions and the numerical flux function Article

Computability of finte-time sets for hybrid systems In Proceedings

On the Computability of Reachable and Invariant Sets In Proceedings

Entropy-minimizing models of surface diffeomorphisms relative to homoclinic and heteroclinic orbits Article

Continuity and computability of reachable sets Article

Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map Article

Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits Article

Noisy Turing Machines In Proceedings

Modelling a Living Cell - Mathematics to Model Metabolic Pathways Article

Two perspectives on reduction of ordinary differential equations Article

On the temporal order of first-passage times in onedimensional lattice random walks Article

Stability of spatially periodic pulse patterns in a class of singularly perturbed reactiondiffusion equations Article

On positive solutions in a phytoplankton-nutrient model Article

Simulation of 3D phytoplankton dynamics: competition in light-limited environments Article

Proceedings NUMDIFF 10 Proceedings

Stabilization of pulses by competing instability mechanisms In Proceedings

Projecting to a slow manifold: Singularly perturbed systems and legacy codes Article

Analysis of a regularized, time-staggered discretization method and its link to the semi-implicit method Article

Asymptotic approximations of integrals: An introduction, with recent developements and applications to orthogonal polynomials Article

Edge bifurcations in singularly perturbed reaction-diffusion equations: a case study In Proceedings

Weakly nonlinear asymptotics of the κ-θ model of cellular flames: the Q-S equation Article

Singularities at t = ∞ in equivariant harmonic map flow Article