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

Nanocomposite gels of poloxamine and Laponite for β-Lapachone release in anticancer therapy

Nano-hybrid systems have been shown to be an attractive platform for drug delivery. Laponite® RD (LAP), a biocompatible synthetic clay, has been exploited for its ability to establish of strong secondary interactions with guest compounds and hybridization with polymers or small molecules that improves, for instance, cell adhesion, proliferation, and differentiation or facilitates drug attachment to their surfaces through charge interaction. In this work, LAP was combined with Tetronics, X-shaped amphiphilic PPO-PEO (poly (propylene oxide)–poly (ethylene oxide) block copolymers. β-Lapachone (BLPC) was selected for its anticancer activity and its limited bioavailability due to very low aqueous solubility, with the aim to improve this by using LAP/Tetronic nano-hybrid systems. The nanocarriers were prepared over a range of Tetronic 1304 concentrations (1 to 20% w/w) and LAP (0 to 3% w/w). A combination of physicochemical methods was employed to characterize the hybrid systems, including rheology, particle size and shape (DLS, TEM), thermal analysis (TG and DSC), FTIR, solubility studies and drug release experiments. In vitro cytotoxicity assays were performed with BALB/3T3 and MCF-7 cell lines. In hybrid systems, a sol-gel transition can occur below physiological temperature. BLPC exhibits the most significant increase in solubility in formulations with a high concentration of T1304 (over 10% w/w) and 1.5% w/w LAP, or systems with only LAP (1.5%), with a 50 and 100-fold increase in solubilisation, respectively. TEM images showed spherical micelles of T1304, which elongated into wormlike micelles with concentration (20%) and in the presence of LAP, a finding that has not been reported before. A sustained release of BLPC over 140 hours was achieved in one of the formulations (10% T1304 with 1.5% laponite), which also showed the best selectivity index towards cancer cells (MCF-7) over BALB/3T3 cell lines. In conclusion, BLPC-loaded T1304/LAP nano-hybrid systems proved safe and highly effective and are thus a promising formulation for anticancer therapy.Financial support for this research was provided by the Coordination of Improvement of Higher-Level Personnel - Brazil (CAPES) - 1575/2015. We also acknowledge the collaboration of Prof. Dr. Daniele Ribeiro de Araujo from Federal University of ABC for the rheological experiments. Dr. Raquel de Melo Barbosa acknowledges the grant for mobility to Brazilian professors from Fundación Carolina (Spain), the Spanish research group CTS-946, to the Centre for Scientific Instrumentation (Centro de Instrumentación Científica or CIC) for transmission microscopy analysis and the Andalusian Earth Sciences Institute (IACT) for support during her mobility period in Spain

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

Development and Characterization of Aloe vera Mucilaginous-Based Hydrogels for Psoriasis Treatment

The Aloe vera (L.) Burman f. pulp extract (AE), obtained from the inner parts of Aloe vera leaves, is rich in polysaccharides, including glucomannans, acemannans, pectic compounds, cellulose, and hemicelluloses; acemannan and glucomannan are considered the two main components responsible for most of the plant’s therapeutical properties. Besides having anti-inflammatory activity, these polysaccharides accelerate wound healing and promote skin regeneration, thus they can be utilized in healing products. The objective of this study was to develop Aloe vera mucilaginous-based hydrogels for topical use in psoriasis treatment. The hydrogels were prepared with 80% w/w of A. vera mucilaginous gel, evaluating two distinct polymers as the gelling agent: 1% carbopol 940 (FC1 and FC2) or 2% hydroxyethylcellulose (FH3 and FH4). FC1, FC2, FH3 and FH4 were evaluated for their organoleptic characteristics, rheological properties, pH and glucomannan content. Polysaccharide fractions (PFs) were extracted from the AE and used as a group of chemical markers and characterized by infrared (IR) spectroscopy and 1H nuclear magnetic resonance (H NMR). The quantification of these markers in the raw material (AE) and in the hydrogels was carried out using spectrophotometric techniques in the UV-VIS region. The hydrogels-based hydroxyethylcellulose (FH3 and FH4) had glucomannan contents of 6.76 and 4.01 mg/g, respectively. Formulations with carbopol, FC1 and FC2, had glucomannan contents of 8.69 and 9.17 mg/g, respectively, an ideal pH for application on psoriasis, in addition to good spreadability and pseudoplastic and thixotropic behavior. Considering these results, hydrogel FC1 was evaluated for its keratolytic activity in a murine model of hyperkeratinization. For that, 0.5 mL of test formulations FC1 and FPC (0.05% clobetasol propionate cream) were topically applied to the proximal region of adult rats daily for 13 days. After euthanasia, approximately 2.5 cm of the proximal portion of each animal’s tail was cut and placed in 10% buffered formalin. Then, each tail fragment was processed and stained with hematoxylin and eosin (HE), and the results obtained from the histological sections indicated a 61% reduction in stratum corneum for animals treated with the A. vera hydrogel (FC1G) and 66% for animals treated with clobetasol propionate (PCG), compared to the group of animals that did not receive treatment (WTG). This study led to the conclusion that compared to the classic treatment (clobetasol propionate), the 80% A. vera hydrogel showed no significant difference, being effective in controlling hyperkeratinization

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