Research funding
Selected current funding secured by QUADS members:
- Complete and Efficient Checks for Branching-Time Abstractions
- Efficient Specification Pattern Library for Model Validation
- Enabling the Global Discovery Network
- Grid-Oriented Storage (GOS): Next Generation Data Storage System Architecture for the Grid Computing Era
- PLATFORM: Discovery Sciences Research Group: Applying Real-time Data Mining to large Scale Scientific Applications
- Real-Time Text Mining For The Biomedical Literature: A Collaboration Between DiscoveryNet and myGrid
- Symmetry & Integer Programming
- Uncertainty and Risk Optimisation Algorithms for Food Processing
