Now showing items 1-10 of 21
Using temporal logic to analyse temporal logic: A hierarchical approach based on intervals
(Oxford University Press, 2007-04-01)
Global analysis of Envisat RA-2 burst mode echo sequences
(IEEE Transactions on Geoscience and Remote Sensing, 2007-09-01)
Investigating Ahuja-Orlin's large neighbourhood search approach for examination timetabling
(Springer Verlag, 2007-04-01)
Guided construction search metaheuristics for the capacitated p-median problem with single source constraint
(Palgrave Macmillian, 2007-01-01)
Computing with words and its relationships with fuzzistics
The shear modulus of the human vocal fold, preliminary results from 20 larynxes.
(Springer Verlag, 2007-01-01)
Near-global validation of the SRTM DEM using satellite radar altimetry
Slicing as a program transformation.