SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Freqüência de irrigação por gotejamento durante o estádio vegetativo do tomateiro para processamento industrial

Objetivo deste trabalho foi o de estabelecer critério para o manejo de água, durante o estádio vegetativo do tomateiro para processamento industrial, nas condições de cerrado do Brasil Central. Foram avaliados seis turnos de rega entre 0,5 e 16 dias. O estande final e a produtividade de frutos, maximizados em regas a cada 2 dias, apresentaram resposta quadrática com a freqüência de irrigação, enquanto a produção de biomassa foi maximizada em regas diárias. A massa média de fruto e o número de frutos por planta não foram influenciados pelos tratamentos; isto indica que as diferenças de produção foram causadas, principalmente, pela variação do estande final. A profundidade efetiva de raízes apresentou resposta linear positiva com o turno de rega. As plantas irrigadas a cada 8 e 16 dias apresentaram um sistema radicular cerca de 10 cm mais profundo do que aquelas irrigadas duas vezes por dia. O teor de sólidos solúveis totais, a acidez titulável e a taxa de fruto podre não foram influenciados pelos turnos de rega. Observou-se que para melhor desempenho do tomateiro, durante o estádio vegetativo as irrigações devem ser realizadas a cada 2 dias, ou seja, quando a tensão de água no solo atingir cerca de 17 kPa.

La PMU au carrefour des nouveaux chemins du système de santé [Redesigning Swiss ambulatory health care system].

Primary care medicine is first in line to meet the necessary changes in our health care system. Innovations in this field pursue three types of objectives: accessibility, quality and continuity of care. The Department of ambulatory care and community medicine of the University of Lausanne (Policlinique médicale universitaire) is committed to this path, emphasizing interprofessional collaboration. The doctor, nurse and medical assistant coordinate their activities to contribute efficiently to meet the needs of patients today and tomorrow. This paper also addresses how our department, as a public and academic institution, might play a major role as a health care network actor. A master degree dissertation in health management has started to identify the critical success factors and the strategic core competencies needed to achieve this development.

Molecular autopsy in sudden cardiac death and its implication for families: discussion of the practical, legal and ethical aspects of the multidisciplinary collaboration.

Sudden cardiac death (SCD) is a major cause of premature death in young adults and children in developed countries. Standard forensic autopsy procedures are often unsuccessful in determining the cause of SCD. Post-mortem genetic testing, also called molecular autopsy, has revealed that a non-negligible number of these deaths are a result of inherited cardiac diseases, including arrhythmic disorders such as congenital long QT syndrome and Brugada syndrome. Due to the heritability of these diseases, the potential implications for living relatives must be taken into consideration. Advanced diagnostic analyses, genetic counselling, and interdisciplinary collaboration should be integral parts of clinical and forensic practice. In this article we present a multidisciplinary collaboration established in Lausanne, with the goal of properly informing families of these pathologies and their implications for surviving family members. In Switzerland, as in many other countries, legal guidelines for genetic testing do not address the use of molecular tools for post-mortem genetic analyses in forensic practice. In this article we present the standard practice guidelines established by our multidisciplinary team.

Audit report on America’s Agricultural Industrial Heritage Landscape, Inc., d/b/a Silos and Smokestacks National Heritage Area and Silos and Smokestacks Natural Heritage Area Foundation in Waterloo, Iowa for the years ended December 31, 2014 and 2013

Audit report on America’s Agricultural Industrial Heritage Landscape, Inc., d/b/a Silos and Smokestacks National Heritage Area and Silos and Smokestacks Natural Heritage Area Foundation in Waterloo, Iowa for the years ended December 31, 2014 and 2013

Projecte d'adequació d'una nau industrial per a la implantació d'una indústria de processat d'ametlles

El projecte se situa en una explotació agrícola de 20 ha, 18 de les quals estan destinades al cultiu d’ametllers de la varietat Vairo. L’explotació pertany al municipi de l’Albi, a la comarca de Les Garrigues, província de Lleida. Actualment a la finca existeix una nau industrial sense instal•lació elèctrica ni hidràulica i sense cap partició a l’interior que es fa servir com a magatzem d’eines. Les ametlles recollides a l’explotació són comercialitzades a una cooperativa de Reus. Els serveis dels que disposa la finca actualment són: - Escomesa elèctrica a l’entrada de la finca. - Aigua del canal Segarra-Garrigues pressuritzada. Escomesa a l’entrada de la finca. - Fossa sèptica de 50 m3. Es troba a 20 m del col•lector general pel qual s’evacuaran les aigües residuals. Es tracta d’una antiga bassa soterrada que ja existia i que se’n reconvertirà el seu ús. L’objectiu del projecte és descriure i dissenyar l’adequació de la nau industrial de dimensions 10 m x 12 m (120 m2) per implantar una indústria de processat primari d’ametlla. El processat primari consisteix en el desclovat de l’ametlla (separació del gra de la closca), assecat del gra obtingut per aconseguir una humitat inferior al 6 % i finalment l’envasat d’aquest gra. Com a procés secundari s’envasarà i es comercialitzarà la closca obtinguda en el procés de descolvat

Use of Reagent Grade Versus Industrial Grade Trichlorethylene in Asphalt Recoveries, MLR-83-05, 1983

This is a continuation of a project initiated a year ago to determine any differences in test results on recovered asphalt cements caused by the use of industrial grade of solvent as compared with the reagent grade. AASHTO specifies the use of reagent grade of trichlorethylene, but the Laboratory uses industrial grade which costs much less. Last year this objective of the project was aborted when it was found that a larger difference in test results was obtained between the two distillation apparatuses than between the two solvents, Then all efforts were directed toward obtaining uniformity in test results between the apparatuses under the east hood as compared with that under the west hood. Considerable progress was made toward this end. (See report under this same title dated April 1982). The objective this year was to again evaluate the results when using both variables (apparatuses and solvents). Another objective developed later in this investigation; this was to determine any differences in test results on recovered asphalt cements caused by the use of reclaimed trichlorethylene (from the distillation process) as compared with the use of industrial grade of solvent. At the present time the reclaimed trichlorethylene is discarded. If the reclaimed solvent could be used for further recoveries, a considerable savings in solvent costs would result.

Memòria 2003

Postprint (published version)

Memòria gràfica de la Biblioteca '05

Postprint (published version)

Memòria gràfica de la Biblioteca '06

Postprint (published version)

Memòria gràfica de la Biblioteca '07

Postprint (published version)

Memòria 2008

Postprint (published version)

Memòria 2009

Postprint (published version)