Centrum Wiskunde & Informatica

Some upper and lower bounds on PSD-rank Tech Report

T. J. Lee (Troy), Z. Wei (Zhaohui) and R.M. de Wolf (Ronald)

July 2014
De allereerste computerprogrammeur Ada Lovelace (1815 - 1852) : radioprogramma 'Kennis van NU', 18.07.2014, 21-22u. [55:31] News Broadcast

J.J. Vinju (Jurgen)

July 2014
Collision finding with many classical or quantum processors Master Thesis

S. Jeffery (Stacey)

July 2014
From Sensor Data to Audience Feedback: A Web-based Visualisation Tool for Performing Artists Master Thesis

T. Röggla (Thomas)

August 2014
Stream Differential Equations: Specification Formats and Solution Methods Tech Report

H.H. Hansen (Helle), C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

August 2014
A queueing theory approach to Pareto-optimal bags-of-tasks scheduling on clouds In Proceedings

R.D. van der Mei (Rob)

August 2014
Proof Pearl: The KeY to Correct and Stable Sorting Article

Journal of Automated Reasoning, 53(2), 129-139.

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.C. Rot (Jurriaan)

August 2014
Rascal 0.7.0 Software

A. Afroozeh (Ali), H.J.S. Basten (Bas), M.A. Hills (Mark), P.A. Inostroza Valdera (Pablo), A. Izmaylova (Anastasia), P. Klint (Paul), D. Landman (Davy), B. Lisser (Bert), A. van der Ploeg (Auke), R.A. van Rozen (Riemer), et al. J.J. Vinju (Jurgen)

August 2014

Previous

Next