A Generic Library for Floating-Point Numbers and Its Application to Exact Computing

International audienceIn this paper we present a general library to reason about floating-point numbers within the Coq system. Most of the results of the library are proved for an arbitrary floating-point format and an arbitrary base. A special emphasis has been put on proving properties for exact computing, i.e. computing without rounding errors

A Generic Library for Floating-Point Numbers and Its Application to Exact Computing

International audienceIn this paper we present a general library to reason about floating-point numbers within the Coq system. Most of the results of the library are proved for an arbitrary floating-point format and an arbitrary base. A special emphasis has been put on proving properties for exact computing, i.e. computing without rounding errors

Vancomycin-induced Henoch-Schönlein purpura: a case report

<p>Abstract</p> <p>Introduction</p> <p>Henoch-Schönlein purpura is a small-vessel systemic vasculitis. Although its exact pathophysiology remains unknown, Henoch-Schönlein purpura has been reported in association with various medical conditions including hypersensitivity. We report the case of a patient with vancomycin-induced Henoch-Schönlein purpura.</p> <p>Case presentation</p> <p>A 42-year-old Caucasian man who had previously undergone a heart transplant was diagnosed as having an intra-abdominal abscess after he underwent a Hartmann procedure. At 15 days after initiation of antibiotic therapy including vancomycin, he developed a purpuric rash of the lower limbs, arthralgia, and macroscopic hematuria. At that time, our patient was already on hemodialysis for end-stage renal disease. Henoch-Schönlein purpura was diagnosed. After a second 15-day course of vancomycin, a second flare of Henoch-Schönlein purpura occurred. Skin biopsies showed leucocytoclastic vasculitis with IgA deposits and eosinophils in the peri-capillary inflammatory infiltrate, suggesting an allergic mechanism. After vancomycin was stopped, we did not observe any further flares. Only five cases of isolated cutaneous vasculitis, one case of lupus-like syndrome and one case of Henoch-Schönlein purpura after vancomycin treatment have been described to date in the literature.</p> <p>Conclusions</p> <p>Clinicians should be aware that systemic vasculitis can be induced by some treatments. Vancomycin is a widely prescribed antibiotic. Occurrence of rare but serious Henoch-Schönlein purpura associated with vancomycin requires its prompt discontinuation.</p

Acute tubulointerstitial nephritis complicating Legionnaires' disease: a case report

<p>Abstract</p> <p>Introduction</p> <p>Legionnaires' disease is recognized as a multi-systemic illness. Afflicted patients may have pulmonary, renal, gastrointestinal tract and central nervous system complications. However, renal insufficiency is uncommon. The spectrum of renal involvement may range from a mild and transient elevation of serum creatinine levels to anuric renal failure requiring dialysis and may be linked to several causes. In our present case report, we would like to draw attention to the importance of the pathological documentation of acute renal failure by reporting a case of a patient with acute tubulointerstitial nephritis complicating Legionnaires' disease.</p> <p>Case presentation</p> <p>A 55-year-old Caucasian man was admitted to our hospital for community-acquired pneumonia complicated by acute renal failure. <it>Legionella pneumophila </it>serogroup type 1 was diagnosed. Although the patient's respiratory illness responded to intravenous erythromycin and ofloxacin therapy, his renal failure worsened, he became anuric, and hemodialysis was started. A renal biopsy was performed, which revealed severe tubulointerstitial nephritis. After initiation of steroid therapy, his renal function improved dramatically.</p> <p>Conclusions</p> <p>This case highlights the importance of kidney biopsies in cases where acute renal failure is a complicating factor in Legionnaires' disease. If the presence of acute tubulointerstitial nephritis can be confirmed, it will likely respond favorably to steroidal treatment and thus irreversible renal damage and chronic renal failure will be avoided.</p

Optimisation aérodynamique dans le cadre de la conception multidisciplinaire en contexte aéronautique

MONTPELLIER-BU Sciences (341722106) / SudocSudocFranceF

L'Arc jurassien: histoire d'un espace transfrontalier

Suisses et Jurassiens, Jurassiens et Français, grandissent avec le sentiment d'appartenir à un ensemble naturel commun, organisé de part et d'autre de la frontière. Depuis son établissement, cette dernière s'érige en un mur quasi infranchissable quand on parle politique et s'efface, voire disparaît quand cela concerne le travail, la culture et les sentiments. Au sein de cet ouvrage les auteurs nous emmènent à la découverte de cette longue histoire du Jura et tentent également de répondre à une question : y a-t-il des Jurassiens

Histoires de territoires: les territoires industriels en question XVIIIe-XXe siècles

Actes du colloque tenu à Neuchâtel en janvier 2006 / 14e Congrès international d'histoire économique, Helsinki, 2006.À la jonction entre histoire régionale, histoire industrielle et histoire des entreprises, cet ouvrage cherche à éclairer la relation entre territoires et industries à travers le temps ― du XVIIIe siècle à nos jours ― et l'espace ― de l'Europe occidentale aux États-Unis. Quel est le poids du territoire dans sa relation aux systèmes de production qui s'y établissent et comment les configure-t-il ? Quelles sont les rapports et les influences entre territoire et acteurs économiques ? Trois axes ont été privilégiés pour répondre à ces questions : le premier prend en compte les interactions entre territoires, en lien avec les processus d'innovation technique. Le deuxième met en relation les milieux et les représentations et se penche en particulier sur les acteurs économiques. Le dernier aborde les influences réciproques entre les structures économiques et l'espace et les transformations qui en résultent. Les dix-sept textes réunis dans ce volume permettent ainsi d'explorer la genèse, le développement, le sens, la fonction et les causes de pérennisation des organisations territoriales de la production industrielle. Les contributions réunies dans cet ouvrage ont été présentées lors d'un colloque à Neuchâtel en janvier 2006 et de la session organisée à l'occasion du 12e Congrès international d'histoire économique, à Helsinki en août de la même année et s'inscrivent dans un programme de recherche mis sur pied en 2003 sur les dynamiques territoriales de l'industrialisation en Europe (1750-2000)

Les territoires de l'industrie en Europe (1750-2000): Entreprises, régulations et trajectoires

International audienceSince the spectacular successes of the productive micro-territories of the Third Italy were revealed 30 years ago, localized productive systems have been discovered on all continents, basing their development on endogenous dynamics in which territorial anchorage and cooperation between actors play an essential role. This book analyses the structures, functioning and trajectories of many European industrial districts over the long period of industrialisation, and asks what the nature of the phenomenon is: a structural alternative to the large company, a solution to the crisis of Fordism or a short episode in the history of capitalism? It also sheds light on its future, as districts are confronted with a globalisation that threatens to loosen the links between companies and the territory.Depuis la révélation, il y a 30 ans, des succès spectaculaires des micro-territoires productifs de la Troisième Italie, on a découvert sur tous les continents des systèmes productifs localisés qui fondent leur développement sur des dynamiques endogènes où l’ancrage territorial et à la coopération entre les acteurs jouent un rôle essentiel. Ce livre analyse les structures, le fonctionnement et les trajectoires de nombreux districts industriels européens dans le temps long de l’industrialisation, et s’interroge sur la nature du phénomène : alternative structurelle à la grande entreprise, solution à la crise du fordisme ou court épisode dans l’histoire du capitalisme ? Il éclaire aussi son avenir, alors que les districts sont confrontés à une mondialisation qui menace de desserrer les liens des entreprises avec le territoire

Computer Validated Proofs of a Toolset for Adaptable Arithmetic

Most existing implementations of multiple precision arithmetic demand that the user sets the precision a priori. A solution is to use the largest precision necessary to reach target accuracy. Some libraries are said adaptable in the sense that they dynamically change the precision of each intermediate operation individually to deliver the target accuracy according to the actual inputs. We present in this text a new adaptable numeric core inspired both from floating point expansions and from on-line arithmetic. The numeric core is cut down to five tools. The first tool that contains many arithmetic operations is proved to be correct. The proofs have been formally checked by the Coq assistant. Developing the proofs, we have formally proved many result published in the literature and we have extended a few of them. This work may let users (i) develop application specific adaptable libraries based on the toolset and / or (ii) write new formal proofs based on the set of validated facts

Histoires de territoires: les territoires industriels en question XVIIIe-XXe siècles

Actes du colloque tenu à Neuchâtel en janvier 2006 / 14e Congrès international d'histoire économique, Helsinki, 2006.À la jonction entre histoire régionale, histoire industrielle et histoire des entreprises, cet ouvrage cherche à éclairer la relation entre territoires et industries à travers le temps ― du XVIIIe siècle à nos jours ― et l'espace ― de l'Europe occidentale aux États-Unis. Quel est le poids du territoire dans sa relation aux systèmes de production qui s'y établissent et comment les configure-t-il ? Quelles sont les rapports et les influences entre territoire et acteurs économiques ? Trois axes ont été privilégiés pour répondre à ces questions : le premier prend en compte les interactions entre territoires, en lien avec les processus d'innovation technique. Le deuxième met en relation les milieux et les représentations et se penche en particulier sur les acteurs économiques. Le dernier aborde les influences réciproques entre les structures économiques et l'espace et les transformations qui en résultent. Les dix-sept textes réunis dans ce volume permettent ainsi d'explorer la genèse, le développement, le sens, la fonction et les causes de pérennisation des organisations territoriales de la production industrielle. Les contributions réunies dans cet ouvrage ont été présentées lors d'un colloque à Neuchâtel en janvier 2006 et de la session organisée à l'occasion du 12e Congrès international d'histoire économique, à Helsinki en août de la même année et s'inscrivent dans un programme de recherche mis sur pied en 2003 sur les dynamiques territoriales de l'industrialisation en Europe (1750-2000)