More Than Accuracy: Towards Trustworthy Machine Learning Interfaces for Object Recognition

This paper investigates the user experience of visualizations of a machine learning (ML) system that recognizes objects in images. This is important since even good systems can fail in unexpected ways as misclassifications on photo-sharing websites showed. In our study, we exposed users with a background in ML to three visualizations of three systems with different levels of accuracy. In interviews, we explored how the visualization helped users assess the accuracy of systems in use and how the visualization and the accuracy of the system affected trust and reliance. We found that participants do not only focus on accuracy when assessing ML systems. They also take the perceived plausibility and severity of misclassification into account and prefer seeing the probability of predictions. Semantically plausible errors are judged as less severe than errors that are implausible, which means that system accuracy could be communicated through the types of errors.Comment: UMAP '20: Proceedings of the 28th ACM Conference on User Modeling, Adaptation and Personalizatio

A new case manager for diabetic patients: a pilot observational study of the role of community pharmacists and pharmacy services in the case management of diabetic patients

The adherence of type 2 diabetes mellitus (DM2) patients with an individual care plan (ICP) is often not satisfactory, nor does it allow for a significant improvement in outcome, because of poor accessibility to services, poor integration of pathway articulations, poor reconciliation with the patient's life, or the lack of a constant reference person. The purpose of this study was to evaluate the contribution of community pharmacists and pharmacy services in improving adherence with periodic controls in DM2. The study was conducted at a rural pharmacy. A sample of 40 patients was calculated with respect to a historical cohort and subsequently enrolled. Clinical and personal data were collected in an electronic case report form. Pharmacists acting as a case manager followed patients carrying out their ICP developed by an attending physician. Some of the activities foreseen by the ICP, such as electrocardiogram, fundus examination, and self-analysis of blood and urine, were carried out directly in the pharmacy by the pharmacist through the use of telemedicine services and point of care units. Activities that could not be performed in the pharmacy were booked by the pharmacist at the accredited units. Examination results were electronically reported by the pharmacist to the attending physician. The primary endpoint was the variation in patient adherence with the ICP compared to a historical cohort. Secondary endpoints were variation in waiting time for the examinations, mean percentage change in glycated hemoglobin (HbA1c) and low-density lipoprotein (LDL) cholesterol levels and blood pressure, impact on healthcare-related costs, and perceived quality of care. Adherence to the ICP significantly increased. Waiting times were reduced and clinical outcomes improved with conceivable effects on costs. Patients appreciated the easier access to services. Community pharmacists and pharmacy services represent ideal actors and context that, integrated in the care network, can really favor ICP adherence and obtain daily morbidity reduction and cost savings through proper disease control and an early diagnosis of complications

Quantifier-Free Interpolation of a Theory of Arrays

The use of interpolants in model checking is becoming an enabling technology to allow fast and robust verification of hardware and software. The application of encodings based on the theory of arrays, however, is limited by the impossibility of deriving quantifier- free interpolants in general. In this paper, we show that it is possible to obtain quantifier-free interpolants for a Skolemized version of the extensional theory of arrays. We prove this in two ways: (1) non-constructively, by using the model theoretic notion of amalgamation, which is known to be equivalent to admit quantifier-free interpolation for universal theories; and (2) constructively, by designing an interpolating procedure, based on solving equations between array updates. (Interestingly, rewriting techniques are used in the key steps of the solver and its proof of correctness.) To the best of our knowledge, this is the first successful attempt of computing quantifier- free interpolants for a variant of the theory of arrays with extensionality

Female house sparrows "count on" male genes: experimental evidence for MHC-dependent mate preference in birds

<p>Abstract</p> <p>Background</p> <p>Females can potentially assess the quality of potential mates using their secondary sexual traits, and obtain "good genes" that increase offspring fitness. Another potential indirect benefit from mating preferences is genetic compatibility, which does not require extravagant or viability indicator traits. Several studies with mammals and fish indicate that the genes of the major histocompatibility complex (MHC) influence olfactory cues and mating preferences, and such preferences confer genetic benefits to offspring. We investigated whether individual MHC diversity (class I) influences mating preferences in house sparrows (<it>Passer domesticus</it>).</p> <p>Results</p> <p>Overall, we found no evidence that females preferred males with high individual MHC diversity. Yet, when we considered individual MHC allelic diversity of the females, we found that females with a low number of alleles were most attracted to males carrying a high number of MHC alleles, which might reflect a mating-up preference by allele counting.</p> <p>Conclusions</p> <p>This is the first experimental evidence for MHC-dependent mating preferences in an avian species to our knowledge. Our findings raise questions about the underlying mechanisms through which birds discriminate individual MHC diversity among conspecifics, and they suggest a novel mechanism through which mating preferences might promote the evolution of MHC polymorphisms and generate positive selection for duplicated MHC loci.</p

Bearded Reedlings Adjust Their Pair-Bond Behaviour in Relation to the Sex and Attractiveness of Unpaired Conspecifics

An individual's investment in mating or keeping a pair bond intact may be influenced not only by the attractiveness of its current mate, but also by that of other potential mates. In this study, we investigated the effect of relative attractiveness on pair-bond behaviour in bearded reedlings, Panurus biarmicus. We showed that mate attractiveness, in terms of beard length in males and tail length in females, influenced courtship behaviour when the pair was kept isolated. In the presence of a conspecific, contact initiations within a pair increased. This increment was mainly related to the sex of the unpaired conspecific, however, and less to differences in attractiveness between the current partner and the unpaired conspecific. Female contact initiations towards potential extra mates were independent of male attractiveness, whereas male contact behaviour was significantly influenced by female attractiveness. However, females displayed more contact initiations to their current mate when they were less attractive than the unpaired females. Males decreased their overtures towards other females with increasing attractiveness of their current mates. Overall, our results suggested that, when there was a risk of losing their mate, bearded reedlings adjust their pair-bond investment mainly in response to the presence or absence of a competitor, and fine-tune investment to a lesser extent in response to the attractiveness of that potential competitor

Astro-photometric study of M37 with Gaia and wide-field ugi-imaging

We present an astrometric and photometric wide-field study of the Galactic open star cluster M37 (NGC 2099). The studied field was observed with ground-based images covering a region of about four square degrees in the Sloan-like filters ugi. We exploited the Gaia catalogue to calibrate the geometric distortion of the large field mosaics, developing software routines that can be also applied to other wide-field instruments. The data are used to identify the hottest white dwarf (WD) member candidates of M37. Thanks to the Gaia EDR3 exquisite astrometry we identified seven such WD candidates, one of which, besides being a high-probability astrometric member, is the putative central star of a planetary nebula. To our knowledge, this is a unique object in an open cluster, and we have obtained follow-up low-resolution spectra that are used for a qualitative characterisation of this young WD. Finally, we publicly release a three-colour atlas and a catalogue of the sources in the field of view, which represents a complement of existing material.Comment: 13 pages, 4 table, 13 figures. Accepted for publication in MNRAS on 2022, July 6, manuscript ID. MN-22-2264-M

A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems

We present a combination of the Mixed-Echelon-Hermite transformation and the Double-Bounded Reduction for systems of linear mixed arithmetic that preserve satisfiability and can be computed in polynomial time. Together, the two transformations turn any system of linear mixed constraints into a bounded system, i.e., a system for which termination can be achieved easily. Existing approaches for linear mixed arithmetic, e.g., branch-and-bound and cuts from proofs, only explore a finite search space after application of our two transformations. Instead of generating a priori bounds for the variables, e.g., as suggested by Papadimitriou, unbounded variables are eliminated through the two transformations. The transformations orient themselves on the structure of an input system instead of computing a priori (over-)approximations out of the available constants. Experiments provide further evidence to the efficiency of the transformations in practice. We also present a polynomial method for converting certificates of (un)satisfiability from the transformed to the original system

Day versus night use of forest by red and roe deer as determined by Corine Land Cover and Copernicus Tree Cover Density: assessing use of geographic layers in movement ecology

Diel use of forest and open habitats by large herbivores is linked to species-specific needs of multiple and heterogeneous resources. However, forest cover layers might deviate considerably for a given landscape, potentially affecting evaluations of animals’ habitat use. We assessed inconsistency in the estimates of diel forest use by red and roe deer at GPS location and home range (HR) levels, using two geographic layers: Tree Cover Density (TCD) and Corine Land Cover (CLC). We first measured the classification mismatch of red and roe deer GPS locations between TCD and CLC, also with respect to habitat units’ size. Then, we used generalized Least Squares models to assess the proportional use of forest at day and night at the GPS location and HR levels, both with TCD and CLC. About 20% of the GPS locations were inconsistently classified as forest or open habitat by the two layers, particularly within smaller habitat units. Overall proportion of forest and open habitat, though, was very similar for both layers. In all populations, both deer species used forest more at day than at night and this pattern was more evident with TCD than with CLC. However, at the HR level, forest use estimates were only marginally different between the two layers. When estimating animal habitat use, geographic layer choice requires careful evaluation with respect to ecological questions and target species. Habitat use analyses based on GPS locations are more sensitive to layer choice than those based on home ranges.publishedVersio

Heart rate and arterial pressure changes during whole-body deep hypothermia

Whole-body deep hypothermia (DH) could be a new therapeutic strategy for asphyxiated newborn. This retrospective study describes how DH modified the heart rate and arterial blood pressure if compared to mild hypothermia (MH). Fourteen in DH and 17 in MH were cooled within the first six hours of life and for the following 72 hours. Hypothermia criteria were gestational age 6536 weeks; birth weight 651800\u2009g; clinical signs of moderate/severe hypoxic-ischemic encephalopathy. Rewarming was obtained in the following 6-12 hours (0.5\ub0C/h) after cooling. Heart rates were the same between the two groups; there was statistically significant difference at the beginning of hypothermia and during rewarming. Three babies in the DH group and 2 in the MH group showed HR 520\u2009ms. Infant submitted to deep hypothermia had not bradycardia or Qtc elongation before cooling and after rewarming. Blood pressure was significantly lower in DH compared to MH during the cooling, and peculiar was the hypotension during rewarming in DH group. Conclusion. The deeper hypothermia is a safe and feasible, only if it is performed by a well-trained team. DH should only be associated with a clinical trial and prospective randomized trials to validate its us

Feeding the rural tourism strategy? Food and notions of place and identity

The humble rural cuisine has now been thrust at the forefront of economic development strategies. This conceptual paper is a contribution to a growing critical awareness of the operations of the food industry and helps to foster a critical understanding of how, if at all, local food and its associated culture can help sustain rural tourism particularly and rural communities generally. It is inspired by literature about the international political economy of food and the many experiences of local food development, and is aware of the contrast between the structure of the industry and the hopes associated with its practice on the ground. The paper thus argues that, beyond the glamour and hype, there are those who gain, as well as those who lose, from the current food fad. While it explains the causes of the contemporary craze with food, the paper also interrogates the naı¨ve expectations often placed in food as a motor of rural development, and as the panacea for struggling rural communities. The empirical data on which this chapter is based are drawn from 18 short chapters explaining the history of various “traditional dishes” from the islands of the broad North Atlantic that feature in a recent food publication.peer-reviewe