LCA di prodotto-servizio: il caso di studio di un lavamoto automatico

Il presente studio ha per oggetto l’applicazione della metodologia LCA ad un impianto di lavaggio automatico di motocicli, prodotto da un’azienda lombarda, Vema srl. Questo impianto sembra essere il primo nel suo genere a livello europeo, se non mondiale; non appena messa in commercio la macchina, l’azienda produttrice ha ricevuto infatti ordini anche dal Sud America, dalla Francia e dall’India. L’innovazione portata da questa macchina è quella di aver spostato specificamente sui motocicli il sistema di lavaggio automatico tipico delle automobili (tunnel ad avanzamento automatico), andando a riempire, economicamente, una nicchia di mercato ancora vuota. Tradizionalmente il lavaggio di motocicli viene svolto manualmente, mentre questo prodotto consente di lavare in maniera autonoma il proprio mezzo con un intervento manuale minimo ed una notevole riduzione dei consumi di acqua attraverso un sistema di riciclo

Positive and Negative Regulation of Cellular Immune Responses in Physiologic Conditions and Diseases

The immune system has evolved to allow robust responses against pathogens while avoiding autoimmunity. This is notably enabled by stimulatory and inhibitory signals which contribute to the regulation of immune responses. In the presence of a pathogen, a specific and effective immune response must be induced and this leads to antigen-specific T-cell proliferation, cytokines production, and induction of T-cell differentiation toward an effector phenotype. After clearance or control of the pathogen, the effector immune response must be terminated in order to avoid tissue damage and chronic inflammation and this process involves coinhibitory molecules. When the immune system fails to eliminate or control the pathogen, continuous stimulation of T cells prevents the full contraction and leads to the functional exhaustion of effector T cells. Several evidences both in vitro and in vivo suggest that this anergic state can be reverted by blocking the interactions between coinhibitory molecules and their ligands. The potential to revert exhausted or inactivated T-cell responses following selective blocking of their function made these markers interesting targets for therapeutic interventions in patients with persistent viral infections or cancer

Predictors of mortality in patients with Eisenmenger syndrome and admission to the lung transplantation waiting list

Background. Patients with Eisenmenger Syndrome (ES) have very severe irreversible pulmonary hypertension but the criteria for admitting such patients to a lung transplantation waiting list (LTWL) is not clear. Indeed it has been demonstrated that the natural survival of patients with ES is better than the survival achieved through lung transplantation: it follows that no guidelines are available for these patients' admission to an LTWL. The aim of our study was to identify possible predictors of mortality in ES patients in order to reserve admission to the LTWL solely for those patients who would otherwise have the lowest probability of survival. Methods. Since 1991, 57 patients with ES from our rehabilitative centre were admitted to the LTWL of the Division of Cardiac Surgery at San Matteo Hospital, University of Pavia. At the time of the retrospective analysis, patients were divided into a group of non-transplanted survivors (27 patients - 47% of the total) and a group who had died prior to transplantation (16 patients - 28% of the total). The 14 transplanted patients (25% of the total) were not considered in the statistical analysis, considering transplantation as an "external event". Unpaired t tests were used to compare the following factors in the survivors and in those who died: sex, "complexity" of the congenital heart disease underlying the ES, previous cardiac surgery, arterial blood gases, pulmonary function and hemodynamic parameters. Moreover, a stepwise discriminant analysis was performed in order to define a possible set of prognostic factors. Results. PaCO2 was higher in those who subsequently died (36.15±7.42 mmHg) compared with those who survived (32.5±5.33 mmHg), although this difference did not reach a statistical significance (p=0.08). Discriminant analysis defined a model in which a) complexity of the congenital heart disease, b) sex (male) and c) cardiac output were predictive of a higher risk of mortality. Conclusions. This new knowledge can be used in the decision of admission to LTWL in ES patients

Non-collaborative Attackers and How and Where to Defend Flawed Security Protocols (Extended Version)

Security protocols are often found to be flawed after their deployment. We present an approach that aims at the neutralization or mitigation of the attacks to flawed protocols: it avoids the complete dismissal of the interested protocol and allows honest agents to continue to use it until a corrected version is released. Our approach is based on the knowledge of the network topology, which we model as a graph, and on the consequent possibility of creating an interference to an ongoing attack of a Dolev-Yao attacker, by means of non-collaboration actuated by ad-hoc benign attackers that play the role of network guardians. Such guardians, positioned in strategical points of the network, have the task of monitoring the messages in transit and discovering at runtime, through particular types of inference, whether an attack is ongoing, interrupting the run of the protocol in the positive case. We study not only how but also where we can attempt to defend flawed security protocols: we investigate the different network topologies that make security protocol defense feasible and illustrate our approach by means of concrete examples.Comment: 29 page

Simulated magnetic field expulsion in neutron star cores

The study of long-term evolution of neutron star (NS) magnetic fields is key to understanding the rich diversity of NS observations, and to unifying their nature despite the different emission mechanisms and observed properties. Such studies in principle permit a deeper understanding of the most important parameters driving their apparent variety, e.g. radio pulsars, magnetars, X-ray dim isolated NSs, gamma-ray pulsars. We describe, for the first time, the results from self-consistent magnetothermal simulations considering not only the effects of the Hall-driven field dissipation in the crust, but also adding a complete set of proposed driving forces in a superconducting core. We emphasize how each of these core-field processes drive magnetic evolution and affect observables, and show that when all forces are considered together in vectorial form, the net expulsion of core magnetic flux is negligible, and will have no observable effect in the crust (consequently in the observed surface emission) on megayear time-scales. Our new simulations suggest that strong magnetic fields in NS cores (and the signatures on the NS surface) will persist long after the crustal magnetic field has evolved and decayed, due to the weak combined effects of dissipation and expulsion in the stellar core.J.G.E. and N.R. are funded by an NWO Vidi grant (PI: Rea). J.A.P. is funded by the grants AYA2013-42184-P and Prometeu/2014/6. N.R. and D.V. acknowledge support from the grants AYA2012-39303 and SGR 2014-1073. K.G. is supported by the Ramón y Cajal Programme of the Spanish Ministerio de Ciencia e Innovación. Authors also wish to acknowledge NewCompStar, COST action MP1304 for partial funding of this research

From Display to Labelled Proofs for Tense Logics

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate

On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus

Calcareous Nannofossils and Paleoclimatic Evolution Across the Eocene-Oligocene Transition at IODP Site U1509, Tasman Sea, Southwest Pacific Ocean

The Eocene‐Oligocene transition (EOT; ∼34 Ma) was one of the most prominent global cooling events of the Cenozoic, coincident with the emergence of continental‐scale ice‐sheets on Antarctica. Calcareous nannoplankton experienced significant assemblage turnover at a time of long‐term surface ocean cooling and trophic conditions, suggesting cause‐effect relationships between Antarctic glaciation, broader climate changes, and the response of phytoplankton communities. To better evaluate the timing and nature of these relationships, we generated calcareous nannofossil and geochemical data sets (δ18O, δ13C and %CaCO3) over a ∼5 Myr stratigraphic interval recovered across the EOT from IODP Site U1509 in the Tasman Sea, South Pacific Ocean. Based on trends observed in the calcareous nannofossil assemblages, there was an overall decline of warm‐oligotrophic communities, with a shift toward taxa better adapted to cooler more eutrophic conditions. Assemblage changes indicate four distinct phases caused by temperature decrease and variations in paleocurrents: late Eocene warm‐oligotrophic phase, precursor diversity‐decrease phase, early Oligocene cold‐eutrophic phase, and a steady‐state cosmopolitan phase. The most prominent shift in the assemblages occurred during the ∼550 kyr‐long precursor diversity‐decrease phase, which has relatively high bulk δ18O and %CaCO3 values, and predates the phase of maximum glacial expansion (Earliest Oligocene Glacial Maximum–EOGM)