Publications from 2017

Catching up faster in Bayesian model selection and model averaging In Proceedings

T.A.L. van Erven (Tim), P.D. Grünwald (Peter) and S. de Rooij (Steven)

Human Activity Analysis in Multimedia Data Article

A.E. Cetin, E.J.E.M. Pauwels (Eric) and O. Salvetti

Shorelines of islands of tractability : algorithms for parsimony and minimum perfect phylogeny haplotyping problems Article

L.J.J. van Iersel (Leo), J.C.M. Keijsper, S.M. Kelk (Steven) and L. Stougie (Leen)

Exploiting Sparsity in SDP Relaxation for Sensor Network Localization Tech Report

S. Kim (Sunyoung), M. Kojima and H. Waki (Hayato)

Optimal Embeddings of Distance Regular Graphs into Euclidean Spaces Article

F. Vallentin (Frank)

Lower bounds for measurable chromatic numbers Tech Report

C. Bachoc, G. Nebe, F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Spatial coupling of particle and fluid models for streamers: where nonlocality matters Article

C. Li (Chao), U. Ebert (Ute), W.J.M. Brok and W. Hundsdorfer (Willem)

Uitnodiging benoeming R.J.F. Cramer tot hoogleraar Cryptologie, Universiteit Leiden, 21.12.2007 Other

Uitnodiging kerstbuffet = Invitation Christmas party, 18.12.2007 Other

Representations of Gaussian processes with stationary increments Dissertation

P. Zarȩba (Pawel)

h-Multigrid for space-time discontinuous Galerkin discretizations of the compressible Navier-Stokes equations Article

C.M. Klaij (Christiaan), M.H. van Raalte (Marc), H. van der Ven (Harmen) and J.J.W. van der Vegt (Jaap)

Exploring streamer variability in experiments Dissertation

T.M.P. Briels (Tanja)

Writing Language Definitions in ASF+SDF Magazine Article

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

Riemann problems in FPU chains Article

J.D.M. Rademacher (Jens) and M. Herrmann

Diagonal Circuit Identity Testing and Lower Bounds Tech Report

N. Saxena (Nitin)

The Epistemics of Presupposition Projection In Proceedings

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)

Applications of Formal Methods to System Design and Verification Proceedings

Media Presentation Synchronisation for Non-monolithic Rendering Architectures In Proceedings

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

Enabling Pro-Active User-Centered Recommender Systems: An Initial Evaluation In Proceedings

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

Social Sharing of Television Content: An Architecture In Proceedings

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

Video on the Web: Experiences from SMIL and from the Ambulant Annotator In Proceedings

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

Adapted Maximum-Likelihood Gaussian Models for Numerical Optimization with Continuous EDAs Tech Report

P.A.N. Bosman (Peter), J. Grahl and D. Thierens (Dirk)

Finite de Finetti theorem for conditional probability distributions describing physical theories Tech Report

M. Christandl (Matthias) and B.F. Toner (Ben)

Searching for Temporal Patterns in AmI Sensor Data In Proceedings

R. Tavenard (Romain), A.A. Salah (Albert Ali) and E.J.E.M. Pauwels (Eric)

Proceedings of Formal Methods for Components and Objects, FMCO 2006 -- revised lectures Proceedings

Block-diagonal semidefinite programming hierarchies for 0/1 programming Tech Report

N. Gvozdenovic (Nebojsa), M. Laurent (Monique) and F. Vallentin (Frank)

Bug Hunting with False Negatives Revisited Tech Report

J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova

Risk Balance in Exchange Protocols In Proceedings

M.T. Dashti (Mohammad) and Y. Wang (Yanjing)

New Algorithms for Approximate Nash Equilibria in Bimatrix Games In Proceedings

H. Bosse (Hartwig), J. Byrka (Jaroslaw) and V. Markakis (Vangelis)

The Semantic Web in Action Article

L. Feigenbaum, I. Herman (Ivan), T. Hongsermeier, E. Neumann and S. Stephens

De schaduw van Jos Besteman : afscheid C&I 26.11.2007 : 2 audio cd's en booklet Other

Werk in uitvoering : deelnemerslijst CWI in Bedrijf, 20.11.2007 Other

Werk in uitvoering : CWI in bedrijf, 20.11.2007 : uitnodiging Other

Component-Based Configuration, Integration and Delivery Dissertation

T. van der Storm (Tijs)

Three phases in the evolution of the standard genetic code: how translation could get started Tech Report

P.T.S. van der Gulik (Peter)

Surface Capturing and Multigrid for Steady Free-Surface Water Flows Dissertation

J. Wackers (Jeroen)

Structural Features in XML Retrieval Dissertation

G. Ramirez Camps (Georgina)

Multigrid solution method for the steady RANS equations Tech Report

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

XForms 1.1 candidate recommendation Tech Report

J.M. Boyer

CURIE Syntax 1.0, A syntax for expressing Compact URIs Tech Report

institution W3C

Time staggering for wave equations revisited Tech Report

J.G. Verwer (Jan)

An Interactive Demonstrator for Auction-based Allocation of Loads in Transportation Logistics In Proceedings

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

Distributed Task Allocation in Social Networks In Proceedings

M.M. de Weerdt (Mathijs), Y.Q. Zhang (Yingqian (Jennie)) and T.B. Klos (Tomas)

Adaptive Optimization of Hospital Resource Calendars In Proceedings

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), S.G. Elkhuizen, J.S. Lameris, P.J.M. Bakker and J.A. La Poutré (Han)

Designing Bidding Strategies in Sequential Auctions For Risk Averse Agents In Proceedings

V. Robu (Valentin) and J.A. La Poutré (Han)

Auctions with Arbitrary Deals In Proceedings

T. Máhr and M.M. de Weerdt (Mathijs)

Inventory Management and the impact of anticipation in evolutionary stochastic online dynamic optimization In Proceedings

P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

Heuristics for the design and optimization of streaming CDNs In Proceedings

S. Bhulai (Sandjai), R.D. van der Mei (Rob) and M. Wu (Mengxiao)

Open standard and open sourced SMIL for interactivity Article

D. Zucker and D.C.A. Bulterman (Dick)

NeighbourCast: A synchronisation algorithm for wireless ad hoc networks In Proceedings

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

On time staggering for wave equations Article

J.G. Verwer (Jan)

Customer Configuration Updating in a Software Supply Network. Dissertation

R.L. Jansen (Slinger)

What to do next? Analysing and optimising system behaviour in time Dissertation

A.J. Wijs (Anton)

XForms 1.0 (Third Edition) In Proceedings

S. Pemberton (Steven) and not CWI et al

Rscript --- a Relational Approach to Software Analysis Magazine Article

P. Klint (Paul)

The Syntax Definition Formalism SDF Magazine Article

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

SDF Disambiguation Medkit for Programming Languages Magazine Article

J.J. Vinju (Jurgen)

Maak uw stoelriemen maar vast! Article

P. Klint (Paul)

XForms 1.0 Tech Report

institution W3C

RDFa Primer, Embedding Structured Data in Web Pages Tech Report

institution W3C

XHTML Role Attribute, A module to support role classification of elements Tech Report

institution W3C

RDFa in XHTML: Syntax and Processing Tech Report

institution W3C

Multigrid solution for the steady RANS equations Tech Report

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

Symmetric and Synchronous Communication in Peer-to-Peer Networks Tech Report

S. A. Witzel (Andreas)

Multigrid solution for the steady RANS equations Article

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

Formal analysis techniques for gossiping protocols Article

R. Bakhshi (Rena), F. Bonnet, W.J. Fokkink (Wan) and B. Haverkort

Higher entropic uncertainty relations for anti-commuting observables Tech Report

S.D.C. Wehner (Stephanie) and A. Winter

Stochastic realization for stochastic control with partial observations Book Chapter

J.H. van Schuppen (Jan)

Conditions structurelles dans le contrôle modulaire des systèmes à événements discrets concurrents In Proceedings

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

An abstract interpretation toolkit for $\mu$CRL Article

M.V. Espada and J.C. van de Pol (Jaco)

The Unique Games Conjecture with Entangled Provers is False Tech Report

J. Kempe, B.F. Toner (Ben) and O. Regev (Oded)

Sensor Networks for Ambient Intelligence In Proceedings

E.J.E.M. Pauwels (Eric), A.A. Salah (Albert Ali) and R. Tavenard (Romain)

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction In Proceedings

J.R. Calamé (Jens), N. Ioustinova (Natalia) and J.C. van de Pol (Jaco)

Balloon popping with applications to ascending auctions In Proceedings

N.S. Immorlica (Nicole Simone), A. Karlin, M. Mahdian (Mohammad) and K. Talwar (Kunal)

Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems In Proceedings

M. Bruntink (Magiel)

Analytical methods for an elliptic singular perturbation problem In a circle Article

N.M. Temme (Nico)

Numerical Methods for Special Functions Book

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

Postzegelmapje 362 ter ere van L. E. J. Brouwer, wiskundige Other

Verhuisinstructie : interne verhuizing 14.09.2007 = Relocation instructions : relocation on 14.09.2007 Booklet

Meesterlijk complex : informaticus Paul Vitányi ziet zijn theorie in praktijk opbloeien Article

B. M. Mols (Bennie)

CWI lectures in mathematics and computer science 2007 ter ere van Paul Vitányi, 07.09.2007 Other

RScript 0.2 Software

J.J. Vinju (Jurgen), P. Klint (Paul) and T. van der Storm (Tijs)

Characterisation of mitochondrial transit peptides by means of fractal dimension Master Thesis

C. Staiger (Christine)

Cryptography in the Bounded Quantum-Storage Model Dissertation

C. Schaffner (Christian)

Fortran grammatica-extractie Master Thesis

J. Derriks (Jan)

A Generic Approach to Coalition Formation Tech Report

K.R. Apt (Krzysztof) and S. A. Witzel (Andreas)

Towards P2P XML Database Technology In Proceedings

Y. Zhang (Ying)

XRPC: Interoperable and Efficient Distributed XQuery In Proceedings

Y. Zhang (Ying) and P.A. Boncz (Peter)

Computation of VaR and VaR contribution in the Vasicek portfolio credit loss model -- a comparative study Article

X. Huang, C.W. Oosterlee (Kees) and M.A.M. Mesters

Composable security in the bounded-quantum-storage model Tech Report

S.D.C. Wehner (Stephanie) and J. Wullschleger

Opportunistic Sensing and Learning in Sensor Networks In Proceedings

R. Tavenard (Romain), O. Ambekar (Onkar), E.J.E.M. Pauwels (Eric) and M. Waaijers (Max)

Generalization in Holistic versus Analytic Processing of Faces In Proceedings

M. Bicego, A.A. Salah (Albert Ali), E. Grosso, M. Tistarelli and L. Akarun

The isodiametric problem with lattice-point constraints Tech Report

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

Pre-Galois Connection on Coalgebras for Generic Component Refinement In Proceedings

M. Sun (Meng)

Wiskunde in beweging : vooraankondiging 61e vakantiecursus voor wiskundeleraren, Eindhoven, 24-25.08.2007, en Amsterdam, 31.08-01.09.2007 Other

Ambiguity Detection Methods for Context-Free Grammars Master Thesis

H.J.S. Basten (Bas)

On queues with service and interarrival times depending on waiting times Article

O.J. Boxma (Onno) and M. Vlasiou (Maria)

Bliksem uit de ruimte? Article

U. Ebert (Ute)

Syntax Error Handling in Scannerless Generalized LR Parsers Master Thesis

R. Valkering

Multimedia Retrieval (Data-Centric Systems and Applications) Book