EPSRC Reference: |
GR/K41564/01 |
Title: |
CONSTRUCTIVE APPROXIMATION USING DOMAIN THEORY |
Principal Investigator: |
Edalat, Professor A |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
Computing |
Organisation: |
Imperial College London |
Scheme: |
Standard Research (Pre-FEC) |
Starts: |
17 March 1995 |
Ends: |
16 March 1996 |
Value (£): |
9,997
|
EPSRC Research Topic Classifications: |
Fundamentals of Computing |
|
|
EPSRC Industrial Sector Classifications: |
|
Related Grants: |
|
Panel History: |
|
Summary on Grant Application Form |
To deepen and extend the applications of domain theory in computation beyond semantics.To obtain efficient algorithms in the areas of (a) integration, (b) image compression, (c) statistical physics and (d) neural nets.
|
Key Findings |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
Potential use in non-academic contexts |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
Impacts |
Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
Summary |
|
Date Materialised |
|
|
Sectors submitted by the Researcher |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
Project URL: |
|
Further Information: |
|
Organisation Website: |
http://www.imperial.ac.uk |