606 research outputs found
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications
Nowadays, software artifacts are ubiquitous in our lives being an essential
part of home appliances, cars, cell phones, and even in more critical
activities like aeronautics and health sciences. In this context software
failures may produce enormous losses, either economical or, in the worst case,
in human lives. Software analysis is an area in software engineering concerned
with the application of diverse techniques in order to prove the absence of
errors in software pieces. In many cases different analysis techniques are
applied by following specific methodological combinations that ensure better
results. These interactions between tools are usually carried out at the user
level and it is not supported by the tools. In this work we present
HeteroGenius, a framework conceived to develop tools that allow users to
perform hybrid analysis of heterogeneous software specifications.
HeteroGenius was designed prioritising the possibility of adding new
specification languages and analysis tools and enabling a synergic relation of
the techniques under a graphical interface satisfying several well-known
usability enhancement criteria. As a case-study we implemented the
functionality of Dynamite on top of HeteroGenius.Comment: In Proceedings LAFM 2013, arXiv:1401.056
Screening of at-risk blood donors for Chagas disease in non-endemic countries: Lessons from a 2-year experience in Tuscany, Italy
Background: Chagas disease (CD) is caused by the protozoan parasite Trypanosoma cruzi and is transmitted by blood-sucking triatomine insects in endemic areas of Latin America. Transmission can also occur via blood transfusion and is a major cause of CD in non-endemic areas. Objectives: The aim of the study was to assess the prevalence of anti-T. cruzi antibodies in blood donors at risk of infection in Tuscany, Italy, following the introduction of blood safety Italian legislation. Material and methods: Donors (N = 1985) were tested in 2016 to 2018 for anti-T. cruzi IgG using an immunochromatographic test (ICT). Chemiluminescent immunoassay (CLIA) was performed on ICT-positive donors to exclude CD, whereas enzyme-linked immunosorbent assay and Western blot were performed in case of discordant results. All assays were performed on CD patients (N = 10) for validation. Results: Ten blood donors had a positive ICT result, with a resulting T. cruzi seroprevalence of 0.5% but demonstrates negative results to CLIA, as well as to the other serological assays. The comparison of serological assays suggested a lower relative sensitivity of ICT. Conclusion: The results of this study confirm the significance of serological testing in the screening strategy for TT CD. However, they provide evidence for discontinuing the use of ICT as a screening test and suggest that a sensitive, specific and multi-sample format assay should be used at the national level for uniformity of results
The influence of chromium nitrides precipitation on the fatigue behavior of duplex stainless steels
This paper studies the fatigue behavior at room temperature of UNS S32205 and UNS S32750 duplex stainless steels (DSSs) under two thermal treatments. In both types of DSSs, thermal treatments at high temperature followed by water quenching (TTW) produces the precipitation of Cr2N within the ferrite phase. The amount of Cr2N increases mainly with the ferritic grain size independently of the nitrogen content. This nitride precipitation hardens the ferritic phase and produces a detrimental effect on the fatigue life of both steels.Fil: Hereñu, Silvina Andrea Noemi. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas. Centro CientĂfico TecnolĂłgico Rosario. Instituto de FĂsica de Rosario (i); ArgentinaFil: Armas, A. F.. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas. Centro CientĂfico TecnolĂłgico Rosario. Instituto de FĂsica de Rosario (i); ArgentinaFil: Alvarez, Iris. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas. Centro CientĂfico TecnolĂłgico Rosario. Instituto de FĂsica de Rosario (i); ArgentinaFil: Moscato, M. G.. Consejo Nacional de Investigaciones CientĂficas y TĂ©cnicas. Centro CientĂfico TecnolĂłgico Rosario. Instituto de FĂsica de Rosario (i); Argentin
A deep attention based approach for predictive maintenance applications in IoT scenarios
Purpose: The recent innovations of Industry 4.0 have made it possible to easily collect data related to a production environment. In this context, information about industrial equipment – gathered by proper sensors – can be profitably used for supporting predictive maintenance (PdM) through the application of data-driven analytics based on artificial intelligence (AI) techniques. Although deep learning (DL) approaches have proven to be a quite effective solutions to the problem, one of the open research challenges remains – the design of PdM methods that are computationally efficient, and most importantly, applicable in real-world internet of things (IoT) scenarios, where they are required to be executable directly on the limited devices’ hardware. Design/methodology/approach: In this paper, the authors propose a DL approach for PdM task, which is based on a particular and very efficient architecture. The major novelty behind the proposed framework is to leverage a multi-head attention (MHA) mechanism to obtain both high results in terms of remaining useful life (RUL) estimation and low memory model storage requirements, providing the basis for a possible implementation directly on the equipment hardware. Findings: The achieved experimental results on the NASA dataset show how the authors’ approach outperforms in terms of effectiveness and efficiency the majority of the most diffused state-of-the-art techniques. Research limitations/implications: A comparison of the spatial and temporal complexity with a typical long-short term memory (LSTM) model and the state-of-the-art approaches was also done on the NASA dataset. Despite the authors’ approach achieving similar effectiveness results with respect to other approaches, it has a significantly smaller number of parameters, a smaller storage volume and lower training time. Practical implications: The proposed approach aims to find a compromise between effectiveness and efficiency, which is crucial in the industrial domain in which it is important to maximize the link between performance attained and resources allocated. The overall accuracy performances are also on par with the finest methods described in the literature. Originality/value: The proposed approach allows satisfying the requirements of modern embedded AI applications (reliability, low power consumption, etc.), finding a compromise between efficiency and effectiveness
Towards an update of the Italian Ministerial Decree July 5th, 1975
In recent years, the Scientific Community and the Public Health world, in general, have devoted increasing interest to housing conditions, which are considered, to date, one of the main environmental and social determinants of the population's health. In particular, the Scientific Community has identified and studied various indoor well-being factors (e.g. lighting, temperature, ventilation, air quality, etc.). Some of these factors have been regulated by laws and regulations at various levels: the availability of clear and updated health requirements dictated by the regulations is fundamental to effectively protect public health, especially in confined environments. In the present work, we propose a revision of the Italian Ministerial Decree of July 5th, 1975 titled Modificazioni alle istruzioni ministeriali 20 giugno 1896 relativamente all'altezza minima ed ai requisiti igienico sanitari principali dei locali d'abitazione (Modifications to the ministerial instructions of June 20th, 1896 regarding the minimum height and the main hygienic-sanitary requirements of living spaces) in order to update the definition of the essential elements that qualify a space as habitable from the hygienic-sanitary point of view, taking into account the evidence gathered from the technical and scientific literature on the requirements and contents of the Building Codes of the major European countries
COVID 19: a clue from innate immunity
The recent COVID-19 pandemic has had a significant impact on our lives and has rapidly expanded to reach more than 4 million cases worldwide by May 2020. These cases are characterized by extreme variability, from a mild or asymptomatic form lasting for a few days up to severe forms of interstitial pneumonia that may require ventilatory therapy and can lead to patient death. Several hypotheses have been drawn up to understand the role of the interaction between the infectious agent and the immune system in the development of the disease and the most severe forms; the role of the cytokine storm seems important. Innate immunity, as one of the first elements of guest interaction with different infectious agents, could play an important role in the development of the cytokine storm and be responsible for boosting more severe forms. Therefore, it seems important to study also this important arm of the immune system to adequately understand the pathogenesis of the disease. Research on this topic is also needed to develop therapeutic strategies for treatment of this disease
Autologous hematopoietic progenitor cell transplantation for multiple myeloma through an outpatient program.
Bronchoalveolar lavage, sputum and exhaled clinically relevant inflammatory markers: values in healthy adults.
11noBronchoalveolar lavage (BAL), induced sputum and exhaled breath markers (exhaled nitric oxide and exhaled breath condensate) can each provide biological insights into the pathogenesis of respiratory disorders. Some of their biomarkers are also employed in the clinical management of patients with various respiratory diseases. In the clinical context, however, defining normal values and cut-off points is crucial. The aim of the present review is to investigate to what extent the issue of defining normal values in healthy adults has been pursued for the biomarkers with clinical value. The current authors reviewed data from literature that specifically addressed the issue of normal values from healthy adults for the four methodologies. Most studies have been performed for BAL (n = 9), sputum (n = 3) and nitric oxide (n = 3). There are no published studies for breath condensate, none of whose markers yet has clinical value. In healthy adult nonsmokers the cut-off points (mean+2sd) for biomarkers with clinical value were as follows. BAL: 16.7% lymphocytes, 2.3% neutrophils and 1.9% eosinophils; sputum: 7.7 x 10(6).mL(-1) total cell count and 2.2% eosinophils; nitric oxide: 20.2 ppb. The methodologies differ concerning the quantity and characteristics of available reference data. Studies focusing on obtaining reference values from healthy individuals are still required, more evidently for the new, noninvasive methodologies.nonemixedBALBI B; PIGNATTI P; CORRADI M; BAIARDI P; BIANCHI L; BRUNETTI G; RADAELI A; MOSCATO G; MUTTI A; SPANEVELLO A; MALERBA MBalbi, B; Pignatti, P; Corradi, M; Baiardi, P; Bianchi, L; Brunetti, G; Radaeli, A; Moscato, G; Mutti, A; Spanevello, Antonio; Malerba, M
- …