Publications from 2014

Breaking the memory wall in MonetDB Article

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

Trends in Interactive Visualization Book

E. Zudalova, T. Adriaansen and R. van Liere (Robert)

6th iternational symposium on Formal Methods for Components and Objects (FMCO 2007) -- State-of-the-Art Survey Proceedings

Schedulability and compatibility of asynchronous objects In Proceedings

M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank), T. Chothia (Tom) and D. Longuet (Delphine)

Chosen Ciphertext Security with Optimal Ciphertext Overhead In Proceedings

M. Abe, E. Kiltz (Eike) and T. Okamoto

Building Mashups for the Enterprise with SABRE In Proceedings

Z. Maraikar (Ziyan), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

Adaptive Agents for Sequential Vickrey Auctions with Homogeneous Goods In Proceedings

H. Ma (Huiye)

A Distributed Platform for Mechanism Design In Proceedings

K.R. Apt (Krzysztof), F. Arbab (Farhad) and H. Ma (Huiye)

SMIL 3.0 State Tech Report

A.J. Jansen (Jack) and J. Quint

SMIL 3.0 Metainformation Tech Report

D.C.A. Bulterman (Dick) and M. DeMeglio

SMIL 3.0 smilText Tech Report

D.C.A. Bulterman (Dick), K.S. Mullender (Sjoerd) and S. Cruz-Lara

Ambulant Player - 2.0 Manual

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), C.L. Blom (Kees), B. Gao (Bo) and P.S. César Garcia (Pablo Santiago)

SMIL 3.0 Tech Report

D.C.A. Bulterman (Dick) and not CWI et al

A Presentation Layer Mechanism for Multimedia Playback Mobility in Service Oriented Architectures 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)

A new automata for parsing semi-bracketed contextual grammars Tech Report

L. Kuppusamy (Lakshmanan) and M. Anand

Semi-bracketed contextual grammars Tech Report

L. Kuppusamy (Lakshmanan)

Canonical processes of semantically annotated media production Article

L. Hardman (Lynda), Z. Obrenovic, F.-M. Nack (Frank), B. Kerhervé and K. Piersol

Transient asymptotics of Lévy-driven queues Tech Report

K.G. Dȩbicki (Krzysztof), A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

On the M fewer than N bootstrap approximation to the trimmed mean Tech Report

N. Gribkova and R. Helmers (Roelof)

Rare-event simulation for tandem queues: a simple and efficient importance sampling scheme Tech Report

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

Embedding complete ternary tree in hypercubes using AVL trees Tech Report

S.A. Choudum and I. Raman (Indhumathi)

Structural properties of reflected Lévy processes Tech Report

L.N. Andersen 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)

Mean-field analysis for the evaluation of gossip protocols Article

W.J. Fokkink (Wan), B. Haverkort, R. Bakhshi (Rena) and L. Cloth

Structural identifiability of polynomial and rational systems Tech Report

J. Nemcová (Jana)

Generic and updatable XML value indices covering equality and range lookups Tech Report

E. Sidirourgos (Eleftherios) and P.A. Boncz (Peter)

Bit-Interleaved Coded Modulation Book

A. Guillén i Fàbregas, A. Martinez (Alfonso) and G. Caire

Bit-Interleaved Coded Modulation in the Wideband Regime Article

A. Martinez (Alfonso), A. Guillén i Fàbregas, G. Caire and F.M.J. Willems

Dynamische Optimalisatie van Patiëntenplanning Book Chapter

I.B. Vermeulen (Ivan)

Lower bounds on the minimum average distance of binary codes Article

B. Mounits (Beniamin)

Welfare Undominated Groves Mechanisms In Proceedings

K.R. Apt (Krzysztof), V. Conitzer (Vincent), M. Guo and V. Markakis (Vangelis)

Overlapping Coalition Formation In Proceedings

G. Chalkiadakis (Georgios), E. Elkind, V. Markakis (Vangelis) and N. Jennings

The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems In Proceedings

P.J. Collins (Pieter) and A. Goldsztejn

Computability and Representations of the Zero Set In Proceedings

P.J. Collins (Pieter)

Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach In Proceedings

P.J. Collins (Pieter) and D.S. Graça

New Results on Optimizing Rooted Triplets Consistency In Proceedings

J. Byrka (Jaroslaw), S. Guillemot and J. Jansson

Preface special issue in honor of Piet Hemker Article

J.H. Brandts, B. Koren (Barry) and J.G. Verwer (Jan)

Simultaneous Communication Protocols with Quantum and Classical Messages Article

D. Gavinsky, O. Regev (Oded) and R.M. de Wolf (Ronald)

Exponential separation for one-way quantum communication complexity, with applications to cryptography Article

D. Gavinsky, J. Kempe, I. Kerenidis, R. Raz and R.M. de Wolf (Ronald)

A sparse flat extension theorem for moment matrices Tech Report

M. Laurent (Monique) and B. Mourrain

Semidefinite Programming in Combinatorial and Polynomial Optimization Article

M. Laurent (Monique)

Domain specific modeling and analysis Dissertation

J.F. Jacob (Joost)

A lace-expansion analysis of random spatial models Dissertation

M. Heydenreich (Markus)

ASF+SDF Meta-Environment 2.0.3 Software

M.G.J. van den Brand (Mark), J.J. Vinju (Jurgen), P. Klint (Paul), H.A. de Jong (Hayco), P.A. Olivier (Pieter), A.T. Kooiker (Taeke) and G.R. Economopoulos (Giorgos Robert)

Stimulating Creativity Through Opportunistic Software Development Article

Z. Obrenovic, D. Gasevic and A. P. W. Eliëns (Anton)

An E-contracting Reference Architecture Article

S. Angelov (Samuil) and P.W.P.J. Grefen

Computational Intelligence in Economic Games and Policy Design Article

H. Dawid, J.A. La Poutré (Han) and X. Yao

SMIL 3.0: Interactive Multimedia for the Web, Mobile Devices and Daisy Talking Books Book

D.C.A. Bulterman (Dick) and L. Rutledge (Lloyd)

Bincoloring Article

S.O. Krumke, W.E. de Paepe, J. Rambau and L. Stougie (Leen)

VITALAS at TRECVID-2008 In Proceedings

C. Diou, C. Papachristou, P. Panagiotopoulos, G. Stephanopoulos, N. Dimitriou, A. Delopoulos, H. Rode (Henning), R. Aly, A.P. de Vries (Arjen) and T. Tsikrika (Theodora)

An iterated Radau method for time-dependent PDE's Tech Report

S. Pérez-Rodríguez, S. González-Pinto and B.P. Sommeijer (Ben)

Restricted broadcast process theory In Proceedings

F. Ghassemi, W.J. Fokkink (Wan) and A. Movaghar (Ali)

A cancellation theorem for BCCSP Article

L. Aceto (Luca), W.J. Fokkink (Wan) and A. Ingólfsdóttir

New Perspectives on Games and Interaction Book

A novel pricing method for European options based on Fourier-cosine series expansions Article

F. Fang and C.W. Oosterlee (Kees)

Recommendations based on semantically enriched museum collections Article

Y. Wang (Yanjing), N. Stash, L. Aroyo (Lora), P. Gorgels, L. Rutledge (Lloyd) and G. Schreiber (Guus)

Semantic annotation and search of cultural-heritage collections: The MultimediaN E-Culture demonstrator Article

G. Schreiber (Guus), A.K. Amin (Alia), L. Aroyo (Lora), M. van Assem, V. de Boer (Victor), L. Hardman (Lynda), M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), B. Omelayenko, A. Tordai (Anna), et al. J. Wielemaker (Jan) and B. Wielinga

Numerically satisfactory solutions of Kummer recurrence relations Tech Report

J. Segura (Javier) and N.M. Temme (Nico)

Numerically satisfactory solutions of Kummer recurrence relations Article

J. Segura (Javier) and N.M. Temme (Nico)

Positive and negative streamers in ambient air: modeling evolution and velocities Article

A. Luque (Alejandro), V. Ratushna (Valeriya Igorivna) and U. Ebert (Ute)

Positive and negative streamers in ambient air: measuring diameter, velocity and dissipated energy Article

T.M.P. Briels (Tanja), J. Kos, G.J.J. Winands, E.M. van Veldhuizen and U. Ebert (Ute)

Positive streamers in air and nitrogen of varying density: experiments on similarity laws Article

T.M.P. Briels (Tanja), E.M. van Veldhuizen and U. Ebert (Ute)

Faster Scannerless GLR parsing Tech Report

J.J. Vinju (Jurgen), G.R. Economopoulos (Giorgos Robert) and P. Klint (Paul)

Modelling genetic regulation of growth and form in a branching sponge Article

J.A. Kaandorp (Jaap), J.G. Blom (Joke), J. Verhoef, M. Filatov, M. Postma and W.E.G. Müller (Werner)

Towards a simplification of COMM-based multimedia annotations In Proceedings

M. Vacura (Miroslav) and R. Troncy (Raphael)

Uitnodiging Open Dag WCW 18.10.2008 Other

Randomized Approximation Algorithms: Facility Location, Phylogenetic Networka, Nash Equilibria Dissertation

J. Byrka (Jaroslaw)

Pannenbier : etiketten op het CWI pannenbier t.g.v. hoogste punt nieuwbouw, 03.10.2008 Other

RDFa in XHTML: Syntax and Processing Standard

B. Adida (Ben), M. Birbeck (Mark), S. McCarron (Shane) and S. Pemberton (Steven)

XHTML™ Modularization 1.1 Standard

D. Austin, S. Pemberton (Steven) and not CWI et al

XHTML™ Modularization 1.1 In Proceedings

S. Pemberton (Steven) and not CWI et al

RDFa in XHTML: Syntax and processing 1.1 In Proceedings

S. Pemberton (Steven) and not CWI et al

A Scheduling Algorithm for Time Bounded Delivery of Packets on the Internet In Proceedings

I. Vaishnavi (Ishan)

The Architecture of The Meta-Environment Magazine Article

P. Klint (Paul) and J.J. Vinju (Jurgen)

Bliksemverbindingen Article

U. Ebert (Ute)

4,6 Miljoen euro voor veelzijdige minibliksems Article

U. Ebert (Ute)

End-User Service Computing: Spreadsheets as a Service Composition Tool Article

Z. Obrenovic and D. Gasevic

Supporting the Diversity of B2B e-Contracting Processes Article

S. Angelov (Samuil) and P.W.P.J. Grefen

An Image-Warping VR-Architecture: Design, Implementation and Applications In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert) and B. Fröhlich (Bernd)

Towards Using Reo for Compliance-aware Business Process Modelling In Proceedings

F. Arbab (Farhad), N. Kokash (Natallia) and M. Sun (Meng)

A Priced Options Mechanism to Solve the Exposure Problem in Sequential Auctions In Proceedings

I.M. Mous (Lonneke), V. Robu (Valentin) and J.A. La Poutré (Han)

Enhancing Social Sharing of Videos: Fragment, Annotate, Enrich, and Share In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), D. Geerts (David), A.J. Jansen (Jack), H. Knoche and W. Seager

Interactivity and User Participation in the Television Lifecycle: Creating, Sharing, and Controlling Content In Proceedings

P.S. César Garcia (Pablo Santiago) and K. Chorianopoulos

The Implications of Program Genres for the Design of Social Television Systems In Proceedings

D. Geerts (David), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

Foresighted policy gradient reinforcement learning: solving large-scale social dilemmas with rational altruistic punishment Tech Report

P.J. 't Hoen (Pieter Jan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

Coalgebraic reasoning in Coq: bisimulation and lambda-coiteration scheme Tech Report

M. Niqui (Milad)

Human-centered television: directions in interactive television research Article

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and L.F.G. Soares

Monotonicity properties for multi-class queueing systems Tech Report

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and S.C. Borst (Sem)

Computing controllable sets of hybrid systems Tech Report

P.J. Collins (Pieter)

K-Space at TRECVid 2008 In Proceedings

P. Wilkins, R. Troncy (Raphael), A.K. Amin (Alia) and not CWI et al

Multi-asset option pricing using a parallel Fourier-based technique Article

C.C.W. Leentvaar and C.W. Oosterlee (Kees)

Multigrid relaxation methods for systems of equations of saddle point type Article

C.W. Oosterlee (Kees) and F.J. Gaspar (Francisco)

Explicit Knowledge Programming for Computer Games In Proceedings

S. A. Witzel (Andreas), J.A. Zvesper (Jonathan) and E. Kennerly

Interactive exploration of heterogeneous cultural heritage collections In Proceedings

M. Hildebrand (Michiel)

Thesaurus-based search in large heterogeneous collections In Proceedings

J. Wielemaker (Jan), M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco) and G. Schreiber (Guus)

Semidefinite characterization and computation of zero-dimensional real radical ideals Article

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

Describing Low-Level Image Features Using The COMM Ontology In Proceedings

M. Vacura (Miroslav), V. Svatek, C. Saathoff, T. Franz and R. Troncy (Raphael)

Bringing the IPTC News Architecture into the Semantic Web In Proceedings

R. Troncy (Raphael)

The isodiametric problem with lattice-point constraints Article

M.A. Hernandez Cifre, A. Schuermann and F. Vallentin (Frank)

Minimum Description Length Model Selection - Problems and Extensions Dissertation

S. de Rooij (Steven)