is an authentic record of my work carried out under the supervision of Prof. N. Kalyanasundaram and Prof. Bhudev Sharma. I have not submitted this work elsewhere for any other degree or diploma. I am fully responsible for the contents of my Ph.D. Thesis. is a bonafide record of her original work carried out under our supervision. This work has not been submitted elsewhere for any other degree o...

Shape analysis deals with the synthesis of invariants for programs manipulating heap-allocated data structures. Explicit shape analysis algorithms do not scale very well. This work proposes a framework for symbolic shape analysis that addresses this problem. Our contribution is a framework that allows to abstract programs with heap-allocated data symbolically by Boolean programs. For this purpo...

This study investigated students' actual use of mobile technology (MT) as a learning tool and identified their perceptions towards the effects of using MT on the learning process. It also examined the impact of students' academic major on their use and perceived effects of MT. The relationship between MT use and its effect on learning was explored as well. To this end, a quantitative study of p...

Evidence is mounting from a number of studies undertaken with groups of learners of all ages and all abilities that there is a particular factor common to successful language learners: strategic competence involving the use of appropriate learning strategies. The growing body of research into this area has not, however, had much to say so far about the special situation of those learning a lang...

Data and Local Reasoning Thomas Dinsdale-Young Submitted in part fulfilment of the requirements for the degree of Doctor of Philosophy in Computing of the University of London and the Diploma of Imperial College, November 2010

The isotopic composition of methyl bromide (CH3Br) has been suggested to be a potentially useful tracer for constraining the global CH3Br budget. In order to determine the carbon isotopic composition of CH3Br emitted from the most significant anthropogenic application (pre-plant fumigation) we directly measured the δ13C of CH3Br released during commercial fumigation. We also measured the isotop...

................................................................................................................. 10 CHAPTER ONE. INTRODUCTION............................................................................. 11 Overview .................................................................................................................... 11 Digital Diploma Mills – Distance Education at...

Web Directories have been historically collected and updated by hand but this method is unsatisfactory for three reasons: A team of Web Surfers maintaining such a database should face the gigantism of the World network. Its size would thus be incompatible with the economic constraints of startups. Even the biggest team would not be able to trace all the changes on the Web and to keep the databa...

Bachelor of Science in Electrical Engineering Computers (1986), University of Southern California, Los Angeles, California, USA Master of Science in Industrial and Systems Engineering (1989), University of Southern California Los Angeles, California, USA Masters of Business Administration (1989) University of Southern California Los Angeles, California, USA Graduate Diploma in Applied Finance a...