Publications from 2017

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)

Uniqueness, intractability and exact algorithms: reflections on level-k phylogenetic networks Article

L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and M. Mnich (Matthias)

Constructing level-2 phylogenetic networks from triplets Article

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

Worst-case optimal approximation algorithms for maximizing triplet consistency within phylogenetic networks Article

J. Byrka (Jaroslaw), K.T. Huber, S.M. Kelk (Steven) and P. Gawrychowski (Paweł)

Computing the conical function $P^{\mu}_{-1/2+i\tau}(x)$ Article

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

Supporting subject matter annotation using heterogeneous thesauri, a user study in Web data reuse Tech Report

M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and G. Jacobs

Convergence and component splitting for the Crank-Nicolson--Leap-Frog integration method Tech Report

J.G. Verwer (Jan)

Configuring Semantic Web Interfaces by Data Mapping In Proceedings

M. Hildebrand (Michiel) and J.R. van Ossenbruggen (Jacco)

Systems biology: Parameter estimation for biochemical models Article

M. Ashyraliyev (Maksat), Y. Fomekong Nanfack, J.A. Kaandorp (Jaap) and J.G. Blom (Joke)

Algorithms, haplotypes and phylogenetic networks Dissertation

L.J.J. van Iersel (Leo)

Managing requirements evolution using reconstructed traceability and requirements views Dissertation

M. Lormans

SIM-PL Software

W.M. Koolen-Wijkstra (Wouter)

Foreword Preface

P. Balbiani (Philippe), H. van Ditmarsch (Hans) and D.J.N. van Eijck (Jan)

HashClash Software

M.M.J. Stevens (Marc)

Dynamic Load Balancing and Job Replication in a Global-Scale Grid Environment: A Comparison Article

M.A. Dobber (Menno), G.M. Koole (Ger) and R.D. van der Mei (Rob)

Data, Information, and Knowledge in Visualization Article

M. Chen (Min), R.S. Laramee (Robert), D.S. Ebert (David), H. Hagen (Hans), R. van Liere (Robert), K.-L. Ma (Kwan-Liu), W. Ribarsky (William), G. Scheuermann (Gerik) and D. Silver (7202150895)

Analysis of the accuracy and convergence of equation-free projection to a slow manifold Article

Zagaris, A. (Antonios), Gear, C.W. (C. William), Kaper, T.J. (Tasso J.) and Kevrekidis, Y.G. (Yannis G.)

Thema Film 21: TA2: Improving social communication between groups Magazine Article

CWI CWI

Overview of the INEX 2009 Entity Ranking Track Book Chapter

On the Amortized Complexity of Zero-Knowledge Protocols In Proceedings

R.J.F. Cramer (Ronald) and I.B. Damgård (Ivan)

Interactive aspects of multiple applications for internet enabled televisions Dissertation

A.T.S. Fialho (Andre)

Advanced routing algorithms for navigation systems Master Thesis

P. Wygocki (Piotr)

Forecasting and planning of ambulance services Master Thesis

I.M. Calinescu (Melania)

Parkeeromzet verhogen met Revenue Management Article

M.J. Soomer, K. Pak, R.D. van der Mei (Rob) and G.M. Koole (Ger)

What is the Spatial Extent of an Object? In Proceedings

J.R.R. Uijlings, A.W.M. Smeulders (Arnold) and R.J.H. Scha

Visual Gist of Natural Scenes Derived from Image Statistics Parameters In Proceedings

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

Visual Gist of Natural Scenes Derived from Image Statistics Parameters In Proceedings

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

The Weibull Statistics and the Efficiency of Natural Image Categorization In Proceedings

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

The MediaMill TRECVID 2009 Semantic Video Search Engine In Proceedings

C. Snoek, K.E.A. van de Sande, O. de Rooij, B. Huurnink, J.R.R. Uijlings, M. van Liempt, M. Bugalho, I. Trancoso (Isabel), M.A. Tahir, K. Mikolajczyk, et al. J. Kittler, M. de Rijke (Maarten), J.M. Geusebroek (Jan-Mark), T. Gevers, M. Worring (Marcel), D.C. Koelma and A.W.M. Smeulders (Arnold)

The Early Visual System Selectively Pools from Scale-Tuned Neurons to Identify Distinctive Edges at All Natural Scales In Proceedings

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

Real-Time Bag of Words, Approximately In Proceedings

J.R.R. Uijlings, A.W.M. Smeulders (Arnold) and R.J.H. Scha

Periodic Event Detection and Recognition in Video In Proceedings

E.P.V. Vivek, E. Pogalin and A.W.M. Smeulders (Arnold)

Cognitive Object Vision In Proceedings

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

Brain Responses Strongly Correlate with Weibull Image Statistics when Processing Natural Images Article

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

A Multidisciplinary Approach to Unlocking Television Broadcast Archives Article

L. Hollink (Laura), G. Schreiber (Guus), B. Huurnink, M. van Liempt, M. de Rijke (Maarten) and A.W.M. Smeulders (Arnold)

A Biologically Plausible Model for Rapid Natural Scene Identification In Proceedings

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

A two-station queue with dependent preparation and service times Article

M. Vlasiou (Maria), I.J.B.F. Adan and O.J. Boxma (Onno)

Wenn der Funke überspringt Article

U. Ebert (Ute)

On the sojourn time tails of a file-splitting processor sharing network In Proceedings

G.J. Hoekstra (Gerard), R.D. van der Mei (Rob), Y. Nazarathy (Yoni) and A.P. Zwart (Bert)

Assessing the efficiency of resource allocations in bandwidth-sharing networks. Article

I.M. Verloop (Maaike) and R. Núñez Queija (Rudesindo)

Interacting queues with server selection and coordinated scheduling: Application to cellular data networks Article

S.C. Borst (Sem), N. Hegde and A. Proutière

The tax identity in risk theory - a simple proof and an extension Article

H. Albrecher (Hansjörg), S.C. Borst (Sem), O.J. Boxma (Onno) and J.A.C. Resing

XForms 1.1 Test Suite Software

S. Pemberton (Steven) and not CWI et al

XHTML Media Types - Second Edition Manual

S. Pemberton (Steven) and not CWI et al

DataCell: Exploiting the Power of Relational Databases for Efficient Stream Processing Article

E. Liarou (Erietta) and M.L. Kersten (Martin)

New Trends in Mathematical Physics - Invited papers of XV International Congress on Mathematical Physics Book

smilText JavaScript Software

R.L. Guimarães (Rodrigo)

A pan/zoom tool for telling stories with photos Software

R.L. Guimarães (Rodrigo) and A.A.M. Kuijk (Fons)

Computational Semantics with Functional Programming Book

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

Quantitative Coral Analysis and Visualization Software

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

On finite bases for weak semantics: failures versus impossible futures In Proceedings

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

An image-warping architecture for VR: low latency versus image quality In Proceedings

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

Niceness Theorems In Proceedings

M. Hazewinkel (Michiel)

Explicit polynomial generators for the ring of quasisymmetric functions over the integers Article

M. Hazewinkel (Michiel)

Optimal threshold selection for tomogram segmentation by projection distance minimization Article

K.J. Batenburg (Joost) and J. Sijbers (Jan)

Adaptive thresholding of tomograms by projection distance minimization Article

K.J. Batenburg (Joost) and J. Sijbers (Jan)

Hierarchical Boolean Networks Presentation

M.A. Guravage (Michael)

Learning the Structure of Utility Graphs Used in Multi-issue Negotiation through Collaborative Filtering In Proceedings

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

Nash Social Welfare in Multiagent Resource Allocation In Proceedings

S. Ramezani (Sara) and U. Endriss

Revenue management in the parking industry Article

R.D. van der Mei (Rob), K. Pak, M.J. Soomer and G.M. Koole (Ger)

Cell-based modeling of gut microbiota Presentation

M.J.A. van Hoek (Milan) and R.M.H. Merks (Roeland)

Retrieving (JPEG) Pictures in Portable Hypermedia Documents In Proceedings

D.C.A. Bulterman (Dick)

Exploiting Sparsity in SDP Relaxation for Sensor Network Localization Article

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

Restricted set addition: The exceptional case of the Erdos-Heilbronn conjecture Article

G. Karolyi (Gyula)

Balanced subset sums of dense sets of integers Article

G. Karolyi (Gyula)

Abstract Object Creation in Dynamic Logic In Proceedings

I. Grabe (Immo), F.S. de Boer (Frank) and W. Ahrendt (Wolfgang)

Statistische Leertheorie Inaugural Lecture

P.D. Grünwald (Peter)

Enterprise Architecture at Work Book

F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and F. Arbab (Farhad)

Approximation and Cost Sharing Algorithms for Network Design Problems, Habilitation thesis Magazine Article

G. Schäfer (Guido)

Physik des Gewitters News Broadcast

U. Ebert (Ute)

Spatiotemporal Dynamics in Ecology: Insights from Physics In Proceedings

J.A. Sherratt, M. Smith and J.D.M. Rademacher (Jens)

Direct chosen-ciphertext secure identity-based key encapsulation without random oracles Article

E. Kiltz (Eike) and D. Galindo

The Twin Diffie-Hellman Problem and Applications Article

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

Sharpness of the percolation transition in the two-dimensional contact process Tech Report

J. van den Berg (Rob)

Spinning Relations: High-Speed Networks for Distributed Join Processing In Proceedings

P.W. Frey (Philip), R.A. Pereira Goncalves (Romulo Antonio), M.L. Kersten (Martin) and J. Teubner (Jens)

Proceedings 2nd Interaction and Concurrency Experience: Structural Interactions Tech Report

F. Bonchi (Filippo), D. Grohmann and P. Spoletini

Reactive Systems, Barbed Semantics, and the Mobile Ambients In Proceedings

F. Bonchi (Filippo), F. Gadducci (Fabio) and G.V. Monreale (Giacoma Valentina )

Minimization Algorithm for Symbolic Bisimilarity In Proceedings

F. Bonchi (Filippo) and U. Montanari

Deriving Syntax and Axioms for Quantitative Regular Behaviours In Proceedings

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Vakantiecursus 2009 - Tel uit je winst - wiskunde in geld en spelen Book

Automata Based Model Checking for Reo Connectors In Proceedings

M.M. Bonsangue (Marcello) and M. Izadi (Mohammad)

Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems In Proceedings

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

The Complex Dynamics of Sponsored Search Markets In Proceedings

V. Robu (Valentin), J.A. La Poutré (Han) and S.M. Bohte (Sander)

Integer linear programming in computational biology Book Chapter

E. Althaus, G.W. Klau (Gunnar), O. Kohlbacher, H.P. Lenhof and K. Reinert (Knut)

Architecting Security with Paradigm in Architecting Dependable Systems IV Book Chapter

S. Andova, L.P.J. Groenewegen (Luuk), J.H.S. Verschuren (Jan) and E.P. de Vink (Erik)