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.

Agent-based simulation for renewable energy incentive design

In this thesis, we propose a novel approach to model the diffusion of residential PV systems. For this purpose, we use an agent-based model where agents are the families living in the area of interest. The case study is the Emilia-Romagna Regional Energy plan, which aims to increase the produc- tion of electricity from renewable energy. So, we study the microdata from the Survey on Household Income and Wealth (SHIW) provided by Bank of Italy in order to obtain the characteristics of families living in Emilia-Romagna. These data have allowed us to artificial generate families and reproduce the socio-economic aspects of the region. The families generated by means of a software are placed on the virtual world by associating them with the buildings. These buildings are acquired by analysing the vector data of regional buildings made available by the region. Each year, the model determines the level of diffusion by simulating the installed capacity. The adoption behaviour is influenced by social interactions, household’s economic situation, the environmental benefits arising from the adoption and the payback period of the investment.

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.

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.

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.