Compositional bisimulation metric reasoning with Probabilistic Process Calculi

We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity (generalizing the earlier proposed property of non-expansiveness) captures the essential nature of compositional reasoning and allows now also to reason compositionally about recursive processes. We characterize the distance between probabilistic processes composed by standard process algebra operators. Combining these results, we demonstrate how compositional reasoning about systems specified by continuous process algebra operators allows for metric assume-guarantee like performance validation

VERY HIGH-RESOLUTION 3D SURVEYING AND MODELLING EXPERIENCES IN CIVIL ENGINEERING APPLICATIONS

In this paper some experiences in 3D modelling of objects with very high-resolution are described, carried out by the DICAM Geomatics group of the University of Bologna in multi-disciplinary contexts within the field of the Civil Engineering. In all the addressed case studies the main aim is the generation of a 3D model of the surface at a sub-millimetric scale, allowing a very accurate characterization of the surface geometry, useful for different purposes. 3D scanning and Structure from Motion photogrammetry have been used to generate the 3D models. In the paper the encountered problems and the adopted solutions in data surveying and processing are underlined, also discussing the added value of very high-resolution 3D modelling in multi-disciplinary activities

VERY HIGH-RESOLUTION 3D SURVEYING AND MODELLING EXPERIENCES IN CIVIL ENGINEERING APPLICATIONS

Abstract. In this paper some experiences in 3D modelling of objects with very high-resolution are described, carried out by the DICAM Geomatics group of the University of Bologna in multi-disciplinary contexts within the field of the Civil Engineering. In all the addressed case studies the main aim is the generation of a 3D model of the surface at a sub-millimetric scale, allowing a very accurate characterization of the surface geometry, useful for different purposes. 3D scanning and Structure from Motion photogrammetry have been used to generate the 3D models. In the paper the encountered problems and the adopted solutions in data surveying and processing are underlined, also discussing the added value of very high-resolution 3D modelling in multi-disciplinary activities

Guidelines for the monitoring of Lucanus cervus

Lucanus cervus is one of the most charismatic saproxylic beetles, widely distributed in Europe. The species is typical of mature deciduous forests, especially oak woodlands. Loss and fragmentation of suitable habitats is one of the major threats for this species which is included in Annex II of the Habitats Directive. Despite several studies carried out in the last years for the monitoring methods of the species, an analytical comparison between them is still lacking. The aims of this paper are (i) to review the current knowledge about systematics, ecology and conservation practices on L. cervus and (ii) to present the research carried out during the Life MIPP project, in order to define a standard monitoring method with a suitable protocol to be used for addressing the obligations of the Habitats Directive. Overall, five methods were tested during three years in two different study areas. Based on these results, a suitable standard method for L. cervus is proposed in this paper and, in order to assess the conservation status of populations and to compare them over time, a simple method for the calculation of a reference value is provided

Sudden death after valve-in-valve procedure due to delayed coronary obstruction. A case report

Background: Valve-in-valve transcatheter aortic valve implantation for degenerated aortic bioprostheses is an effective option for patients at high risk for redo surgery, even if it may be burdened by complications more common in specific settings, such as, coronary artery obstruction. Case presentation: We present the case of a Caucasic 84-year-old woman with degeneration of a previously implanted aortic Mitroflow bioprosthesis. She underwent a valve-in-valve transcatheter aortic valve implantation with a CoreValve® bioprosthesis. End-procedure coronary angiography demonstrated maintained perfusion of both coronary arteries. However, few hours later, she experienced sudden cardiac death. An autopsy showed that Mitroflow prosthesis leaflets were higher than the left main coronary ostium, and no other possible cause for the sudden death. Fatality was thus ascribed to left main coronary ostium obstruction due to apposition of the Mitroflow leaflet pushed upward by the late expansion of CoreValve®. Conclusions: Coronary artery obstruction is a frequently fatal complication which usually presents just after valve implantation, but, as reported in our case, it may also have a delayed presentation. Accurate patient's selection and intraoperative preventive measures can reduce this eventuality

Urgent cesarean delivery following a spontaneous coronary artery dissection

Objective: Rare disease Background: Spontaneous coronary artery dissection is the most common etiology of pregnancy-associated myocardial infarction. It is characterized by high rates of maternal morbidity and mortality and may cause fetal complications and death as well. Case Report: A 44-year-old female (G2P1) suffered from pregnancy-related spontaneous coronary artery dissection with dissection of distal left anterior descending coronary artery. The patient was hemodynamically stable and did not required revascularization, but signs of fetal distress were detected and thus an urgent cesarean delivery was performed. This emergency procedure was undertaken in the catheterization laboratory (Cath-Lab) right after coronary angiography, thanks to a multidisciplinary team. Health conditions of the newborn were good. The patient instead suffered from a recurrence of spontaneous coronary artery dissection 6 days later, complicated by left ventricular apical thrombus and epistenocardial pericarditis. The dissection self-healed in 1 month. Conclusions: Careful evaluation of pregnancy-related spontaneous coronary artery dissection is needed to assess and manage both maternal and fetal complications. Under specific circumstances, a cesarean delivery may be required and be even performed in the Cath-Lab after coronary catheterization

Anterior mitral valve aneurysm is an uncommon complication of aortic valve infective endocarditis. A case report

Objective: Rare disease Background: Mitral valve aneurysms (MVAs) are uncommon conditions frequently associated with aortic valve endocarditis. They may be complicated by perforation and severe mitral regurgitation (MR). Optimal treatment of MVA, and in particular the best timing for surgery, are uncertain. Case Report: A 62-year-old man with a recent history of dental surgery presented to the Emergency Department complaining relapsing fever. A first echocardiogram demonstrated infective endocarditis of the aortic valve. The patient was primarily managed with specific antibiotic therapy. Despite this, a few days later he suffered from splen-ic embolization and an MVA with MR was detected. Surgical replacement of the mitral and aortic valves was therefore performed. Conclusions: MVAs are infrequent but potentially severe complications of AV endocarditis. In the absence of definite treatment indication, the correct time for surgery should depend on concomitant clinical and infective features

3D DIGITISATION IN CULTURAL HERITAGE KNOWLEDGE AND PRESERVATION: THE CASE OF THE NEPTUNE STATUE IN BOLOGNA AND ITS ARCHETYPE

Abstract. In the field of Cultural Heritage, the availability of a complete, detailed and photo-realistic 3D model of the objects of interest permits to describe all the aspects related to geometry, colours and materials, as well as the work techniques and the decay state. Besides, it offers multiple possibilities for the documentation, the analysis and the study.This paper describes the experience, carried out by the DICAM Geomatics group of the University of Bologna, about the 3D digitisation of two important statues of Neptune, by means of the integration of 3D image-based and range-based techniques. The two artworks, both realized by the sculptor Giambologna, are the big bronze statue of the god adorning the homonymous fountain, one of the most symbolic monuments of the city of Bologna, and its archetype, exhibited in one of the civic museums.The obtained 3D models, beyond the important function of documentation, knowledge and preservation of the two objects, also permit a comparison between the small archetype, conveniently scaled, and the big final statue. In the manuscript all the surveying and data processing operations concerning the objects digitisation are described. Particular attention is paid to the problems related to the scale of the archetype and the comparison between the two obtained 3D models, with the aim to evaluate and represent the occurred changes

Delayed left subclavian artery pseudoaneurysm following transcatheter aortic valve implantation

In 10-15% of patients undergoing transcatheter aortic valve implantation (TAVI), the femoral artery approach is precluded owing to insufficient caliber or tortuosity of the vessel. In these subjects, the subclavian (SC) or the axillary (AX) access can be used; these have proved equivalent to the femoral artery approach in terms of both survival and the rate of vascular complications. The SC or AX approach usually require a surgical cut-down under general anesthesia or deep sedation, though cases have been described in which the percutaneous technique has been adopted. Furthermore, SC and AX access may be burdened by complications, such as vessel perforation or rupture, or the formation of aneurysms at the site of incision

Sulodexide counteracts endothelial dysfunction induced by metabolic or non-metabolic stresses through activation of the autophagic program

OBJECTIVE: Endothelial dysfunction (ED) predisposes to venous thrombosis (VT) and post-thrombotic syndrome (PTS), a long-term VT-related complication. Sulodexide (SDX) is a highly purified glycosaminoglycan with antithrombotic, pro-fibrinolytic and anti-inflammatory activity used in the treatment of chronic venous disease (CVD), including patients with PTS. SDX has recently obtained clinical evidence in the “extension therapy” after initial-standard anticoagulant treatment for the secondary prevention of recurrent deep vein thrombosis (DVT). Herein, we investigated how SDX counteracts ED. MATERIALS AND METHODS: Human umbilical vein endothelial cells (HUVEC) were used. Metabolic and non metabolic-induced ED was induced by treating with methylglyoxal (MGO) or irradiation (IR), respectively. Bafilomycin A1 was used to inhibit autophagy. The production of reactive oxygen species (ROS), tetrazolium bromide (MTT) assay for cell viability, terminal de-oxynucleotidyl transferase-mediated dUTP nick end labeling (TUNEL) assay for cell apoptosis, Real-time PCR and Western blot analysis for gene and protein expression were used. RESULTS: SDX protected HUVEC from MGO- or IR-induced apoptosis by counteracting the activation of the intrinsic and extrinsic caspase cascades. The cytoprotective effects of SDX resulted from a reduction in a) ROS production, b) neo-synthesis and release of pro-inflammatory cytokines (TNFα, IL1, IL6, IL8), c) DNA damage induced by MGO or IR. These effects were reduced when autophagy was inhibited. CONCLUSIONS: Data herein collected indicate the ability of SDX to counteract ED induced by metabolic or non-metabolic stresses by involving the intracellular autophagy pathway. Our experience significantly increases the knowledge of the mechanisms of action of SDX against ED and supports the use of SDX in the treatment of CVD, PTS and in the secondary prevention of recurrent DVT