Publications from 2019

Error Probability of BICM in Fading Channels: Uniform Interleaving Analysis In Proceedings

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

Modeling Morphogenesis in silico and in vitro: Towards Quantitative, Predictive, Cell-based Modeling Article

R.M.H. Merks (Roeland) and P. Koolwijk (Pieter)

User Variance and its Impact on Video Retrieval Benchmarking In Proceedings

P. Wilkins, R. Troncy (Raphael), M. Halvey (Martin), D. Byrne, A.K. Amin (Alia), P. Puttu Swami (Punitha), A.F. Smeaton and R. Villa

Java Test Driver Generation from Object-Oriented Interaction Traces In Proceedings

M.M. Bonsangue (Marcello), F.S. de Boer (Frank), A. Grüner (Andreas) and M. Steffen

Onze huisstijl CWI : introductie nieuwe huisstijl 2009 Other

Analysis and Testing of Ajax-based Single-page Web Applications Dissertation

A. Mesbah (Ali)

Optimization and Approximation on Systems of Geometric Objects Dissertation

E.J. van Leeuwen (Erik Jan)

Armada, an Evolving Database System Dissertation

F.E. Groffen (Fabian)

Preface Preface

P.S. César Garcia (Pablo Santiago), D. Geerts (David) and K. Chorianopoulos (Konstantinos)

Frans-Nederlands informaticasamenwerking van start - interview met P. Klint Magazine Article

P. Klint (Paul)

HashClash - Framework for MD5 & SHA-1 Differential Path Construction Software

M.M.J. Stevens (Marc)

Fifth International ACM/SIGMOD Workshop on Data Management on New Hardware Proceedings

Publieke Werken -- Freudenthal's Som en productraadsel Article

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and R. Verbrugge (Rineke)

Social Interactive Television: Immersive Shared Experiences and Perspectives Book

A feedback fluid queue with two congestion control thresholds Article

R. Malhotra, M.R.H. Mandjes (Michel), W.R.W. Scheinhardt (Werner) and J.L. van den Berg (Hans)

Moving-boundary approximation for curved streamer ionization fronts: Numerical tests Article

F. Brau (Fabian), A. Luque (Alejandro), B. Davidovitch and U. Ebert (Ute)

The contact polytope of the Leech lattice Tech Report

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

Amplitude Phase Shift Keying Constellation Design and its Applications to Satellite Digital Video Broadcasting Book Chapter

K.P. Liolis, R. De Gaudenzi, N. Alagha, A. Martinez (Alfonso) and A. Guillén i Fàbregas

Bit-Interleaved Coded Modulation Revisited: A Mismatched Decoding Perspective Article

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

Self-organizing tuple reconstruction in column-stores In Proceedings

S. Idreos (Stratos), M.L. Kersten (Martin) and S. Manegold (Stefan)

An architecture for recycling intermediates in a column-store In Proceedings

M.G. Ivanova (Milena), M.L. Kersten (Martin), N.J. Nes (Niels) and R.A. Pereira Goncalves (Romulo Antonio)

ROX: Run-time optimization of XQueries In Proceedings

R. Abdel Kader, P.A. Boncz (Peter), S. Manegold (Stefan) and M. van Keulen

First passage process of a Markov additive process, with applications to reflection problems Tech Report

B. D'Auria, J. Ivanovs (Jevgenijs), O. Kella and M.R.H. Mandjes (Michel)

Finite-volume discretizations and immersed boundaries Tech Report

Y.J. Hassen (Yunus) and B. Koren (Barry)

Extremes of Markov-additive processes with one-sided jumps, with queueing applications Tech Report

A.B. Dieker (Ton) and M.R.H. Mandjes (Michel)

A note on pooling of labels in random fields Tech Report

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

A physical five-equation model for compressible two-fluid flow, and its numerical treatment Tech Report

J.J. Kreeft (Jasper) and B. Koren (Barry)

Front interactions in a three-component system Dissertation

P.J.A. van Heijster (Peter)

Coalgebraic Modelling: Applications in Automata Theory and Modal Logic Dissertation

H.H. Hansen (Helle)

RDFa for HTML Authors Manual

S. Pemberton (Steven)

Properties of classical and quantum Jensen-Shannon divergence Article

J. Briët (Jop) and P. Harremoës (Peter)

A1-brug Article

P. Klint (Paul)

Information distance in multiples Tech Report

P.M.B. Vitányi (Paul)

Normalized Web Distance and Word Similarity Book Chapter

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

An obstacle to a decomposition theorem for near-regular matroids Tech Report

D. Mayhew, G. Whittle (Geoff) and S.H.M. van Zwam (Stefan)

A moving boundary problem motivated by electric breakdown, I: Spectrum of linear perturbations Article

S. Tanveer, L. Schäfer, F. Brau (Fabian) and U. Ebert (Ute)

Modular Verification of Recursive Programs Book Chapter

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

Optimal strategies in sequential bidding In Proceedings

K.R. Apt (Krzysztof) and V. Markakis (Vangelis)

Solving Simple Stochastic Games with Few Random Vertices Article

H. Gimbert and F. Horn (Florian)

Parameter estimation for a model of gap gene circuits with time-variable external inputs in Drosophila Tech Report

M. Ashyraliyev (Maksat)

Automatic Metadata Enrichment in News Production In Proceedings

E. Mannens, R. Troncy (Raphael), K. Braeckman, D. van Deursen, W. van Lancker, R. de Sutter and R. van de Walle

Interlinking Multimedia: How to Apply Linked Data Principles to Multimedia Fragments In Proceedings

M. Hausenblas, R. Troncy (Raphael), Y. Raimond and T. Bürger

Explorer des actualités multimédia dans le web de données In Proceedings

R. Troncy (Raphael)

Runge–Kutta methods and viscous wave equations Article

J.G. Verwer (Jan)

Queueing Networks with Shared Resources Dissertation

W. van der Weij (Wemke)

Efficient and robust uncertainty quantification for computational fluid dynamics and fluid-structure interaction Dissertation

J.A.S. Witteveen (Jeroen)

Breaking the Weakest Link: Becoming a Trusted Authority on the Internet Article

M.M.J. Stevens (Marc)

Ambulant 2.0 Software

A.J. Jansen (Jack), C.L. Blom (Kees) and D.C.A. Bulterman (Dick)

Automated translation and analysis of a ToolBus script for auctions In Proceedings

W.J. Fokkink (Wan), P. Klint (Paul), B. Lisser (Bert) and Y.S. Usenko (Yaroslav)

Magnetohydrodynamics of insulating spheres Article

J.W. Haverkort (Willem) and not CWI et al

Fighting Lymph Cancer with Mathematics Article

A.C. Kik (Annette) and G.W. Klau (Gunnar)

Semidefinite programming, multivariate orthogonal polynomials, and codes in spherical caps Article

C. Bachoc and F. Vallentin (Frank)

StreetTiVo: Using a P2P XML Database System to Manage Multimedia Data in Your Living Room In Proceedings

Y. Zhang (Ying), A.P. de Vries (Arjen), P.A. Boncz (Peter), D. Hiemstra and R. Ordelman

Efficient Distribution of Full-Fledged XQuery In Proceedings

Y. Zhang (Ying), N. Tang (Nan) and P.A. Boncz (Peter)

Organizing Suggestions in Autocompletion Interfaces In Proceedings

A.K. Amin (Alia), M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), V. Evers (Vanessa) and L. Hardman (Lynda)

‘Give me a hug': the effects of touch and autonomy on people's responses to embodied social agents Tech Report

H. Cramer, N. Kemper, A.K. Amin (Alia), V. Evers (Vanessa) and B. Wielinga

Touched by robots: effects of physical contact and proactiveness Tech Report

H. Cramer, A.K. Amin (Alia), V. Evers (Vanessa) and N. Kemper

Asymptotic inversion of the Erlang B formula Article

J.S.H. van Leeuwaarden (Johan) and N.M. Temme (Nico)

End-user Programming of Ambient Narratives for Smart Retail Environments Dissertation

M.G.L.M. van Doorn (Mark)

Algebraic Techniques for Low Communication Secure Protocols Dissertation

R. de Haan (Robbert)

Feature Visualization in Large Scale Imaging Mass Spectrometry Data Dissertation

A. Broersen (Alexander)

Adding state to declarative languages to enable web applications Master Thesis

A.J. Jansen (Jack)

From coordination to stochastic models of QoS Tech Report

F. Arbab (Farhad), T. Chothia (Tom), R.D. van der Mei (Rob), S. Meng, Y.-J. Moon (Young-Joo) and C. Verhoef (Chretien)

12th International Conference on Extending Database Technology (EDBT 2009) Proceedings

BNN today News Broadcast

H.M. Buhrman (Harry)

Comparing Aimed Movements in the Real World and in Virtual Reality In Proceedings

L. Liu (Lei), R. van Liere (Robert), C. J. H. Nieuwenhuizen (Karin) and J.-B. Martens

A hierarchical network model for road traffic control In Proceedings

J. Vrancken, J.H. van Schuppen (Jan), M. dos Santos Soares and F. Ottenhof (Frank)

Interactive Information Access on the Web of Data In Proceedings

L. Hardman (Lynda), J.R. van Ossenbruggen (Jacco), R. Troncy (Raphael), A.K. Amin (Alia) and M. Hildebrand (Michiel)

Normal forms for reduced stochastic climate models Article

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

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

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

Performance Evaluation In Database Research: Principles And Experience In Proceedings

S. Manegold (Stefan) and I. Manolescu

Generic and Updatable XML Value Indices Covering Equality and Range Lookups In Proceedings

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

Heavy-traffic analysis of a multiple-phase network with discriminatory processor sharing Tech Report

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and R. Núñez Queija (Rudesindo)

Incentive-based control of ad hoc networks: a performance study Tech Report

F. Göbel, A. E. Krzesinski (Anthony) and M.R.H. Mandjes (Michel)

On the record process of time-reversible spectrally-negative Markov additive processes Tech Report

J. Ivanovs (Jevgenijs) and M.R.H. Mandjes (Michel)

Backpressure-based control protocols: design and computational aspects Tech Report

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

Approximations for the mean sojourn time in a parallel queue Tech Report

B.P.H. Kemper and M.R.H. Mandjes (Michel)

Applying Reo to Service Coordination in Long-Running Business Transactions In Proceedings

N. Kokash (Natallia) and F. Arbab (Farhad)

Heavy-traffic analysis of a multiple-phase network with discriminatory processor sharing Tech Report

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and R. Núñez Queija (Rudesindo)

A Flexible QoS-aware Routing Protocol for Infrastructure-less B3G Networks In Proceedings

N. Kokash (Natallia), R. Speicys Cardoso, P.-G. Raverdy and V. Issarny

Discus amicorum Jan Heering : t.g.v. zijn afscheid, 27.02.2009 Other

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

Fluid models for QoS provisioning in communication networks Dissertation

F. Roijers (Frank)

Using options with set exercise prices to reduce bidder exposure in sequential auctions In Proceedings

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

Joining particle and fluid aspects in streamer simulations Dissertation

C. Li (Chao)

Sojourn time tails in processor-sharing systems Dissertation

R.R. Egorova (Regina Robertovna)

Discus amicorum Jan Heering : ter gelegenheid van zijn afscheid, 27.02.2009 Miscellaneous

Research Emission Rights Article

P. Klint (Paul)

Tracking experts that learn by evolving past posteriors Tech Report

W.M. Koolen-Wijkstra (Wouter) and T.A.L. van Erven (Tim)

Röntgenstraling uit bliksem, de promotie van Li Chao News Broadcast

U. Ebert (Ute)

Optimizing drug delivery using non-uniform magnetic fields: a numerical study In Proceedings

J.W. Haverkort (Willem) and S. Kenjeres

Labeled Traveling Salesman Problems: Complexity and approximation Article

L. Gourves, J. Monnot and O. Telelis (Orestis)

Systems biology: from possible to plausible to actual models Article

F.J. Bruggeman (Frank)

The excluded minors for near-regular matroids Tech Report

R. Hall, D. Mayhew and S.H.M. van Zwam (Stefan)

Reconnection and merging of positive streamers in air Article

S. Nijdam (Sander), C.G.C. Geurts, E.M. van Veldhuizen and U. Ebert (Ute)

High accuracy semidefinite programming bounds for kissing numbers Tech Report

H.D. Mittelmann and F. Vallentin (Frank)

Complexity and algorithms for computing Voronoi cells of lattices Article

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

Error-correcting data structures In Proceedings

R.M. de Wolf (Ronald)

Random Fruits on the Zielonka Tree In Proceedings

F. Horn (Florian)

Computable CTL for discrete-time and continuous-space dynamic systems Tech Report

P.J. Collins (Pieter) and I.S. Zapreev (Ivan)