Centrum Wiskunde & Informatica

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

R.M. de Wolf (Ronald)

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

J.J. Vinju (Jurgen)

January 2013
OSSMETER WP3: Source Code Quality & Activity Analysis Lecture

J.J. Vinju (Jurgen)

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

R.M. de Wolf (Ronald)

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

J.J. Vinju (Jurgen)

January 2013
Language learning from positive evidence, reconsidered: A simplicity-based approach Article

Topics in Cognitive Science, 5(1), 35-55.

A.S. Hsu, N. Chater (Nick) and P.M.B. Vitányi (Paul)

January 2013
Mixed Volume and Distance Geometry Techniques for Counting Euclidean Embeddings of Rigid Graphs Book Chapter

I.Z. Emiris, E.P. Tsigaridas and A. Varvitsiotis (Antonios)

January 2013
Optimal control of end-user energy storage Article

IEEE Transactions on Smart Grid, 4(2), 789-797.

P.M. van de Ven (Peter), N. Hegde, L. Massoulie and T. Salonidis

January 2013

Previous

Next