Decomposition and reformulation of integer linear programming problems

This thesis deals with an investigation of Decomposition and Reformulation to solve Integer Linear Programming Problems. This method is often a very successful approach computationally, producing high-quality solutions for well-structured combinatorial optimization problems like vehicle routing, cutting stock, p-median and generalized assignment . However, until now the method has always been tailored to the specific problem under investigation. The principal innovation of this thesis is to develop a new framework able to apply this concept to a generic MIP problem. The new approach is thus capable of auto-decomposition and autoreformulation of the input problem applicable as a resolving black box algorithm and works as a complement and alternative to the normal resolving techniques. The idea of Decomposing and Reformulating (usually called in literature Dantzig and Wolfe Decomposition DWD) is, given a MIP, to convexify one (or more) subset(s) of constraints (slaves) and working on the partially convexified polyhedron(s) obtained. For a given MIP several decompositions can be defined depending from what sets of constraints we want to convexify. In this thesis we mainly reformulate MIPs using two sets of variables: the original variables and the extended variables (representing the exponential extreme points). The master constraints consist of the original constraints not included in any slaves plus the convexity constraint(s) and the linking constraints(ensuring that each original variable can be viewed as linear combination of extreme points of the slaves). The solution procedure consists of iteratively solving the reformulated MIP (master) and checking (pricing) if a variable of reduced costs exists, and in which case adding it to the master and solving it again (columns generation), or otherwise stopping the procedure. The advantage of using DWD is that the reformulated relaxation gives bounds stronger than the original LP relaxation, in addition it can be incorporated in a Branch and bound scheme (Branch and Price) in order to solve the problem to optimality. If the computational time for the pricing problem is reasonable this leads in practice to a stronger speed up in the solution time, specially when the convex hull of the slaves is easy to compute, usually because of its special structure.

Markov Constraints for Generating Texts with Style

This thesis addresses the issue of generating texts in the style of an existing author, that also satisfy structural constraints imposed by the genre of the text. Although Markov processes are known to be suitable for representing style, they are difficult to control in order to satisfy non-local properties, such as structural constraints, that require long distance modeling. The framework of Constrained Markov Processes allows to precisely generate texts that are consistent with a corpus, while being controllable in terms of rhymes and meter. Controlled Markov processes consist in reformulating Markov processes in the context of constraint satisfaction. The thesis describes how to represent stylistic and structural properties in terms of constraints in this framework and how this approach can be used for the generation of lyrics in the style of 60 differents authors An evaluation of the desctibed method is provided by comparing it to both pure Markov and pure constraint-based approaches. Finally the thesis describes the implementation of an augmented text editor, called Perec. Perec is intended to improve creativity, by helping the user to write lyrics and poetry, exploiting the techniques presented so far.

Early bursts of body size and shape evolution are rare in comparative data

George Gaylord Simpson famously postulated that much of life's diversity originated as adaptive radiations-more or less simultaneous divergences of numerous lines from a single ancestral adaptive type. However, identifying adaptive radiations has proven difficult due to a lack of broad-scale comparative datasets. Here, we use phylogenetic comparative data on body size and shape in a diversity of animal clades to test a key model of adaptive radiation, in which initially rapid morphological evolution is followed by relative stasis. We compared the fit of this model to both single selective peak and random walk models. We found little support for the early-burst model of adaptive radiation, whereas both other models, particularly that of selective peaks, were commonly supported. In addition, we found that the net rate of morphological evolution varied inversely with clade age. The youngest clades appear to evolve most rapidly because long-term change typically does not attain the amount of divergence predicted from rates measured over short time scales. Across our entire analysis, the dominant pattern was one of constraints shaping evolution continually through time rather than rapid evolution followed by stasis. We suggest that the classical model of adaptive radiation, where morphological evolution is initially rapid and slows through time, may be rare in comparative data.

Vulnerability to risk among small farmers in Tajikistan: results of a 2011 survey

Tajikistan is judged to be highly vulnerable to risk, including food insecurity risks and climate change risks. By some vulnerability measures it is the most vulnerable among all 28 countries in the World Bank’s Europe and Central Asia Region – ECA (World Bank 2009). The rural population, with its relatively high incidence of poverty, is particularly vulnerable. The Pilot Program for Climate Resilience (PPCR) in Tajikistan (2011) provided an opportunity to conduct a farm-level survey with the objective of assessing various dimensions of rural population’s vulnerability to risk and their perception of constraints to farming operations and livelihoods. The survey should be accordingly referred to as the 2011 PPCR survey. The rural population in Tajikistan is highly agrarian, with about 50% of family income deriving from agriculture (see Figure 4.1; also LSMS 2007 – own calculations). Tajikistan’s agriculture basically consists of two groups of producers: small household plots – the successors of Soviet “private agriculture” – and dehkan (or “peasant”) farms – new family farming structures that began to be created under relevant legislation passed after 1992 (Lerman and Sedik, 2008). The household plots manage 20% of arable land and produce 65% of gross agricultural output (GAO). Dehkan farms manage 65% of arable land and produce close to 30% of GAO. The remaining 15% of arable land is held in agricultural enterprises – the rapidly shrinking sector of corporate farms that succeeded the Soviet kolkhozes and sovkhozes and today produces less than 10% of GAO (TajStat 2011) The survey conducted in May 2011 focused on dehkan farms, as budgetary constraints precluded the inclusion of household plots. A total of 142 dehkan farms were surveyed in face-to-face interviews. They were sampled from 17 districts across all four regions – Sughd, Khatlon, RRP, and GBAO. The districts were selected so as to represent different agro-climatic zones, different vulnerability zones (based on the World Bank (2011) vulnerability assessment), and different food-insecurity zones (based on WFP/IPC assessments). Within each district, 3-4 jamoats were chosen at random and 2-3 farms were selected in each jamoat from lists provided by jamoat administration so as to maximize the variability by farm characteristics. The sample design by region/district is presented in Table A, which also shows the agro-climatic zone and the food security phase for each district. The sample districts are superimposed on a map of food security phases based on IPC April 2011.

The interorganizational challenge of agricultural reform in Bosnia and Herzegovina

The case study reported below examines USAID's "Linking Agricultural Markets with Producers" program. This program complemented Bosnia and Herzegovina's overall sustainable agriculture policies. Implementing organizations quickly recognized that sustainability must be achieved not only from an environmental perspective, but in the interorganizational domain as well. Public, private and nonprofit players had to develop the social, economic and political infrastructure required for sustainable agricultural projects to succeed. These institutional changes were at times more difficult than the sustainable agriculture policies and practices they supported. Framed within LAMP's identification of constraints and proposed solutions for agricultural reform, we explored the interorganizational linkages required for success. We identified three distinct types: 1) those within the international community, 2) those within the local community and 3) those between international and local organizations. The case illustrates the institutional and managerial obstacles to and opportunities for implementing sustainable development reforms in transition settings.

The changing values of children and preferences regarding family size in south Africa

This study extends the ongoing studies on values of children and intergenerational relations into an African context with the following key questions: To what extent can the structure of values of children (VOC) identified in previous studies be found in South Africa and what are women's preferences regarding the size of small, large, and ideal families? The sample consisted of three cohorts of Black South African women from the Limpopo Province. Factor analyses showed that the dimensions of VOC found in South Africa are a conglomeration of different values. Identified dimensions were Social/Emotional and Traditional/Utilitarian with respect to reasons for wanting children. Regarding reasons for not wanting children, Child as Source of Constraints and Constraints to Have a Child were identified. Intergenerational comparisons showed variations in the importance of value of children dimensions and in preferences regarding family size. Values of children of younger mothers were related to the number of children these women had and to their preferences regarding family size. The findings are discussed within the changing socio-political context of South Africa.

Input Aggregation in Models of Data Envelopment Analysis: A Statistical Test with an Application to Indian Manufacturing

A problem frequently encountered in Data Envelopment Analysis (DEA) is that the total number of inputs and outputs included tend to be too many relative to the sample size. One way to counter this problem is to combine several inputs (or outputs) into (meaningful) aggregate variables reducing thereby the dimension of the input (or output) vector. A direct effect of input aggregation is to reduce the number of constraints. This, in its turn, alters the optimal value of the objective function. In this paper, we show how a statistical test proposed by Banker (1993) may be applied to test the validity of a specific way of aggregating several inputs. An empirical application using data from Indian manufacturing for the year 2002-03 is included as an example of the proposed test.

Isotopic composition of rocks from the Lau/Tonga back-arc basin, data of DSDP Leg 21 and ODP Legs 91 an 135

New trace element, Sr-, Nd-, Pb- and Hf isotope data provide insights into the evolution of the Tonga-Lau Basin subduction system. The involvement of two separate mantle domains, namely Pacific MORB mantle in the pre-rift and early stages of back-arc basin formation, and Indian MORB mantle in the later stages, is confirmed by these results. Contrary to models proposed in recent studies on the basis of Pb isotope and other compositional data, this change in mantle wedge character best explains the shift in the isotopic composition, particularly 143Nd/144Nd ratios, of modern Tofua Arc magmas relative to all other arc products from this region. Nevertheless, significant changes in the slab-derived flux during the evolution of the arc system are also required to explain second order variations in magma chemistry. In this region, the slab-derived flux is dominated by fluid; however, these fluids carry Pb with sediment-influenced isotopic signatures, indicating that their source is not restricted to the subducting altered mafic oceanic crust. This has been the case from the earliest magmatic activity in the arc (Eocene) until the present time, with the exception of two periods of magmatic activity recorded in samples from the Lau Islands. Both the Lau Volcanic Group, and Korobasaga Volcanic Group lavas preserve trace element and isotope evidence for a contribution from subducted sediment that was not transported as a fluid, but possibly in the form of a melt. This component shares similarities with that influencing the chemistry of the northern Tofua Arc magmas, suggesting some caution may be required in the adoption of constraints for the latter dependent upon the involvement of sediments from the Louisville Ridge. A key outcome of this study is to demonstrate that the models proposed to explain subduction zone magmatism cannot afford to ignore the small but important contributions made by the mantle wedge to the incompatible trace element inventory of arc magmas.

Towards resource usage analysis of miniZinc models

We present a method for the static resource usage analysis of MiniZinc models. The analysis can infer upper bounds on the usage that a MiniZinc model will make of some resources such as the number of constraints of a given type (equality, disequality, global constraints, etc.), the number of variables (search variables or temporary variables), or the size of the expressions before calling the solver. These bounds are obtained from the models independently of the concrete input data (the instance data) and are in general functions of sizes of such data. In our approach, MiniZinc models are translated into Ciao programs which are then analysed by the CiaoPP system. CiaoPP includes a parametric analysis framework for resource usage in which the user can define resources and express the resource usage of library procedures (and certain program construets) by means of a language of assertions. We present the approach and report on a preliminary implementation, which shows the feasibility of the approach, and provides encouraging results.

Residue 225 determines the Na(+)-induced allosteric regulation of catalytic activity in serine proteases.

Residue 225 in serine proteases is typically Pro or Tyr and specifies an important and unanticipated functional aspect of this class of enzymes. Proteases with Y225, like thrombin, are involved in highly specialized functions like blood coagulation and complement that are exclusively found in vertebrates. In these proteases, the catalytic activity is enhanced allosterically by Na+ binding. Proteases with P225, like trypsin, are typically involved in digestive functions and are also found in organisms as primitive as eubacteria. These proteases have no requirement for Na+ or other monovalent cations. The molecular origin of this physiologically important difference is remarkably simple and is revealed by a comparison of the Na+ binding loop of thrombin with the homologous region of trypsin. The carbonyl O atom of residue 224 makes a key contribution to the coordination shell of the bound Na+ in thrombin, but is oriented in a manner incompatible with Na+ binding in trypsin because of constraints imposed by P225 on the protein backbone. Pro at position 225 is therefore incompatible with Na+ binding and is a direct predictor of the lack of allosteric regulation in serine proteases. To directly test this hypothesis, we have engineered the thrombin mutant Y225P. This mutant has lost the ability to bind Na+ and behaves like the allosteric slow (Na(+)-free) form. The Na(+)-induced allosteric regulation also bears on the molecular evolution of serine proteases. A strong correlation exists between residue 225 and the codon used for the active site S195. Proteases with P225 typically use a TCN codon for S195, whereas proteases with Y225 use an AGY codon. It is proposed that serine proteases evolved from two main lineages: (i) TCN/P225 with a trypsin-like ancestor and (ii) AGY/Y225 with a thrombin-like ancestor. We predict that the Na(+)-induced allosteric regulation of catalytic activity can be introduced in the TCN/P225 lineage using the P225Y replacement.

Lower semicontinuity of the feasible set mapping of linear systems relative to their domains

This paper deals with stability properties of the feasible set of linear inequality systems having a finite number of variables and an arbitrary number of constraints. Several types of perturbations preserving consistency are considered, affecting respectively, all of the data, the left-hand side data, or the right-hand side coefficients.

Stability in Linear Optimization Under Perturbations of the Left-Hand Side Coefficients

This paper studies stability properties of linear optimization problems with finitely many variables and an arbitrary number of constraints, when only left hand side coefficients can be perturbed. The coefficients of the constraints are assumed to be continuous functions with respect to an index which ranges on certain compact Hausdorff topological space, and these properties are preserved by the admissible perturbations. More in detail, the paper analyzes the continuity properties of the feasible set, the optimal set and the optimal value, as well as the preservation of desirable properties (boundedness, uniqueness) of the feasible and of the optimal sets, under sufficiently small perturbations.

The Influence of the Family in the Development of Talent in Sport

The purpose of the present study was to describe patterns in the dynamics of families of talented athletes throughout their development in sport. Four families, including three families of elite rowers and one family of an elite tennis player were examined. The framework provided by Ericsson, Krampe, and Tesch- Römer (1993) to explain expert performance served as the theoretical basis for the study. Ericsson et al. suggested that the acquisition of expert performance involves operating within three types of constraints: motivational, effort, and resource. In-depth interviews were conducted with each athlete, parent, and sibling to explore how they have dealt with these three constraints. A total of 15 individual interviews were conducted. Results permitted the identification of three phases of participation from early childhood to late adolescence: the sampling years, the specializing years, and the investment years. The dynamics of the family in each of these phases of development is discussed

Constraints to organizational learning during major change at a mental health services facility

This paper explains what happened during a three years long qualitative study at a mental health services organization. The study focuses on differences between espoused theory and theory in use during the implementation of a new service delivery model. This major organizational change occurred in a National policy environment of major health budget cutbacks. Primarily as a result of poor resourcing provided to bring about policy change and poor implementation of a series of termination plans, a number of constraints to learning contributed to the difficulties in implementing the new service delivery model. The study explores what occurred during the change process. Rather than blame participants of change for the poor outcomes, the study is set in a broader context of a policy environment—that of major health cutbacks.

Translation strategies and cross-cultural contraints : a case study of the translation of advertising texts

Since the transfer of a message between two cultures very frequently takes place through the medium of a written text qua communicative event, it would seem useful to attempt to ascertain whether there is any kind of pattern in the use of strategies for the effective interlingual transfer of this message. Awareness of potentially successful strategies, within the constraints of context, text type, intended TL function and TL reader profile will enhance quality and cost-effectiveness (time, effort, financial costs) in the production of the target text. Through contrastive analysis of pairs of advertising texts, SL and TL, French and English, this study will attempt to identify the nature of some recurring choices made by different translators in the attempt to recreate ST information in the TL in such a manner as to reproduce as closely as possible the informative, persuasive and affective functions of the text as advertising material. Whilst recurrence may be seen to be significant in terms of illustrating tendencies with regard to the solution of problems of translation, this would not necessarily be taken as confirmation of the existence of pre-determined or prescriptive rules. These tendencies could, however, be taken as a guide to potential solutions to certain kinds of context-bound and text-type specific problem. Analysis of translated text-pairs taken from the field of advertising should produce examples of constraints posed by the need to select the content, tone and form of the Target Text, in order to ensure maximum efficacy of persuasive effect and to ensure the desired outcome, as determined by the Source Text function. When evaluating the success of a translated advertising text, constraints could be defined in terms of the culture-specific references or assumptions on which a Source Text may build in order to achieve its intended communicative function within the target community.