Publications from 2017

2015: het jaar van virtual reality, maar niet helemaal Magazine Article

R. van Liere (Robert)

De mythe van big data Magazine Article

T.F. Sterkenburg (Tom)

Microdata to RDF – Second Edition Transformation from HTML+Microdata to RDF Standard

I. Hickson, G. Kellogg (Gregg), J. Tennison and I. Herman (Ivan)

Tight hardness of the non-commutative Grothendieck problem Tech Report

J. Briët (Jop), O. Regev (Oded) and R. Saket (Rishi)

Wat kost een oliebol? News Broadcast

P.D. Grünwald (Peter)

Decidability problems for actor systems Article

F.S. de Boer (Frank), M.M. Jaghoori (Mohammad Mahdi), C. Laneve (Cosimo) and G. Zavattaro (Gianluigi)

Data Input and Content Exploration in Scenarios with Restrictions Dissertation

D.C. Pedrosa (Diogo de Carvalho)

Reflection without remorse: Revealing a hidden sequence to speed up monadic reflection Article

A.J. van der Ploeg (Atze) and O. Kiselyov (Oleg)

Reconstruction of local orientation in grains using a discrete representation of orientation space Article

N.R. Viganò (Nicola), W. Ludwig (Wolfgang) and K.J. Batenburg (Joost)

Algorithms for the Network Analysis of Bilateral Tax Treaties Master Thesis

S.C. Polak (Sven)

Market Garden Grid Editor Software

J.G.B. van Eekelen (Joeri)

ABEM Energy App Software

J.G.B. van Eekelen (Joeri)

Market Garden 2.0 Software

J.G.B. van Eekelen (Joeri)

The design and implementation of Object Grammars Article

T. van der Storm (Tijs), W.R. Cook and A. Loh

Scientific report training workshop interdisciplinary life sciences Proceedings

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

An electricity market with fast bidding, planning and balancing in smart grids Article

N.F. Höning (Nicolas) and J.A. La Poutré (Han)

Learning the Learning Rate for Prediction with Expert Advice In Proceedings

T.A.L. van Erven (Tim), W.M. Koolen-Wijkstra (Wouter) and P.D. Grünwald (Peter)

Iedereen is je Facebook-vriend-van-een-vriend-van-een-vriend-van-een-vriend - Kennislink.nl Magazine Article

M.R.H. Mandjes (Michel)

UvA benoemt hoogleraren ICT en Telemedicine - Computable Magazine Article

J.C.M. Baeten (Jos)

Jos Baeten hoogleraar berekenbaarheid aan UvA - Bits&Chips Magazine Article

J.C.M. Baeten (Jos)

Mensen - het Parool Magazine Article

J.C.M. Baeten (Jos)

Inconsistency of Bayesian inference for misspecified linear models, and a proposal for repairing it Tech Report

P.D. Grünwald (Peter) and M. van Ommen (Thijs)

Hoeveel mensen zijn ooit op aarde geboren? - Quest specials Magazine Article

P.D. Grünwald (Peter)

Big data: de hype voorbij - GOV Magazine Magazine Article

J.C.M. Baeten (Jos)

A Separated Splitting Technique for Disconnected Rare Event Sets In Proceedings

W.S. Wadman (Wander), D.T. Crommelin (Daan) and J.E. Frank (Jason)

Convergence analysis for Lasserre's measure-based hierarchy of upper bounds for polynomial optimization Tech Report

E. de Klerk (Etienne), M. Laurent (Monique) and Z. Sun (Zhao)

The quadratic assignment problem is easy for Robinsonian matrices with Toeplitz structure Article

M. Laurent (Monique) and M. Seminaroti (Matteo)

Monte Carlo Calculation of Exposure Profiles and Greeks for Bermudan and Barrier Options under the Heston Hull-White Model Tech Report

Q. Feng (Qian) and C.W. Oosterlee (Kees)

Predicting sense of community and participation by applying machine learning to open government data Tech Report

A. Piscopo (Alessandro), R. Siebes (Ronny) and L. Hardman (Lynda)

On the Parallel Repetition of Multi-Player Games: The No-Signaling Case In Proceedings

H.M. Buhrman (Harry), S. Fehr (Serge) and C. Schaffner (Christian)

SDART: An algorithm for discrete tomography from noisy projections Article

F. Bleichrodt (Folkert), F. Tabak (Frank) and K.J. Batenburg (Joost)

Empirical analysis of the relationship between CC and SLOC in a large corpus of Java methods In Proceedings

D. Landman (Davy), J.J. Vinju (Jurgen) and A. Serebrenik (Alexander)

Coordination Games on Graphs In Proceedings

K.R. Apt (Krzysztof), M.M. Rahn (Mona), G. Schäfer (Guido) and S.E. Simon (Sunil)

Speech on 'Wetenschapsvisie 2025', 26.11.2014 Miscellaneous

J.C.M. Baeten (Jos)

Deliverable D8.6 Market and Product Survey for LinkedTV Services and Technology Tech Report

K. Stanoevska (Katarina) and R. Fricke (Rolf)

Slimme elektriciteitsnetten : Urban energy, BNR radio, 19.11.2014, 19.30 uur : met Martijn Bongaerts, innovatiemanager bij Alliander, Annelies van der Stoep, projectleider City-zen,Hielke Ploeg, deelnemer aan het project City-zen en Han la Poutré, hoogleraar Intelligent Energy Systems aan de TU Delft en groepsleider Intelligent Computer Systems aan het Centrum Wiskunde & Informatica in Amsterdam [24:04] News Broadcast

J.A. La Poutré (Han)

SAM'14 chairs' welcome message Preface

P.S. César Garcia (Pablo Santiago), D.A. Shamma (Ayman), M. Cooper (Matthew) and A. Kelliher (Aisling)

A Successful Broker Agent for Power TAC In Proceedings

B.J. Liefers (Bart), J. Hoogland (Jasper) and J.A. La Poutré (Han)

Market Garden: A Simulation Environment for Research and User Experience in Smart Grids In Proceedings

B.J. Liefers (Bart), F.N. Claessen (Felix), E.J.E.M. Pauwels (Eric), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

Combining Model-based EAs for Mixed-Integer Problems In Proceedings

K.L. Sadowski (Krzysztof), D. Thierens (Dirk) and P.A.N. Bosman (Peter)

A Novel Population-based Multi-objective CMA-ES and the Impact of Different Constraint Handling Techniques In Proceedings

S.F. Rodrigues (Sílvio), P. Bauer (Pavol) and P.A.N. Bosman (Peter)

Multi-objective gene-pool optimal mixing evolutionary algorithms In Proceedings

N.H. Luong (Hoang), J.A. La Poutré (Han) and P.A.N. Bosman (Peter)

Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi Book Chapter

J.C.M. Baeten (Jos) and D. Sangiorgi

Big Data analytics in the Geo-Spatial Domain In Proceedings

R.A. Pereira Goncalves (Romulo Antonio), M.G. Ivanova (Milena), M.L. Kersten (Martin), H. Scholten, S. Zlatanova, F. Alvanaki (Foteini), P. Nourian (Pirouz) and E. Dias

Big Data analytics in the Geo-Spatial Domain In Proceedings

R.A. Pereira Goncalves (Romulo Antonio), M.G. Ivanova (Milena), M.L. Kersten (Martin), H. Scholten, S. Zlatanova, F. Alvanaki (Foteini), P. Nourian (Pirouz) and E. Dias

Modelling Complex Relevance Spaces with Copulas In Proceedings

C. Eickhoff (Carsten) and A.P. de Vries (Arjen)

Monitoring method call sequences using annotations Article

B. Nobakht (Behrooz), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), C.P.T. de Gouw (Stijn) and M.M. Jaghoori (Mohammad Mahdi)

Explosion and linear transit times in infinite trees Tech Report

O. Amini, L. Devroye, S. Griffiths and N.K. Olver (Neil)

Help, de Chinezen komen - The Post Online Magazine Article

G. van Rossum (Guido), L.G.L.T. Meertens (Lambert), D. van Dantzig, E.W. Dijkstra (Edsger) and CWI CWI

Sequal: Service Optimization and Quality - Smart Homes Magazine Magazine Article

R.D. van der Mei (Rob)

Project RRR: Realisation of Reliable and Secure Residential Platforms - Smart Homes Magazine Magazine Article

R.D. van der Mei (Rob)

Digitaal dieven vangen - Experiment NL Magazine Article

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

Naast hem loop je in de wolken - nrc.next Magazine Article

J. Dorrestijn (Jesse)

De bliksem is een kernreactor - Kennislink.nl Magazine Article

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

Minder fouten in features door delta modelling - Computable Magazine Article

M. Helvensteijn (Michiel) and F.S. de Boer (Frank)

荷兰阿姆斯特丹市市长接受新华网记者专访 - Xinhuanet.com Magazine Article

CWI CWI

Simplifying the Visualization of Confusion Matrix In Proceedings

E.M.A.L. Beauxis-Aussalet (Emmanuelle) and L. Hardman (Lynda)

The Heston Stochastic-Local Volatility Model: Efficient Monte Carlo Simulation Article

A.W. van der Stoep (Anton), L.A. Grzelak (Lech Aleksander) and C.W. Oosterlee (Kees)

Least-biased correction of extended dynamical systems using observational data Tech Report

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

Proceedings of the 3rd international workshop on socially-aware multimedia Proceedings

VideoLat: An Extensible Tool for Multimedia Delay Measurements In Proceedings

A.J. Jansen (Jack)

3rd International workshop on socially-aware multimedia (SAM'14) In Proceedings

P.S. César Garcia (Pablo Santiago), D.A. Shamma (Ayman), M. Cooper (Matthew) and A. Kelliher (Aisling)

Synchronizing Web Documents with Style In Proceedings

R.L. Guimarães (Rodrigo), D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago) and A.J. Jansen (Jack)

ACM International Conference on Interactive Experiences for Television and Online Video (ACM TVX 2014) Article

P.S. César Garcia (Pablo Santiago), M. Obrist (Marianna), E.M. Churchill and T. Bartindale

Type-aligned Software

A.J. van der Ploeg (Atze)

MonetDB Oct2014-SP1 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), J.A. de Rijke (Arjen), Y. Zhang (Ying), H. Pirk (Holger), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), et al. E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal), H.F. Mühleisen (Hannes), S. A. B. C. Héman (Sándor), K. Kyzirakos (Konstantinos), D.G. Nedev (Dimitar), C.P. Cijvat (Robin), F. Alvanaki (Foteini), M.H.M. van Dinther (Martin), E. Sidirourgos (Eleftherios) and M.G. Ivanova (Milena)

Deliverable D4.6 Contextualisation solution and implementation Tech Report

M. Mancas (Matei) and et al.

Deliverable D1.5 LinkedTV annotation tool, final release Tech Report

J. Blom (Jaap)

High-energy phenomena in laboratory and thunderstorm discharges Dissertation

C. Köhn (Christoph)

Exact expression for information distance Tech Report

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

Het brein achter de computer : De kennis van nu, NPO radio, 23.10.2014 [27:30] News Broadcast

S.M. Bohte (Sander)

m35196: 3DTI Mesh Coding Architecture and Basic implementation Standard

R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

Deliverable D2.6 LinkedTV Framework for Generating Video Enrichments with Annotations Tech Report

T. Kliegr (Tomáš) and et al.

Propriétés fréquentistes des méthodes Bayésiennes semi-paramétriques et non-paramétriques = Frequentist properties of Bayesian semiparametric and nonparametric procedures Dissertation

J.B. Salomond (Jean-Bernard)

Deliverable D5.6 Final LinkedTV End-to-End Platform Tech Report

J. Thomsen (Jan)

Deliverable D3.7 LinkedTV User Interfaces Selected and Refined Tech Report

M. Hildebrand (Michiel), D. Ockeloen (Daniel), L. Pérez Romero (Lilia) and P. van Leeuwen (Pieter)

Deliverable D7.6 Project Demonstrator (v2) Tech Report

L. Nixon (Lyndon)

Experimental datasets of 3D Point Clouds captured with Kinect v2 Standard

Z. Xu (Zhongyi), Q. Zhang (Qianni), E Izquierdo (Ebroul), R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

Core Experiments Description for 3DG Standard

C. Tulvan (Christian), F. Morán Burgos (Francisco), S.W. Lee (Seung Wook), L. Bivolarski (Lazar), R.N. Mekuria (Rufael) and T. Lavric (Traian)

m35197 Mesh to FAMC converter (software contribution) Standard

R.N. Mekuria (Rufael)

Discrete homology theory for metric spaces Article

H. Barcelo (Hélène), V. Capraro (Valerio) and J. A. White

OSSMETER D3.4 – Language-Specific Source Code Quality Analysis Manual

J.J. Vinju (Jurgen), A. Shahi (Ashim) and H.J.S. Basten (Bas)

OSSMETER D3.3 – Language Agnostic Source Code Quality Analysis Manual

J.J. Vinju (Jurgen), A. Shahi (Ashim) and H.J.S. Basten (Bas)

SERIMI: Class-Based Matching for Instance Matching Across Heterogeneous Datasets Article

S. Araújo (Samur), D. Thanh Tran, A.P. de Vries (Arjen) and D. Schwabe

Altruism in Game Theory Magazine Article

B. de Keijzer (Bart) and G. Schäfer (Guido)

Enabling Future Smart Energy Systems Article

S.O. Dulman (Stefan) and E.J.E.M. Pauwels (Eric)

De opmars van Python - Linux Magazine Magazine Article

G. van Rossum (Guido) and CWI CWI

Dertig jaar geleden: eerste e-mail verzonden tussen VS en Europa - Keynotes Magazine Article

P. Beertema (Piet) and CWI CWI

新华网牵手CWI创建国内首个用户传感体验实验室 - Xinhuanet.com Magazine Article

J.C.M. Baeten (Jos) and CWI CWI

Amsterdamse handelsdelegatie naar China - AT5 Nieuws News Broadcast

J.C.M. Baeten (Jos) and CWI CWI

Het briljante business model van Elsevier: universiteiten uitknijpen - NRCQ Magazine Article

K.R. Apt (Krzysztof)

Visualization of Confusion Matrix for Non-Expert Users (Poster) In Proceedings

E.M.A.L. Beauxis-Aussalet (Emmanuelle) and L. Hardman (Lynda)

m35198: Experimental datasets of 3D Point Clouds captured with Kinect v2 Standard

Z. Xu (Zhongyi), Q. Zhang (Qianni), E Izquierdo (Ebroul), R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

m35197 Mesh to FAMC Converter Standard

R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

Thermal Behaviour of Low Voltage Cables in Smart Grid - Related Environments In Proceedings

N.F. Höning (Nicolas), E. de Jong (Erik), G. Bloemhof and J.A. La Poutré (Han)

Software Quality - Introduction to the Special Theme Article

A. Cleve (Anthony) and J.J. Vinju (Jurgen)

Looking Towards a Future where Software is Controlled by the Public (and not the other way round) Article

M. Bruntink (Magiel) and J.J. Vinju (Jurgen)

Proceedings of the ISWC 2014 Posters & Demonstrations Track Proceedings

Architecture for Integrated Management Information System for Trakia University of Stara Zagora In Proceedings

V.I. Nedeva and D.G. Nedev (Dimitar)

Single-click to data insights: transaction replication and deployment automation made simple for the cloud age In Proceedings

D.G. Nedev (Dimitar), N.J. Nes (Niels), H.F. Mühleisen (Hannes), Y. Zhang (Ying) and M.L. Kersten (Martin)