Publications from 2017

Deliverable D4.2 User profile schema and profile capturing Tech Report

D. Tsatsou (Dorothea) and et al.

Deliverable D2.2 Specification of lightweight metadata models for multimedia annotation Tech Report

J.L. Redondo Garcia (José Luis), R. Troncy (Raphael) and M. Vacura (Miroslav)

Deliverable D4.3 Content and Concept Filter V1 Tech Report

R. Klein (Rüdiger) and et al.

Deliverable D3.4 LinkedTV Interface and Presentation Engine version 1 Tech Report

P. van Leeuwen (Pieter), J. Gural (Jechiam) and R. Rozendal (Rutger)

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

J. Gural (Jechiam) and et al.

Deliverable D8.2 First market analysis Tech Report

K. Stanoevska (Katarina), J. Ebermann (Jana) and T. Plotkowiak (Thomas)

Deliverable D6.1 Scenario Descriptions Tech Report

L. Nixon (Lyndon) and et al.

Deliverable D2.3 Specification of Web mining process for hypervideo concept identification Tech Report

I. Lašek (Ivo) and et al.

Werk maken van innovatie : Vooraankondiging CWI in Bedrijf, 05.10.2012 Booklet

Deliverable D7.8 Newsletter Tech Report

L. Nixon (Lyndon) and S. Pellkvist (Simeona)

When Turing Meets Milner Article

J.C.M. Baeten (Jos), S.P. Luttik (Bas), P.J.A. van Tilburg (Paul) and A.C. Kik (Annette)

Snakemake-a scalable bioinformatics workflow engine Article

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

Exploring employment opportunities through microtasks via cybercafes In Proceedings

M.M. Gawade (Mrunal), R. Vaish (Rajan), M. Nduta (Mercy) and J.R. Davis (James)

Proceedings of the 1st international workshop on socially-aware multimedia Proceedings

An Architecture and Implementation for Evaluating Synchronization Support for Shared User Experiences Master Thesis

S. Ud Din

Media Synchronization in 3D tele-Immersion Applications: an Architecture In Proceedings

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

Robust algorithms for discrete tomography Master Thesis

F. Tabak (Frank)

Vascular networks due to dynamically arrested crystalline ordering of elongated cells Article

M.M. Palm (Margriet) and R.M.H. Merks (Roeland)

Software Engineering for Multi-core Platforms Article

F. Arbab (Farhad) and S.-S.T.Q. Jongmans (Sung)

Archeological treasures protection based on early forest wildfire multi-band imaging detection system In Proceedings

B. Gouverneur, S. Verstockt, E.J.E.M. Pauwels (Eric), J. Han (Jungong ), P.M. de Zeeuw (Paul) and J. Vermeiren

Trinets encode tree-child and level-2 phylogenetic networks Tech Report

L.J.J. van Iersel (Leo) and V. Moulton (Vincent)

3D Spatially hybrid model for streamer discharge In Proceedings

A.B. Sun (Anbang), H.J. Teunissen (Jannis) and U. Ebert (Ute)

MAF: Maximum Agreement Forests for nonbinary trees Software

L.J.J. van Iersel (Leo), S.M. Kelk (Steven), N. Lekic (Nela) and L. Stougie (Leen)

First and second order semi-strong interface interaction in reaction-diffusion systems Tech Report

J.D.M. Rademacher (Jens)

Jongste promovendus : item in Studio MAX Live, 31.10.2012 News Broadcast

F.A.G. Sietsma (Floor)

Combined Motion Estimation and Reconstruction in Tomography In Proceedings

G. Van Eyndhoven (Geert), J. Sijbers (Jan) and K.J. Batenburg (Joost)

Estimation of Space-Dependent Diffusions and Potential Landscapes from Non-equilibrium Data Article

D.T. Crommelin (Daan)

Vals spelen blijft mogelijk. ScienceGuide, 22 oktober 2012 Magazine Article

H.M. Buhrman (Harry) and C. Schaffner (Christian)

Geen aandacht voor pesten. de Telegraaf, 19 oktober 2012 Magazine Article

F.A.G. Sietsma (Floor)

Nerd van het jaar promoveert bij CWI. AutomatiseringGids, 18 oktober 2012 Magazine Article

F.A.G. Sietsma (Floor)

Wie wordt Nerd van het jaar? Quest, oktober 2012 Magazine Article

F.A.G. Sietsma (Floor)

Wiskunde: van saai naar hot. Parool, 20 oktober 2012 Magazine Article

A. Schrijver (Lex)

Nieuwe SHA-standaard maakt versleuteling complexer. Webwereld, 3 oktober 2012 Magazine Article

M.M.J. Stevens (Marc)

Een kwestie van qubits. de Telegraaf, 13 oktober 2012 Magazine Article

H.M. Buhrman (Harry)

RepoSE: An On-Line Repository for Simulation Experiment Descriptions Magazine Article

M.A. Guravage (Michael)

Experimental study of hard X-rays emitted from meter-scale positive discharges in air Article

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

Exon-level expression analyses identify MYCN and NTRK1 as major determinants of alternative exon usage and robustly predict primary neuroblastoma outcome Article

A. Schramm (Alexander), B. Schowe, K. Fielitz, M. Heilmann, M. Martin (Marcel), T. Marschall (Tobias), J. Köster (Johannes), J. Vandesompele (Jo), J. Vermeulen, K. de Preter, et al. J. Koster, R. Versteeg, R. Noguera, F. Speleman (Frank), S. Rahmann (Sven), A. Eggert (Angelika), A. Morik and J.H. Schulte (Johannes)

Learning to Recall Article

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

Model-Based Design of Paper Handling in Printers In Proceedings

R. Stamps, J.M. van de Mortel-Fronczak (Joanna), J.C.M. Baeten (Jos) and L. Somers

Compact orbit spaces in Hilbert spaces and limits of edge-colouring models Tech Report

G. Regts (Guus) and A. Schrijver (Lex)

Managed data: modular strategies for data abstraction In Proceedings

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

Managed Data: Modular Strategies for Data Abstraction In Proceedings

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

Negotiated Grammar Transformation Tech Report

V. Zaytsev (Vadim)

Renarrating Linguistic Architecture: A Case Study Tech Report

V. Zaytsev (Vadim)

MonetDB Oct2012 feature release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), S. Idreos (Stratos), R.A. Pereira Goncalves (Romulo Antonio), et al. E. Sidirourgos (Eleftherios), H. Pirk (Holger), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal), V.V. Meduri (Vamsi) and I. Fundulaki

A large-deviations analysis of Markov-modulated infinite-server queues Tech Report

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

Flexible Consumers Reserving Electricity and Offering Profitable Downward Regulation In Proceedings

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

"Let Me Comment on Your Video": Supporting Personalized End-User Comments within Third-Party Online Videos In Proceedings

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

Deliverable D1.1 State of the art and requirements analysis for hypervideo Tech Report

E. Apostolidis (Evlampios) and et al.

Deliverable D3.3 LinkedTV user interfaces sketch Tech Report

M.H.R. Leyssen (Mieke), M.C. Traub (Myriam), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

Interest rate derivative pricing with stochastic volatility Dissertation

B. Chen (Bin)

Building and documenting workflows with Python-based Snakemake In Proceedings

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

Video mash-ups give you personalised memories Magazine Article

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

SPAFF = Science Park Amsterdam Film Festival, 13-14.09.2012 : flyer Other

Combining insertion and deletion in RNA-editing preserves regularity In Proceedings

E.P. de Vink (Erik), H. Zantema (Hans) and D. Bosnacki

Special finite-difference methods for extremely anisotropic diffusion In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

Obtaining High-Quality Relevance Judgments Using Crowdsourcing Article

J.B.P. Vuurens (Jeroen) and A.P. de Vries (Arjen)

Multi-objective optimization techniques and applications in electric power systems. In Proceedings

M.O.W. Grond, N.H. Luong (Hoang), J. Morren (Johan) and J.G. Slootweg (Han)

A Procedure for Splitting Processes and its Application to Coordination In Proceedings

S.-S.T.Q. Jongmans (Sung), D.G. Clarke (David) and J.M.P. Proença (Jose)

Automatic Code Generation for the Orchestration of Web Services with Reo In Proceedings

S.-S.T.Q. Jongmans (Sung), F. Santini (Francesco), M Sargolzaei, F. Arbab (Farhad) and H. Afsarmanesh

A Modal Logic for Abstract Delta Modeling In Proceedings

F.S. de Boer (Frank), M. Helvensteijn (Michiel) and J. Winter (Joost)

pde2path Software

H Uecker, J.D.M. Rademacher (Jens) and D. Wetzel

pde2path - A Matlab package for continuation and bifurcation in 2D elliptic systems Tech Report

H Uecker, D. Wetzel and J.D.M. Rademacher (Jens)

Elitist archiving for multi-objective evolutionary algorithms: To adapt or not to adapt In Proceedings

N.H. Luong (Hoang) and P.A.N. Bosman (Peter)

Video mash-ups give you personalised memories. NewScientist, 21 september 2012 Magazine Article

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

Turing-machine van LEGO, PC-Active, 30 september 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Het best bewaarde geheim van de stad. Parool, 8 september 2012 Magazine Article

CWI CWI and U. Ebert (Ute)

RepoSE: An On-Line Repository for Simulation Experiment Descriptions Magazine Article

M.A. Guravage (Michael)

The arithmetic codex In Proceedings

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

Stochastic parameterization of shallow cumulus convection estimated from high-resolution data Article

J. Dorrestijn (Jesse), D.T. Crommelin (Daan), A.P. Siebesma (Pier) and H.J.J. Jonker (Harm)

Approximation algorithms and hardness of approximation for knapsack problems Tech Report

H.M. Buhrman (Harry), B. S. Loff Barreto (Bruno Serra) and L. Torenvliet (Leen)

A comparison of 3D fluid, particle and hybrid model for negative streamers Article

C. Li (Chao), H.J. Teunissen (Jannis), M. Nool (Margreet), W. Hundsdorfer (Willem) and U. Ebert (Ute)

Biologically plausible multi-dimensional reinforcement learning in neural networks In Proceedings

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

Turing meets Milner In Proceedings

J.C.M. Baeten (Jos), S.P. Luttik (Bas) and P.J.A. van Tilburg (Paul)

Cross-Species Alignment of Coexpression Networks Master Thesis

M. van der Wees (Marlies)

Game Developers Need Lua AiR Static Analysis of Lua Using Interface Models In Proceedings

P. Klint (Paul), L. Roosendaal and R.A. van Rozen (Riemer)

What Does Control Flow Really Look Like? Eyeballing the Cyclomatic Complexity Metric In Proceedings

J.J. Vinju (Jurgen) and M.W. Godfrey (Michael)

De toekomst van het hoorcollege Article

P. Klint (Paul)

Meta-Language Support for Type-Safe Access to External Resources Book Chapter

M.A. Hills (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

Scientific Data Processing Using SciQL Magazine Article

Y. Zhang (Ying) and M.L. Kersten (Martin)

Development of Best Practices for Large-scale Data Management Infrastructure Manual

S. Stadtmüller, H.F. Mühleisen (Hannes), C. Bizer, M.L. Kersten (Martin), J.A. de Rijke (Arjen), F.E. Groffen (Fabian), Y. Zhang (Ying), G. Ladwig, A. Harth and M Trampus

MonetDB Jul2012-SP2 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), S. Idreos (Stratos), R.A. Pereira Goncalves (Romulo Antonio), et al. E. Sidirourgos (Eleftherios), E. Liarou (Erietta), H. Pirk (Holger), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal), V.V. Meduri (Vamsi) and I. Fundulaki

A Write Efficient PCM-Aware Sort In Proceedings

V.V. Meduri (Vamsi), S. Zhan (Su) and K.-L. Tan (Kian-Lee)

Building Virtual Earth Observatories using Ontologies and Linked Geospatial Data In Proceedings

M. Koubarakis (Manolis), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos), C. Nikolaou (Charalampos), S. Vassos (Stavros), G. Garbis (George), M. Sioutis (Michael), K. Bereta (Konstantina), S. Manegold (Stefan), M.L. Kersten (Martin), et al. M.G. Ivanova (Milena), H. Pirk (Holger), Y. Zhang (Ying), C. Kontoes (Charalampos), I. Papoutsis (Ioannis), T. Herekakis (Themistocles), D. Michail (Dimitrios), M. Datcu (Mihai), G. Schwarz (Gottfried), O.C. Dumitru (Octavian), D.E. Molina (Daniela), K. Molch (Katrin), U.D. Giammatteo (Ugo), M. Sagona (Manuela), S. Perelli (Sergio), E. Klien (Eva), T. Reitz (Thorsten) and R. Gregor (Robert)

Just-in-Time Personalized Video Presentations In Proceedings

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

Just-in-time Data Distribution for Analytical Query Processing In Proceedings

M.G. Ivanova (Milena), M.L. Kersten (Martin) and F.E. Groffen (Fabian)

A fluid model analysis of streaming media in the presence of time-varying bandwidth In Proceedings

J.W. Bosman (Joost), R.D. van der Mei (Rob) and R. Núñez Queija (Rudesindo)

All Schatten spaces endowed with the Schur product are Q-algebras Article

J. Briët (Jop), H.M. Buhrman (Harry), T. J. Lee (Troy) and T. Vidick (Thomas)

De exacte benadering : vakantiecursus 2012 : brochure Booklet

Integer programming, lattice algorithms, and deterministic volume estimation Dissertation

D.N. Dadush (Daniel)

XForms 2.0: XPath expression module Manual

S. Pemberton (Steven), J.M. Boyer, L.L. Klotz and N. van den Bleeken

XForms 2.0 Manual

S. Pemberton (Steven), J.M. Boyer, L.L. Klotz and N. van den Bleeken

Rascal Release 0.5.2 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia), T. van der Storm (Tijs) and A.H.S. Bagge (Anya)

Rascal PHP Analysis Framework Software

M.A. Hills (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

Scheduling and Analysis of Real-Time Software Families In Proceedings

F.S. de Boer (Frank), H. Sabouri, R. Khosravi and M.M. Jaghoori (Mohammad Mahdi)

Cycle Killer: A practical approximation algorithm for solving massive instances of hybridization number Software

S.M. Kelk (Steven), L.J.J. van Iersel (Leo), N. Lekic (Nela) and C. Scornavacca

Lowlands University 2012 : Lowlands University gastcollege, 17.08.2012 [44:22] Magazine Article

A. Schrijver (Lex)

Lowlands University 2012 : impressie achter de schermen van het Lowlands University gastcollege, 17.08.2012 [13:49] Magazine Article

A. Schrijver (Lex)

Turingmachine van Lego. Quest, augustus 2012 Magazine Article

J. van den Bos (Jeroen) and D. Landman (Davy)

Online app voor vergelijken eiwitten. ScienceGuide, 1 augustus 2012 Magazine Article

I. Wohlers (Inken) and G.W. Klau (Gunnar)