Publications from 2013

A realistic model under which the genetic code is optimal Tech Report

H.M. Buhrman (Harry), P.T.S. van der Gulik (Peter), G.W. Klau (Gunnar), C. Schaffner (Christian), D. Speijer (Dave) and L. Stougie (Leen)

Minimal mobile human computer interaction Dissertation

A. El Ali (Abdallah)

Fotoboek bij het afscheid van Lex Schrijver, mei 2013 Book

CWI in het kort : brochure Other

Schatkamer van de wetenschap : flyer Open Dag WCW, 05-10.2013 Other

Uitnodiging afscheidsdiner Yvonne Samseer, 10.10.2013 Other

Evaluating practical negotiating agents: Results and analysis of the 2011 international competition Article

T. Baarslag (Tim), Fujita (Katsuhide), E.H. Gerding (Enrico), K.V. Hindriks, T. Ito (Takayuki), N. Jennings, C.M. Jonker (Catholijn), S. Kraus (Sarit), R. Lin (Raz), V. Robu (Valentin), et al. C.R. Williams (Colin)

An Online Mechanism for Multi-Unit Demand and its Application to Plug-in Hybrid Electric Vehicle Charging Article

V. Robu (Valentin), E.H. Gerding (Enrico), S. Stein (Sebastian), D.C. Parkes (David), A. Rogers (Alex) and N. Jennings

Deliverable D9.1.2 Publishable Summary Tech Report

L. Nixon (Lyndon)

Deliverable D7.4 Project demonstrator v1 Tech Report

L. Nixon (Lyndon) and The LinkedTV Consortium

Deliverable D7.3 LinkedTV Dissemination and Standardisation Report v1 Tech Report

L. Nixon (Lyndon) and The LinkedTV Consortium

Deliverable D6.2 Scenario Demonstrators Tech Report

L. Nixon (Lyndon), M. Hildebrand (Michiel) and et al.

Deliverable D5.3 First LinkedTV End-to-end Platform Tech Report

J. Thomsen (Jan) and et al.

Deliverable D4.5 Content and Concept Filter v2 Tech Report

D. Stein (Daniel) and et al.

Deliverable D4.4 User profile and contextual adaptation Tech Report

D. Tsatsou (Dorothea) and et al.

Deliverable D3.6 Interface and Presentation Engine version 2 Tech Report

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

Deliverable D3.5 Requirements Document LinkedTV User Interfaces (Version 2) Tech Report

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

Deliverable D2.5 Specification of the Linked Media Layer Tech Report

J. Bouchner (Jan) and et al.

Deliverable D2.4 Annotation and retrieval module of media fragments Tech Report

J.L. Redondo Garcia (José Luis) and et al.

Deliverable D1.2 Visual, text and audio information analysis for hypervideo, first release Tech Report

D. Stein (Daniel) and et al.

Coalgebraic tools for bisimilarity and decorated trace semantics Dissertation

G. Caltais (Georgiana)

PyNN-FBP Software

D.M. Pelt (Daniël)

Fast tomographic reconstruction from limited data using artificial neural networks Article

D.M. Pelt (Daniël) and K.J. Batenburg (Joost)

TomoPy Software

D.M. Pelt (Daniël)

Neverland Software

H.F. Mühleisen (Hannes)

Meet Charles, big data query advisor In Proceedings

T.H.J. Sellam (Thibault) and M.L. Kersten (Martin)

PumpKin Software

A. Markosyan (Aram)

Coarse-Graining Can Beat the Rotating Wave Approximation in Quantum Markovian Master Equations Article

C. Majenz (Christian) and T. Albash (Tameem)

Fast and Revenue-oriented Protection of Radial LV Cables with Smart Battery Operation In Proceedings

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

On the computation of moments of the partial non-central chi-squared distribution function In Proceedings

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

Epigrammen van Posidippos Article

P.W. Hemker (Piet)

Time-course measurement of enzymatic activity corrected for impacts of disturbances relating to the reaction of the enzyme with a substrate. Patent

H.C. Hemker and P.W. Hemker (Piet)

CWI bouwt applicatie voor analyse datastromen Article

S. Hulsman (Sander)

Introduction to information retrieval : 2-hour lecture, held at Amsterdam University of Applied Sciences (HvA) on October 16th, 2013 Lecture

C. Eickhoff (Carsten)

Counter-cryptanalysis: analyzing Flame's new collision attack Lecture

M.M.J. Stevens (Marc)

Improving Counter-Cryptanalysis Lecture

M.M.J. Stevens (Marc)

Improving Counter-Cryptanalysis Lecture

M.M.J. Stevens (Marc)

Counter-cryptanalysis: analyzing Flame's new collision attack Lecture

M.M.J. Stevens (Marc)

Improving Counter-Cryptanalysis Lecture

M.M.J. Stevens (Marc)

Making history relevant: The case of computing In Proceedings

G. M. C. J. T. G. van den Hove d'Ertsenryck (Gauthier)

ON EXPLOSIONS IN HEAVY-TAILED BRANCHING RANDOM WALKS Article

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

The VPN Conjecture Is True Article

N. Goyal (Navin), N.K. Olver (Neil) and F.B. Shepherd (Bruce)

Approximability of Robust Network Design Article

N.K. Olver (Neil) and F.B. Shepherd (Bruce)

Subjective testing of multi-party tele meetings: testbed and symmetric delay study Standard

M.R. Schmitt (Marwin), S.N.B. Gunkel (Simon) and P. Hughes (Peter)

HTML+RDFa 1.1 W3C Recommendation (second) Standard

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

HTML+RDFa 1.1 W3C Recommendation (second) Standard

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

Custom Block Based Immersive Codec and SC3DMC Standard

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

A 3D Tele-Immersion system based on live captured mesh geometry Standard

R.N. Mekuria (Rufael), M. Sanna (Michele), S. Asioli (Stefano), E Izquierdo (Ebroul), D.C.A. Bulterman (Dick) and P.S. César Garcia (Pablo Santiago)

Conditional Kolmogorov complexity and Universal probability Article

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

Algorithmic Identification of Probabilities Tech Report

On Logical Depth and the Running Time of Shortest Programs Tech Report

L.F. Antunes (Luis), A. Souto (André) and P.M.B. Vitányi (Paul)

Normalized Google Distance of Multisets with Applications Tech Report

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

Conditional Kolmogorov complexity and universal probability Article

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

Socially-Aware Multimedia Authoring: past, present, and future Article

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

Computing distances between evolutionary trees Book Chapter

B. DasGupta (Bhaskar), X. He (Xin), T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John), L. Wang (Lusheng) and L. Zhang (Louxin)

Instant-on scientific data warehouses lazy ETL for data-intensive research In Proceedings

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

Modeling radiation belt electron dynamics during GEM challenge intervals with the DREAM3D diffusion model Article

W. Tu (Weichao), G.S. Cunningham, Y. Chen, M.G. Henderson, E. Camporeale (Enrico) and G.D. Reeves (Geoffrey)

Debugging and all that, Universiteit van Amsterdam Lecture

J.J. Vinju (Jurgen)

Typed Access to External ResourcesIFIP WG 2.4 , Mysore, India Lecture

J.J. Vinju (Jurgen)

EASY Meta-Programming with Rascal Leveraging the Extract-Analyze-SYnthesize Paradigm, Technische Universiteit Eindhoven Lecture

J.J. Vinju (Jurgen)

OSSMETER WP3: Source Code Quality & Activity Analysis Lecture

J.J. Vinju (Jurgen)

Software Analysis and Transformation with Rascal NBIC BioAssist Meeting , Utrecht, The Netherlands Lecture

J.J. Vinju (Jurgen)

CWI SWAT & RascalNWO Special-Interest-Group on Software Engineering , Amsterdam, The Netherlands Lecture

J.J. Vinju (Jurgen)

Discrete multi-colour random mosaics with an application to network extraction,Tomasz Schreiber's Memorial Session, Toru\'n, Poland, June 10, 2013. Lecture

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

A J-function for inhomogeneous point processes with applications to seismology, the 11th European Congress of Stereology and Image AnalysisKaiserslautern, Germany, July 10--12, 2013 Lecture

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

J-functions for inhomogeneous point processes in space and time, Symposium in Honour of Adrian Baddeley, Aarhus, Denmark, November 7--8, 2013. Lecture

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

``Sharpness of the percolation transition for a class of contact processes", Seminar talk,NYU Abu Dhabi, Nov. 20 2013. Lecture

J. van den Berg (Rob)

``Sharpness of the percolation transition for a class of contact processes". Seminar talks Bologna, September 24 and 25 2013. Lecture

J. van den Berg (Rob)

``The size of large clusters in a large box in 2D critical percolation", Seminar talk, Department of Theoretical Physics, Kath. Univ. Leuven, May 23 2013. Lecture

J. van den Berg (Rob)

Invited talk “Wiskunde redt mensenlevens!”, Nederlandse Wiskundedagen (Noordwijkerhout, 2013). Lecture

R.D. van der Mei (Rob)

``Learning and Earning''. Keynote talk. BETA conference on Dynamic Pricing. Eindhoven, NL Lecture

A.P. Zwart (Bert)

Workshop Stochastic Modeling of the Oceans and Atmosphere, IMA, Minneapolis, USA Lecture

D.T. Crommelin (Daan)

Invited talk Workshop ‘Games, algorithms and optimization’, Paris, France, June 2013. Lecture

K.R. Apt (Krzysztof)

Invited talk Southampton Winter Workshop in Economic Theory, Southampton, UK, February 2013. Lecture

K.R. Apt (Krzysztof)

Scientific Lecture - Cell-based computational models of collective cell behavior, tip-cell selection and cell-ECM interactions during angiogenesis Morphogenesis in Living Systems , Centre National de la Recherche Scientifique (CNRS), Gif-sur-Yvette, France Lecture

R.M.H. Merks (Roeland)

Scientific Lecture - The morphogenesis of branched tissues, University of California, Santa Barbara Lecture

R.M.H. Merks (Roeland)

Invited Plenary Lecture, Conference on Statistical Genomics and Data Integration for Personalized Medicine, Ascona Lecture

A. Schönhuth (Alexander)

Invited Plenary Lecture, EMBL Cancer Genomics, Pre-Conference on Somatic Variant Calling, Heidelberg Lecture

A. Schönhuth (Alexander)

Theoretical Computer Science Amsterdam (TCSA) day Lecture

G.W. Klau (Gunnar)

Harbin University of Engineering, China Lecture

G.W. Klau (Gunnar)

“Protocols, Seriously!” Invited keynote lecture, the 10th InternationalColloquium on Theoretical Aspects of Computing (ICTAC 2013), Shanghai, China. Lecture

F. Arbab (Farhad)

Invited talk at the University of Valencia, department of mathematics Lecture

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

Invited plenary lecture at MFPS/LICS Lecture

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

Falmouth University Lecture

C. Wang (Chen)

“Digital Publishing and the Open Web: The W3C's Digital Publishing Interest Group”,at “CONTECFrankfurt 2013”,Frankfurt,Germany Lecture

I. Herman (Ivan)

NEM Summit, Toulouse, France Lecture

D.C.A. Bulterman (Dick)

Zero-error source-channel coding with entanglement  8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013) University of Guelph, Canada (invited) Lecture

J. Briët (Jop)

Grothendieck ongelijkheden: klassiek gereedschap, moderne toepassingen Annual meeting Genootscap ter bevordering van Natuur-, Genees- en Heelkunde Amsterdam, The Netherlands (prize recipient) Lecture

J. Briët (Jop)

 A friendly introduction to the basics of quantum information theory  IMS Program on Inverse Moment Problem    National University of Singapore (NUS), Singapore (invited)    Lecture

J. Briët (Jop)

Quantum proofs for classical theorems. IEEE Conference on Computational Complexity: How low can approximate degree and quantum query complexity be for total boolean functions? Palo Alto, CA, USA Lecture

R.M. de Wolf (Ronald)

Exponential lower bounds for polytopes in combinatorial optimization Horizons in TCS: A celebration of Mihalis Yannakakis's 60th birthday" workshop , Princeton University Lecture

R.M. de Wolf (Ronald)

Lower bounds for combinatorial polytopes, inspired by quantum communication complexity Workshop on Quantum Information Processing, Beijing, China Lecture

R.M. de Wolf (Ronald)

Quantum proofs for classical theorems Complexity , Palo Alto, CA, USA Lecture

R.M. de Wolf (Ronald)

QoE TestBed Software

M.R. Schmitt (Marwin)

QL-R-Kemi Software

J.J. Vinju (Jurgen)

PumpKin Software

A. Markosyan (Aram)

MonetDB Software

M.L. Kersten (Martin), N.J. Nes (Niels), Y. Zhang (Ying), A.J. Koning (Aris), J. van Ruth (Joeri), P. Koutsourakis (Panagiotis), K.S. Mullender (Sjoerd), P.E. Silva Ferreira (Pedro), S.G. Stalinov (Svetlin) and T. Zois (Thodoris)

Monadic FRP Software

T. van der Storm (Tijs)

LTGA Software

P.A.N. Bosman (Peter)