Design and evaluation of a mobile smart home interactive system with elderly users in Brazil

Personal and Ubiquitous Computing - This article presents a study concerning the evaluation of a smart home control system for elderly people with a sample of 10 users in a city in the interior of...     

Impact of an Engineered Copper-Titanium Dioxide Nanocomposite and Parent Substrates on the Bacteria Viability,Antioxidant Enzymes and Fatty Acid Profiling

Due to the systematic increase in the production of nanomaterials (NMs) and their applications in many areas of life, issues associated with their toxicity are inevitable. In particular, the performance of heterogeneous NMs, such as nanocomposites (NCs), is unpredictable as they may inherit the properties of their individual components. Therefore, the purpose of this work was to assess the biological activity of newly synthesized Cu/TiO₂-NC and the parent nanoparticle substrates Cu-NPs and TiO₂-NPs on the bacterial viability, antioxidant potential and fatty acid composition of the reference Escherichia coli and Bacillus subtilis strains. Based on the toxicological parameters, it was found that B. subtilis was more sensitive to NMs than E. coli. Furthermore, Cu/TiO₂-NC and Cu-NPs had an opposite effect on both strains, while TiO₂-NPs had a comparable mode of action. Simultaneously, the tested strains exhibited varied responses of the antioxidant enzymes after exposure to the NMs, with Cu-NPs having the strongest impact on their activity. The most considerable alternations in the fatty acid profiles were found after the bacteria were exposed to Cu/TiO₂-NC and Cu-NPs. Microscopic images indicated distinct interactions of the NMs with the bacterial outer layers, especially in regard to B. subtilis. Cu/TiO₂-NC generally proved to have less distinctive antimicrobial properties on B. subtilis than E. coli compared to its parent components. Presumably, the biocidal effects of the tested NMs can be attributed to the induction of oxidative stress, the release of metal ions and specific electrochemical interactions with the bacterial cells.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Automated classification of simulated wind field patterns from multiphysics ensemble forecasts

In this study, we have proposed an automated classification approach to identify meaningful patterns in wind field data. Utilizing an extensive simulated wind database, we have demonstrated that the proposed approach can identify low‐level jets, near‐uniform profiles, and other patterns in a reliable manner. We have studied the dependence of these wind profile patterns on locations (eg, offshore vs onshore), seasons, and diurnal cycles. Furthermore, we have found that the probability distributions of some of the patterns depend on the underlying planetary boundary layer schemes in a significant way. The future potential of the proposed approach in wind resource assessment and, more generally, in mesoscale model parameterization improvement is touched upon in this paper.