university website Publications by Year
  • sign in
  • Publications By Year

Publications from before 2013

  • thumb

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

    October 2012
  • thumb

    Turings erfenis : de stille kracht van informatica : brochure tentoonstelling 14.06 t/m 06.10.2012 Booklet

    June 2012
  • thumb

    Uitnodiging kerstborrel, 20.12.2012 Other

    December 2012
  • thumb

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

    September 2012
  • thumb

    De exacte benadering : vakantiecursus 2012 : brochure Booklet

    August 2012
  • thumb

    Uitnodiging etentje afscheid Jan Schipper, 06.04.2012 Other

    April 2012
  • Uitnodiging etentje t.g.v. afscheid van Ay Ong, 30.05.2012 Other

    May 2012
  • thumb

    Deliverable D9.1.1 Annual Project Scientific Report Tech Report

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

    November 2012
    open access
  • thumb

    Deliverable D8.2 First market analysis Tech Report

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

    October 2012
    open access
  • thumb

    Deliverable D7.8 Newsletter Tech Report

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

    October 2012
    open access
  • thumb

    Deliverable D7.2 Dissemination and Standardisation Plan Tech Report

    L. Nixon (Lyndon) and The LinkedTV Consortium

    April 2012
    open access
  • thumb

    Deliverable D6.1 Scenario Descriptions Tech Report

    L. Nixon (Lyndon) and et al.

    October 2012
    open access
  • thumb

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

    J. Gural (Jechiam) and et al.

    October 2012
    open access
  • thumb

    Deliverable D5.1 LinkedTV Platform and Architecture Tech Report

    R. Fricke (Rolf) and J. Thomsen (Jan)

    April 2012
    open access
  • thumb

    Deliverable D4.3 Content and Concept Filter V1 Tech Report

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

    October 2012
    open access
  • thumb

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

    D. Tsatsou (Dorothea) and et al.

    October 2012
    open access
  • thumb

    Deliverable D4.1 Specification of user profiling and contextualisation Tech Report

    D. Tsatsou (Dorothea) and et al.

    April 2012
    open access
  • thumb

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

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

    October 2012
    open access
  • thumb

    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)

    September 2012
    open access
  • thumb

    Deliverable D3.2 Specification of Presentation Interfaces for the Three Scenarios Tech Report

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

    April 2012
    open access
  • thumb

    Deliverable D3.1 Specification of Functional Requirements Satisfying User Information Needs Tech Report

    M.H.R. Leyssen (Mieke), L. Hardman (Lynda), J.R. van Ossenbruggen (Jacco), L.B. Baltussen (Lotte) and N. de Abreu (Nico)

    April 2012
    open access
  • thumb

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

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

    October 2012
    open access
  • thumb

    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)

    October 2012
    open access
  • thumb

    Deliverable D2.1 Specification of the Media Fragment URI scheme Tech Report

    R. Troncy (Raphael), P. van Leeuwen (Pieter) and J. Gural (Jechiam)

    April 2012
    open access
  • thumb

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

    E. Apostolidis (Evlampios) and et al.

    September 2012
    open access
  • Shearer’s Measure and Stochastic Domination of Product Measures Article

    Journal of Theoretical Probability, 22-40.

    C. Hofer-Temmel (Christoph)

    May 2012
  • thumb

    When Turing Meets Milner Article

    ERCIM News 91, October 2012 Special theme: What is Computation - Alain Turing’s Legacy, 91(oktober 2012)

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

    October 2012
  • thumb

    Matroids and integrality gaps for hypergraphic steiner tree relaxations In Proceedings

    M.X. Goemans (Michel X.), N.K. Olver (Neil), T. Rothvoss (Thomas) and R. Zenklusen (Rico)

    May 2012
    open access
  • Poster Praethuys Miscellaneous

    December 2012
  • Planar Markov fields, $9^{\rm{th}}$ French-Danish Workshop on Spatial Statistics and Image Analysis in Biology, Avignon, France, May 9--11, 2012. Lecture

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

    January 2012
  • function for inhomogeneous point processes with applications to seismology, University of Miami Spatial Statistics Conference 2012,Miami, United States, December 13--15, 2012. Lecture

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

    January 2012
  • ``Extensions of the BK inequality". Probability seminar ETH and UniversityZurich, April 18, 2012. Lecture

    J. van den Berg (Rob)

    January 2012
  • Workshop ``Forest fires and related models", Toulouse, March 7-9, 2012.Talk: "A growth process on the square lattice where large clusters are frozen". Lecture

    J. van den Berg (Rob)

    January 2012
  • Workshop "Concentration Inequalitiesand Applications", Marseille, January 22-27 2012.Talk: "Influence and variance inequalities in (first-passage) percolation". Lecture

    J. van den Berg (Rob)

    January 2012
  • 12th MathFinance conference, Frankfurt, Germany Lecture

    C.W. Oosterlee (Kees)

    January 2012
  • Invited talk Logic Programming: Systems and Applications, Stony Brook, New York, September, 2012. Lecture

    K.R. Apt (Krzysztof)

    January 2012
  • Invited talk International Conference on Logic, Language and Computation, Chongqing, China, August 2012. Lecture

    K.R. Apt (Krzysztof)

    January 2012
  • Invited Plenary Lecture, Hot Topics Meeting, Netherlands Bioinformatics Centre, Utrecht Lecture

    A. Schönhuth (Alexander)

    January 2012
  • 2012 — International Max Planck Research School on Scientific Computing and Computational Biology (IMPRS-CBSC), Berlin, Germany Lecture

    G.W. Klau (Gunnar)

    January 2012
  • Montefiore Institute, Liège, Belgium Lecture

    G.W. Klau (Gunnar)

    January 2012
  • Invited plenary lecture at the Milner Memorial Symposium, Edinburgh Lecture

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

    January 2012
  • Invited lecture at annual meeting of the NVTI Lecture

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

    January 2012
  • Invited mini-course (six lectures) at Beijing University Lecture

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

    January 2012
  • Invited tutorial ICT OPEN Lecture

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

    January 2012
  • Distinguished lecture at the Workshop on Next Generation Multimedia Research & Development Lecture

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

    January 2012
  • Invited talk - Reconstruction of a Shared Secret in the Presence of Faults. Invited talk at: ICITS 2012 — 6th International Conference on Information Theoretic Security. Montreal, Aug 2012. Lecture

    S. Fehr (Serge)

    January 2012
  • Tsinghua-NTU Workshop on Number Theory, Discrete Mathematics and Applications,Tsinghua University, Maths Dept, Beijing, China, May 25-27 2012. Title:The Arithmetic Codex Lecture

    R.J.F. Cramer (Ronald)

    January 2012
  • Chinese Academy of Sciences, Maths Dept, China, May 24, 2012. Title: The Torsion Limit for Algebraic Functions Fields and Applications Lecture

    R.J.F. Cramer (Ronald)

    January 2012
  • Tsinghua University, Institute for Advanced Study, China, May 25, 2012. Title: Arithmetic Secret Sharing Schemes Lecture

    R.J.F. Cramer (Ronald)

    January 2012
  • Unbounded violations of three-player XOR games without operator space Workshop on Operator structures in quantum information theory Banff, Canada (invited) Lecture

    J. Briët (Jop)

    January 2012
  •  Unbounded violations of three-player XOR games: Improved, simplified and explicit constructions IQC (Institute for Quantum Computing) colloquium University of Waterloo, Canada Lecture

    J. Briët (Jop)

    January 2012
  • Violating the Shannon capacity of a graph with quantum entanglement DIAMANT Symposium, Nunspeet, The Netherlands (invited) Lecture

    J. Briët (Jop)

    January 2012
  • Grothendieck inequalities for semidefinite programs with rank constraint Conference on Phenomena in high dimensions in geometric analysis, random matrices, and computational geometry Roscoff, France (invited) Lecture

    J. Briët (Jop)

    January 2012
  • Grothendieck inequalities, non-local games and optimization   WONDER Afternoon & Stieltjes Prize award ceremony Amsterdam, The Netherlands (prize recipient) Lecture

    J. Briët (Jop)

    January 2012
  • Exponential lower bounds for polytopes in combinatorial optimization Theory and Operations Research Seminar , MIT, Cambridge, MA, USA Lecture

    R.M. de Wolf (Ronald)

    January 2012
  • Linear vs. semidefinite extended formulations: Exponential separation and strong lower bounds Quality Security Conference , Barcelona, Spain Lecture

    R.M. de Wolf (Ronald)

    January 2012
  • Exponential lower bounds for polytopes in combinatorial optimization DIAMANT/EIDMA Symposium , Nunspeet Lecture

    R.M. de Wolf (Ronald)

    January 2012
  • Quantum proofs for classical theorems, Ecole de Printemps d'Informatique Lecture

    R.M. de Wolf (Ronald)

    January 2012
  • Quantum computing, Stichting Nationaal Informatica Congres Lecture

    R.M. de Wolf (Ronald)

    January 2012
  • What quantum computing can do for you, Universiteit van Amsterdam Lecture

    R.M. de Wolf (Ronald)

    January 2012
  • SuMDb - Summarizing a year in movies Master Thesis

    R.C. Helling (Rutger)

    July 2012
    open access
  • thumb

    Static analysis of unbounded structures in object-oriented programs Dissertation

    Computer Security

    I. Grabe (Immo)

    December 2012
  • Fortran utilities Software

    H.J. Teunissen (Jannis)

    January 2012
  • thumb

    Rise and Fall of Periodic Patterns for a generalized Klausmeier-Gray-Scott model Dissertation

    S. van der Stelt (Sjors)

    January 2012
  • thumb

    Architecture-independent distributed query processing Dissertation

    Database Architectures

    H.F. Mühleisen (Hannes)

    December 2012
  • thumb

    Integer programming, lattice algorithms, and deterministic volume estimation Dissertation

    D.N. Dadush (Daniel)

    August 2012
  • thumb

    Learning against learning : evolutionary dynamics of reinforcement learning algorithms in strategic interactions Dissertation

    M. Kaisers (Michael)

    December 2012
  • RDFa 1.1 Distiller and Parser Software

    I. Herman (Ivan)

    January 2012
  • Derric Software

    J.J. Vinju (Jurgen)

    January 2012
  • Turing language Software

    J.J. Vinju (Jurgen)

    January 2012
  • Software Language Processing Suite Software

    J.J. Vinju (Jurgen)

    January 2012
  • Snakemake Software

    J. Köster (Johannes)

    January 2012
  • Lua AiR Software

    J.J. Vinju (Jurgen)

    January 2012
  • IDE Meta-tooling Platform Software

    J.J. Vinju (Jurgen)

    January 2012
  • Enso Software

    J.J. Vinju (Jurgen)

    January 2012
  • ASTRA Toolbox Software

    W.J. Palenstijn (Willem Jan)

    January 2012
  • Interacting via the heap in the presence of recursion In Proceedings

    J.C. Rot (Jurriaan), I.M. Asâvoae (Irina Mâriuca), F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and D. Lucanu (Dorel)

    December 2012
  • 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. Mihail (Dimitris), M. Datcu (Mihai), G. Schwarz (Gottfried), O.C. Dumitru (Octavian), Molina, D. (Daniela), K. Molch (Katrin), U.D. Giammatteo (Ugo), M. Sagona (Manuela), S. Perelli (Sergio), E. Klien (Eva), T. Reitz (Thorsten) and R. Gregor (Robert)

    January 2012
  • thumb

    Building and documenting workflows with Python-based Snakemake In Proceedings

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

    September 2012
    open access
  • Efficiently mining protein interaction dependencies from large text corpora Article

    Integrative Biology, 4(7), 805-812.

    J. Köster (Johannes), Zamir, E. (Eli) and S. Rahmann (Sven)

    July 2012
  • Snakemake-a scalable bioinformatics workflow engine Article

    Bioinformatics, 28(19), 2520-2522.

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

    October 2012
  • Numerical modelling of strongly anisotropic dissipative e ects in MHD In Proceedings

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

    January 2012
    open access
  • Discretization methods for extremely anisotropic diffusion In Proceedings

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

    January 2012
  • New explicit Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

    B. Sanderse (Benjamin) and B. Koren (Barry)

    January 2012
  • Linearly implicit energy-conserving Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

    B. Sanderse (Benjamin) and B. Koren (Barry)

    January 2012
  • A new model and numerical method for compressible two-fluid flow In Proceedings

    J.J. Kreeft (Jasper) and B. Koren (Barry)

    January 2012
  • Immersed actuator methods for wind-turbine wake calculations In Proceedings

    B. Sanderse (Benjamin) and B. Koren (Barry)

    January 2012
  • A numerical layer resolving method for the flow over a curved surface Article

    Applied Mathematics and Computation, 10656-10668.

    A.R. Ansari, B. Hossain, B. Koren (Barry) and G.I. Shishkin (Gregori)

    January 2012
  • De Zeven Grootste Raadsels van de Wiskunde Book

    A. van den Brandhof, R. van der Veen, J. van de Craats and B. Koren (Barry)

    January 2012
  • thumb

    Exploring employment opportunities through microtasks via cybercafes In Proceedings

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

    October 2012
    open access
  • Video mash-ups give you personalised memories Magazine Article

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

    September 2012
    open access
  • First International Workshop on Visual Interfaces for Ground Truth Collection in Computer Vision Applications Proceedings

    May 2012
  • See what's enBlogue: real-time emergent topic identification in social media In Proceedings

    F. Alvanaki (Foteini), S. Michel, K. Ramamritham and G. Weikum

    January 2012
    open access
  • thumb

    De 10 grootste doorbraken in de wetenschap volgens 89 prominente wetenschappers Magazine Article

    R.M.H. Merks (Roeland)

    January 2012
    open access
  • Proceedings of the 1st international workshop on socially-aware multimedia Proceedings

    October 2012
  • thumb

    Abstract Delta Modeling - Software Product Lines and Beyond Dissertation

    Computer Security

    M. Helvensteijn (Michiel)

    November 2012
    open access
  • Microdata to RDF Standard

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

    March 2012
  • RDFa Core 1.1 Standard

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

    June 2012
    open access
  • RDFa 1.1 Primer Standard

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

    June 2012
    open access
  • thumb

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

    S. Ud Din

    October 2012
    open access
Next
Available Years
  • Publications from 2023
  • Publications from 2022
  • Publications from 2021
  • Publications from 2020
  • Publications from 2019
  • Publications from 2018
  • Publications from 2017
  • Publications from 2016
  • Publications from 2015
  • Publications from 2014
  • Publications from 2013
  • Publications from before 2013
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • Publishing at CWI

    • Open Science Portal
    • Submit Your CWI Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close