Relating and Visualising CSP, VCR and Structural Traces

As well as being a useful tool for formal reasoning, a trace can provide insight into a concurrent program's behaviour, especially for the purposes of run-time analysis and debugging. Long-running programs tend to produce large traces which can be difficult to comprehend and visualise. We examine the relationship between three types of traces (CSP, VCR and Structural), establish an ordering and describe methods for conversion between the trace types. Structural traces preserve the structure of composition and reveal the repetition of individual processes, and are thus well-suited to visualisation. We introduce the Starving Philosophers to motivate the value of structural traces for reasoning about behaviour not easily predicted from a program's specification. A remaining challenge is to integrate structural traces into a more formal setting, such as the Unifying Theories of Programming – however, structural traces do provide a useful framework for analysing large systems

Problem of national identity of the middle class in Bangladesh and state-satellite television

This thesis is about the construction and reconstruction of the national identities in Bangladesh, from the Pakistan era to the birth of Bangladesh, to present time. In the light of this political framework, I am looking at the ways in which the state, through the control of the medium of television sought to shift a more syncretic and secular nationalism to a more Islamicist one called Bangladeshi nationalism. I am also looking at Satellite television and the way in which this ruptures the national identities. The study employs the qualitative method to offer an elaborate description of the problem of this national identity by exploring the role of TV officials as cultural artists and the political brokers, as well as the state, in utilising the medium of television for inculcating the certain kinds of identities. The responses of the various professional groups as the middle class viewers of the state television and satellite television in this context has been examined, regarding the question of national identity. The qualitative method has been employed in this work to obtain an in-depth analysis of the problem of nationalism and its association with the history, culture and religion of the middle class in Bangladesh. Through such a procedure this work contributes in demonstrating the fragmentation, multiplicity and plurality of the national identities of the middle class of Dhaka City who find the narrative of the history of the Liberation War and cultural heritage in anomalous ways in various televised programmes under the different political constituencies of Bangladesh

Problem of national identity of the middle class in Bangladesh and state-satellite television

This thesis is about the construction and reconstruction of the national identities in Bangladesh, from the Pakistan era to the birth of Bangladesh, to present time. In the light of this political framework, I am looking at the ways in which the state, through the control of the medium of television sought to shift a more syncretic and secular nationalism to a more Islamicist one called Bangladeshi nationalism. I am also looking at Satellite television and the way in which this ruptures the national identities. The study employs the qualitative method to offer an elaborate description of the problem of this national identity by exploring the role of TV officials as cultural artists and the political brokers, as well as the state, in utilising the medium of television for inculcating the certain kinds of identities. The responses of the various professional groups as the middle class viewers of the state television and satellite television in this context has been examined, regarding the question of national identity. The qualitative method has been employed in this work to obtain an in-depth analysis of the problem of nationalism and its association with the history, culture and religion of the middle class in Bangladesh. Through such a procedure this work contributes in demonstrating the fragmentation, multiplicity and plurality of the national identities of the middle class of Dhaka City who find the narrative of the history of the Liberation War and cultural heritage in anomalous ways in various televised programmes under the different political constituencies of Bangladesh.EThOS - Electronic Theses Online ServiceUniversity of DhakaOverseas Research Students Awards Scheme (ORSAS)Charles Wallace Bangladesh Trust (CWBT)GBUnited Kingdo

Monitoring the conformance of planning decisions to urban land use policies using Information Extraction and GeoVisualisation

In this thesis two existing computer science techniques are used to solve a specific problem in the field of ‘spatial planning’. The problem to be addressed is monitoring the conformance of planning decisions to urban land use policies. ‘Monitoring conformance’ refers to adherence to development plans and must be distinguished from monitoring performance, which looks at whether or not the plan met its objectives. The two computing techniques applied to the problem are Information Extraction (IE) and GeoVisualisation (GV).IE is an approach to the automated processing of text. This thesis demonstrates that the restricted subset of language used in the short texts present in planning applications makes them ideally suited to IE methods.GV is an approach to the interactive analysis of geographical data. Its use was motivated by two factors. Firstly, it is necessary to avoid the assumption of a simple relationship between policy and implementation – many different policies may apply to a particular decision. These may be weighted differently and are open to interpretation. Hence, statistical conclusions, such as ‘there is 80% conformance to policy’, are never drawn. Instead the visualisation leaves the interpretation of the results open to the user. It is through the details-on-demand functionality of visualisation tools that this link to the user’s own background knowledge is made. Secondly, the prototype user interface developed exemplifies the use of GV to explore geo-temporal patterns in the data. This was motivated by the knowledge that policies change over time.Evaluation work is conducted which shows that policy-makers can see reflections of the conformance of decision making to urban land use policies in the GV tool. The computational techniques used have been brought together and applied to the domain in a novel way, which assists in addressing the problem identified. A number of more theoretical questions are also considered along the way

Queensland University of Technology: Handbook 2012

The Queensland University of Technology handbook gives an outline of the faculties and subject offerings available that were offered by QUT