A formal framework for secure and complying services

Internet is offering a variety of services that are assembled to accomplish requests made by clients. While serving a request, security of the communications and of the data exchanged among services is crucial. Since communications occur along specific channels, it is equally important to guarantee that the interactions between a client and a server never get blocked because either cannot access a selected channel. We address here both these problems, from a formal point of view. A static analysis is presented, guaranteeing that a composition of a client and of possibly nested services respects both security policies for access control, and compliance between clients and servers.     

Development of a spring analogue approach for the study of pillars and shafts

In civil and mining operations that involve ground excavation and support, the loads are distributed between the ground and support depending on their relative stiffness. This paper presents the development of conceptual single-degree-of-freedom models, which are used to derive equations for estimating displacements and stresses for ground-support interaction problems encountered in pillars in room-andpillar mining(natural support system), and liners for circular vertical shafts(artificial support systems).For pillar assessment, mine-pillar interaction curves can be constructed using a double spring analogy.Additionally, the effectiveness of different support systems can be evaluated depending on their effect upon the mine-pillar system. For shaft design, an initial estimation of the required lining strength and thickness can be readily made based on a double ring analogue. For both problems, the results from the proposed approach compare well with those obtained by finite element numerical simulations.     

Computer-aided activity planning (CAAP) in large-scale projects with an application in the yachting industry

The present paper provides the schema for an innovative and modular computer-based approach to the planning of activities in large-scale projects. Such projects are characterized by tens of thousands of tasks, which are consequently burdensome and difficult to plan manually. This is true to the point that in many shipyards only a low level of detail is used and poor planning is generally performed. The proposed approach is called computer-aided activity planning (CAAP), and an application in the yachting industry is shown to demonstrate its effectiveness. In particular, the so-called outfitting planning problem is faced. The CAAP system, taking into account the available shipyard resources and the knowledge on the building rules is able to automatically define, sequence, and schedule the activities of the whole outfitting process acting as a “planning configurator”. Moreover, it allows the industry-specific knowledge to be stored, maintained and shared within the (extended) organization. Owing to these “building blocks”, plans can be defined accurately and in a shorter time starting from pre-defined templates, with particular impact on lead times whenever variations to complex projects are needed. Finally, to verify the actual capabilities of the approach, the CAAP was implemented within a prototypical software called NautiCAAP.     

Decomposing regional business change at plant level in Italy: A novel spatial shift‐share approach

In this paper, spatial shift‐share decomposition is analysed when applied to Italian data on regional business change at plant level, over the period 2004–2009. A new type of spatial decomposition, which looks more effectively at neighbourhood influence, is introduced here. Notable results emerge from the empirical investigation. First, it can be seen that the spatial level of aggregation greatly affects results. Second, evidence of neighbourhood advantage in the Southern NUTS 3 regions is found, together with opposite results for the Central‐Northern NUTS 3 regions. Finally, evidence of positive industrial mix effects is only found in Central‐Northern Italy.     

Comparative analysis of the outdoor performance of a dye solar cell mini‐panel for building integrated photovoltaics applications

New generation photovoltaic (PV) devices such as polymer and dye sensitized solar cells (DSC) have now reached a more mature stage of development, and among their various applications, building integrated PVs seems to have the most promising future, especially for DSC devices. This new generation technology has attracted an increasing interest because of its low cost due to the use of cheap printable materials and simple manufacturing techniques, easy production, and relatively high efficiency. As for the more consolidated PV technologies, DSCs need to be tested in real operating conditions and their performance compared with other PV technologies to put into evidence the real potential. This work presents the results of a 3 months outdoor monitoring activity performed on a DSC mini‐panel made by the Dyepower Consortium, positioned on a south oriented vertical plane together with a double junction amorphous silicon (a‐Si) device and a multi‐crystalline silicon (m‐Si) device at the ESTER station of the University of Rome Tor Vergata. Good performance of the DSC mini‐panel has been observed for this particular configuration, where the DSC energy production compares favorably with that of a‐Si and m‐Si especially at high solar angles of incidence confirming the suitability of this technology for the integration into building facades. This assumption is confirmed by the energy produced per nominal watt‐peak for the duration of the measurement campaign by the DSC that is 12% higher than that by a‐Si and only 3% lower than that by m‐Si for these operating conditions. Copyright © 2013 John Wiley & Sons, Ltd.     

Comparison of Automated Ribotyping,spa Typing,and MLST in 108 Clinical Isolates of Staphylococcus aureus from Orthopedic Infections

108 isolates of Staphylococcus aureus, belonging to six large ribogroups according to the automated Ribo-Printer^® system, were studied with two highly used molecular methods for epidemiological studies, namely multi-locus sequence typing (MLST) and spa typing, followed by BURP and eBURST v3 analysis for clustering spa types and sequence (ST) types. The aim was to evaluate whether automated ribotyping could be considered a useful screening tool for identifying S. aureus genetic lineages with respect to spa typing and MLST. Clarifying the relationship of riboprinting with these typing methods and establishing whether ribogroups fit single clonal complexes were two main objectives. Further information on the genetic profile of the isolates was obtained from agr typing and the search for the mecA, tst genes, and the IS256 insertion sequence. Automated ribotyping has been shown to predict spa clonal complexes and MLST clonal complexes. The high cost and lower discriminatory power of automated ribotyping compared to spa and MSLT typing could be an obstacle to fine genotyping analyzes, especially when high discriminatory power is required. On the other hand, numerous advantages such as automation, ease and speed of execution, stability, typeability and reproducibility make ribotyping a reliable method to be juxtaposed to gold standard methods.     

Validation of a Cleanroom Compliant Sonication-Based Decellularization Technique: A New Concept in Nerve Allograft Production

Defects of the peripheral nervous system are extremely frequent in trauma and surgeries and have high socioeconomic costs. If the direct suture of a lesion is not possible, i.e., nerve gap > 2 cm, it is necessary to use grafts. While the gold standard is the autograft, it has disadvantages related to its harvesting, with an inevitable functional deficit and further morbidity. An alternative to autografting is represented by the acellular nerve allograft (ANA), which avoids disadvantages of autograft harvesting and fresh allograft rejection. In this research, the authors intend to transfer to human nerves a novel technique, previously implemented in animal models, to decellularize nerves. The new method is based on soaking the nerve tissues in decellularizing solutions while associating ultrasounds and freeze–thaw cycles. It is performed without interrupting the sterility chain, so that the new graft may not require post-production γ-ray irradiation, which is suspected to affect the structural and functional quality of tissues. The new method is rapid, safe, and inexpensive if compared with available commercial ANAs. Histology and immunohistochemistry have been adopted to evaluate the new decellularized nerves. The study shows that the new method can be applied to human nerve samples, obtaining similar, and, sometimes better, results compared with the chosen control method, the Hudson technique.     

Immunotherapy for Biliary Tract Cancer in the Era of Precision Medicine: Current Knowledge and Future Perspectives

Biliary tract cancers (BTC) represent a heterogeneous and aggressive group of tumors with dismal prognosis. For a long time, BTC has been considered an orphan disease with very limited therapeutic options. In recent years a better understanding of the complex molecular landscape of biology is rapidly changing the therapeutic armamentarium. However, while 40–50% of patients there are molecular drivers susceptible to target therapy, for the remaining population new therapeutic options represent an unsatisfied clinical need. The role of immunotherapy in the continuum of treatment of patients with BTC is still debated. Despite initial signs of antitumor-activity, single-agent immune checkpoint inhibitors (ICIs) demonstrated limited efficacy in an unselected population. Therefore, identifying the best partner to combine ICIs and predictive biomarkers represents a key challenge to optimize the efficacy of immunotherapy. This review provides a critical analysis of completed trials, with an eye on future perspectives and possible biomarkers of response.