Centrum Wiskunde & Informatica

Visible and Infrared Image Registration Employing Line-Based Geometric Analysis In Proceedings

J. Han (Jungong ), E.J.E.M. Pauwels (Eric) and P.M. de Zeeuw (Paul)

January 2012
A modal logic for abstract delta modeling. In Proceedings

F.S. de Boer (Frank), M. Helvensteijn (Michiel) and J. Winter (Joost)

January 2012
Automated Verification of Executable UML Models In Proceedings

H.H. Hansen (Helle), J. Ketema, S.P. Luttik (Bas), M.R. Mousavi, J.C. van de Pol (Jaco) and O. Marchi dos Santos (Osmar)

January 2012
Domain-Specific Optimization in Digital Forensics In Proceedings

J. van den Bos (Jeroen) and T. van der Storm (Tijs)

January 2012
Vakantiecursus 2012 - De exacte benadering Book

institution Platform Wiskunde Nederland

January 2012
Decidability Problems for Actor Systems. In Proceedings

F.S. de Boer (Frank), C. Laneve (Cosimo) and G. Zavattaro (Gianluigi)

January 2012
Investigation of NOx production and removal at a low NO level concentration in a pulsed corona reactors In Proceedings

E.A. Filimonova, F.J.C.M. Beckers, W.F.L.M. Hoeben, C. Li (Chao), A.J.M. Pemen, E.J.M. van Heesch and U. Ebert (Ute)

January 2012
A numerical layer resolving method for the flow over a curved surface Article

Applied Mathematics and Computation, 10656-10668.

A.R. Ansari, B. Hossain, B. Koren (Barry) and G.I. Shishkin (Gregori)

January 2012

Previous

Next