Soft Session Types

We show how systems of session types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is strongly inspired by recent works about session types as intuitionistic linear logic formulas. Our main result is the existence, for every typable process, of a polynomial bound on the length of any reduction sequence starting from it and on the size of any of its reducts.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407

Near-infrared spectroscopy study of tourniquet-induced forearm ischaemia in patients with coronary artery disease

Near-Infrared Spectroscopy (NIR) can be employed to monitor local changes in haemodynamics and oxygenation of human tissues. A preliminary study has been performed in order to evaluate the NIRS transmittance response to induced forearm ischaemia in patients with coronary artery disease (CAD). The population consists in 40 patients with cardiovascular risk factors and angiographically documented CAD, compared to a group of 13 normal subjects. By inflating and subsequently deflating a cuff placed around the patient arm, an ischaemia has been induced and released, and the patients have been observed until recovery of the basal conditions. A custom LAIRS spectrometer (IRIS) has been used to collect the backscattered light intensities from the patient forearm throughout the ischaemic and the recovery phase. The time dependence of the near-infrared transmittance on the control group is consistent with the available literature. On the contrary, the magnitude and dynamics of the NIRS signal on the CAD patients show deviations from the documented normal behavior, which can be tentatively attributed to abnormal vessel stiffness. These preliminary results, while validating the performance of the IRIS spectrometer, are strongly conducive towards the applicability of the NIRS technique to ischaemia analysis and to endothelial dysfunction characterization in CAD patients with cardiovascular risk factors.Publisher PD

Dilution effects in Ho2−x_{2-x}Yx_xSn2_2O7_7: from the Spin Ice to the single-ion magnet

A study of the modifications of the magnetic properties of Ho$_{2-x}$Y$_x$Sn$_2$O$_7$ upon varying the concentration of diamagnetic Y$^{3+}$ ions is presented. Magnetization and specific heat measurements show that the Spin Ice ground-state is only weakly affected by doping for $x\leq 0.3$, even if non-negligible changes in the crystal field at Ho$^{3+}$ occur. In this low doping range $\mu$SR relaxation measurements evidence a modification in the low-temperature dynamics with respect to the one observed in the pure Spin Ice. For $x\to 2$, or at high temperature, the dynamics involve fluctuations among Ho$^{3+}$ crystal field levels which give rise to a characteristic peak in $^{119}$Sn nuclear spin-lattice relaxation rate. In this doping limit also the changes in Ho$^{3+}$ magnetic moment suggest a variation of the crystal field parameters.Comment: 4 pages, 5 figures, proceedings of HFM2008 Conferenc

Some recent results on Hochschild homology of commutative algebras

This article is a brief survey of the recent results obtained by several authors on Hochschild homology of commutative algebras arising from the second author's paper \cite{21}

Some recent results on Hochschild homology of commutative algebras

This article is a brief survey of the recent results obtained by several authors on Hochschild homology of commutative algebras arising from the second author's paper

The design of sampled-data feedback systems

"Reprinted from Transactions of the AMERICAN INSTITUTE OF ELECTRICAL ENGINEERS, Vol. 73, November 1954.""March 22, 1955.

Near-infrared spectroscopy study of tourniquet-induced forearm ischaemia in patients with coronary artery disease

Near-Infrared Spectroscopy (NIRS) can be employed to monitor local changes in haemodynamics and oxygenation of human tissues. A preliminary study has been performed in order to evaluate the NIRS transmittance response to induced forearm ischaemia in patients with coronary artery disease (CAD). The population consists in 40 patients with cardiovascular risk factors and angiographically documented CAD, compared to a group of 13 normal subjects. By inflating and subsequently deflating a cuff placed around the patient arm, an ischaemia has been induced and released, and the patients have been observed until recovery of the basal conditions. A custom NIRS spectrometer (IRIS) has been used to collect the backscattered light intensities from the patient forearm throughout the ischaemic and the recovery phase. The time dependence of the near-infrared transmittance on the control group is consistent with the available literature. On the contrary, the magnitude and dynamics of the NIRS signal on the CAD patients show deviations from the documented normal behavior, which can be tentatively attributed to abnormal vessel stiffness. These preliminary results, while validating the performance of the IRIS spectrometer, are strongly conducive towards the applicability of the NIRS technique to ischaemia analysis and to endothelial dysfunction characterization in CAD patients with cardiovascular risk factors

Green Architectural Tactics for the Cloud

Energy efficiency is a primary concern for the ICT sector. In particular, the widespread adoption of cloud computing technologies has drawn attention to the massive energy consumption of data centers. Although hardware constantly improves with respect to energy efficiency, this should also be a main concern forsoftware. In previous work we analyzed the literature and elicited a set of techniques for addressing energy efficiency in cloud-based software architectures. In this work we codified these techniques in the form of Green Architectural Tactics. These tactics will help architects extend their design reasoning towards energy efficiencyand to apply reusable solutions for greener software

A systematic literature review on Energy Efficiency in Cloud Software Architectures

Cloud-based software architectures introduce more complexity and require new competences for migration, maintenance, and evolution. Although cloud computing is often considered as an energy-efficient technology, the implications of cloud-based software on energy efficiency lack scientific evidence. At the same time, energy efficiency is becoming a crucial requirement for cloud service provisioning, as energy costs significantly contribute to the Total Cost of Ownership (TCO) of a data center. In this paper, we present the results of a systematic literature review that investigates cloud software architectures addressing energy efficiency as a primary concern. The aim is to provide an analysis of the state-of-the-art in the field of energy-efficient software architectures

The variegated mud-loving beetles (Coleoptera: Heteroceridae) of Mississippi and Alabama, with discussion and keys to the species occurring in the southeastern United States

We review the variegated mud-loving beetle fauna of the southeastern United States (Coleoptera: Heteroceridae), with an emphasis on Mississippi and Alabama. A key is presented to all species known to occur in the southeastern US, and includes several extra-limital species. Descriptions, illustrations and distribution maps are presented for each species. One new species, Tropicus nigrellus, is described and a lectotype is designated for Heterocerus schwarzi Horn. Our molecular data suggest that many previously recognized generic concepts are unnatural. As a result, the following generic synonymies are proposed: Culmus Pacheco 1964, Damfius Pacheco 1964, Efflagitatus Pacheco 1964, Erus Pacheco 1964, Filiolus Pacheco 1964, Gradus Pacheco 1964, Lanternarius Pacheco 1964, Lapsus Pacheco 1964, Neoheterocerus Pacheco 1964, Olmedous Pacheco 1964 and Peditatus Pacheco 1964 are synonyms of Heterocerus Fabricius; the genera Centariatus Pacheco 1964, Explorator Pacheco 1964, and Microaugyles Pacheco 1964 are synonyms of Augyles Schiödte. New combinations proposed and used in this paper include: Augyles auromicans (Kiesenwetter 1851, Heterocerus), Heterocerus parrotus (Pacheco 1964, Lanternarius), Heterocerus sandersoni (Pacheco 1964, Neoheterocerus) and Heterocerus selanderi (Pacheco 1964, Efflagitatus), Heterocerus texanus (Pacheco 1964, Peditatus). Other new combinations for North American species formed as a result of these generic reconfigurations, but not used in this paper, include: Heterocerus inciertus (Pacheco 1964, Damfius), Heterocerus longilobulus (Pacheco 1964, Neoheterocerus), Heterocerus sinuosus (Pacheco 1964, Lanternarius), Augyles canadensis (Fall 1920, Heterocerus), Augyles compactus (Fall 1937, Heterocerus), Augyles moleculus (Fall 1920, Heterocerus) and Augyles mundulus (Fall 1920, Heterocerus). New combinations for South American species suggested by molecular data, all originally described in the genus Efflagitatus, include: Heterocerus boliviensis (Pacheco 1964), Heterocerus freudei (Pacheco 1973), Heterocerus furmidus (Pacheco 1964), Heterocerus ingeniosus (Pacheco 1964), Heterocerus meridianus (Pacheco 1975), Heterocerus reticulatus (Pacheco 1964), Heterocerus solitarius (Pacheco 1973), Heterocerus splendidus (Pacheco 1964), Heterocerus tortuosus (Pacheco 1973), Heterocerus woodruffi (Pacheco 1975). No new combinations involving synonymy within the genera Culmus, Erus, Filiolus, Gradus, Lapsus, and Olmedous were proposed because all included species were originally described as Heterocerus