Centrum Wiskunde & Informatica

Afscheid Carolien van der Pol, 22 en 30.11.2001 : CD-ROM uitgave Other

November 2001
The Image Blender; A SIMD coprocessor architecture for pixel based image synthesis Tech Report

A.A.M. Kuijk (Fons)

December 2001
Focus points and convergent process operators: a proof strategy for protocol verification Article

Journal of Logic and Algebraic Programming, 49(1-2), 31-60.

J.F. Groote (Jan Friso) and J.G. Springintveld

December 2001
Algebraic Multigrid for Two-Dimensional Time-Harmonic Magnetic Field Computations Dissertation

D.J.P. Lahaye (Domenico)

December 2001
Een dag zonder fouten is een dag zonder wiskunde : rede uitgesproken t.g.v. het ambt van bijzonder hoogleraar Numerieke Wiskunde en Informatica, UvA, 07.12.2001 Inaugural Lecture

J.G. Verwer (Jan)

December 2001
A signal-recovery system: asymptotic properties and construction of an infinite-volume process Article

Stochastic Processes and their Applications, 96(2), 177-190.

J. van den Berg (Rob) and B. Tóth

December 2001
Benoeming Jan Verwer tot Bijzonder hoogleraar in de numerieke wiskunde en informatica aan de UvA, 07.12.2001 : uitnodiging Other

December 2001
Logic for Social Software Dissertation

M. Pauly (Marc)

December 2001

Previous

Next