Publications from 2014

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

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

SAM'14 chairs' welcome message Preface

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

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

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

Deliverable D7.6 Project Demonstrator (v2) Tech Report

L. Nixon (Lyndon)

Deliverable D7.5 LinkedTV Dissemination and Standardisation Report v2 Tech Report

L. Nixon (Lyndon) and The LinkedTV Consortium

Deliverable D6.4 Scenario Demonstrators (v2) Tech Report

L. Nixon (Lyndon) and et al.

Deliverable D6.3 User Trial Results Tech Report

K. Stanoevska (Katarina), M.H.R. Leyssen (Mieke) and et al.

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

J. Thomsen (Jan)

Deliverable D5.5 LinkedTV front-end: video player and MediaCanvas API version 2 Tech Report

D. Ockeloen (Daniel) and P. van Leeuwen (Pieter)

Deliverable D4.6 Contextualisation solution and implementation Tech Report

M. Mancas (Matei) and et al.

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 D2.6 LinkedTV Framework for Generating Video Enrichments with Annotations Tech Report

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

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

J. Blom (Jaap)

Deliverable D1.4 Visual, text and audio information analysis for hypervideo, final release Tech Report

E. Apostolidis (Evlampios) and et al.

Pymrfbp Software

D.M. Pelt (Daniël)

Constraints on Multipartite Quantum Entropies Master Thesis

C. Majenz (Christian)

CWI knipselkrant 2014-2018 Miscellaneous

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)

Funciones Especiales en la Era Digital Article

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

Invited talk at 2014 Gordon Conference on Plasma Processing Science, Smithfield, RI, USA Lecture

U. Ebert (Ute)

Plenary talk 20th Int. Conf. on Gas Discharges and their applications (GD2014), Orleans, France Lecture

U. Ebert (Ute)

Faster space-efficient algorithms for Subset Sum, k -Sum, and related problems Conference Paper

N. Bansal (Nikhil), S. Garg (Shashwat), J. Nederlof (Jesper) and N. Vyas (Nikhil)

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)

Linked open data in the earth observation domain: The vision of project LEO In Proceedings

M. Koubarakis (Manolis), C. Nikolaou (Charalampos), G. Garbis (George), K. Bereta (Konstantina), P. Smeros (Panayiotis), S. Gianakopoulou (Stella), K. Dogani (Kallirroi), M. Karpathiotaki (Maria), I. Vlachopoulos (Ioannis), D. Savva (Dimitrianos), et al. K. Kyzirakos (Konstantinos), S. Manegold (Stefan), B. Valentin (Bernard), N. James (Nicolas), H. Bach (Heike), F. Niggemann (Fabian), P. Klug (Philipp), W. Angermair (Wolfgang) and S. Burgstaller (Stefan)

3D tele-immersion use case and associated draft requirements Standard

R.N. Mekuria (Rufael), M. Preda (Marius), L. Bivolarsky (Lazar) and P.S. César Garcia (Pablo Santiago)

3D Tele-immersion use case and associated draft requirements Standard

L. Bivolarsky (Lazar), M. Preda (Marius), R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

Suggested input for the recommendation Éffect of delays on the telemeeting quality'(P.DTM) Standard

M.R. Schmitt (Marwin) and P.S. César Garcia (Pablo Santiago)

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)

Exact expression for information distance Tech Report

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

A Fast Quartet Tree Heuristic for Hierarchical Clustering Tech Report

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

Debate At Sioux (with Markus Voelter) Lecture

T. van der Storm (Tijs)

Guest lecturer Hogeschool Arnhem Nijmegen (HAN) Lecture

T. van der Storm (Tijs)

Joy of Coding (Who's Afraid of Object Algebras?) Lecture

T. van der Storm (Tijs)

Netherlands Functional Programming Day (Rascal: functional programming for source code analysis and transformation) Lecture

T. van der Storm (Tijs)

Code Generation Tutorial "Hack your DSL with Rascal" With Tijs van der Storm Lecture

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

S.A. Zuyev, Chalmers University of Technology, Gothenburg, Sweden,May 14--16, 2014 Lecture

M.N.M. van Lieshout (Marie-Colette)

A spectral mean for point sampled closed curves, Sto\-chas\-tic Geometry Days, Lille, France, April 2--4, 2014 Lecture

M.N.M. van Lieshout (Marie-Colette)

A spectral mean for point sampled closed curves,$10^{\rm{th}}$ French-Danish Workshop on Spatial Statistics and Image Analysis in Biology, Aalborg, Denmark, May 21--23, 2014 Lecture

M.N.M. van Lieshout (Marie-Colette)

Summary statistics for inhomogeneous spatio-temporal marked point patterns, Workshop on Mathematical facets of crystallization, Lorentz center Leiden, September 8--12, 2014 Lecture

M.N.M. van Lieshout (Marie-Colette)

Frozen percolation, LM Univ. Munchen, December 15, 2014. Lecture

J. van den Berg (Rob)

Disjoint occurrence inequalities, Bath, October 13, 2014. Lecture

J. van den Berg (Rob)

Frozen percolation, Bristol, October 10, 2014. Lecture

J. van den Berg (Rob)

``Some dynamical percolation-like processes", talk in the session on percolation theory andrelated processes at the 37th Conference on {\em Stochastic Processes and their Applications},Buenos Aires, July 27 - August 1, 2014. Lecture

J. van den Berg (Rob)

``A particular coupling argument", mini-workshop NYU Abu Dhabi, April 26-28 2014. Lecture

J. van den Berg (Rob)

``Learning and Earning''. Invited seminar. Caltech, USA. Lecture

A.P. Zwart (Bert)

Short Paths on the Voronoi Graph and the Closest Vector Problem with Preprocessing, Dutch Mathematical Congress, Delft, April 2014 Lecture

D.N. Dadush (Daniel)

Invited talk 11th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2014), Bergen, Norway, July 2014. Lecture

K.R. Apt (Krzysztof)

Invited talk Logic Colloquium 2014, Vienna, Austria, July 2014. Lecture

K.R. Apt (Krzysztof)

Scientific Lecture - Modeling morphogenesis using Potts models Mark Kac Seminar , Utrecht, The Netherlands Lecture

R.M.H. Merks (Roeland)

Invited Plenary Lecture, Workshop on Data Structures in Bioinformatics [DSB], Montpellier, 2014 Lecture

A. Schönhuth (Alexander)

Graduate school Algorithms for genomic data analysis for CS Ph.D. students, University of Pisa Lecture

G.W. Klau (Gunnar)

Workshop Network analysis for systems nutrition research, Rovereto Lecture

G.W. Klau (Gunnar)

Invited speaker at FYSICA conference 2014, Leiden Lecture

J.A. La Poutré (Han)

“Coordinated Composition of Components,” Invited lecture, DagstuhlSeminar on Design and Analysis from Components, Schloss Dagstuhl, Leibniz Center for Informatics, Germany. Lecture

F. Arbab (Farhad)

Invited plenary course at Streams II Workshop, Lorentz Centre, Leiden Lecture

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

Universidad Autónoma de Madrid Lecture

C. Wang (Chen)

Xinhuanet Lecture

C. Wang (Chen)

Invited talk - University of Illinois Urbana Champaign(UIUC) Lecture

R.N. Mekuria (Rufael)

“Web and Publishing”, at CT Forum Satellite Conference”,Seoul,Korea. Lecture

I. Herman (Ivan)

Distinguished lecture at Xinhuanet, Beijing, China Lecture

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

National Academy of Science, Washington DC Lecture

D.C.A. Bulterman (Dick)

Distinguished Lecturer - Academica Sinica Lecture

D.C.A. Bulterman (Dick)

IEEE ISM, Taichung, Taiwan Lecture

D.C.A. Bulterman (Dick)

Algebra, Networks and Codes (ACN) 2014, June 16--20, 2014, Maths.~Dept., University of Bordeaux, France. Title: Optimal Algebraic Manipulation Detection Codes Lecture

R.J.F. Cramer (Ronald)

KNAW mini-symposium  Information Security and Intelligence (May 28, 2014)From One-Time Pads to Symmetry. Lecture

R.J.F. Cramer (Ronald)

Cleveringa-lezing}, NL-Residence Ambassador J Werner, Singapore (Nov.~25, 2014) Staartdelingen, perfecte lichamen en de persoonlijke levenssfeer. Lecture

R.J.F. Cramer (Ronald)

General audience talks - KNAW, Afdelingsvergadering Natuurkunde (December 15, 2014) The Mathematics of Multi-Lateral Cryptographic Security. Lecture

R.J.F. Cramer (Ronald)

The hardness of discrete tomography”, Prof. Peter Gritzmann’s 60th birthday symposium, TU Munich, Germany Lecture

K.J. Batenburg (Joost)

Great experiments deserve great algorithms”, Scientific Colloquium,European Synchrotron Radiation Facility (ESRF), Grenoble, France Lecture

K.J. Batenburg (Joost)

Semidefinite programming problems from quantum information Semester Workshop: Semidefinite Programming and Graph Algorithms Institute for Computational and Experimental Research in Mathematics (ICERM)    Brown University, USA (invited) Lecture

J. Briët (Jop)

Locally decodable codes & geometry of tensor norms Princeton Discrete Math SeminarPrinceton University, Princeton, USA Lecture

J. Briët (Jop)

Locally decodable codes & geometry of tensor norms   Courant CS Theory Seminar New York University, New York, USA Lecture

J. Briët (Jop)

Locally decodable codes & Banach space geometryRutgers CS Theory Seminar Rutgers University, New York, USA Lecture

J. Briët (Jop)

Locally decodable codes & Banach space geometry Mathematics Seminar    London School of Economics, London, England     Lecture

J. Briët (Jop)

Quantum computing IPA Algorithms & Complexity Lecture

R.M. de Wolf (Ronald)

Quantum computing, Rheinisch-Westfaelische Technische Hochschule Aachen Lecture

R.M. de Wolf (Ronald)

Computing models: basics, complexity, Shor's algorithm, Grover's algorithm, Quantum Physics and Computer Science School for young researchers, Sevres, France Lecture

R.M. de Wolf (Ronald)

Quantum communication complexity and non-locality, Paris Center for Quantum Computing Lecture

R.M. de Wolf (Ronald)

Optimal parallel quantum query algorithms Annual European Symposium on Algorithms , Wroclaw, Poland Lecture

R.M. de Wolf (Ronald)

Quantum proofs for classical theorems, University of Oxford Lecture

R.M. de Wolf (Ronald)

m35197 Mesh to FAMC converter (software contribution) Standard

R.N. Mekuria (Rufael)

The gravitational billion body problem Dissertation

J. Bédorf (Jeroen)

Collision finding with many classical or quantum processors Dissertation

S. Jeffery (Stacey)

Saga Software

F.S. de Boer (Frank)

Textual Model Diff Software

T. van der Storm (Tijs)

QL-Obj-Alg Software

T. van der Storm (Tijs)

Naked Object Algebras Software

J.J. Vinju (Jurgen)

MicroMachinations Software

J.J. Vinju (Jurgen)

Massively parallel read mapping on GPUs with the q-group index and PEANUT Article

J. Köster (Johannes) and S. Rahmann (Sven)

Some upper and lower bounds on PSD-rank Tech Report

T. J. Lee (Troy), Z. Wei (Zhaohui) and R.M. de Wolf (Ronald)

Grothendieck Inequalities for Semidefinite Programs with Rank Constraint Article

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

Lower bounds for approximate LDCs In Proceedings

Briët, J. (Jop), Dvir, Z. (Zeev), Hu, G. (Guangda) and Saraf, S. (Shubhangi)

Tight hardness of the non-commutative Grothendieck problem Tech Report

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

Nutteloos onderzoek Article

B. Koren (Barry)

A new discretization method for the convective terms in the incompressible Navier-Stokes equations In Proceedings

N. Kumar, J.H.M. ten Thije Boonkkamp and B. Koren (Barry)

Large Eddy Simulation of wind farm aerodynamics: a review Article

D. Mehta, A.H. van Zuijlen, B. Koren (Barry), J.G. Holierhoek and H. Bijl

Quasi-DNS capabilities of OpenFOAM for different mesh types Article

E. Komen, A. Shams, L. Camilo and B. Koren (Barry)