Publications from before 2013
-
October 2012
-
Turings erfenis : de stille kracht van informatica : brochure tentoonstelling 14.06 t/m 06.10.2012 Booklet
June 2012 -
December 2012
-
September 2012
-
August 2012
-
April 2012
-
May 2012
-
November 2012
-
Deliverable D8.2 First market analysis Tech Report
October 2012 -
Deliverable D7.8 Newsletter Tech Report
October 2012 -
April 2012
-
Deliverable D6.1 Scenario Descriptions Tech Report
October 2012 -
October 2012
-
April 2012
-
Deliverable D4.3 Content and Concept Filter V1 Tech Report
October 2012 -
October 2012
-
April 2012
-
October 2012
-
Deliverable D3.3 LinkedTV user interfaces sketch Tech Report
September 2012 -
April 2012
-
Deliverable D3.1 Specification of Functional Requirements Satisfying User Information Needs Tech Report
April 2012 -
Deliverable D2.3 Specification of Web mining process for hypervideo concept identification Tech Report
October 2012 -
October 2012
-
April 2012
-
September 2012
-
Shearer’s Measure and Stochastic Domination of Product Measures Article
Journal of Theoretical Probability, 22-40.May 2012 -
When Turing Meets Milner Article
ERCIM News 91, October 2012 Special theme: What is Computation - Alain Turing’s Legacy, 91(oktober 2012)October 2012 -
May 2012
-
Poster Praethuys Miscellaneous
December 2012 -
January 2012
-
January 2012
-
``Extensions of the BK inequality". Probability seminar ETH and UniversityZurich, April 18, 2012. Lecture
January 2012 -
January 2012
-
January 2012
-
January 2012
-
Invited talk Logic Programming: Systems and Applications, Stony Brook, New York, September, 2012. Lecture
January 2012 -
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
Invited tutorial ICT OPEN Lecture
January 2012 -
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
January 2012
-
SuMDb - Summarizing a year in movies Master Thesis
July 2012 -
Static analysis of unbounded structures in object-oriented programs Dissertation
Computer SecurityDecember 2012 -
Fortran utilities Software
January 2012 -
January 2012
-
Architecture-independent distributed query processing Dissertation
Database ArchitecturesDecember 2012 -
August 2012
-
Learning against learning : evolutionary dynamics of reinforcement learning algorithms in strategic interactions Dissertation
December 2012 -
RDFa 1.1 Distiller and Parser Software
January 2012 -
Derric Software
January 2012 -
Turing language Software
January 2012 -
Software Language Processing Suite Software
January 2012 -
Snakemake Software
January 2012 -
Lua AiR Software
January 2012 -
IDE Meta-tooling Platform Software
January 2012 -
Enso Software
January 2012 -
ASTRA Toolbox Software
January 2012 -
Interacting via the heap in the presence of recursion In Proceedings
December 2012 -
January 2012
-
September 2012
-
Efficiently mining protein interaction dependencies from large text corpora Article
Integrative Biology, 4(7), 805-812.July 2012 -
Snakemake-a scalable bioinformatics workflow engine Article
Bioinformatics, 28(19), 2520-2522.October 2012 -
January 2012
-
Discretization methods for extremely anisotropic diffusion In Proceedings
January 2012 -
January 2012
-
Linearly implicit energy-conserving Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings
January 2012 -
January 2012
-
Immersed actuator methods for wind-turbine wake calculations In Proceedings
January 2012 -
A numerical layer resolving method for the flow over a curved surface Article
Applied Mathematics and Computation, 10656-10668.January 2012 -
January 2012
-
October 2012
-
Video mash-ups give you personalised memories Magazine Article
September 2012 -
May 2012
-
January 2012
-
January 2012
-
October 2012
-
Abstract Delta Modeling - Software Product Lines and Beyond Dissertation
Computer SecurityNovember 2012 -
Microdata to RDF Standard
March 2012 -
RDFa Core 1.1 Standard
June 2012 -
RDFa 1.1 Primer Standard
June 2012 -
An Architecture and Implementation for Evaluating Synchronization Support for Shared User Experiences Master Thesis
October 2012