Publications from 2020

Numerical methods for anisotropic diffusion Dissertation

B. van Es (Bram)

R & D top 2015 - poster Magazine Article

CWI CWI

Alleen ter plekke ontcijferbaar - Kennislink.nl Magazine Article

C. Schaffner (Christian)

Alleen ter plekke ontcijferbaar - Kennislink.nl Magazine Article

H.M. Buhrman (Harry)

Wij praten met onze studenten - Brabants Dagblad ed. Tilburg Magazine Article

CWI CWI

Coherent branching feature bisimulation In Proceedings

T. Belder (Tessa), M.H. ter Beek (Maurice) and E.P. de Vink (Erik)

Deliverable D7.7 Dissemination and Standardisation Report v3 Tech Report

L. Nixon (Lyndon) and The LinkedTV Consortium

Efficient abstractions for visualization and interaction Dissertation

A.J. van der Ploeg (Atze)

Deliverable D4.7 Evaluation and final results Tech Report

D. Stein (Daniel) and et al.

70 hectare met kennis - Gooi- en Eemlander Magazine Article

CWI CWI

Bestralingseffecten bekeken - Technisch Weekblad Magazine Article

CWI CWI

AMC, KiKa en CWI bundelen krachten in onderzoeksproject - Engineersonline.nl Magazine Article

CWI CWI

Deliverable D1.6 Intelligent hypervideo analysis evaluation, final results Tech Report

E. Apostolidis (Evlampios) and et al.

Executable Pseudocode for Graph Algorithms In Proceedings

B. Ó Nualláin (Breanndán)

Generic flux coupling analysis Article

A.C. Reimers (Arne), Y. Goldstein and A. Bockmayr

Finding k partially disjoint paths in a directed planar graph Tech Report

A. Schrijver (Lex)

Faster, Practical GLL Parsing In Proceedings

A. Afroozeh (Ali) and A. Izmaylova (Anastasia)

Filtered Backprojection using Algebraic Filters; Application to Biomedical Micro-CT Data In Proceedings

L. Plantagie (Linda), W. van Aarle (Wim), J. Sijbers (Jan) and K.J. Batenburg (Joost)

Interfaces to the Internet of Things with XForms Article

S. Pemberton (Steven)

Probing atmospheric electric fields in thunderstorms through radio emission from cosmic-ray induced air showers Article

P. Schellart, T.N.G. Trinh (Gia), 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, U. Ebert (Ute), C. Köhn (Christoph) and C. Rutjes (Casper)

Linear Secret Sharing Schemes from Error Correcting Codes and Universal Hash Functions In Proceedings

R.J.F. Cramer (Ronald), N.M. Döttling (Nico), I.B. Damgård (Ivan), S. Fehr (Serge) and G. Spini (Gabriele)

FHEW: Bootstrapping Homomorphic Encryption in less than a second In Proceedings

L. Ducas (Léo) and D. Micciancio

Conical Dispersion and Effective Zero Refractive Index in Photonic Quasicrystals Article

J. Dong, M Chang, X. Huang, Z. Hang, Z. Zhong (Zhichao), W. Chen, Z. Huang, C. Chan, X. Huang and Z. Huang

Pulsar polarisation below 200 MHz: Average profiles and propagation effects Article

A. Noutsos, C.A. Sobey, V.I. Kondratiev, P. Weltevrede, J.P.W. Verbiest, A. Karastergiou, M. Kramer, M. Kuniyoshi, A. Alexov, R.P. Breton, et al. A.V. Bilous, S. Cooper, H. Falcke, J.-M. Grießmeier, T.E. Hassall, J.W.T. Hessels, E.F. Keane, S. Oslowski, M. Pilia, M. Serylak, B.W. Stappers, S. ter Veen (Sander), J. van Leeuwen (Joeri), K. Zagkouris, K. Anderson, L. Baehren, M.E. Bell, J.W. Broderick, D. Carbone, Y.N. Cendes, T. Coenen, S. Corbel, J. Eislöffel, R.P. Fender, H. Garsden, P. Jonker, C.J. Law, S. Markoff, J. Masters, J.C.A. Miller-Jones, G.J. Molenaar, R. Osten, M. Pietka, E. Rol, A. Rowlinson, L.H.A. Scheers (Bart), H. Spreeuw, T.D. Staley, A.J. Stewart, J.D. Swinbank, R.A.M.J. Wijers (Ralph), R. Wijnands, M.W. Wise (Michael), P. Zarka and A.J. van der Horst

Uncertainty-Aware Estimation of Population Abundance using Machine Learning Article

B.J. Boom (Bas), E.M.A.L. Beauxis-Aussalet (Emmanuelle), L. Hardman (Lynda) and R.B. Fisher (Robert)

A Lex-BFS-based recognition algorithm for Robinsonian matrices In Proceedings

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

A note on the gap between rank and border rank Tech Report

J. Zuiddam (Jeroen)

Interplay between Constraints, Objectives, and Optimality for Genome-Scale Stoichiometric Models Article

T.R. Maarleveld (Timo), M. Wortel, B.G. Olivier (Brett), B. Teusink (Bas) and F.J. Bruggeman (Frank)

Split scheduling with uniform setup times Article

F. Schalekamp (Frans), R.A. Sitters (René), S.L. van der Ster (Suzanne), L. Stougie (Leen), V. Verdugo (Víctor) and A. van Zuylen (Anke)

The DBMS – your Big Data Sommelier In Proceedings

Y. Kargin (Yagiz), M.L. Kersten (Martin), S. Manegold (Stefan) and H. Pirk (Holger)

Impact of the initialisation on the predictability of the Southern Ocean sea ice at interannual to multi-decadal timescales Article

V. Zunz, H. Goosse and S. Dubinkina (Svetlana)

Sharpness versus robustness of the percolation transition in 2D contact processes Article

J. van den Berg (Rob), J. Bjornberg and M. O. Heydenreich (Markus)

Deliverable D9.1.4 Publishable Summary Tech Report

L. Nixon (Lyndon)

Deliverable D6.5 Final Evaluation Tech Report

A. Jones (Alistair) and et al.

Deliverable D5.7 Validation of the LinkedTV Architecture Tech Report

H. Horstmann (Heike) and J. Thomsen (Jan)

Deliverable D3.8 Design guideline document for concept-based presentations Tech Report

M. Hildebrand (Michiel), L. Pérez Romero (Lilia) and L. Hardman (Lynda)

Deliverable D2.7 Final Linked Media Layer and Evaluation Tech Report

T. Kliegr (Tomáš), L. Pérez Romero (Lilia) and et al.

Delfts onderzoek - WindEnergie Magazine Magazine Article

CWI CWI

Soepel internet - CT Magazine voor computertechniek Magazine Article

CWI CWI

Deliverable D9.3 Final Project Report Tech Report

J. Köhler (Joachim) and et al.

'Braaf, computer' - Volkskrant Magazine Article

S.M. Bohte (Sander)

Het begint allemaal met een goed idee - het Parool Magazine Article

J.K. Lenstra (Jan Karel)

Almeerse professoren op het toneel - Almere deze week Magazine Article

M.L. Kersten (Martin)

Almeerse professoren op podium in schouwburg - Almere Dichtbij Magazine Article

M.L. Kersten (Martin)

HTML+RDFa 1.1, W3C Recommendation - Second Edition Standard

S. McCarron (Shane), B. Adida (Ben), M. Birbeck (Mark), G. Kellogg (Gregg), I. Herman (Ivan) and S. Pemberton (Steven)

P<0,05: de toverspreuk voor 'wetenschappelijk bewezen' - Kennislink.nl Magazine Article

P.D. Grünwald (Peter)

Fred Steutel verloor zijn andere helft - Haaksberger Koerier Magazine Article

CWI CWI

Fehler in Standardsortieralgorithmus mit formalen Methoden aufgedeckt - Heise.de Magazine Article

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

How he got his stripes - Big Data biology unravels living creatures - Leids Universitair Weekblad Mare Magazine Article

B. Braun (Bart)

Een vak vinden dat niet verveelt - Trouw Magazine Article

CWI CWI

Wakeupcall - Controllers Netwerk Magazine Article

CWI CWI

Een vak vinden dat niet verveelt - Trouw Magazine Article

F.A.G. Sietsma (Floor)

Software ingenieur Guido van Rossum - NRC Next Magazine Article

CWI CWI

De Python dictator voor het leven - NRC Handelblad Magazine Article

G. van Rossum (Guido)

Software ingenieur Guido van Rossum Magazine Article

G. van Rossum (Guido)

Neuraal Model voor werkgeheugen - Engineersonline.nl Magazine Article

CWI CWI

Genome sequence analysis with MonetDB: a case study on Ebola virus diversity In Proceedings

C.P. Cijvat (Robin), S. Manegold (Stefan), M.L. Kersten (Martin), G.W. Klau (Gunnar), A. Schönhuth (Alexander), T. Marschall (Tobias) and Y. Zhang (Ying)

De Python dictator voor het leven - NRC Handelsblad Magazine Article

CWI CWI

Design, Development and Evaluation of an Adaptive and Standardized RTCP-based IDMS Solution Dissertation

M.A. Montagud Climent (Mario)

Squares of random linear codes Article

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald), D. Mirandola (Diego) and G. Zémor (Gilles)

Simulation of elongated bubbles in a channel using the two-fluid model Article

B. Sanderse (Benjamin), M. Haspels and R.A.W.M. Henkes (Ruud)

A design pattern for optimizations in data intensive applications using ABS and JAVA 8 Article

V.N. Serbanescu (Vlad), K. Azadbakht (Keyvan), F.S. de Boer (Frank), C. Nagarajagowda (Chetan) and B. Nobakht (Behrooz)

Nodal Signaling Range Is Regulated by Proprotein Convertase-Mediated Maturation Article

F. Tessadon, E.S. Noël, E.G. Rens (Lisanne), R. Magliozzi, I.J.A. Evers-Van Gogh, D. Guardavaccaro, R.M.H. Merks (Roeland) and J. Bakkers

On partition functions of 3-graphs Tech Report

G. Regts (Guus), A. Schrijver (Lex) and B.L. Sevenster (Bart)

On the existence of real R-matrices for virtual link invariants Tech Report

G. Regts (Guus), A. Schrijver (Lex) and B.L. Sevenster (Bart)

Genome of the Netherlands population-specific imputations identify an ABCA6 variant associated with cholesterol levels Article

E.M. van Leeuwen (Elisa), C.M. van Duijn (Cornelia), The Genome of the Netherlands Consortium, not CWI et al, T. Marschall (Tobias) and A. Schönhuth (Alexander)

SV-AUTOPILOT: optimized, automated construction of structural variation discovery and benchmarking pipelines Article

W.Y. Leung, T. Marschall (Tobias), Y. Paudel, L. Falquet, H. Mei (Hailiang), A. Schönhuth (Alexander) and T.Y. Maoz

How Attention Can Create Synaptic Tags for the Learning of Working Memories in Sequential Tasks Article

J.O. Rombouts (Jaldert), S.M. Bohte (Sander) and P.R. Roelfsema (Pieter)

RDFa Lite 1.1 - Second Edition Standard

M. Sporny (Manu), I. Herman (Ivan) and S. Pemberton (Steven)

Network Support for Social 3-D Immersive Tele-Presence with Highly Realistic Natural and Synthetic Avatar Users In Proceedings

R.N. Mekuria (Rufael), A. Frisiello (Antonella), M Pasin (Marco) and P.S. César Garcia (Pablo Santiago)

A formal method for rule analysis and validation in distributed data aggregation service Article

V.N. Serbanescu (Vlad), F. Pop, V. Cristea and G. Antoniu

A learning rule that explains how rewards teach attention Article

J.O. Rombouts (Jaldert), S.M. Bohte (Sander), J. Martinez-Trujillo and P.R. Roelfsema (Pieter)

RDFa 1.1 Core — Third Edition, W3C Recommendation Standard

B. Adida (Ben), M. Birbeck (Mark), S. McCarron (Shane) and I. Herman (Ivan)

RDFa 1.1 Primer — Third Edition, W3C Note Standard

I. Herman (Ivan), B. Adida (Ben), M. Sporny (Manu) and M. Birbeck (Mark)

How to generate query parameters in RDF benchmarks? In Proceedings

A. Gubichev (Andrey), R. Angles Rojas (Renzo) and P.A. Boncz (Peter)

Practical measures for improving the ecological state of lake Marken using in depth system knowledge Tech Report

M. Genseberger (Menno), R. Noordhuis, C.X.O. Thiange and P.M.A. Boderie

An Efficient Heuristic for Real-Time Ambulance Redeployment Article

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

M3: A General Model for Source Code Analytics in Rascal In Proceedings

H.J.S. Basten (Bas), M.A. Hills (Mark), P. Klint (Paul), D. Landman (Davy), A. Shahi (Ashim), M.J. Steindorfer (Michael) and J.J. Vinju (Jurgen)

Uitnodiging aanvaarding ambt hoogleraar Universiteit Leiden, 27.02.2015 Other

CWI verhelpt bug in Java met formele methoden - Computable Magazine Article

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

Sensoren en IT: zorg op de schop - AutomatiseringGids Magazine Article

CWI CWI

CWI verhelpt bug in Java met formele methoden Magazine Article

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

CWI herstelt fundamentele fout in Java - Automatiseringgids.nl Magazine Article

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

Python en CWI op radio 5 in de Kennis van Nu op 24 februari News Broadcast

CWI CWI

Python en CWI op radio 5 - Kennis van Nu News Broadcast

G. van Rossum (Guido)

Python at 25 - Communications of the ACM Magazine Article

G. van Rossum (Guido)

Bug in Java gerepareerd met formele methoden CWI - Engineersonline.nl Magazine Article

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

CWI fixt Java-bug met formele methoden - Engineeringnet.be Magazine Article

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

Web similarity in sets of search terms using database queries Tech Report

A.R. Cohen (Andrew) and P.M.B. Vitányi (Paul)

Paul Klint in RTL Nieuws over het nieuwe betalingssysteem van het pgb : 20-02-2015, 19.30u. [2:08] News Broadcast

P. Klint (Paul)

Hoe de zebra aan zijn strepen komt - Leids Universitair Weekblad Mare Magazine Article

B. Braun (Bart)

Layered queueing networks : performance modelling, analysis and optimisation Dissertation

J.-P.L. Dorsman (Jan-Pieter)

Bert Zwart krijgt Vici-subsidie voor onderzoek naar zeldzame gebeurtenissen - engineersonline.nl Magazine Article

Interview met Guido van Rossum, 11 February 2015 Online Audio

G. van Rossum (Guido) and CWI CWI

Programmeren kun je (echt heel jong al) leren - Volkskrant Magazine Article

CWI CWI

Meting kwaliteit dansvoorstelling - Volkskrant Magazine Article

CWI CWI

Meting kwaliteit dansvoorstelling Magazine Article

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

Fourier methods for multidimensional problems and backward SDEs in finance and economics Dissertation

M.J. Ruijter (Marjon)

Numascale plant 'Exadata-killer' op basis van MonetDB Magazine Article

Y. Zhang (Ying), M.L. Kersten (Martin), K.S. Mullender (Sjoerd) and N.J. Nes (Niels)

CWI op de Belgische tv - Iedereen beroemd News Broadcast

CWI CWI