Publications from 2015

An obstacle to a decomposition theorem for near-regular matroids Article

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

Earthquake modelling at the country level using aggregated spatio-temporal point processes Tech Report

M.N.M. van Lieshout (Marie-Colette) and A. Stein (Alfred)

HTML+RDFa 1.1 Tech Report

S. Pemberton (Steven) and not CWI et al

Disagreement graph for multi-coloured polygonal Markov fields Tech Report

K. Turkyilmaz (Kerem)

Conference Chair's Introduction and Overview In Proceedings

D.C.A. Bulterman (Dick)

Luckiness and Regret in Minimum Description Length Inference Book Chapter

S. de Rooij (Steven) and P.D. Grünwald (Peter)

Insuring against loss of evidence in game-theoretic probability Article

A.P. Dawid, S. de Rooij (Steven), G. Shafer, A. Shen (Alexander), N.K. Vereshchagin (Nikolay Konstantinovich) and V. Vovk

Markov-modulated infinite-server queues: approximations by time-scaling Tech Report

A.P. Hellings (Ton), M.R.H. Mandjes (Michel) and J.G. Blom (Joke)

Networked Television Article

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

IPTV: Challenges and Future Directions Article

O.M. Bonastre, M.J. Montpetit and P.S. César Garcia (Pablo Santiago)

Are we in Sync? Synchronization Requirements for Watching Online Video Together In Proceedings

D. Geerts (David), I. Vaishnavi (Ishan), R.N. Mekuria (Rufael), M.O. van Deventer (Oskar) and P.S. César Garcia (Pablo Santiago)

Past, Present, and Future of Social TV: A Categorization In Proceedings

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

Video Mediated Social Interaction Between Groups: System Requirements and Technology Challenges Article

D. Williams (Doug), M. Ursu (Marian), J. Meenowa, P.S. César Garcia (Pablo Santiago), I. Kegel (Ian) and K. Bergström (Karl)

Devnology Podcast 013 - Interview met Paul Klint Magazine Article

P. Klint (Paul)

Here are my data files. Here are my queries. Where are my results? In Proceedings

S. Idreos (Stratos), I. Alagiannis, R. Johnson and A. Ailamaki (Anastasia)

Demo Light Software

D.J.N. van Eijck (Jan)

SciBORQ: Scientific data management with Bounds On Runtime and Quality In Proceedings

E. Sidirourgos (Eleftherios), M.L. Kersten (Martin) and P.A. Boncz (Peter)

Equivariant Gröbner bases and the two-factor model Article

A.E. Brouwer (Andries) and J. Draisma (Jan)

A fast quartet tree heuristic for hierarchical clustering Article

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

Knowledge and Interaction in Social and Economic Networks Article

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

Time Discounting and Time Consistency Book Chapter

N. Dimitri and D.J.N. van Eijck (Jan)

Perception and Change in Update Logic Book Chapter

D.J.N. van Eijck (Jan)

On the Logic of Lying Book Chapter

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor) and Y. Wang (Yanjing)

Verifying one hundred prisoners and a lightbulb Article

D.J.N. van Eijck (Jan), H. van Ditmarsch (Hans) and W. Wu

Discourse representation in context Book Chapter

D.J.N. van Eijck (Jan) and H. Kamp

EASY meta-programming with Rascal In Proceedings

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

Cycle detection, order finding and discrete log with jumps In Proceedings

S. Chakraborty (Sourav), D. Garcia Soriano (David) and A. Matsliah (Arie)

Nearly tight bounds for testing function isomorphism In Proceedings

S. Chakraborty (Sourav), D. Garcia Soriano (David) and A. Matsliah (Arie)

Three-dimensional atomic imaging of crystalline nanoparticles Article

S. van Aert (Sandra), K.J. Batenburg (Joost), M.D. Rossell, R. Erni and G. Van Tendeloo (Gustaaf)

Traffic generated by a semi-Markov additive process Article

J.G. Blom (Joke) and M.R.H. Mandjes (Michel)

The Galois closure of Drinfeld modular towers Article

A. Bassa (Alp) and P. Beelen

Sharpness of the percolation transition in the two-dimensional contact process Article

J. van den Berg (Rob)

Modeling dynamic reconfiguration in Reo using high-level replacement systems Article

C. Krause (born Köhler) (Christian), Z. Maraikar (Ziyan), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

VirtualLeaf: an open source framework for cell-based modeling of plant tissue growth and development Article

R.M.H. Merks (Roeland), M.A. Guravage (Michael), D. Inze and G.T.S. Beemster

Bringing Domain-Specific Languages to Digital Forensics In Proceedings

J. van den Bos (Jeroen) and T. van der Storm (Tijs)

Graphs with four boundary vertices Article

T. Müller (Tobias), A. Por and J.-S. Sereni

Multiple scales in streamer discharges, with an emphasis on moving boundary approximations Article

U. Ebert (Ute), F. Brau (Fabian), G. Derks (Gianne), W. Hundsdorfer (Willem), C.-Y. Kao, C. Li (Chao), A. Luque (Alejandro), B.J. Meulenbroek (Bernard), S. Nijdam (Sander), V. Ratushna (Valeriya Igorivna), et al. L. Schäfer and S. Tanveer

Pointwise Extensions of GSOS-Defined Operations Article

H.H. Hansen (Helle) and B. Klin

Nieuwjaarskaart CWI voor 2010 Other

Kleene coalgebra Dissertation

A.M. Silva (Alexandra)

Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services Dissertation

M.M. Jaghoori (Mohammad Mahdi)

Kerstbijeenkomst = Christmas party, 14.12.2010 Other

Formal Models for Component Connectors Dissertation

D.F. de Oliveira Costa (David)

Understanding and Supporting Information Seeking Tasks among Multiple Sources Dissertation

A.K. Amin (Alia)

The COS method: An efficient Fourier method for pricing financial derivatives Dissertation

F. Fang

Personalised Access to Social Media Dissertation

M. Clements (Maarten)

Electron transport data in N2-O2 streamer plasma discharges In Proceedings

S. Dujko (Sasa), U. Ebert (Ute), R.D. White and Z.L. Petrović (Zoran)

Numerical Solutions to Noisy Systems In Proceedings

S. Živanovic (Sanja) and P.J. Collins (Pieter)

Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification Manual

S. Pemberton (Steven) and not CWI et al

XHTML Access Module Manual

S. Pemberton (Steven) and not CWI et al

XHTML Role Attribute Module Manual

S. Pemberton (Steven) and not CWI et al

XHTML Modularization for RelaxNG Manual

S. Pemberton (Steven) and not CWI et al

CURIE Syntax 1.0 Manual

S. Pemberton (Steven) and not CWI et al

XML Events 2: An Events Syntax for XML Manual

S. Pemberton (Steven)

XFrames Manual

S. Pemberton (Steven)

XHTML™ 2.0 Manual

S. Pemberton (Steven)

Generalizing the powerset construction, coalgebraically In Proceedings

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

Emergence of tissue polarization from synergy of intracellular and extracellular auxin signaling Article

K. Wabnik, J. Kleine-Vehn, J. Balla, M. Sauer, S. Naramoto, V. Reinöhl, R.M.H. Merks (Roeland), W. Govaerts and J. Friml

A comparison between coral colonies of the genus Madracis and simulated forms Article

M. Filatov, J.A. Kaandorp (Jaap), M. Postma, R. Vermeij, R. Bak, R. van Liere (Robert) and G. Steekstra

Letter from the Special Issue Editor Article

P.A. Boncz (Peter)

Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings

Fractionally predictive spiking neurons In Proceedings

S.M. Bohte (Sander) and J.O. Rombouts (Jaldert)

A Unified Format for Language Documents In Proceedings

V. Zaytsev (Vadim) and R. Lämmel (Ralf)

On the Efficiency of Restricted Tolls in Non-atomic Network Routing Games Tech Report

V. Bonifaci (Vincenzo), M. Salek (Mahyar) and G. Schäfer (Guido)

Generalized Incremental Mechanisms for Scheduling Games Tech Report

J. A. Brenner (Janina) and G. Schäfer (Guido)

SciQL, A query language for science applications Tech Report

M.L. Kersten (Martin), N.J. Nes (Niels), Y. Zhang (Ying) and M.G. Ivanova (Milena)

Strategic Scheduling Games: Equilibria and Efficiency Tech Report

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

Discrete Strategies in Keyword Auctions and Their Inefficiency for Locally Aware Bidders In Proceedings

V. Markakis (Vangelis) and O. Telelis (Orestis)

Video Analysis Tools for Annotating User-Generated Content from Social Events In Proceedings

R.L. Guimarães (Rodrigo Laiola), R. Kaiser, A. Hofmann (Albert), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

Matroïden en hun representaties Article

S.H.M. van Zwam (Stefan)

Complete sets of cooperations Article

C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

Connected facility location via random facility sampling and core detouring Article

F. Eisenbrand, F. Grandoni, T. Rothvoß and G. Schäfer (Guido)

Double Q-learning In Proceedings

H. P. van Hasselt (Hado)

An architecture for recycling intermediates in a column-store Article

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

On Leonid Gurvits's proof for permanents Article

M. Laurent (Monique) and A. Schrijver (Lex)

When Data Compression and Statistics Disagree: Two Frequentist Challenges for the Minimum Description Length Principle Dissertation

T.A.L. van Erven (Tim)

Energie, wiskunde & informatica : informatiemap CWI in bedrijf 11.11.2010 Other

Energie, wiskunde & informatica : programma CWI in bedrijf, 11.11.2010 Other

Energie, wiskunde & informatica : vooraankondiging en uitnodiging CWI in bedrijf, 11.11.2010 Other

XHTML-Print - Second Edition Standard

M. Grant, J Bigelow and S. Pemberton (Steven)

XHTML™ 1.1 - Module-based XHTML - Second Edition Standard

S. McCarron (Shane), M. Ishikawa and S. Pemberton (Steven)

XHTML™ Basic 1.1 - Second Edition Standard

S. McCarron (Shane), M. Ishikawa and S. Pemberton (Steven)

Experiencing Events through User-Generated Media In Proceedings

R. Troncy (Raphael), A.T.S. Fialho (Andre), L. Hardman (Lynda) and C. Saathoff

Protecting high frequency IC's from electrostatic discharge In Proceedings

U. Ebert (Ute), J. Frenken, H. van der Graaf, N. Hermosa, S. Hofmann, G.M.W. Kroesen, C. Li (Chao), D. Makogon, M. Ranjan, P. Steeneken, et al. M. Trouwborst, E.J. Vesseur and O. Wunnicke

The task-dependent effect of tags and ratings on social media access Article

M. Clements (Maarten), A.P. de Vries (Arjen) and M.J.T. Reinders

XForms 1.1 Quick Reference Manual

S. Pemberton (Steven)

XHTML™ Basic 1.1 - Second Edition Book Chapter

S. Pemberton (Steven)

XHTML™ 1.1 - Module-based XHTML - Second edition Book Chapter

S. Pemberton (Steven)

XHTML-Print - Second Edition Book Chapter

S. Pemberton (Steven)

VirtualLeaf Software

R.M.H. Merks (Roeland), M.A. Guravage (Michael), D. Inze and G.T.S. Beemster

An Interactive, Multi-Modal Approach to Analysing High-Resolution Image Mass Spectrometry Data In Proceedings

F.A. Smit (Ferdi), R. van Liere (Robert), R.M.A. Heeren (Ron) and not CWI et al

Le Web sémantique Article

A. Bertails, I. Herman (Ivan) and S. Hawke

Simplified modelling of a thermal bath, with application to a fluid vortex system Article

S. Dubinkina (Svetlana), J.E. Frank (Jason) and B.J. Leimkuhler (Ben)

Lost in Translation? Empirical Analysis of Mapping Compositions for Large Ontologies In Proceedings

A. Tordai (Anna), J.R. van Ossenbruggen (Jacco), A. Ghazvinian, M. A. Musen and N.F. Noy

Grothendieck inequalities for semidefinite programs with rank constraint Tech Report

J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Higher Order Methods for Differential Inclusions Tech Report

S. Živanovic (Sanja) and P.J. Collins (Pieter)

Composition methods, Maxwell's equations and source terms Tech Report

J.G. Verwer (Jan)

Model abstraction of nondeterministic finite state automata in supervisor synthesis Article

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

On the Lasserre hierarchy of semidefinite programming relaxations of convex polynomial optimization problems Tech Report

E. de Klerk (Etienne) and M. Laurent (Monique)

Confinement of matroid representations to subsets of partial fields Article

R. Pendavingh and S.H.M. van Zwam (Stefan)