Characterization of Oxidized Zinc (Calamine) Ores by Scanning Electron Microscopy and Electron Microprobe Analysis

Textural and structural features of Sardinian oxidized zinc (calamine) ores have been established by scanning electron microscopy and electron microprobe analysis, the elements analyzed being Zn, Pb, Ca and Fe. The surface composition of grains produced by comminution has also been determined, especially with reference to the presence of smithsonite and cerussite. The methodological approach adopted has revealed intimate intergrowth of the mineral species present and contamination of the main mineral by inclusions of other species, which explains why it is so difficult to obtain good recoveries and high-quality concentrates by beneficiation processes

Mineral Recognition and Liberation Degree Measurements in Industrial Ore Processing

This study aims at identifying calculation procedures and representation methods for identifying the mineral species present in a rock. The goal of the study is to identify: the characteristic spectrum for each mineral species identified in the ore; the main shape of the individual species; the preferential arrangement of the individual mineral species; the grain-size distribution of the individual mineral species and of the grains resulting from comminution processes; the degree of liberation for each mineral; and the degree of liberation of the comminution products obtained from the ores

The Evolution of Elderly Telehealth and Health Informatics

Many elderly individuals experience memory loss and often dementia as they age. This causes problems for the elderly due to diminished skills and increase in medical problems and natural decline. The Veterans Health Administration (VHA) introduced a national home telehealth program, Care Coordination/Home Telehealth (CCHT). Its purpose was to coordinate the care of veteran patients with chronic conditions and avoid their unnecessary admission to long-term institutional care. Such programs are cost-effective. Long-term care insurance companies are likely to cover these services. Home care and nursing home corporations are following the VHA’s lead. We have recently witnessed significant advances in technology. Internet and mobile applications have opened a new world, providing information and opportunities for individuals to learn more information about illness and at a much faster rate. Smart home technology has evolved. Elderly patients often encounter difficulties using these technologies. Despite the advances in telehealth and telemedicine and the evolution of the technology, many individuals cannot afford the treatment or the technology. These same individuals and families are part of the digital divide, and they have not embraced the new technology. Federal programs have been developed and implemented to help this portion of the population

Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page

Dietary Saccharomyces cerevisiae boulardii CNCM I-1079 positively affects performance and intestinal ecosystem in broilers during a campylobacter jejuni infection

In poultry production, probiotics have shown promise to limit campylobacteriosis at the farm level, the most commonly reported zoonosis in Europe. The aim of this trial was to evaluate the effects of Saccharomyces supplementation in Campylobacter jejuni challenged chickens on performance and intestinal ecosystem. A total of 156 day old male Ross 308 chicks were assigned to a basal control diet (C) or to a Saccharomyces cerevisiae boulardii CNCM I-1079 supplemented diet (S). All the birds were orally challenged with C. jejuni on day (d) 21. Live weight and growth performance were evaluated on days 1, 21, 28 and 40. The histology of intestinal mucosa was analyzed and the gut microbiota composition was assessed by 16S rRNA. Performance throughout the trial as well as villi length and crypt depth were positively influenced by yeast supplementation. A higher abundance of operational taxonomic units (OTUs) annotated as Lactobacillus reuteri and Faecalibacterium prausnitzii and a lower abundance of Campylobacter in fecal samples from S compared to the C group were reported. Supplementation with Saccharomyces cerevisiae boulardii can effectively modulate the intestinal ecosystem, leading to a higher abundance of beneficial microorganisms and modifying the intestinal mucosa architecture, with a subsequent improvement of the broilers' growth performance

Identifying Implicit Vulnerabilities through Personas as Goal Models

When used in requirements processes and tools, personas have the potential to identify vulnerabilities resulting from misalignment between user expectations and system goals. Typically, however, this potential is unfulfilled as personas and system goals are captured with different mindsets, by different teams, and for different purposes. If personas are visualised as goal models, it may be easier for stakeholders to see implications of their goals being satisfied or denied, and designers to incorporate the creation and analysis of such models into the broader RE tool-chain. This paper outlines a tool-supported approach for finding implicit vulnerabilities from user and system goals by reframing personas as social goal models. We illustrate this approach with a case study where previously hidden vulnerabilities based on human behaviour were identified

The future of Cybersecurity in Italy: Strategic focus area

This volume has been created as a continuation of the previous one, with the aim of outlining a set of focus areas and actions that the Italian Nation research community considers essential. The book touches many aspects of cyber security, ranging from the definition of the infrastructure and controls needed to organize cyberdefence to the actions and technologies to be developed to be better protected, from the identification of the main technologies to be defended to the proposal of a set of horizontal actions for training, awareness raising, and risk management