Publications from 2017

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. O. 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 (Fatemeh), 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 (Konstantinos)

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 (Luiz Fernando Gomes)

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)

Queueing Models for Bandwidth-Sharing Disciplines Dissertation

P.M.D. Lieshout (Pascal)

Testing Reactive Systems with Data : Enumerative Methods and Constraint Solving Dissertation

J.R. Calamé (Jens)

Liber amicorum Jan Kok Miscellaneous

CWI midterm self-evaluation 2008 Book

The Language Specification Formalism ASF+SDF Magazine Article

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

ToolBusNG 2.0 Software

P. Klint (Paul) and A.W. Lankamp (Arnold)

Doe-het-zelf PR Article

P. Klint (Paul)

A bolt form the blue Magazine Article

U. Ebert (Ute)

Bliksemboom News Broadcast

U. Ebert (Ute)

Samen flitsen Magazine Article

U. Ebert (Ute)

Semantic Multimedia In Proceedings

S. Staab, A. Scherp, R. Arndt, R. Troncy (Raphael), M. Grzegorzek, C. Saathoff, S. Schenk and L. Hardman (Lynda)

Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case In Proceedings

S. Angelov (Samuil) and not CWI et al

Column-store support for RDF data management: not all swans are white In Proceedings

E. Sidirourgos (Eleftherios), R.A. Pereira Goncalves (Romulo Antonio), M.L. Kersten (Martin), N.J. Nes (Niels) and S. Manegold (Stefan)

Generalized Key Delegation for Hierarchical Identity-Based Encryption Article

M. Abdalla, E. Kiltz (Eike) and G. Neven

The Berners-Lee Hypothesis: Power laws and Group Structure in Flickr In Proceedings

A. Baldassarri, A. Barrat, A. Capocci, H. Halpin, U. Lehner (Ulrike), J.J. Ramasco (José), V. Robu (Valentin) and D. Taraborelli

Coinductive Formal Reasoning in Exact Real Arithmetic Article

M. Niqui (Milad)