Algorithms for Cartographic Visualization
27 August 2012, K. Verbeek. Algorithms for Cartographic Visualization. Faculty of Mathematics and Computer Science, TU/e.
Currently browsing category
past
Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference
5 July 2012, F. Heidarian. Studies on Verification of Wireless Sensor Networks and Abstraction Learning for System Inference. Faculty of Science, Mathematics and Computer Science, RU.
Alignment of Organizational Security Policies: Theory and Practice
23 February 2012, T. Dimkov. Alignment of Organizational Security Policies: Theory and Practice. Faculty of Electrical Engineering, Mathematics & Computer Science, UT.
Towards Provably Secure Efficiently Searchable Encryption
17 February 2012, S. Sedghi. Towards Provably Secure Efficiently Searchable Encryption. Faculty of Electrical Engineering, Mathematics & Computer Science, UT.
Methods and Techniques for the Design and Implementation of Domain-Specific Language
11 January 2012, Z. Hemel. Methods and Techniques for the Design and Implementation of Domain-Specific Languages. Faculty of Electrical Engineering, Mathematics, and Computer Science, TUD.
Optimal Geometric Data Structures
10 January 2012, A. Khosravi. Optimal Geometric Data Structures. Faculty of Mathematics and Computer Science, TU/e.
Inference of Program Properties with Attribute Grammars, Revisited
9 January, 2012, A. Middelkoop. Inference of Program Properties with Attribute Grammars, Revisited. Faculty of Science, UU.
Assessing and Improving the Quality of Model Transformations
9 January 2012, M.F. van Amstel. Assessing and Improving the Quality of Model Transformations. Faculty of Mathematics and Computer Science, TU/e.