The Chambo restoration strategic plan

The Chambo (Oreochromis karongae, O. squamipinnis and O. lidole) fisheries are essential to the food security of the majority of Malawians and a lifeline for rural and urban economies. The chambo fisheries, however, have collapsed and urgent restoration is required. Successful restoration of the important chambo fisheries demands a careful analysis of the problem and formulation of a strategic plan to implement relevant activities that will result in effective interventions in the fisheries. These proceedings give information on the process of developing a strategic plan for the restoration of the chambo fisheries. The papers contained in these proceedings cover topics ranging from governance, policy, biology, ecology and socio-economics and, therefore, inform the reader of the scope of knowledge on the chambo, the socio-economic and livelihoods context within which the people exploiting the resource operate, and past constraints to the management of the chambo fisheries. The proceedings also contain recommendations on how to overcome the problems and a strategic plan for the restoration of the fisheries. It is hoped that the proceedings will emphasize to researchers in the natural and social sciences and development practitioners that a multidisciplinary approach is needed that puts the people utilizing the resource at the center of all activities involved if the chambo fisheries are to be successfully restoredFisheries, Fish culture, Fishery management, Resource conservation, Resource management, Malawi, Oreochromis karongae, Oreochromis squamipinnis, Oreochromis lidole

Shift-Symmetric Configurations in Two-Dimensional Cellular Automata: Irreversibility, Insolvability, and Enumeration

The search for symmetry as an unusual yet profoundly appealing phenomenon, and the origin of regular, repeating configuration patterns have long been a central focus of complexity science and physics. To better grasp and understand symmetry of configurations in decentralized toroidal architectures, we employ group-theoretic methods, which allow us to identify and enumerate these inputs, and argue about irreversible system behaviors with undesired effects on many computational problems. The concept of so-called configuration shift-symmetry is applied to two-dimensional cellular automata as an ideal model of computation. Regardless of the transition function, the results show the universal insolvability of crucial distributed tasks, such as leader election, pattern recognition, hashing, and encryption. By using compact enumeration formulas and bounding the number of shift-symmetric configurations for a given lattice size, we efficiently calculate the probability of a configuration being shift-symmetric for a uniform or density-uniform distribution. Further, we devise an algorithm detecting the presence of shift-symmetry in a configuration. Given the resource constraints, the enumeration and probability formulas can directly help to lower the minimal expected error and provide recommendations for system's size and initialization. Besides cellular automata, the shift-symmetry analysis can be used to study the non-linear behavior in various synchronous rule-based systems that include inference engines, Boolean networks, neural networks, and systolic arrays.Comment: 22 pages, 9 figures, 2 appendice

Language policy and orthographic harmonization across linguistic, ethnic and national boundaries in Southern Africa

Drawing on online and daily newspapers, speakers' language and writing practices, official government documents and prescribed spelling systems in Southern Africa, the paper explores the challenges and possibilities of orthographic reforms allowing for mobility across language clusters, ethnicity, regional and national borders. I argue that this entails a different theorisation of language, and for orthographies that account for the translocations and diasporic nature of late modern African identities and lifestyles. I suggest an ideological shift from prescriptivism to practice-orientated approaches to harmonisation in which orthographies are based on descriptions of observable writing practices in the mobile linguistic universe. The argument for orthographic reforms is counterbalanced with an expose on current language policies which appear designed for an increasing rare monoglot 'standard' speaker, who speaks only a 'tribal' language. The implications of the philosophical challenges this poses for linguists, language planners and policy makers are thereafter discussed.IS

Implementing Groundness Analysis with Definite Boolean Functions

The domain of definite Boolean functions, Def, can be used to express the groundness of, and trace grounding dependencies between, program variables in (constraint) logic programs. In this paper, previously unexploited computational properties of Def are utilised to develop an efficient and succinct groundness analyser that can be coded in Prolog. In particular, entailment checking is used to prevent unnecessary least upper bound calculations. It is also demonstrated that join can be defined in terms of other operations, thereby eliminating code and removing the need for preprocessing formulae to a normal form. This saves space and time. Furthermore, the join can be adapted to straightforwardly implement the downward closure operator that arises in set sharing analyses. Experimental results indicate that the new Def implementation gives favourable results in comparison with BDD-based groundness analyses

An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered

An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

Monitoring of Early Warning Indicators for HIV Drug Resistance in Antiretroviral Therapy Clinics in Zimbabwe

Monitoring human immunodeficiency virus drug resistance (HIVDR) early warning indicators (EWIs) can help national antiretroviral treatment (ART) programs to identify clinic factors associated with HIVDR emergence and provide evidence to support national program and clinic-level adjustments, if necessary. World Health Organization-recommended HIVDR EWIs were monitored in Zimbabwe using routinely available data at selected ART clinics between 2007 and 2009. As Zimbabwe's national ART coverage increases, improved ART information systems are required to strengthen routine national ART monitoring and evaluation and facilitate scale-up of HIVDR EWI monitoring. Attention should be paid to minimizing loss to follow-up, supporting adherence, and ensuring clinic-level drug supply continuit

Abstract verification and debugging of constraint logic programs

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3],[10],[7]

Critical perspectives on language planning and policy in Africa: Accounting for the notion of multilingualism

This paper draws on the notion of multilingualism as social practice (Heller 2007) to critique postcolonial language planning and policies in Africa. Drawing on illustrations from Ethnologue's (2009) languages of Africa, studies on language planning and policy in Africa, and recent developments in harmonisation of cross-border language research (Prah 1998; Banda 2008), the paper argues that there are distortions in the conceptualisation of multilingualism and what it entails in Africa's socio-cultural contexts. In turn, the paper faults monolingual biases in the notions and models used to describe and promote multilingualism in Africa, which mirror descriptions of the language situation in Western socio-cultural contexts. The paper argues for cross-linguistic and cross-border status and corpus planning to take advantage of multilingualism as a linguistic resource for socioeconomic development in Africa. The paper concludes by highlighting the prospects for linguisticrepertoire-based multilingual models for language planning and policy in Africa.Keywords: multilingualism, language policy, linguistic repertoire, urbanization, postcolonia