Publications from 2017

On the Axiomatizability of Impossible Futures: Preorder versus Equivalence In Proceedings

T. Chen (Taolue) and W.J. Fokkink (Wan)

Multimedia Retrieval at INEX 2007 Article

T. Tsikrika (Theodora) and T.H.W. Westerveld (Thijs)

Chaotic dynamics in hybrid systems Tech Report

P.J. Collins (Pieter)

Design issues for qualitative modelling of biological cells with Petri nets In Proceedings

E. Krepska, N. Bonzanni, A. Feenstra, T. Kielmann (Thilo), W.J. Fokkink (Wan), H. Bal and J. Heeringa

On the axiomatizability of impossible futures: preorder versus equivalence In Proceedings

T. Chen (Taolue) and W.J. Fokkink (Wan)

Facility Location (1997); Shmoys, Tardos, Aardal Book Chapter

K.I. Aardal (Karen), J. Byrka (Jaroslaw) and M. Mahdian (Mohammad)

Lattice reformulation of integer programming problems Book Chapter

K.I. Aardal (Karen)

A prolongation-projection algorithm for computing the finite real variety of an ideal Tech Report

J.B. Lasserre, M. Laurent (Monique) and P. Rostalski

Introduction to the special issue on "Semantic Multimedia" Article

Y. Avrithis, N. O'Connor (Noel), S. Staab and R. Troncy (Raphael)

Technoscience Art: A Bridge between Neuroesthetics and Art History? Article

A.A. Akdağ Salah (Alkım Almıla) and A.A. Salah (Albert Ali)

Applying Model-based Testing to HTML Rendering Engines - A Case Study In Proceedings

J.R. Calamé (Jens) and J.C. van de Pol (Jaco)

XSLT+SPARQL : Scripting the semantic web with SPARQL embedded into XSLT stylesheets Article

D. Berrueta, E.J. Labra and I. Herman (Ivan)

Understanding cultural heritage experts’ information seeking needs In Proceedings

A.K. Amin (Alia), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and A. van Nispen

On the numerical solution of diffusion-reaction equations with singular source terms Article

M. Ashyraliyev (Maksat), J.G. Blom (Joke) and J.G. Verwer (Jan)

Game theory day at CWI, 27-5-2008 : invitation Booklet

CWI lectures in mathematics and computer science 2008 : 25 years of concurrency theory at CWI : 23-5-2008 : invitation Booklet

Fluid limits for processor-sharing queues with impatience Article

H.C. Gromoll (Christian), P. Robert (Philippe) and A.P. Zwart (Bert)

The Parvo and Magno-Cellular Systems Encode Natural Image Statistics Parameters In Proceedings

H.S. Scholte (Steven), S. Ghebreab, A.W.M. Smeulders (Arnold) and V.A.F. Lamme

CURIE Syntax 1.0 Tech Report

S. Pemberton (Steven) and not CWI et al

Post-proceedings of the second International Workshop on the Foundations of Interactive Computation Proceedings

Neder;land naar de donder en bliksem News Broadcast

U. Ebert (Ute)

Agent-based Patient Admission Scheduling in Hospitals In Proceedings

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter), I. Blonk-Altena, J. van Aarle and J.A. La Poutré (Han)

Proceedings of Eurographics Symposium on Virtual Environments Proceedings

A Framework for Performance Evaluation of Model-Based Optical Trackers In Proceedings

F.A. Smit (Ferdi) and R. van Liere (Robert)

Tangible Interaction for 3D Widget Manipulation in Virtual Environments In Proceedings

K.J. Kruszynski (Chris) and R. van Liere (Robert)

An interactive platform for auction-based allocation of loads in transportation logistics In Proceedings

V. Robu (Valentin), H. Noot (Han), J.A. La Poutré (Han) and W.-J. van Schijndel

A Mechanism for Presentation-Layer Media Continuity in Media Playback Mode In Proceedings

I. Vaishnavi (Ishan), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack), B. Gao (Bo) and D.C.A. Bulterman (Dick)

Coordination models Orc and Reo compared Tech Report

J.M.P. Proença (Jose) and D.G. Clarke (David)

Social Television and User Interaction Article

P.S. César Garcia (Pablo Santiago), K. Chorianopoulos (Konstantinos) and J.F. Jensen

Transient analysis of Markov-fluid-driven queues Tech Report

A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

On finite alphabets and infinite bases Article

T. Chen (Taolue), W.J. Fokkink (Wan), S.P. Luttik (Bas) and S. Nain

Periodic decomposition of integer valued functions Article

G. Karolyi (Gyula), T. Keleti, G. Kos and I.Z. Ruzsa

Approximating Power Indices In Proceedings

Y. Bachrach, V. Markakis (Vangelis), A. Procaccia, J. Rosenschein and A. Saberi

Epistemic Logic and Explicit Knowledge in Distributed Programming (Short Paper) In Proceedings

S. A. Witzel (Andreas) and J.A. Zvesper (Jonathan)

Domain-specific languages as key tools for ULSSIS engineering In Proceedings

J. Heering (Jan) and M. Mernik (Marjan)

The Myth of the Folk Theorem In Proceedings

C. Borgs, J. Chayes, N.S. Immorlica (Nicole Simone), A. Kalai, V. Mirrokni and C.H. Papadimitriou

Predicting the Sieving Effort for the Number Field Sieve In Proceedings

W.H. Ekkelkamp (Willemien)

A Branch-and-Cut Approach to the Crossing Number Problem Article

C. Buchheim, M. Chimani, D. Ebner, C. Gutwenger, M. Juenger, G.W. Klau (Gunnar), P. Mutzel and R. Weiskircher

Parameter Identification in System Biology Master Thesis

J. Stolze (Jan)

Online gathering algorithms in wireless networks Dissertation

P. Korteweg

Approximating the stability number and the chromatic number of a graph via semidefinite programming Dissertation

N. Gvozdenovic (Nebojsa)

Relevance Models for Collaborative Filtering Dissertation

J. Wang (Jun)

Be Your Own Curator with the CHIP Tour Wizard [html] Article

Y. Wang (Yanjing), R. Sambeek, Y. Schuurmans, L. Aroyo (Lora), N. Stash, L. Rutledge (Lloyd) and P. Gorgels

Intelligente Veilingen Article

J.A. La Poutré (Han)

Cascading Style Sheets, level 2 CSS2 Specification In Proceedings

S. Pemberton (Steven) and not CWI et al

Cascading Style Sheets, level 1 In Proceedings

S. Pemberton (Steven) and not CWI et al

Wetenschap 2.0 Article

P. Klint (Paul)

Capturing Streamers in their full Splendour Article

U. Ebert (Ute)

The Effects of Source Credibility Ratings in a Cultural Heritage Information Aggregator In Proceedings

A.K. Amin (Alia), J. Zhang (Jason), H. Cramer, L. Hardman (Lynda) and V. Evers (Vanessa)

Numerical Integration of Damped Maxwell Equations Tech Report

M.A. Botchev and J.G. Verwer (Jan)

Adaptive Segmentation for Scientific Databases In Proceedings

M.G. Ivanova (Milena), M.L. Kersten (Martin) and N.J. Nes (Niels)

The Database Architecture Jigsaw Puzzle In Proceedings

M.L. Kersten (Martin)

An Empirical Evaluation of XQuery Processors Article

S. Manegold (Stefan)

Performance Evaluation in Database Research: Principles and Experience In Proceedings

I. Manolescu and S. Manegold (Stefan)

Strongly multiplicative ramp schemes from high degree rational points on curves In Proceedings

H. Chen (Helen), R.J.F. Cramer (Ronald), R. de Haan (Robbert) and I. Cascudo (Ignacio)

The Twin Diffie-Hellman Problem and Applications In Proceedings

D. Cash (Charles David), E. Kiltz (Eike) and V. Shoup

Clouds by chance: improving atmosphere models with random numbers Article

D.T. Crommelin (Daan)

Perfect Parallel Repetition Theorem for Quantum Xor Proof Systems Article

F.P. Unger (Falk), R.E. Cleve (Richard), W. Slofstra (William) and S. Upadhyay

Dimensioning network links Tech Report

A. Pras, R. van de Meent, M.R.H. Mandjes (Michel) and L.J.M. Nieuwenhuis

On Levy-driven vacation models with correlated busy periods and service interruptions Tech Report

O. Kella, O.J. Boxma (Onno) and M.R.H. Mandjes (Michel)

On convergence to stationarity of fractional Brownian storage Tech Report

P. Glynn, M.R.H. Mandjes (Michel) and I. Norros

State-dependent importance sampling for a Jackson tandem network Tech Report

D.I. Miretskiy, W.R.W. Scheinhardt (Werner) and M.R.H. Mandjes (Michel)

Ready to Preorder: The Case of Weak Process Semantics Article

T. Chen (Taolue), W.J. Fokkink (Wan) and R.J. van Glabbeek (Rob)

Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata In Proceedings

L. Sella (Lorenzo) and P.J. Collins (Pieter)

Higher-Order Knowledge in Computer Games In Proceedings

S. A. Witzel (Andreas) and J.A. Zvesper (Jonathan)

A Combinatorial Allocation Mechanism for Banner Advertisement with Penalties In Proceedings

U. Feige, N.S. Immorlica (Nicole Simone), V. Mirrokni and H. Nazerzadeh

Witt vectors. Part 1 Tech Report

M. Hazewinkel (Michiel)

Introduction to the special issue on "Semantic Multimedia" Article

Y. Avrithis, N. O'Connor (Noel), S. Staab and R. Troncy (Raphael)

A Hidden Markov Model Perspective on Regimes and Metastability in Atmospheric Flows Article

C.L.E. Franzke (Christian), D.T. Crommelin (Daan), A. Fischer and A.J. Majda

Complexity and algorithms for computing Voronoi cells of lattices Tech Report

M. Dutour Sikirić (Mathieu), A. Schuermann and F. Vallentin (Frank)

Be Your Own Curator with the CHIP Tour Wizard [pdf] In Proceedings

Y. Wang (Yanjing), R. Sambeek, Y. Schuurmans, L. Aroyo (Lora), N. Stash, L. Rutledge (Lloyd) and P. Gorgels

Why Evaluating Semantic Web Applications is Difficult Tech Report

J.R. van Ossenbruggen (Jacco), A.K. Amin (Alia) and M. Hildebrand (Michiel)

The effects of transparency on perceived and actual competence of a content-based recommender. In Proceedings

H. Cramer, B. Wielinga, S. Ramlal, V. Evers (Vanessa), L. Rutledge (Lloyd) and N. Stash

Automatic generation of matter-of-opinion video documentaries Article

S. Bocconi, F.-M. Nack (Frank) and L. Hardman (Lynda)

Renovation of Idiomatic Crosscutting Concerns in Embedded Systems Dissertation

M. Bruntink (Magiel)

A Course on Queueing Models Article

M. Vlasiou (Maria)

Runge-Kutta methods and viscous wave equations Tech Report

J.G. Verwer (Jan)

Consistency of various phi-divergence statistics Tech Report

P. Harremoës (Peter) and I. Vajda

Self-organizing strategies for a column-store database In Proceedings

M.G. Ivanova (Milena), M.L. Kersten (Martin) and N.J. Nes (Niels)

The Repeatability Experiment of SIGMOD 2008 Article

I. Manolescu, L. Afanasiev (Loredana), A. Arion, J. Dittrich, S. Manegold (Stefan), N. Polyzotis, K. Schnaitter, P. Senellart, S. Zoupanos and D. Shasha

Continuous Multi-Way Joins over Distributed Hash Tables In Proceedings

S. Idreos (Stratos), E. Liarou (Erietta) and M. Koubarakis (Manolis)

Tangible Controllers for 3D Widgets In Proceedings

K.J. Kruszynski (Chris) and R. van Liere (Robert)

Public Key Cryptography - PKC 2008 Proceedings

Multimodal Adaptation and Enriched Interaction of Multimedia Content for Mobile Users In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), R. Kernchen, C. Hesselman, M. Boussard, A. Spedalieri, I. Vaishnavi (Ishan) and B. Gao (Bo)

Temporal Manipulation and Sharing of Presentation State in Browser-Embedded Multimedia Documents In Proceedings

D.C.A. Bulterman (Dick), A.J. Jansen (Jack) and P.S. César Garcia (Pablo Santiago)

On the axiomatizability of impossible futures: preorder versus equivalence Tech Report

T. Chen (Taolue) and W.J. Fokkink (Wan)

A PTAS for the Multiple Depot Vehicle Routing Problem Tech Report

S. Cardon, S. Dommers, C. Eksin, R.A. Sitters (René), A. Stougie and L. Stougie (Leen)

BioSecure: white paper for research in biometrics beyond BioSecure Tech Report

B.A.M. Schouten (Ben), F. Deravi, C. García-Mateo, M. Tistarelli, M. Snijder, M. Meints and J. Dittmann

Information rates of radiation as a photon gas Article

A. Martinez (Alfonso)

Distributive smoothers in multigrid for problems with dominating grad-div operators Article

F.J. Gaspar (Francisco), J.L. Gracia, F.J. Lisbona and C.W. Oosterlee (Kees)

Summer heatwaves promote blooms of harmful cyanobacteria Article

K.D Joehnk, J. Huisman, J. Sharples, B.P. Sommeijer (Ben), P.M. Visser (Petra) and J.M. Stroom

A generalization of Voronoi's reduction theory and its application Article

M. Dutour Sikirić (Mathieu), A. Schuermann and F. Vallentin (Frank)

Registration of 3D Face Scans with Average Face Models Article

A.A. Salah (Albert Ali), N. Alyuz and L. Akarun

Cryptography in a quantum world Dissertation

S.D.C. Wehner (Stephanie)

Keeping fairness alive : design and formal verification of optimistic fair exchange protocols Dissertation

M.T. Dashti (Mohammad)

CWI 62 jaar! : standaard bij gebak t.g.v. verjaardag CWI Other

Indexing Views to Route Queries in a PDMS Article

E. Sidirourgos (Eleftherios), G. Kokkinidis, T. Dalamagas, V. Christophides and T. Sellis

Combining Expert Advice Efficiently Tech Report

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

Delivering Interactive Multimedia Services in Dynamic Pervasive Computing Environments In Proceedings

C. Hesselman, P.S. César Garcia (Pablo Santiago), I. Vaishnavi (Ishan), M. Boussard, R. Kernchen, S. Meissner, A. Spedalieri, A. Sinfreu and C. Raeck

On a generic class of two-node queueing systems Tech Report

I.J.B.F. Adan, M.R.H. Mandjes (Michel), W.R.W. Scheinhardt (Werner) and E. Tzenova