From hospital to municipal cogeneration systems: an Italian case study

A mixed integer linear programming model combined with a more traditional design by scenarios is proposed to optimize facilities size and operation mode of a municipal energy system involving significant civil centres and a hospital. Moving from the need of a new heat and power station for the local hospital due to the construction of new pavilions, the opportunity of involving other centres in the neighbourhood in a distributed cogeneration system is analysed, increasing system complexity step by step. Smaller cogeneration units tailored to hospital needs are rewarding ventures with relatively low risks but, in a country whose traditional power generation systems heavily rely on fossil fuels and where energy policy and market conditions can make it profitable to sell surplus power, district heating systems foster the installation of larger cogenerators and lead thereby to higher profits and to better performance as for primary energy savings and greenhouse gases emission reduction. Copyright © 2006 John Wiley & Sons, Ltd.     

A P2P strategy for QoS discovery and SLA negotiation in Grid environment

In recent years, Grid systems and Peer to Peer networks are the most commonly-used solutions to achieve the same goal: the sharing of resources and services in heterogeneous, dynamic, distributed environments. Many studies have proposed hybrid approaches that try to conjugate the advantages of the two models. This paper proposes an architecture that integrates the P2P interaction model in Grid environments, so as to build an open cooperative model wherein Grid entities are composed in a decentralized way. In particular, this paper focuses on a QoS aware discovery algorithm for P2P Grid systems, analyzing protocol and explaining techniques used to improve its performance.     

First-Void Urine Microbiome in Women with Chlamydia trachomatis Infection

Background: Chlamydia trachomatis (CT) is the agent of the most common bacterial sexually transmitted infection worldwide. Until now, little information is available about the microbial composition of urine samples during CT urethritis. Therefore, in this study, we characterized the microbiome and metabolome profiles of first-void urines in a cohort of women with CT urethral infection attending an STI clinic. Methods: Based on CT positivity by nucleic acid amplification techniques on urine samples, the enrolled women were divided into two groups, i.e., “CT-negative” (n = 21) and “CT-positive” (n = 11). Urine samples were employed for (i) the microbiome profile analysis by means of 16s rRNA gene sequencing and (ii) the metabolome analysis by ¹H-NMR. Results: Irrespective of CT infection, the microbiome of first-void urines was mainly dominated by Lactobacillus, L. iners and L. crispatus being the most represented species. CT-positive samples were characterized by reduced microbial biodiversity compared to the controls. Moreover, a significant reduction of the Mycoplasmataceae family—in particular, of the Ureaplasma parvum species—was observed during CT infection. The Chlamydia genus was positively correlated with urine hippurate and lactulose. Conclusions: These data can help elucidate the pathogenesis of chlamydial urogenital infections, as well as to set up innovative diagnostic and therapeutic approaches.     

Morphological and Biological Evaluations of Human Periodontal Ligament Fibroblasts in Contact with Different Bovine Bone Grafts Treated with Low-Temperature Deproteinisation Protocol

Several types of deproteinised bovine bone mineral (DBBM) are available on the market, and each one is obtained with a thermic and chemical process that can differ, achieving different results. Currently, several protocols using low temperature are suggested to reduce the possible particle crystallisation during the production process. This study aimed to evaluate the biomorphological reaction of periodontal fibroblast cultures in contact with different DBBM particles treated with a low-temperature protocol (Thermagen^®) and without exposure to sodium hydroxide (NaOH). Morphological evaluation was performed using light, confocal laser, and scanning electron microscopy, and the biological reaction in terms of proliferation was performed using an XTT proliferation assay at 24 h (T1), 72 h (T2), and 7 days (T3). The morphological analysis highlighted how the presence of the materials stimulated a change in the morphology of the cells into a polygonal shape, surface reactions with the thickening of the membrane, and expression of actin. In particular, the morphological changes were appreciable from T1, with a progressive increase in the considered morphological characteristics at T2 and T3 follow-ups. The proliferation assay showed a statistical significance between the different experimental materials and the negative control in T2 and T3 follow-ups. The post hoc analysis did not reveal any differences between the materials. In conclusion, the grafts obtained with the low-temperature extractions protocol and not exposed to NaOH solution showed positive morphological reactions with no differences in the sizes of particles.     

Making a mesh router/gateway from a smartphone: Is that a practical solution?

This paper aims at answering the question whether it is practical to build a mesh-phone or not. A mesh-phone is a smartphone acting as a mesh router, i.e. either actively participating in the process of packet forwarding towards a mesh gateway, or acting itself as a gateway toward the Internet. Technical aspects of the mesh-phone implementation, such as design constraints and implementation details, are addressed. The technical feasibility is validated by describing the implementation of a prototype of the mesh-enabled phone over the Openmoko^TM open platform. Besides technical feasibility also convenience of the addressed solution is analyzed in terms of the consumed power, and some “energy-saving” related enhancements are suggested to be applied to future user’s devices.     

Abstract reduction in directed model checking CCS processes

Model checking tools face a combinatorial blow up of the state-space (commonly known as the state explosion problem) that must be addressed to formally verify concurrent systems. We propose an approach combining abstraction techniques and heuristic search to overcome the problem above. In particular, heuristic search can avoid the bottleneck of the exhaustive exploration of the global state graph of a system, while retaining the advantages of abstraction techniques.