Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Content and English Language Integrated Learning: The use of Moodle in Aircraft Maintenance Training Programs

The aim of this work is to develop a prototype of an e-learning environment that can foster Content and Language Integrated Learning (CLIL) for students enrolled in an aircraft maintenance training program, which allows them to obtain a license valid in all EU member states. Background research is conducted to retrace the evolution of the field of educational technology, analyzing different learning theories – behaviorism, cognitivism, and (socio-)constructivism – and reflecting on how technology and its use in educational contexts has changed over time. Particular attention is given to technologies that have been used and proved effective in Computer Assisted Language Learning (CALL). Based on the background research and on students’ learning objectives, i.e. learning highly specialized contents and aeronautical technical English, a bilingual approach is chosen, three main tools are identified – a hypertextbook, an exercise creation activity, and a discussion forum – and the learning management system Moodle is chosen as delivery medium. The hypertextbook is based on the technical textbook written in English students already use. In order to foster text comprehension, the hypertextbook is enriched by hyperlinks and tooltips. Hyperlinks redirect students to webpages containing additional information both in English and in Italian, while tooltips show Italian equivalents of English technical terms. The exercise creation activity and the discussion forum foster interaction and collaboration among students, according to socio-constructivist principles. In the exercise creation activity, students collaboratively create a workbook, which allow them to deeply analyze and master the contents of the hypertextbook and at the same time create a learning tool that can help them, as well as future students, to enhance learning. In the discussion forum students can discuss their individual issues, content-related, English-related or e-learning environment-related, helping one other and offering instructors suggestions on how to improve both the hypertextbook and the workbook based on their needs.

"La scienza in cucina e l'arte di mangiar bene" di Pellegrino Artusi. Proposta di glossario culinario italiano-russo

L'obiettivo della tesi è la compilazione del glossario culinario italiano-russo che “racchiudere” termini culinari artusiani e propone una versione russa basandosi anche sulla traduzione parziale del libro in lingua russa. La tesi si divide in sette parti: introduzione, capitoli primo, secondo, terzo e quarto, conclusione e bibliografia. Il primo capitolo introduce la figura di Pellegrino Artusi con brevi cenni sulla sua vita e tratteggia, altresì, le peripezie ed il successo internazionale della sua opera ed il suo approdo in Russia. Il secondo capitolo è dedicato alla ricerca terminologica e alle fasi propedeutiche alla creazione del glossario. Inoltre, vengono spiegate le risorse usate per la creazione dei corpora. Avendo a disposizione la traduzione parziale de “La scienza in cucina e l'arte di mangiar bene” in russo (traduzione di I. Alekberova) fornita dalla Casa Artusi, si cerca di spiegare la scelta dei termini italiani messi a confronto con quelli esistenti nella traduzione russa. Il terzo capitolo introduce il glossario stesso preceduto da una breve spiegazione. Ogni “entrata” contiene il termine, la sua categoria grammaticale e la sua definizione in entrambe le lingue, seguita nella maggior parte dei casi dalle collocazioni o dagli esempi d'uso oppure dai sinonimi. Il quarto capitolo presenta commenti alla compilazione del glossario. Qui vengono analizzati i problemi riscontrati durante la fase compilativa, si presentano le soluzioni trovate e si forniscono esempi concreti. Ci sono anche commenti alle voci non presenti nel glossario. Infine, vi è una breve conclusione del percorso affrontato seguita dalla bibliografia e dalla sitografia. ENGLISH The purpose of this dissertation is to present a bilingual Italian-Russian glossary based on the culinary terms drawn from Artusi's cooking book "The Science of Cooking and the Art of Fine dining". The dissertation consists of an introduction, 4 chapters, conclusions and a list of bibliography. An introduction presents an overview of the entire dissertation. The first chapter includes a presentation of Pellegrino Artusi, brief introduction to his life, his book and the success it has had around the world and mainly in Russia. The second chapter focuses on the creation and use of comparable and parallel corpora that have been created ad hoc for the purpose of the glossary. It also describes the different programs that have been used in order to select the terminology. The third chapter presents the structure of the bilingual culinary glossary followed by the glossary itself. Each entry contains the term, its gramatical category and the definition in both languages followed by, in most but not all cases, collocation, synonyms and additional notes. The fourth chapter presents an analysis of the compilation of the glossary combined with comments and examples. This chapter is followed by final conclusions of the present dissertation. The last part contains a bibliography that includes all the resources that have been used for the completion of this dissertation followed by the webliography.

The role of reinfection and partner notification in the efficacy of Chlamydia screening programs

Repeated Chlamydia trachomatis infections after treatment are common. One reason is reinfection from untreated partners in ongoing sexual partnerships. Mathematical models that are used to predict the impact of screening on reducing chlamydia prevalence often do not incorporate reinfection and might overestimate the expected impact. We describe a pair compartmental model that explicitly incorporates sexual partnership duration and reinfection. The pair model predicts a weaker impact of screening when compared directly with a model that does not accommodate partnerships. Effective management of sex partners to prevent reinfection might need to be strengthened in chlamydia control programs.

Patients with substance use and personality disorders: a comparison of patient characteristics, treatment process, and outcomes in Swiss and U.S. substance use disorder programs

Cross-cultural comparisons may increase our understanding of different models of substance use treatment and help identify consistent associations between patients' characteristics, treatment conditions, and outcomes.

Effects of the two production programs 'Naturafarm' and 'conventional' on the prevalence of non-perforating abomasal lesions in Swiss veal calves at slaughter

Non-perforating abomasal lesions are a considerable problem affecting more than half the population of veal calves. The objective of the present study was to assess the prevalence of pyloric and fundic abomasal lesions in Swiss veal calves at slaughter and to compare the occurrence of non-perforating abomasal lesions between two different production programs ('Naturafarm' and 'conventional'). 'Conventional'-production settings met the minimal standards as defined by the Swiss animal welfare legislation, whereas 'Naturafarm' production complied with increased animal welfare requirements. In order to identify risk factors for the development of abomasal lesions, information on management, housing, and feeding was obtained by a questionnaire. A total of 125 abomasa were randomly selected in one large abattoir. They were examined macroscopically, and the occurence of lesions in either the fundic or pyloric region of the abomasum was recorded separately. Animals raised in the 'conventional'-production setting revealed a significantly higher prevalence of lesions in the fundic part. Factors significantly affecting the prevalence of non-perforating lesions in the fundic part were the 'conventional'-production environment, including missing access to an outside pen, missing access to water and straw as the only roughage, feeding by bucket and the liquid milk by-product Protofit in combination with the powder Sprayfit.

Explaining the Growth in Municipal Recycling Programs: The Role of Market and Non-Market Factors

The implementation of thousands of municipal recycling programs in the United States has increased recycling’s portion of solid waste from 10% to 30% over the past decade. But the lack of accurate data has spurred a debate over whether the growth in recycling can be attributed to market or nonmarket factors. To address this issue, this article conducts a benefit-cost analysis of a municipal recycling program. Results suggest recycling is costly. So why, then, does it remain popular? This article suggests that local governments could be responding to households that perceive a benefit from recycling services. These benefits are estimated with a contingent valuation survey.

The Economics and Nutritional Impacts of Food Assistance Policies and Programs

Recent evidence on malnutrition and poverty raise important questions on the role of food assistance policies and programs. In this review article, we examine evidence on the economic and nutritional impacts of international food assistance programs (FAPs) and policies. The returns on investments in FAPs are, on average, high but depend considerably on the targeting and cost structures as well as on food quality and role of complementary activities. We disaggregate findings into four classes of recipients. Returns to FAPs are highest for children under two. But, FAPs oriented towards early childhood interventions are less well funded than are interventions aimed at school-age children or at the broader, largely adult population even though available evidence indicates that these latter classes of interventions offer considerably lower average returns in economic, health, and nutrition terms. Nonetheless, FAP effectiveness in achieving any of several objectives varies with a range of key factors, including targeting, additionality, seasonality, timeliness, incentive effects, social acceptability and political economy considerations. (C) 2013 Elsevier Ltd. All rights reserved.

Evaluating Faculty Publications in Accounting Ph.D. Programs: The Author Affiliation Index as an Alternative

We propose a new model, the Author Affiliation Index (AAI), for examining journal quality, explain how the AAI is calculated, and report the resulting scores for 35 accounting and accounting-related journals. Next, we compare AAI journal rankings with those from other published studies and examine the correlations between them to show how the AAI can be used to evaluate relatively new journals, such as Accounting and the Public Interest, that are not included in extant ranking lists. By explaining its flexibility, we demonstrate that the AAI model can serve as a valuable tool for measuring journal quality and for meeting AACSB accreditation requirements for faculty groups as well as individual faculty. The AAI is based on the principle that as the percentage of authors in a journal who are accounting faculty at doctoral-granting institutions increases, the perceived value of that journal in terms of quality to Ph.D.-granting accounting programs also increases. Although our illustrations focus on the construction of this measure for use by Ph.D.-granting institutions, we describe how it can be adapted for use by other faculty groups.

Outcomes of antiretroviral treatment programs in rural Southern Africa

Data on outcomes of antiretroviral treatment (ART) programs in rural sub-Saharan African are scarce. We describe early losses and long-term outcomes in 6 rural programs in Southern Africa with limited access to viral load monitoring and second-line ART.

Depressive symptoms as a predictor of alcohol relapse after residential treatment programs for alcohol use disorder

Alcohol use disorder (AUD) and depressive disorders often co-occur. Findings on the effects of major depressive disorder (MDD) or depressive symptoms on posttreatment alcohol relapse are controversial. The study's aim is to examine the association of MDD and depressive symptoms with treatment outcomes after residential AUD programs. In a naturalistic-prospective, multisite study with 12 residential AUD treatment programs in the German-speaking part of Switzerland, 64 patients with AUD with MDD, 283 patients with AUD with clinically significant depressive symptoms at admission, and 81 patients with AUD with such problems at discharge were compared with patients with AUD only on alcohol use, depressive symptoms, and treatment service utilization. MDD was provisionally identified at admission and definitively defined at discharge. Whereas patients with MDD did not differ from patients with AUD only at 1-year follow-up, patients with AUD with clinically significant depressive symptoms had significantly shorter time-to-first-drink and a lower abstinence rate. These patients also had elevated AUD indices and treatment service utilization for psychiatric disorders. Our results suggest that clinically significant depressive symptoms are a substantial risk factor for relapse so that it may be important to treat them during and after residential AUD treatment programs.

Management of hepatitis C virus (HCV) infection in drug substitution programs

In Switzerland, intravenous drug use (IDU) accounts for 80% of newly acquired hepatitis C virus (HCV) infections. Early HCV treatment has the potential to interrupt the transmission chain and reduce morbidity/mortality due to decompensated liver cirrhosis and hepatocellular carcinoma. Nevertheless, patients in drug substitution programs are often insufficiently screened and treated.