A framework for reasoning about inherent parallelism in modern object-oriented languages

With the emergence of multi-core processors into the mainstream, parallel programming is no longer the specialized domain it once was. There is a growing need for systems to allow programmers to more easily reason about data dependencies and inherent parallelism in general purpose programs. Many of these programs are written in popular imperative programming languages like Java and C]. In this thesis I present a system for reasoning about side-effects of evaluation in an abstract and composable manner that is suitable for use by both programmers and automated tools such as compilers. The goal of developing such a system is to both facilitate the automatic exploitation of the inherent parallelism present in imperative programs and to allow programmers to reason about dependencies which may be limiting the parallelism available for exploitation in their applications. Previous work on languages and type systems for parallel computing has tended to focus on providing the programmer with tools to facilitate the manual parallelization of programs; programmers must decide when and where it is safe to employ parallelism without the assistance of the compiler or other automated tools. None of the existing systems combine abstraction and composition with parallelization and correctness checking to produce a framework which helps both programmers and automated tools to reason about inherent parallelism. In this work I present a system for abstractly reasoning about side-effects and data dependencies in modern, imperative, object-oriented languages using a type and effect system based on ideas from Ownership Types. I have developed sufficient conditions for the safe, automated detection and exploitation of a number task, data and loop parallelism patterns in terms of ownership relationships. To validate my work, I have applied my ideas to the C] version 3.0 language to produce a language extension called Zal. I have implemented a compiler for the Zal language as an extension of the GPC] research compiler as a proof of concept of my system. I have used it to parallelize a number of real-world applications to demonstrate the feasibility of my proposed approach. In addition to this empirical validation, I present an argument for the correctness of the type system and language semantics I have proposed as well as sketches of proofs for the correctness of the sufficient conditions for parallelization proposed.

The African Institute for Mathematical Sciences

Its mission is to promote Mathematics and Science in Africa and to provide a focal point for Mathematics university training in Africa. It offers scholarships for up to 50 students to come and study for a period of nine months. Of the 50 students, about 15 positions are reserved for females. In the 2006/2007 intake there were over 250 applicants. The students are housed and fed and their return travel from their home town is fully funded. Lecturers also stay at AIMS and share their meals with the students, so that a rapport quickly develops. The students are away from their families and friends for nine months and are absolutely committed to the discipline of Mathematics. When they first arrive, some of them have little ability in English but since all tuition is in English they quickly learn. Some find the transitions difficult but they all support one another and at the end of their time their English skills are very good. The students do a series of subjects that last for about three weeks each, consisting of 30 contact hours, as well as a thesis/project. Each course has a number of assignments associated with it and these get evaluated. AIMS has seven or eight teaching assistants who help with the tutorials, marking, advice, and who are a vital component of AIMS.

Domestic and international innovation partnerships : do they matter for innovation outcomes of South African firms?

This paper studies the impact of the diversity of domestic and international innovation partnerships on the innovation outcomes of South African firms. A number of competing hypotheses are formulated and tested empirically using a sample of South African firms in manufacturing and services by applying Ordinary Least Squares regression analyses. Results show that having an innovation partnership, particularly an international partnership, is beneficial to innovation outcomes. However, it also emerges that too diverse a set of international partnerships is detrimental to innovation outcomes. The paper concludes with a discussion and a number of proposals for future research.

Futures languages in Taiwan

Taiwan is a rapidly changing society, facing many challenges. In this state of flux, it is important to step back and see the big picture. The NewFutures 2000 conference, which commemorated fifty years of the of Tamkang University, in TamShui (the northernmost tip), Taiwan (Republic of China) and was held on 5–7 November 2000, gave Taiwanese an opportunity to gain just such a perspective. The ostensible aim of the conference was to explore ‘transformations in education, culture and technology’. But numerous perspectives and academic approaches were explored; predictions, normative visions, probable futures, alternative futures, ethical futures, epistemological re-constructions, studies and deconstruction’s of images of the future, myth and worldview—all received attention, sometimes overwhelming the participants with contradictory and overbearing ideas. [introduction]

Information accountability with policy languages for e-Health

ICT is becoming a prominent part of healthcare delivery but brings with it information privacy concerns for patients and competing concerns by the caregivers. A proper balance between these issues must be established in order to fully utilise ICT capabilities in healthcare. Information accountability is a fairly new concept to computer science which focuses on fair use of information. In this paper we investigate the different issues that need to be addressed when applying information accountability principles to manage healthcare information. We briefly introduce an information accountability framework for handling electronic health records (eHR). We focus more on digital rights management by considering data in eHRs as digital assets and how we can represent privacy policies and data usage policies as these are key factors in accountability systems.

African Burkitt Lymphoma: Age-Specific Risk and Correlations with Malaria Biomarkers

African Burkitt lymphoma is an aggressive B-cell, non-Hodgkin lymphoma linked to Plasmodium falciparum malaria. Malaria biomarkers related to onset of African Burkitt lymphoma are unknown. We correlated age-specific patterns of 2,602 cases of African Burkitt lymphoma (60% male, mean ± SD age = 7.1 ± 2.9 years) from Uganda, Ghana, and Tanzania with malaria biomarkers published from these countries. Age-specific patterns of this disease and mean multiplicity of P. falciparum malaria parasites, defined as the average number of distinct genotypes per positive blood sample based on the merozoite surface protein-2 assessed by polymerase chain reaction, were correlated and both peaked between 5 and 9 years. This pattern, which was strong and consistent across regions, contrasted parasite prevalence, which peaked at 2 years and decreased slightly, and geometric mean parasite density, which peaked between 2 and 3 years and decreased sharply. Our findings suggest that concurrent infection with multiple malaria genotypes may be related to onset of African Burkitt lymphoma.

Drama and languages education : authentic assessment through process drama

In this chapter I explore the ways process drama can enrich and enliven the assessment regime of a middle school beginner language program. The chapter draws on five months’ language teaching which I did to collect data during my doctoral research. I taught a secondary co-educational class of 12-13 year olds (first year secondary school) for their German lessons while the teacher who had invited me in observed the lessons. Throughout the project there was an emphasis on student participation through questionnaire, discussion and interview...

Unsung heroes : African Americans and entrepreneurship

Prior to Emancipation, slave and free African Americans (A As) started and ran successful businesses. Events of the last century, such as the Great Migration north and the modernization of the American industry, created traditionally lower AA participation in entrepreneurship, and much of the history of successful AA entrepreneurs has been lost. Only now is AA participation in entrepreneurship returning to previously high levels. In this entry we review current literature on AA entrepreneurship and attempt to answer questions like "What is the history of AA entrepreneurship?" "What are the barriers?" "What interventions were attempted?" "What are the individual and collective AA success stories?" and “What is the future of AA entrepreneurship?"

Languages of Communication : Indigenous language and/or English?

My interest in producing this paper on Indigenous languages was borne out of conversations with and learnings from community members in the Torres Straits and those connected to the ‘Dream Circle’. Nakata (2003, p. 12) laments the situation whereby ‘teachers are transitionary and take their hard-earned knowledge with them when they leave’. I am thus responding to the call to add to the conversation in a productive albeit culturally loaded way. To re-iterate, I am neither Indigenous nor am I experienced in teaching and learning in these contexts. As problematic as these two points are, I am in many ways typical of the raft of inexperienced white Australian teachers assigned to positions in school contexts where Indigenous students are enrolled or in mainstream contexts with substantial populations of Indigenous students. By penning this article, it is neither my intention to contribute to the silencing of Indigenous educators or Indigenous communities. My intention is to articulate my teacherly reflections as they apply to the topic under discussion. The remainder of this paper is presented in three sections. The next section provides a brief overview of the number of Indigenous people and Indigenous languages in Australia and the role of English as a language of communication. The section which follows draws on theorisations from second/additional language acquisition to overview three different schools of thought about the consequences of English in the lives of Indigenous Australians. The paper concludes by considering the tensions for inexperienced white Australian teachers caught up in the fray.

Understanding the mechanism behind invasion of African lovegrass

African lovegrass (Eragrostis curvula) is a C4 perennial grass, native to southern Africa, that was accidentally introduced into Australia in the late 1900s as a contaminant of pasture seed. Its utility for pasture improvement and soil conservation was explored because of its recognised ability to grow in areas of low rainfall and on nutrient-poor sandy loams. Several different agronomic types have now been intentionally introduced across Australia. African lovegrass is now found in all Australian states and territories. It is a declared weed in 33 council areas of New South Wales, a declared pest plant in the ACT and Tasmania and a Regionally Prohibited Weed in 5 out of 11 regions in Victoria. Victoria has also placed it in the very serious threat category (Carr et al. 1992). In Queensland, it has yet to be declared except under local law in the Eidsvold shire (Leigh and Walton, in press).

Malay Kingship in Kedah : Religion, Trade, and Society

The book probes and examines traditional sources of royal power and control, as well as indigenous socio-political systems in the Malay world. It is focused on the north-western Malaysian Sultanate of Kedah which is acknowledged as the oldest unbroken independent kingship line in the ‘Malay and Islamic world’ with 1,000 years of history. Little scholarly attention has been paid to its pre-modern history, society, religion, system of government and unique geographic situation, potentially controlling both land and sea lines of communication into the remainder of Southeast Asia. It will thus provide the first comprehensive treatment in English, or other languages, on Kedah’s pre-modern and nineteenth century historiography and can provide a foundation for comparative studies of the various Malay states which is presently lacking. The proposed book also sheds much needed light on a range of important topics in Malay history including: Kedah and the northern Melaka Straits history, colonial expansion and rivalry, Southeast Asian history and politics, interregional migration and the influence of the sea peoples or orang laut, traditional Malay socio-political and economic life, Islamic influences and the course of Thai-Malay relations. The book attempts to offer a new understanding, not only of Kedah, but of the political and cultural development of the entire Malay world and of its relationships with the broader forces in both its continental and maritime settings. It argues that Kedah does not seem to follow, and in fact, often seems to contradict what has been commonly been accepted as the “typical model” of the traditional Malay state. Thus it concludes that the ruling dynasty has historically exploited a wide range of unique environmental conditions, local traditions, global spiritual trends and economic forces to preserve and strengthen its political position. The scope and theme of book The Kedah Sultanate is the oldest unbroken independent kingship lines in the “Malay world” with 1,000 years of history, and arguably one of the oldest in the Islamic world. In this study I examine key geopolitical and spiritual attributes of Malay kingship that have traditionally cemented the ruler, the peoples, and the environment. Brief description of the primary audience for the book: There is little written in English or Malay on Kedah’s pre twentieth century history. The available sources only look at certain aspects of Kedah’s history, are outdated or are confined to a specific period often outside the scope of the book. It is therefore anticipated that the readership and market for the book includes: • Scholars of Southeast Asian history, Islam, kingship, trade. • Academics & Historians (including: Asian, Thai history, Islamic, Maritime, Persian, South Asian, Southeast Asian and Colonial) • Libraries • Students, particularly those in Malaysia (especially the states of Kedah, Perlis and Penang), Thailand and Singapore. • Universities • Scholars and students in Political Science & International Relations