Centrum Wiskunde & Informatica

Nuovo DRM Paradiso: formal specification and verification of a DRM Tech Report

H.L. Jonker (Hugo), S.K. Nair and M.T. Dashti (Mohammad)

January 2006
Optimal semicomputable approximations to reachable and invariant sets Tech Report

P.J. Collins (Pieter)

January 2006
Conservation of wave action under multisymplectic discretizations Tech Report

J.E. Frank (Jason)

January 2006
A second-order, unconditionally positive, mass-conserving integration scheme for biochemical systems. Tech Report

F.J. Bruggeman (Frank), H. Burchard, B. Kooi and B.P. Sommeijer (Ben)

January 2006
Context Aware Guidance for Multimedia Authoring: Harmonizing Domain and Discourse Knowledge Article

ACM Multimedia Systems Journal, 11(3), 226-235.

K. Falkovych (Kateryna) and F.-M. Nack (Frank)

January 2006
Multimedia Annotations on the Semantic Web Article

IEEE MultiMedia, 13(1), 86-90.

G. Stamou, J.R. van Ossenbruggen (Jacco), J.Z. Pan (Jeff) and G. Schreiber (Guus)

January 2006
DynTex: Dynamic Texture Database Magazine Article

M.J. Huiskes (Mark), R. Peteri (Renaud) and S. Fazekas (Sándor)

January 2006
Linear PDEs and numerical methods that preserve a multi-symplectic conservation law Article

SIAM Journal on Scientific Computing, 260-277.

J.E. Frank (Jason), B.E. Moore and S. Reich

January 2006

Previous

Next