Counterfactuals as modal conditionals, and their probability

In this paper we propose a semantic analysis of Lewis' counterfactuals. By exploiting the structural properties of the recently introduced boolean algebras of conditionals, we show that counterfactuals can be expressed as formal combinations of a conditional object and a normal necessity modal operator. Specifically, we introduce a class of algebras that serve as modal expansions of boolean algebras of conditionals, together with their dual relational structures. Moreover, we show that Lewis' semantics based on sphere models can be reconstructed in this framework. As a consequence, we establish the soundness and completeness of a slightly stronger variant of Lewis' logic for counterfactuals with respect to our algebraic models. In the second part of the paper, we present a novel approach to the probability of counterfactuals showing that it aligns with the uncertainty degree assigned by a belief function, as per Dempster-Shafer theory, to its associated conditional formula. Furthermore, we characterize the probability of a counterfactual in terms of Gärdenfors' imaging rule for the probabilistic update

Linearization of Cohomology-free Vector Fields

We study the cohomological equation for a smooth vector field on a compact manifold. We show that if the vector field is cohomology free, then it can be embedded continuously in a linear flow on an Abelian group

Beewatching: A project for monitoring bees through photos

Bees play a key role in natural and agro-ecosystems and their diversity is worldwide threatened by anthropogenic causes. Despite this, there is little awareness of the existence of the numerous species of wild bees, and the common name “bee” is very often exclusively associated with Apis mellifera. Our aim was to create a citizen science project in Italy with the following objectives: (a) raising awareness of the importance and diversity of bees, (b) obtaining data on the biology, ecology and distribution of Italian species, and (c) launching the monitoring of alien bees. The first step of the project was to create a website platform with a section containing informative datasheets of the wild bee families and of the most common bee genera present in Italy, a form to send reports of observed bees and an interactive map with all citizen’s reports. During the 2 years of the project 1086 reports were sent by 269 users, with 38 Apoidea genera reported on 190 plant genera; furthermore, 22 reports regarding the alien species Megachile sculpturalis arrived. The majority of bees (34 genera) were observed on spontaneous plants, including 115 genera native to Italy. Considering the increasing number of reports and data obtained in these first two years of the project, our objectives seem to be achieved. Future steps will be to outline the profile of beewatchers, to plan activities in a more targeted way, and also to start some sub-projects for conservation purposes

A device to characterize optical fibres

ATLAS is a general purpose experiment approved for the LHC collider at CERN. An important component of the detector is the central hadronic calorimeter; for its construction more than 600,000 Wave Length Shifting (WLS) fibres (corresponding to a total length of 1,120 Km) have been used. We have built and put into operation a dedicated instrument for the measurement of light yield and attenuation length over groups of 20 fibres at a time. The overall accuracy achieved in the measurement of light yield (attenuation length) is 1.5% (3%). We also report the results obtained using this method in the quality control of a large sample of fibres.Comment: 17 pages 20 figeres submitted to NIM journa

Melitta schmiedeknechti (Hymenoptera Apoidea, Melittidae), a new species for the fauna of Italy

Melitta schmiedeknechti Friese 1899 is reported for the first time in Italy. The species was collected in two different localities, mainland Sicily and Lampedusa, expanding its known range. Localities and flora visited are reported and, in addition, barcoding of two specimens was carried out

Biodiversity evaluation: From endorsed indexes to inclusion of a pollinator indicator

There is increasing interest in evaluating biodiversity to preserve ecosystem services. Researchers can sustain policymakers by providing tools, such as indexes and indicators, that need constant implementation to become accepted standards. Implementation may vary from re-evaluation of existing indicators to introduction of new ones based on emerging threats to biodiversity. With the aim of contributing to the compelling need to estimate and counterbalance pollinator loss, we screened existing bioindicators. We first selected indexes/indicators applied to agricultural contexts and concurrently endorsed by a regulatory agency. We then extended our analysis to indexes/indicators based on arthropod taxa and formally recognized at least by national bodies. Our procedure identified a combination of surveys of various animal taxa and remote landscape analyses (e.g., using a GIS and other cartographic tools). When the animals are arthropods, most indexes/indicators can only address confined environments (e.g., grasslands, riversides). Indicator strength was improved by the simultaneous inclusion of biotic and abiotic components. Pollinator sensitivity to changes at micro-habitat level is widely appreciated and may help distinguish agricultural practices. A biodiversity index based on pollinators, including a wide monitoring scheme supplemented by citizen science, is currently fostered at the European level. The results obtained using such an index may finally enable focusing of strategic funding. Our analysis will help to reach this goal

2D photonic-crystal optomechanical nanoresonator

We present the optical optimization of an optomechanical device based on a suspended InP membrane patterned with a 2D near-wavelength grating (NWG) based on a 2D photonic-crystal geometry. We first identify by numerical simulation a set of geometrical parameters providing a reflectivity higher than 99.8 % over a 50-nm span. We then study the limitations induced by the finite value of the optical waist and lateral size of the NWG pattern using different numerical approaches. The NWG grating, pierced in a suspended InP 265 nm-thick membrane, is used to form a compact microcavity involving the suspended nano-membrane as end mirror. The resulting cavity has a waist size smaller than 10 $\mu$m and a finesse in the 200 range. It is used to probe the Brownian motion of the mechanical modes of the nanomembrane

Mini-extracorporeal circulation minimizes coagulation abnormalities and ameliorates pulmonary outcome in coronary artery bypass grafting surgery

Hemostasis is impaired during CABG and coagulation abnormalities often result in clinically relevant organ dysfunctions, eventually increasing morbidity and mortality rates. Fifteen consecutive patients with coronary artery disease submitted to conventional extracorporeal circulation (cECC) have been compared with 15 matched patients, using mini-ECC (MECC). Postoperative lung function was evaluated according to gas exchange, intubation time and lung injury score. In the MECC group, thrombin-antithrombin complex levels (TaTc), prothrombin fragments (PF1+2) formation and thromboelastography (TEG) clotting times were lower compared to the cECC group (p=0.002 and p<0.001, respectively) whereas postoperative blood loss was higher in the cECC group (p=0.030) and more patients required blood transfusion (p=0.020). In the MECC group, postoperative gas exchange values were better, intubation time shorter and lung injury score lower (p<0.001 for all comparisons). Our study suggests that MECC induces less coagulation disorders, leading to lower postoperative blood loss and better postoperative lung function. This approach may be advantageous in high-risk patients. © The Author(s) 2013

Obesity and Breast Cancer: Interaction or Interference with the Response to Therapy?

Background: Aromatase inhibitors (AI) are widely used for treating hormone-sensitive breast cancer (BC). Obesity, however, due to aromatase-mediated androgen conversion into estradiol in the peripheral adipose tissue, might impair AI inhibitory capacity. We aimed at identifying a cut-off of body mass index (BMI) with significant prognostic impact, in a cohort of stage I-II BC patients on systemic adjuvant therapy with AI. Methods: we retrospectively evaluated routinely collected baseline parameters. The optimal BMI cut-off affecting disease-free survival (DFS) in AI-treated BC patients was identified through maximally selected rank statistics; non-linear association between BMI and DFS in the AI cohort was assessed by hazard-ratio-smoothed curve analysis using BMI as continuous variable. The impact of the BMI cut-off on survival outcomes was estimated through Kaplan-Meier plots, with log-rank test and hazard ratio estimation comparing patient subgroups. Results: A total of 319 BC patients under adjuvant endocrine therapy and/or adjuvant chemotherapy were included. Curve-fitting analysis showed that for a BMI cut-off >29 in AI-treated BC patients (n = 172), DFS was increasingly deteriorating and that the impact of BMI on 2-year DFS identified a cut-off specific only for the cohort of postmenopausal BC patients under adjuvant therapy with AI. Conclusion: in radically resected hormone-sensitive BC patients undergoing neoadjuvant or adjuvant chemotherapy and treated with AI, obesity represents a risk factor for recurrence, with a significantly reduced 2-year DFS