Tropical Fourier-Motzkin elimination, with an application to real-time verification

We introduce a generalization of tropical polyhedra able to express both strict and non-strict inequalities. Such inequalities are handled by means of a semiring of germs (encoding infinitesimal perturbations). We develop a tropical analogue of Fourier-Motzkin elimination from which we derive geometrical properties of these polyhedra. In particular, we show that they coincide with the tropically convex union of (non-necessarily closed) cells that are convex both classically and tropically. We also prove that the redundant inequalities produced when performing successive elimination steps can be dynamically deleted by reduction to mean payoff game problems. As a complement, we provide a coarser (polynomial time) deletion procedure which is enough to arrive at a simply exponential bound for the total execution time. These algorithms are illustrated by an application to real-time systems (reachability analysis of timed automata).Comment: 29 pages, 8 figure

Enhancement of Heat Transfer by Ultrasound: Review and Recent Advances

This paper summarizes some applications of ultrasonic vibrations regarding heat transfer enhancement techniques. Research literature is reviewed, with special attention to examples for which ultrasonic technology was used alongside a conventional heat transfer process in order to enhance it. In several industrial applications, the use of ultrasound is often a way to increase productivity in the process itself, but also to take advantage of various subsequent phenomena. The relevant example brought forward here concerns heat exchangers, where it was found that ultrasound not only increases heat transfer rates, but might also be a solution to fouling reduction

Environmental characterisation of retification process by-products (liquid and gaseous wastes)

6th International Symposium “Environment and Wood Preservation” Cannes-Mandelieu, France 7-8 February 2005 14 pagesIn order to reduce environmental risks during the service life of the treated wood and to find new alternative developments on the durability of wood, some research and technology development have been made on thermal treatment. The retification process is one of these processes. The retification process induces chemical modification of the lignin and cellulosic components and modifies the intrinsic properties of wood : efficient increases the durability against fungi and insects, increases of the dimensional stability, decrease of the mechanical properties. The interest of this process is to reduce the environmental impact during the service life. In order to confirm the high interest of this process for the reduction of the environmental impact, an environmental characterisation of wastes on pilot plant have been carried out. Chemical analysis on gaseous and liquid effluents have been performed. An energetic assessment has been realised. The results indicate the high interest of this process in terms of possible biodegradable wastes and chemical valorisation interest, interest on energetic consumption in comparison with other wood processing treatment, interest on using retification treated wood in flooring according to indoor air quality requirements

Extracorporeal Membrane Oxygenation for Severe Acute Respiratory Distress Syndrome associated with COVID-19: An Emulated Target Trial Analysis.

RATIONALE: Whether COVID patients may benefit from extracorporeal membrane oxygenation (ECMO) compared with conventional invasive mechanical ventilation (IMV) remains unknown. OBJECTIVES: To estimate the effect of ECMO on 90-Day mortality vs IMV only Methods: Among 4,244 critically ill adult patients with COVID-19 included in a multicenter cohort study, we emulated a target trial comparing the treatment strategies of initiating ECMO vs. no ECMO within 7 days of IMV in patients with severe acute respiratory distress syndrome (PaO2/FiO2 <80 or PaCO2 ≥60 mmHg). We controlled for confounding using a multivariable Cox model based on predefined variables. MAIN RESULTS: 1,235 patients met the full eligibility criteria for the emulated trial, among whom 164 patients initiated ECMO. The ECMO strategy had a higher survival probability at Day-7 from the onset of eligibility criteria (87% vs 83%, risk difference: 4%, 95% CI 0;9%) which decreased during follow-up (survival at Day-90: 63% vs 65%, risk difference: -2%, 95% CI -10;5%). However, ECMO was associated with higher survival when performed in high-volume ECMO centers or in regions where a specific ECMO network organization was set up to handle high demand, and when initiated within the first 4 days of MV and in profoundly hypoxemic patients. CONCLUSIONS: In an emulated trial based on a nationwide COVID-19 cohort, we found differential survival over time of an ECMO compared with a no-ECMO strategy. However, ECMO was consistently associated with better outcomes when performed in high-volume centers and in regions with ECMO capacities specifically organized to handle high demand. This article is open access and distributed under the terms of the Creative Commons Attribution Non-Commercial No Derivatives License 4.0 (http://creativecommons.org/licenses/by-nc-nd/4.0/)

Les données spatiales au service du suivi des ressources en eau

Les données satellitaires peuvent enrichir le suivi des ressources en eau, quels que soient les objectifs de ce suivi (gestion stratégique des ressources en eau, gestion des ouvrages, prévision des crues et étiages…). Ces données présentent l’avantage de couvrir à pas-de-temps régulier le monde entier, y compris des territoires difficiles d’accès. L’usage de ces données soulève plusieurs questions : comment évaluer leur qualité ? Comment les corriger ? Quelle pertinence au regard des données au sol dont on dispose ? Comment les utiliser pour optimiser le réseau de mesures hydrologiques ? À travers plusieurs projets et avec des partenaires scientifiques et industriels variés (IRD, CNES, CLS, CNRS, CENEAU…) BRL Ingénierie contribue à évaluer et à valoriser l’usage des données satellitaires pour la gestion des ressources en eau à l’échelle d’un bassinversant (e.g. l’Amazone) ou d’un territoire (l’Ouganda). L’objectif est de délivrer des indicateurs hydrologiques issus de l’association de modèles hydrologiques, de données in-situ et de données satellitaires, intégrés en temps réel dans un système d’information sur l’eau. Cet article présente les possibilités et les limites actuelles de l’utilisation des données satellitaires afin d’optimiser le suivi des ressources en eau

Les Nocturnes du Plan de Rome : Corinne Bonnet - Nommer les dieux en Méditerranée

Le 2 février 2022, dans le cadre du séminaire de l'ERLIS Les Nocturnes du Plan de Rome, a été donnée à l'Université de Caen la conférence intitulée : Nommer les dieux en Méditerranée. Résumé de la conférence : Dans un monde antique plein de dieux, comme l’affirmait déjà Thalès de Milet, repris par Aristote, les sociétés oscillent, dans la façon de les désigner, entre un attachement à la tradition et une créativité foisonnante, signe d’un imaginaire protéiforme et d’un souci d’efficacité. Car les noms servent avant tout à communiquer avec les puissances divines dans le cadre de pratiques cultuelles variées : offrandes, imprécations, commémorations, vœux, oracles, etc. Cet océan de noms divins constitue un réservoir extraordinaire d’informations sur les modes de représentation des dieux : les espaces qu’ils occupent, les compétences qu’on leur attribue, les modes d’action qu’on leur impute, mais aussi les relations qu’ils entretiennent entre eux au sein de ce que nous appelons commodément des « panthéons », qui ne regroupent cependant jamais la totalité des dieux. Nous partirons donc sur les traces des dieux, sur tout le pourtour de la Méditerranée, de Jérusalem à Gibraltar, d’Athènes à Cyrène en utilisant leurs noms comme boussoles. Nous mobiliserons des noms grecs, phéniciens, hébreux, araméens, des noms simples et connus, d’autres rares et étranges, à travers la longue durée de toute l’Antiquité. Nous tenterons d’esquisser des portraits et des réseaux onomastiques et nous scruterons les intentions de celles et ceux qui adressent leurs prières à un dieu, à un couple, à une triade, à une liste de puissances, bref à mille et une configurations chargées de sens