Refinement by interpretation in {\pi}-institutions

The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions.Comment: In Proceedings Refine 2011, arXiv:1106.348

On the nature of the (de)coupling of the magnetostructural transition in Er5_5Si4_4

In this report, a successful thermodynamical model was employed to understand the structural transition in Er$_5$Si$_4$, able to explain the decoupling of the magnetic and structural transition. This was achieved by the DFT calculations which were used to determine the energy differences at 0 K, using a LSDA+U approximation. It was found that the M structure as the stable phase at low temperatures as verified experimentally with a $\Delta F_0 = -$0.262 eV. Finally, it was achieved a variation of Seebeck coefficient ($\sim$ 6 $\mu$V) at the structural transition which allow to conclude that the electronic entropy variation is negligible in the transition.Comment: 17 pages, 3 figures, 1 tabl

Biochemical and microbiological analysis of the saliva of institutionalized elderly : with edentulism, use of dentures and presence of biofilm

To analyze biochemical and microbiological parameters of the saliva of institutionalized elders and to investigate the relation of these parameters with edentulism, use of dentures and presence of biofilm. A cross-sectional study carried was out in seven long-term institutions. Samples (n=161) of unstimulated saliva were collected for analysis of salivary flow, quantification of total proteins and identification of microorganisms. Oral examination was carried out to verify the number of missing teeth, the use of dentures and the presence of visible biofilm on the surface of teeth and dentures. Associations were performed using chi-square or Fisher?s exact test (?0.05). Associations were observed between the presence of dentures biofilm and the colonization of Streptococcus sp. (p=0.038) and Candida sp. (p=0.03). The absence of teeth and use of dentures do not influence the amount of total proteins and the microorganisms count in saliva. Denture biofilms are associated with the presence of Streptococcus sp. and Candida sp. in saliva of institutionalized elders

Distribution of alien tetrapods in the Iberian Peninsula

We present a dataset that assembles occurrence records of alien tetrapods (amphibians, reptiles, birds and mammals) in the Iberian Peninsula, a coherent biogeographically unit where introductions of alien species have occurred for millennia. These data have important potential applications for ecological research and management, including the assessment of invasion risks, formulation of preventive and management plans, and research at the biological community level on alien species. This dataset summarizes inventories and data sources on the taxonomy and distribution of alien tetrapods in the Iberia Peninsula, comprising known locations from published literature, expert knowledge and citizen science platforms. An expert-based assessment process allowed the identification of unreliable records (misclassification or natural dispersion from native range), and the classification of species according to their status of reproduction in the wild. Distributional data was harmonized into a common area unit, the 10 × 10 km Universal Transverse Mercator (UTM) system (n = 6,152 cells). The year of observation and/or year of publication were also assigned to the records. In total, we assembled 35,940 unique distribution records (UTM × species × Year) for 253 species (6 amphibians, 16 reptiles, 218 birds and 13 mammals), spanning between 1912 and 2020. The species with highest number of distribution records were the Mediterranean painted frog Discoglossus pictus (n = 59 UTM), the pond slider Trachemys scripta (n = 471), the common waxbill Estrilda astrild (n = 1,275) and the house mouse Mus musculus (n = 4,043), for amphibians, reptiles, birds and mammals, respectively. Most alien species recorded are native to Africa (33%), followed by South America (21%), Asia (19%), North America (12%) and Oceania (10%). Thirty-six species are classified by IUCN as threatened in their native range, namely 2 Critically Endangered (CR), 6 Endangered (EN), 8 Vulnerable (VU), and 20 species Near Threatened (NT). Species maps are provided in DataSet1, as well R code and GIS layers to update them as new records are obtained.info:eu-repo/semantics/publishedVersio