La lattatemia nel puledro neonato sottoposto a terapia intensiva

Admission blood lactate concentration has been shown to be a useful indicator of disease severity in human medicine and numerous studies have associated hyperlactatemia with patients at high risk of death who should be treated aggressively regardless of the cause of the lactate generation. The degree and duration of hyperlactacidaemia also have been correlated with the subsequent development of organ failure. Similarly, in a small number of studies about equine colic, blood lactate concentration has been investigated as a useful prognostic variable . In neonatal foals blood lactate was studied first by Magdesian (2003) who described venous blood lactate concentration in 14 normal foals during the initial 48 hours post-partum. A preliminary study about lactate concentration in foals presenting to a neonatal intensive care unit reported that surviving foals had earlier lactate clearance. The measurement of blood lactate concentration is traditionally available with a wet chemistry laboratory method or with blood-gas analyzers, for clinicians working at university or large private hospital. But this methods may not be easily accessible to many practitioners in field conditions. Several relatively inexpensive, easy to use and rapid pocket size monitors to measure lactate concentration have been validated in human patients and athletes. None of these portable lactate analyzer have been evaluated in clinically normal neonatal foals or in foals referred to a neonatal intensive care unit. The aims of this study were to validate the Lactate Scout analyzer in neonatal foals, investigating the correlation between lactate concentration in whole blood measured with the portable monitor and measured in plasma with the reference laboratory analyzer. The effect of hematocrit (Hct) on the accuracy of Lactate Scout was also evaluated. Further, we determined the utility of venous lactate measurement in critically-ill foals, describing lactate values in the most frequent neonatal pathologies, evaluating serial blood lactate measurements during hospitalization and investigating its prognostic value. The study also describes normal range for lactate in healthy neonatal foals during the first 72 hours of life.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Design and Development of a Research Framework for Prototyping Control Tower Augmented Reality Tools

The purpose of the air traffic management system is to ensure the safe and efficient flow of air traffic. Therefore, while augmenting efficiency, throughput and capacity in airport operations, attention has rightly been placed on doing it in a safe manner. In the control tower, many advances in operational safety have come in the form of visualization tools for tower controllers. However, there is a paradox in developing such systems to increase controllers' situational awareness: by creating additional computer displays, the controller's vision is pulled away from the outside view and the time spent looking down at the monitors is increased. This reduces their situational awareness by forcing them to mentally and physically switch between the head-down equipment and the outside view. This research is based on the idea that augmented reality may be able to address this issue. The augmented reality concept has become increasingly popular over the past decade and is being proficiently used in many fields, such as entertainment, cultural heritage, aviation, military & defense. This know-how could be transferred to air traffic control with a relatively low effort and substantial benefits for controllers’ situation awareness. Research on this topic is consistent with SESAR objectives of increasing air traffic controllers’ situation awareness and enable up to 10 % of additional flights at congested airports while still increasing safety and efficiency. During the Ph.D., a research framework for prototyping augmented reality tools was set up. This framework consists of methodological tools for designing the augmented reality overlays, as well as of hardware and software equipment to test them. Several overlays have been designed and implemented in a simulated tower environment, which is a virtual reconstruction of Bologna airport control tower. The positive impact of such tools was preliminary assessed by means of the proposed methodology.

Assessment of sea-level variability for the Emilia-Romagna coastal area in the framework of the Mediterranean Sea

Sea–level change is one of the ocean characteristics closely connected to climate change. Understanding its variation is essential since a large portion of the world’s population is located in low–lying locations. Two main techniques are employed to measure sea level: satellite altimetry and tide gauges. Satellite altimetry monitors sea–level relative to a geocentric reference, is unaffected by crustal processes and covers nearly the entire surface of the oceans since 1993. Conversely, tide gauges measure sea level at specific coastal locations and relative to a local ground benchmark, therefore are impacted by vertical land movements. In this study, the linear and non–linear geocentric and relative sea–level trends along the Emilia–Romagna coast (Northern Italy) have been analyzed over different periods. In order to assess the local sea–level variability, data from satellite altimetry and tide gauges have been compared over a common time interval (1993–2019), hence disentangling the contribute of vertical land movements. Non–linearity has been also evaluated at the broader scale of the Mediterranean Sea, in order to depict the main variability in geocentric sea–level trends from regional to sub–basin scale. Furthermore, the anthropogenic and natural influence at the river basin scale has been addressed, in order to shed light on the factors inducing the drastic reduction of riverine sediment supply to the Emilia–Romagna coast over the period 1920–2020. The findings of this analysis indicate that the sediment delivery reduction to the coast by rivers has been driven by several anthropogenic processes, acting on various spatiotemporal scales. Moreover, the local absolute sea–level trend is far from linear and appear "contaminated" by the presence of natural oscillations that act at the multi–decadal, quasi–decadal and inter–annual scale, mainly driven by both large–scale climatic modes and variations in local oceanography.