ReLock: a resilient two-phase locking RESTful transaction model

Service composition and supporting transactions across composed services are among the major challenges characterizing service-oriented computing. REpresentational State Transfer (REST) is one of the approaches used for implementing Web services that is gaining momentum thanks to its features making it suitable for cloud computing and microservices-based contexts. This paper introduces ReLock, a resilient RESTful transaction model introducing general purpose transactions on RESTful services by a layered approach and a two-phase locking mechanism not requesting any change to the RESTful services involved in a transaction

Formal verification and co-simulation in the design of a synchronous motor control algorithm

Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging. This paper introduces a development method based on model-based design, co-simulation and formal verification. The objective of this paper is to show the applicability of the method in an industrial setting. An application case study comes from the field of precision servo-motors, where formal verification has been used to find acceptable intervals of values for design parameters of the motor controller, which have been further explored using co-simulation to find optimal values. The reported results show that the method has been applied successfully to the case study, augmenting the current model-driven development processes by formal verification of stability, formal identification of acceptable parameter ranges, and automatic design-space exploration

Bisphenol A and Bisphenol S Induce Endocrine and Chromosomal Alterations in Brown Trout

Bisphenol A is a widely used compound found in large amount of consumer products. As concerns have been raised about its toxicological and public health effect, the use of alternatives to bisphenol A are now increasing. Bisphenol S is one of the analogues being used as a replacement for bisphenol A despite the fact that little is known about the effects of bisphenol S on living organisms. In this study, we investigated the potential endocrine and genotoxic effects of bisphenol A and bisphenol S in juvenile brown trout (Salmo trutta). The fish were exposed to the compounds for either 2 weeks or 8 weeks via sustained-release cholesterol implants containing doses of 2 mg/kg fish or 20 mg/kg fish of the substances. The effects on the thyroid hormone levels and the estrogenic disrupting marker vitellogenin were evaluated, along with the genotoxic markers micronucleated cells and erythrocyte nuclear abnormalities. An increase in plasma vitellogenin was observed in fish exposed to the high dose of bisphenol A for 2 weeks. At this experimental time the level of the thyroid hormone triiodothyronine (T3) in plasma was elevated after bisphenol S exposure at the high concentration, and paralleled by an increase of micronucleated cells. Moreover, bisphenol A induced an increase of micronuclei frequency in fish erythrocytes after the exposure at the lowest dose tested. Taken together the results indicate that both bisphenol A and its alternative bisphenol S cause endocrine disrupting and genotoxic effects in brown trout, although suggesting two different mechanisms of damage underlying bisphenol A and bisphenol S activity

3D curved multiplanar cone beam CT reconstruction for intracochlear position assessment of straight electrodes array. A temporal bones and patients study

A retrospective review of post-op cone beam CT (CBCT) of 8 adult patients and 14 fresh temporal bones that underwent cochlear implantation with straight flexible electrodes array was performed to determine if the position of a long and flexible electrodes array within the cochlear scalae could be reliably assessed with CBCT. An oto-radiologist and two otologists examined the images and assessed the electrodes position. The temporal bone specimens underwent histological analysis for confirm the exact position. The position of the electrodes was rated as scala tympani, scala vestibule, or intermediate position for the electrodes at 180°, 360° and for the apical electrode. In the patient group, for the electrodes at 180° all observers agreed for scala tympani position except for 1 evaluation, while a discrepancy in 3 patients both for the 360° and for the apical electrode assessment were found. In five temporal bones the evaluations were in discrepancy for the 180° electrode, while at 360° a disagreement between raters on the scalar positioning was seen in six temporal bones. A higher discrepancy between was found in assessment of the scalar position of the apical electrode (average pairwise agreement 45.4%, Fleiss k = 0.13). A good concordance was found between the histological results and the consensus between raters for the electrodes in the basal turn, while low agreement (Cohen’s k 0.31, pairwise agreement 50%) was found in the identification of the apical electrode position confirming the difficulty to correct identify the electrode position in the second cochlear turn in temporal bones. In conclusion, CBCT is a reliable radiologic exam to correctly evaluate the position of a lateral wall flexible array in implanted patients using the proposed imaging reconstruction method, while some artefacts impede exact evaluation of the position of the apical electrode in temporal bone and other radiological techniques should be preferred in ex vivo studies

Suitability of nanoparticles to face benzo(A)pyrene-induced genetic and chromosomal damage in m. galloprovincialis. an in vitro approach

Benzo(a)pyrene (B(a)P) is a well-known genotoxic agent, the removal of which from environmental matrices is mandatory, necessitating the application of cleaning strategies that are harmless to human and environmental health. The potential application of nanoparticles (NPs) in the remediation of polluted environments is of increasing interest. Here, specifically designed NPs were selected as being non-genotoxic and able to interact with B(a)P, in order to address the genetic and chromosomal damage it produces. A newly formulated pure anatase nano-titanium (nano-TiO2), a commercial mixture of rutile and anatase, and carbon black-derived hydrophilic NPs (HNP) were applied. Once it had been ascertained that the NPs selected for the work did not induce genotoxicity, marine mussel gill biopsies were exposed in vitro to B(a)P (2 µg/mL), alone and in combination with the selected NPs (50 µg/mL nano-TiO2, 10 µg/mL HNP). DNA primary reversible damage was evaluated by means of the Comet assay. Chromosomal persistent damage was assessed on the basis of micronuclei frequency and nuclear abnormalities by means of the Micronucleus-Cytome assay. Transmission Electron Microscopy (TEM) was performed to investigate the mechanism of action exerted by NPs. Pure Anatase n-TiO2 was found to be the most suitable for our purpose, as it is cyto-and genotoxicity free and able to reduce the genetic and chromosomal damage associated with exposure to B(a)P

PMS53 Association Between Teriparatide Adherence and Health Care Utilization and Costs in Real World United States Kyphoplasty/Vertebroplasty Patients

The Gulf of Follonica (Italy) is impacted by the chemical pollution from ancient mining activity and present industrial processes. This study was aimed to determine the bioavailability of dioxin-like compounds (DLCs) in coastal marine environment and to assess the genotoxic potential of waste waters entering the sea from an industrial canal. Moderately high levels of DCLs compounds ( 11 PCDDs + PCDFs 2.18\u201329.00 pg/g dry wt) were detected in Mytilus galloprovincialis transplanted near the waste waters canal and their corresponding Toxic Equivalents (TEQs) calculated. In situ exposed mussels did not show any genotoxic effect (by Comet and Micronucleus assay). Otherwise, laboratory exposure to canal waters exhibited a reduced genomic template stability (by RAPD-PCR assay) but not DNA or chromosomal damage. Our data reveal the need to focus on the levels and distribution of DLCs in edible species from the study area considering their potential transfer to humans through the consumption of sea food

The future of Cybersecurity in Italy: Strategic focus area

This volume has been created as a continuation of the previous one, with the aim of outlining a set of focus areas and actions that the Italian Nation research community considers essential. The book touches many aspects of cyber security, ranging from the definition of the infrastructure and controls needed to organize cyberdefence to the actions and technologies to be developed to be better protected, from the identification of the main technologies to be defended to the proposal of a set of horizontal actions for training, awareness raising, and risk management

Ricostruzione multiplanare 3D di immagini cone beam per lidenficazione della posizione degli impianti cocleari. Studio su ossi temporali e pazienti impiantati

Questo studio riporta unanalisi retrospettica delle immagini cone beam CT effettuate su 8 pazienti adulti sottoposti ad impianto cochleare MedEl flex 28 e su 14 ossi temporali impiantati con lo stesso tipo di array portaelettrodi. Lo scopo dello studio é di determinare laffidabilità della metodica cone beam CT nella valutazione della posizione intracocleare degli elettrodi in impianti che si posizionano lungo la parete laterale del lume cocleare, quindi non perimodiolari la cui posizione é più facilmente identificabile. Un otoradiologo e due otologi hanno analizzato le immagini e assegnato la posizione per ciascun elettrodo localizzato nella regione dei 180° e dei 360° del primo giro cocleare e per lelettrodo apicale scegliendo tra scala timpanica, vestibulare o posizione intermedia Lanalisi istologica ha successivamente confermato lesatta posizione negli ossi temporali. Nel gruppo dei pazienti per lelettrodo a 180° i tre esperti concordavano sulla posizione in scala timpanica in tutti eccetto un paziente, mentre una discordanza nella valutazione era presente in 3 pazienti per gli elettrodi a 360° e per gli elettrodi apicali. Negli ossi temporali in 5 casi era presente una discordanza per lelettrodo a 180°, mentre a 360° sei valutazioni erano discordanti tra i valutatori. Una disdcordanza tra le valutazioni più elevata veniva trovata per la la posizione dellelettrodo apicale (concordanza valutatori 45.4%, Fleiss k = 0,13). Un buon grado di concordanza veniva trovato tra i risultati istologici e le valutazioni tra i valutatori per gli elettrodi localizzati nel giro basale; un grado più basso esisteva per la posizione degli elettrodi apicali (concordanza valutatori 50%, Cohens k = 0,31) confermando la difficoltà nella corretta valutazione della posizione degli elettrodi nella regione più apicale negli ossi temporali. In conclusione, le immagini cone beam postoperatorie analizzate con la metodica della ricostruzione multiplanare 3D rappresentano una metodica affidabile per lo studio della posizione intracocleare degli elettrodi a posizionamento laterale nei pazienti impiantati. La corretta identificazione del posizionamento dellelettrodo piu apicale risulta difficile su osso temporale per la presenza di un artefatto più importante o per la minore resistenza delle strutture della parete laterale della coclea (legamento spirale, membrane basilare) nel preparato istologico (osso temporale fresco/congelato) che è responsabile di un maggior numero di traslocazioni dalla rampa timpanica alla rampa vestibolare e di localizzazioni intermedie più difficilmente interpretabili

Early prototyping of wireless sensor network algorithms in PVS

We describe an approach of using the evaluation mechanism of the specification and verification system PVS to support formal design exploration of WSN algorithms at the early stages of their development. The specification of the algorithm is expressed with an extensible set of programming primitives, and properties of interest are evaluated with ad hoc network simulators automatically generated from the formal specification. In particular, we build on the PVSio package as the core base for the network simulator. According to requirements, properties of interest can be simulated at different levels of abstraction. We illustrate our approach by specifying and simulating a standard routing algorithm for wireless sensor networks