Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Regeneration and Transformation of Millets

Millets are versatile in tolerating to diverse climatic and soil conditions such as poor soil fertility and moisture deficit. Establishing optimum regeneration method for each millet type and ecotype is a pre-requisite prior to embarking on plant transformation as successes in plant transformation is largely dependent on the efficiency of regeneration. Various studies made to identify optimum regeneration and transformation methods as well as prospects of applying advanced techniques to these vital but under-studied crops of developing world are discussed.

Efficiency of In Vitro Regeneration is Dependent on the Genotype and Size of Explant in Tef [Eragrostis tef (Zucc.) Trotter]

Tef [Eragrostis tef (Zucc.) Trotter] is the major cereal crop in the Horn of Africa particularly in Ethiopia where it is staple food for about 50 million people. Its resilience to extreme environmental conditions and high in nutrition makes tef the preferred crop among both farmers and consumers. The efficiency of in vitro regeneration plays significant role in the improvement of crops. We investigated the efficiency of regeneration in 18 tef genotypes (15 landraces and three improved varieties) using three sizes of immature embryos (small, intermediate and large) as an explant. In vitro regeneration was significantly affected by the genotype and the size of the immature embryo used as a donor. Intermediate-size immature embryos which were 101-350 µm long led to the highest percentage of regeneration. Interestingly, the three improved varieties presented very low regeneration efficiencies whereas the landrace Manyi resulted in consistently superior percentage of in vitro regeneration from all three sizes of explants. The findings of this work provide useful insight into the tef germplasm amenable for the regeneration technique which has direct application in techniques such as transformation. It also signifies the importance of using tef landraces instead of improved varieties for in vitro regeneration.

Transformation of the Rice Marketing System and Myanmar's Transition to a Market Economy

Creating a rice marketing system has been one of the central policy issues in Myanmar's move to a market economy since the end of the 1980s. Two liberalizations of rice marketing were implemented in 1987 and 2003. This paper examines the essential aspects of the liberalizations and the subsequent transformation of Myanmar's rice marketing sector. It attempts to bring into clearer focus the rationale of the government's rice marketing reforms which is to maintain a stable supply of rice at a low price to consumers. Under this rationale, however, the state rice marketing sector continued to lose efficiency while the private sector was allowed to develop on condition that it did not jeopardize the rationale of stable supply at low price. The paper concludes that the prospect for the future development of the private rice marketing sector is dim since a change in the rice market's rationale is unlikely. Private rice exporting is unlikely to be permitted, while the domestic market is approaching the saturation point. Thus, there is little momentum for the private rice sector to undertake any substantial expansion of investment.

Transformation of a Woodworking and Furniture Industrial District in Kampala, Uganda: Dichotomous Development of SME Cluster and Large Firm Sector

Clustering small manufacturers are believed to attain various types of collective efficiency. A woodworking and furniture SME district in Uganda has created a learning environment for artisans to start up their own workshops. In the district workers can access various managerial information including business skills and input materials easily than outside. Hence it attracted new entrants to follow and district growth continued. On contrary large firms are locating separately and dispersedly from SME district and have a negative image to SME. This dichotomy has been created partly through spatial division of two sectors and partly through policy favouritism toward large firms.

Bridge transformation for continuation call-based tabled execution.

The advantages of tabled evaluation regarding program termination and reduction of complexity are well known —as are the significant implementation, portability, and maintenance efforts that some proposals (especially those based on suspension) require. This implementation effort is reduced by program transformation-based continuation call techniques, at some efficiency cost. However, the traditional formulation of this proposal by Ramesh and Cheng limits the interleaving of tabled and non-tabled predicates and thus cannot be used as-is for arbitrary programs. In this paper we present a complete translation for the continuation call technique which, using the runtime support needed for the traditional proposal, solves these problems and makes it possible to execute arbitrary tabled programs. We present performance results which show that CCall offers a useful tradeoff that can be competitive with state-of-the-art implementations.

Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.

The concept of independence has been recently generalized to the constraint logic programming (CLP) paradigm. Also, several abstract domains specifically designed for CLP languages, and whose information can be used to detect the generalized independence conditions, have been recently defined. As a result we are now in a position where automatic parallelization of CLP programs is feasible. In this paper we study the task of automatically parallelizing CLP programs based on such analyses, by transforming them to explicitly concurrent programs in our parallel CC platform (CIAO) as well as to AKL. We describe the analysis and transformation process, and study its efficiency, accuracy, and effectiveness in program parallelization. The information gathered by the analyzers is evaluated not only in terms of its accuracy, i.e. its ability to determine the actual dependencies among the program variables, but also of its effectiveness, measured in terms of code reduction in the resulting parallelized programs. Given that only a few abstract domains have been already defined for CLP, and that none of them were specifically designed for dependency detection, the aim of the evaluation is not only to asses the effectiveness of the available domains, but also to study what additional information it would be desirable to infer, and what domains would be appropriate for further improving the parallelization process.

“Agrolistic” transformation of plant cells: Integration of T-strands generated in planta

We describe a novel plant transformation technique, termed “agrolistic,” that combines the advantages of the Agrobacterium transformation system with the high efficiency of biolistic DNA delivery. Agrolistic transformation allows integration of the gene of interest without undesired vector sequence. The virulence genes virD1 and virD2 from Agrobacterium tumefaciens that are required in bacteria for excision of T-strands from the tumor-inducing plasmid were placed under the control of the CaMV35S promoter and codelivered with a target plasmid containing border sequences flanking the gene of interest. Transient expression assays in tobacco and in maize cells indicated that vir gene products caused strand-specific nicking in planta at the right border sequence, similar to VirD1/VirD2-catalyzed T-strand excision observed in Agrobacterium. Agrolistically transformed tobacco calli were obtained after codelivery of virD1 and virD2 genes together with a selectable marker flanked by border sequences. Some inserts exhibited right junctions with plant DNA that corresponded precisely to the sequence expected for T-DNA (portion of the tumor-inducing plasmid that is transferred to plant cells) insertion events. We designate these as “agrolistic” inserts, as distinguished from “biolistic” inserts. Both types of inserts were found in some transformed lines. The frequency of agrolistic inserts was 20% that of biolistic inserts.

Complementation of plant mutants with large genomic DNA fragments by a transformation-competent artificial chromosome vector accelerates positional cloning

To accelerate gene isolation from plants by positional cloning, vector systems suitable for both chromosome walking and genetic complementation are highly desirable. Therefore, we developed a transformation-competent artificial chromosome (TAC) vector, pYLTAC7, that can accept and maintain large genomic DNA fragments stably in both Escherichia coli and Agrobacterium tumefaciens. Furthermore, it has the cis sequences required for Agrobacterium-mediated gene transfer into plants. We cloned large genomic DNA fragments of Arabidopsis thaliana into the vector and showed that most of the DNA fragments were maintained stably. Several TAC clones carrying 40- to 80-kb genomic DNA fragments were transferred back into Arabidopsis with high efficiency and shown to be inherited faithfully among the progeny. Furthermore, we demonstrated the practical utility of this vector system for positional cloning in Arabidopsis. A TAC contig was constructed in the region of the SGR1 locus, and individual clones with ca. 80-kb inserts were tested for their ability to complement the gravitropic defects of a homozygous mutant line. Successful complementation enabled the physical location of SGR1 to be delimited with high precision and confidence.

Mycoplasmas and oncogenesis: persistent infection and multistage malignant transformation.

Oncogenic potential of human mycoplasmas was studied using cultured mouse embryo cells, C3H/10T1/2 (C3H). Mycoplasma fermentans and Mycoplasma penetrans, mycoplasmas found in unusually high frequencies among patients with AIDS, were examined. Instead of acute transformation, a multistage process in promotion and progression of malignant cell transformation with long latency was noted; after 6 passages (1 wk per passage) of persistent infection with M. fermentans, C3H cells exhibited phenotypic changes with malignant characteristics that became progressively more prominent with further prolonged infection. Up to at least the 11th passage, all malignant changes were reversible if mycoplasmas were eradicated by antibiotic treatment. Further persistent infection with the mycoplasmas until 18 passages resulted in an irreversible form of transformation that included the ability to form tumors in animals and high soft agar cloning efficiency. Whereas chromosomal loss and translocational changes in C3H cells infected by either mycoplasma during the reversible stage were not prominent, the onset of the irreversible phase of transformation coincided with such karyotypic alteration. Genetic instability--i.e., prominent chromosomal alteration of permanently transformed cells--was most likely caused by mutation of a gene(s) responsible for fidelity of DNA replication or repair. Once induced, chromosomal alterations continued to accumulate both in cultured cells and in animals without the continued presence of the transforming microbes. Mycoplasma-mediated multistage oncogenesis exhibited here shares many characteristics found in the development of human cancer.

Germany's energy transformation: difficult beginnings. OSW Report, March 2013

Initiated in May 2011, several months after the Fukushima nuclear disaster, Germany’s energy transformation (Energiewende) has been presented as an irrevocable plan, and – due to the speed of change required – it represents a new quality in Germany’s energy strategy. Its main objectives include: nuclear energy being phased out by 2022, the development of renewable energy sources (OZE), the expansion of transmission networks, the construction of new conventional power plants and an improvement in energy efficiency.The cornerstone of the strategy is the development of renewable energy. Under Germany's amended renewable energy law, the proportion of renewable energy in electricity generation is supposed to increase steadily from the current level of around 20% to approximately 38% in 2020. In 2030, renewable energy is expected to account for 50% of electricity generation. This is expected to increase to 65% in 2040 and to as much as 80% in 2050. The impact of the Energiewende is not limited to the sphere of energy supplies. In the medium and long term, it will change not only to the way the German economy operates, but also the functioning of German society and the state. Facing difficulties with the expansion of transmission networks, the excessive cost of building wind farms, and problems with the stability of electricity supplies, especially during particularly cold winters, the federal government has so far tended to centralise power and limit the independence of the German federal states with regard to their respective energy policies, justifying this with the need for greater co-ordination. The Energiewende may also become the beginning of a "third industrial revolution", i.e. a transition to a green economy and a society based on sustainable development. This will require a new "social contract" that will redefine the relations between the state, society and the economy. Negotiating such a contract will be one of the greatest challenges for German policy in the coming years.

Incremental model transformation for the evolution of model-driven systems

Model transformations are an integral part of model-driven development. Incremental updates are a key execution scenario for transformations in model-based systems, and are especially important for the evolution of such systems. This paper presents a strategy for the incremental maintenance of declarative, rule-based transformation executions. The strategy involves recording dependencies of the transformation execution on information from source models and from the transformation definition. Changes to the source models or the transformation itself can then be directly mapped to their effects on transformation execution, allowing changes to target models to be computed efficiently. This particular approach has many benefits. It supports changes to both source models and transformation definitions, it can be applied to incomplete transformation executions, and a priori knowledge of volatility can be used to further increase the efficiency of change propagation.

Cost economies, efficiency and productivity growth in the Chinese banking industry:evidence from a quarterly panel dataset

This article examines cost economies, productivity growth and cost efficiency of the Chinese banks using a unique panel dataset that identifies banks' four outputs and four input prices over the period of 1995-2001. By assessing the appropriateness of model specification, and making use of alternative methodologies in evaluating the performance of banks, we find that the joint-stock commercial banks outperform state-owned commercial banks in productivity growth and cost efficiency. Under the variable cost assumption, Chinese banks display economies of scale, with state-owned commercial banks enjoying cost advantages over the joint-stock commercial banks. Consequently, our results highlight the ownership advantage of these two types of banks and generally support the ongoing banking reform and transformation that is currently taking place in China.

Organizational change and development in India:a case of strategic organizational change and transformation

Purpose – The purpose of this paper is to examine developments in the field of organizational change (OC) with reference to the context of India. It highlights the need to analyze this topic in the present Indian economic environment and discusses the main developments reported in the Indian literature on the same. Design/methodology/approach – Empirical evidence based on a qualitative analysis of a case study undertaken at a public-private partnership transformation at North Delhi Power Limited (NDPL) in India is presented. Findings – The findings focus on trust building and belongingness for the employees, establishing a high-performance orientation, quality improvements, and the resultant transformations at NDPL. The analysis indicates a number of ways by which NDPL sought to improve its efficiency in order to better adapt to the rapidly changing Indian business environment. Practical implications – Based on the findings, the paper identifies key messages for policy makers and change agents regarding how to transform companies in the rapidly changing business contexts of emerging markets such as India. Originality/value – The paper offers an in-depth analysis of OC practices in a large organization in India.

Colombian society in the 1990s: Fragmentation, legitimacy, and efficiency

During the nineties, Colombia experienced a two-fold process of restructuring. First, the political system underwent a process of constitutional reform in order to strengthen the state and increase its legitimacy, surpass the exclusionary character of the political regime, and achieve greater equity in the distribution of social resources. Second, the economy made the transition from a Keynesian development strategy to a strategy of “opening” or liberalization and internationalization of the economy, in order to increase the economic efficiency by reducing the “size” of the state and its regulatory role. The purpose of this dissertation is to analyze the interplay and contradictions of economic and political factors in the restructuring of the Colombian politico-economic system. ^ The main finding of this dissertation is that the simultaneous adoption of a neoliberal economic strategy and of the Political Constitution of 1991, have had a contradictory relationship: while the “political opening” has produced favorable conditions for fostering programs of democratization and social integration, the “economic opening” has counteracted that possibility given that it implies a social exclusionary process. This tension has aggravated the problems of political and social integration that have traditionally characterized Colombian society. ^ This crucial tension has also been characteristic of Latin America in the nineties. However, it has been neglected and undertheorized in most of the democratization studies of American comparative politics. Most of them lack consideration of structural aspects. According to those studies, the cause of regime change is determined by the strategic elections of actors. Contrary to these approaches, I develop a structural perspective. I consider that social phenomena are partly determined by structural factors, and scientific research should assign them decisive importance, since a fundamental basis for social action and transformation is to be found in the dynamics of relationships between individuals and structures and the development of contradictions within structures. ^