CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings
F. Dechesne (Francien), M.R. Mousavi and S.-M. Orzan (Simona-Mihaela)
January 2007 -
Development of the discrete adjoint for a 3D unstructured Euler solver In Proceedings
G. Carpentieri (Giampietro), B. Koren (Barry) and M.J.L. van Tooren
January 2007 -
A novel physical model and computational method for non-isentropic, compressible two-fluid flow In Proceedings
January 2007
-
Prize winning two-fluid flow method, Best MSc work 2006 Article
Leonardo Times, 44-45.January 2007 -
An improved front tracking method for the Euler equations Article
Journal of Computational Physics, 224(2), 712-728.January 2007
-
Modifying a sports car's aerodynamics while preserving its aesthetic appearance, Spyker's C8 Spyder Article
Leonardo Times, 12-13.D. van der Werff, G. Adriaensen, B. Koren (Barry) and M.J.L. van Tooren
January 2007 -
Book review of "Alfred Tarski: Life and Logic", by A. Burdman Feferman and S. Feferman Article
Mathematical Intelligencer, 29(2), 78-80.January 2007 -
January 2007