Publications from 2016

Autonomous runtime QoS control for composite services in Service Oriented Archtecture In Proceedings

J.W. Bosman (Joost), J.L. van den Berg (Hans) and R.D. van der Mei (Rob)

Heavy-traffic limits for polling models with exhaustive service and non-FCFS service orders Article

P. Vis (Petra), R. Bekker (Rene) and R.D. van der Mei (Rob)

An efficient heuristic for real-time ambulance redeployment Article

C.J. Jagtenberg (Caroline), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

On the estimation of the true demand in call centers with redials and reconnects Article

S. Ding (Sihan), G.M. Koole (Ger) and R.D. van der Mei (Rob)

A simulation model for Emergency Medical service call centers In Proceedings

M. van Buuren (Martin), G.J. Kommer (Geert Jan), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

Joint Transmission in Cellular Networks with CoMP – Stability and Scheduling Algorithm In Proceedings

B. Birand, G. Grebla, P.M. van de Ven (Peter) and G. Zussman

Stability and instability of individual nodes in multi-hop wireless CSMA/CA networks In Proceedings

V. Shneer (Seva) and P.M. van de Ven (Peter)

Direct control of the small-scale energy balance in 2D fluid dynamics Tech Report

J.E. Frank (Jason), B.J. Leimkuhler (Ben) and K.W. Myerscough (Keith)

Cost-Efficient Allocation of Additional Resources for the Service Placement Problem in Next-Generation Internet Article

M. Ding, M. Onderwater (Martijn), F.P.M. Wetzels (Frank), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

Fluid approximation of a call center model with redials and reconnects Article

S. Ding (Sihan), M. Frolkova (Masha), R.D. van der Mei (Rob) and A.P. Zwart (Bert)

Transient analysis of cycle lengths in cyclic polling models Article

P. Vis (Petra), R. Bekker (Rene) and R.D. van der Mei (Rob)

Modeling blurring effects due to continuous gantry rotation: Application to region of interest tomography Article

J. Cant (Jeroen), W.J. Palenstijn (Willem Jan), G. Behiels and J. Sijbers (Jan)

The ASTRA Toolbox: A platform for advanced algorithm development in electron tomography Article

W. van Aarle (Wim), W.J. Palenstijn (Willem Jan), J. De Beenhouwer (Jan), T. Altantzis (Thomas), S. Bals (Sara), K.J. Batenburg (Joost) and J. Sijbers (Jan)

A computational method for optimizing storage placement to maximize power network reliability In Proceedings

D. Bhaumik (Debarati), D.T. Crommelin (Daan) and A.P. Zwart (Bert)

Round Elimination in Exact Communication Complexity In Proceedings

J. Briët (Jop), H.M. Buhrman (Harry), D. Leung, T. Piovesan (Teresa) and F. Speelman (Florian)

On the closure of the completely positive semidefinite cone and linear approximations to quantum colorings In Proceedings

S. Burgdorf (Sabine), M. Laurent (Monique) and T. Piovesan (Teresa)

Stochastic climate theory Unpublished

G.A. Gottwald, D.T. Crommelin (Daan) and C.L.E. Franzke (Christian)

Experimental study on hard X-rays emitted from metre-scale negative discharges in air Article

P.O. Kochkin (Pavlo), A. van Deursen (Arie) and U. Ebert (Ute)

Positive streamers in air of varying density: experiments on the scaling of the excitation density Article

D. Dubrovin, S. Nijdam (Sander), T.T.J. Clevis, L.C.J. Heijmans (Luuk), U. Ebert (Ute), Y. Yair and C. Price

Calculation of beams of positrons, neutrons and protons associated with terrestrial gamma-ray flashes Article

C. Köhn (Christoph) and U. Ebert (Ute)

Numerical and experimental investigation of dielectric recovery in super-critical nitrogen Article

J. Zhang (Jason), A. Markosyan (Aram), M. Seeger, E.M. van Veldhuizen, E.J.M. van Heesch and U. Ebert (Ute)

Nanosecond repetitively pulsed discharges in N2-O2 mixtures: Inception cloud and streamer emergence Article

S.-H. Chen, L.C.J. Heijmans (Luuk), R. Zeng, S. Nijdam (Sander) and U. Ebert (Ute)

Streamer knotwilg branching; sudden transition in morphology of positive streamers in nitrogen Article

L.C.J. Heijmans (Luuk), T.T.J. Clevis, S. Nijdam (Sander), E.M. van Veldhuizen and U. Ebert (Ute)

Comparing plasma fluid models of different order for 1D streamer ionization fronts Article

A. Markosyan (Aram), H.J. Teunissen (Jannis), S. Dujko (Sasa) and U. Ebert (Ute)

Multicellular aggregate organization as a result of mechanical cell-ECM interactions Presentation

E.G. Rens (Lisanne) and R.M.H. Merks (Roeland)

Probing atmospheric electric fields in thunderstorms through radio emission from extensive air showers In Proceedings

T.N.G. Trinh (Gia), P. Schellart, S. Buitink (Stijn), A. Corstanje, J.E. Enriquez, H. Falcke, J.R. Hörandel (Jörg), A. Nelles, J.P. Rachen, L. Rossetto, et al. O. Scholten (Olaf), S. van Veen, S. Thoudam, A.M. van den Berg, U. Ebert (Ute) and C. Rutjes (Casper)

Learning Optimal Policies in Markov Decision Processes with Value Function Discovery Article

M. Onderwater (Martijn), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Coupling discharge and gas dynamics in streamer-less spark formation on the example of supercritical N2 In Proceedings

A. Agnihotri (Ashutosh), W. Hundsdorfer (Willem) and U. Ebert (Ute)

Streamer discharge inception in a sub-breakdown electric field from a dielectric body with a frequency dependent dielectric permittivity In Proceedings

A. A. Dubinova (Anna), C. Rutjes (Casper) and U. Ebert (Ute)

SGF-Quantales and their Groupoids In Proceedings

H.H. Hansen (Helle), C. Ossa, A. Palmigiano and R. Re

A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report

J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)

A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning In Proceedings

J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)

Presenting Distributive Laws Article

M.M. Bonsangue (Marcello), H.H. Hansen (Helle), A. Kurz (Alexander) and J.C. Rot (Jurriaan)

Weak Completeness of Coalgebraic Dynamic Logics In Proceedings

H.H. Hansen (Helle) and C.A. Kupke (Clemens)

Universal coalgebra: a theory of systems Article

J.J.M.M. Rutten (Jan)

Enhanced coalgebraic bisimulation Tech Report

J.C. Rot (Jurriaan), F. Bonchi (Filippo), M.M. Bonsangue (Marcello), D. Pous (Damien), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Coalgebraic semantics of heavy-weighted automata Tech Report

M. Fortin (Marie), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

Proving language inclusion and equivalence by coinduction Tech Report

J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

Formations of monoids, congruences, and formal languages Tech Report

A. Ballester-Bolinches, E. Cosme-Llopez, R. Esteban-Romero and J.J.M.M. Rutten (Jan)

Context-free coalgebras Article

J. Winter (Joost), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

Measuring Audience Responses of Video Advertisements using Physiological Sensors In Proceedings

C. Wang (Chen) and P.S. César Garcia (Pablo Santiago)

Newton series, coinductively In Proceedings

H. Basold (Henning), H.H. Hansen (Helle), J.-É. Pin (Jean-Éric) and J.J.M.M. Rutten (Jan)

Measuring Audience Responses towards the Musical Background in a Commercial In Proceedings

C. Wang (Chen) and P.S. César Garcia (Pablo Santiago)

The dual equivalence of equations and coequations for automata Article

A. Ballester-Bolinches, E. Cosme-Llopez and J.J.M.M. Rutten (Jan)

Internet, Security and & Privacy Lecture

S. Pemberton (Steven)

Declarative Device-Independent Interfaces Lecture

S. Pemberton (Steven)

Aartsvaders (m/v) van het Nederlandse internet Magazine Article

S. Pemberton (Steven)

25 jaar internet in Nederland Magazine Article

S. Pemberton (Steven)

De Nederlandse helden van het internet Magazine Article

S. Pemberton (Steven) and P. Beertema (Piet)

HTML5 is the New Flash Lecture

S. Pemberton (Steven)

XForms: an Unusual Worked Example Lecture

S. Pemberton (Steven)

XForms, an Introduction Lecture

S. Pemberton (Steven)

Moore's Switch, and its consequences Presentation

S. Pemberton (Steven)

The Second Enlightenment Lecture

S. Pemberton (Steven)

The Second Enlightenment (short version) Lecture

S. Pemberton (Steven)

Bottom-Up Demand Response by Following Local Energy Generation Voluntarily (Demonstration) In Proceedings

T. Linnenberg (Tobias), A. Fay (Alexander) and M. Kaisers (Michael)

Evolutionary Dynamics of Multi-Agent Learning: A Survey Article

D. Bloembergen (Daniel), K. Tuyls (Karl), D. Hennes and M. Kaisers (Michael)

The strange case of reproducibility vs. representativeness in contextual suggestion test collections Article

T. Samar (Thaer), A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)

Temporal anchor text as proxy for real user queries In Proceedings

T. Samar (Thaer) and A.P. de Vries (Arjen)

Improving contextual suggestions using open web domain knowledge In Proceedings

T. Samar (Thaer), A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)

On the fixed parameter tractability and approximability of the minimum error correction problem In Proceedings

P. Bonizzoni (Paola), R. Dondi (Riccardo), G.W. Klau (Gunnar), Y. Pirola (Yuri), N. Pisanti (Nadia) and S. Zaccaria (Simone)

Next Generation Cluster Editing Article

T. Bellitto (Thomas), T. Marschall (Tobias), A. Schönhuth (Alexander) and G.W. Klau (Gunnar)

HapCol: Accurate and Memory-efficient Haplotype Assembly from Long Reads Article

Y. Pirola (Yuri), S. Zaccaria (Simone), R. Dondi (Riccardo), G.W. Klau (Gunnar), N. Pisanti (Nadia) and P. Bonizzoni (Paola)

metaModules identifies key functional subnetworks in microbiome-related disease Article

A. May (Ali), B.W. Brandt (Bernd), M. El-Kebir (Mohammed), G.W. Klau (Gunnar), E. Zaura (Egija), W. Crielaard (Wim), J. Heringa (Jaap) and S. Abeln (Sanne)

Bioinformatics Methods and Biological Interpretation for Next-Generation Sequencing Data Article

G. Wang (Guohua), Y. Liu (Yunlong), D. Zhu (Dongxiao), G.W. Klau (Gunnar) and W. Feng (Weixing)

Automatic Classification of Protein Structure Using the Maximum Contact Map Overlap Metric Article

R. Andonov (Rumen), H. Djidjev (Hristo), G.W. Klau (Gunnar), M. Le Boudic-Jamin (Mathilde) and I. Wohlers (Inken)

Autonomous positioning of Avatars at a guided virtual educational trip In Proceedings

A.A.M. Kuijk (Fons)

REVERIE: Real and virtual come together in a virtual reality Article

A.A.M. Kuijk (Fons), R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

Natalie 2.0: Sparse Global Network Alignment as a Special Case of Quadratic Assignment Article

M. El-Kebir (Mohammed), J. Heringa (Jaap) and G.W. Klau (Gunnar)

Thema Film 13: Data Analytics with MonetDB & R Magazine Article

H.F. Mühleisen (Hannes)

Thema Film 10: The Experiment by ByBorre X CWI Magazine Article

P.S. César Garcia (Pablo Santiago), L. Pérez Romero (Lilia), C. Wang (Chen), S. Cabrero Barros (Sergio), A.J. Jansen (Jack) and T. Röggla (Thomas)

Thema Film 9: EVA, the Electric Vehicle Aggregator Magazine Article

F.N. Claessen (Felix), M. Kaisers (Michael) and E.J.E.M. Pauwels (Eric)

Thema Film 8: Blaeu in Action Magazine Article

T.H.J. Sellam (Thibault)

Bridging the Web and Digital Publishing Article

I. Herman (Ivan) and M. Gylling

Afivo: Adaptive Finite Volume Octree Software

H.J. Teunissen (Jannis)

Being and Change: Reasoning About Invariance In Proceedings

F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Livres numériques / Web : construire la convergence” Lecture

I. Herman (Ivan)

The Convergence of EPUB and the Web Lecture

T. Siegman, M. Gylling and I. Herman (Ivan)

The convergence of EPUB and the Web Lecture

I. Herman (Ivan)

The Convergence of Digital Publishing and the Web” Lecture

I. Herman (Ivan)

Proceedings of the Workshop on Negative or Inconclusive Results in Semantic Web, NoISE 2015 Proceedings

Supporting Exploration of Historical Perspectives Across Collections In Proceedings

D. Odijk, C. Garbacea, T. M. Schoegje (Thomas), L. Hollink (Laura), V. de Boer (Victor), K. Ribbens (Kees) and J.R. van Ossenbruggen (Jacco)

Wave-particle interactions with parallel whistler waves: nonlinear and time-dependent effects revealed by Particle-in-Cell simulations Article

E. Camporeale (Enrico) and G. Zimbardo

Resonant and non-resonant whistlers-particle interaction in the radiation belts Article

E. Camporeale (Enrico)

Neutral Vlasov kinetic theory of magnetized plasmas. Article

C. Tronci and E. Camporeale (Enrico)

Approximate semi-analytical solutions for the steady-state expansion of a contactor plasma Article

E. Camporeale (Enrico), E. Hogan and E. MacDonald

Contribution to JPEG PLENO Requirements on Point Cloud Compression Lecture

R.N. Mekuria (Rufael)

想拥有独家观剧体验分析?《战马》观剧有福利! Magazine Article

P.S. César Garcia (Pablo Santiago)

传感实验丨技术控的《战马》时代，将现上海滩 Magazine Article

P.S. César Garcia (Pablo Santiago)

《战马》“袭”心 ——新华网携手国家话剧院开展国内首次观 Magazine Article

P.S. César Garcia (Pablo Santiago)

新华网：技术控的《战马》时代，将现上海滩 Magazine Article

P.S. César Garcia (Pablo Santiago)

国内首次剧场传感实验将进行 Magazine Article

P.S. César Garcia (Pablo Santiago)

The Tempest - Miracle Interviews - Final Review Magazine Article

P.S. César Garcia (Pablo Santiago)

The Experiment by ByBorre X CWI Magazine Article

P.S. César Garcia (Pablo Santiago)

Distributed Tempest Magazine Article

P.S. César Garcia (Pablo Santiago)

De Nederlandse helden van het internet Magazine Article

S. Pemberton (Steven)

Interaction Design for Online Video and Television Lecture

P.S. César Garcia (Pablo Santiago)

From Secondary Screens to Socially-Aware and Immersive Experiences Lecture

P.S. César Garcia (Pablo Santiago)

Immersive Shared Experiences Lecture

P.S. César Garcia (Pablo Santiago)

Interaction design for online video and television In Proceedings

D. Geerts (David) and P.S. César Garcia (Pablo Santiago)