heuristic programming
53 projects
FP4Individual fellowship1998–1999France
N-level correlations in the spectrum of a laplacian
2 partners · 2 countries
FP4Individual fellowship1997–1999Austria
Development of automatic program comprehension techniques for integration into parallel compiler technology
2 partners · 2 countries
FP4Individual fellowship1997–1999United Kingdom
Application of the theory of random sets towards the development of image analysis procedures
2 partners · 2 countries
FP4Individual fellowship1996–1998France
The errorterm in the abc conjecture
2 partners · 2 countries
FP4Individual fellowship1996–1997United Kingdom
Efficient deduction in first order logic with equality by combining semantictableaux and integer programming
2 partners · 2 countries