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...     

Solid state reactions between SiC and Ir

Reactivity between SiC and Ir as a function of SiC-crystallinity was investigated by diffusion bonding technique under a vacuum and over the temperature range of 1200–1450 °C. As reaction products, various Ir-silicides and free unreacted-C were detected. Reactivity is strongly affected by the temperature and SiC-crystallinity involving a series of interactions, from “no reaction” to “massive exothermic reactions”. In particular, interfacial phenomena are more pronounced by the presence of defects and grain boundaries.Solid state reactions result in formation of fine C-precipitates rearranged in a quasi-periodic microstructure. On the contrary, clustering of highly ordered C-precipitates (C-graphitized) occurs after “massive reactions” take place.A relationship between the degree of graphitization (from 1 to multi-layers of graphene), temperature and SiC crystallinity was found by Raman spectroscopy. 2D-layering phenomenon is enhanced in polycrystalline SiC at high temperature.     

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.

     

Hit to Leads with Cytotoxic Effect in Leukemic Cells: Total Synthesis Intermediates as a Molecule Treasure Chest

A previously designed and developed 12-step total synthesis that includes [1,1′-biphenyl]-2-amine and carbazole intermediates and that ultimately produces the carbazole alkaloid carbazomycin G was exploited as a screening compound library with the goal of identifying potential lead compound(s) with cytotoxic effect. These compounds were investigated by using in-vitro tests involving the two human cell lines HL-60 and MOLM-13, which both model acute myeloid leukaemia (AML). The in-vitro biological test results were used together with the molecular structures of the various intermediates in a concise SAR analysis. Several of the intermediates revealed cytotoxicity (IC₅₀<10⁻⁴ M), although the final natural product carbazomycin G did not reveal cytotoxicity versus the two said human cell lines.     

On the use of 2-D coding techniques for ECG signals.

This paper discusses the convenience of using two-dimensional (2-D) coding techniques for the compression of electrocardiogram (ECG) signals. These signals present a very clear periodicity that can be exploited by the use of a 2-D time/frequency transform to decorrelate it as much as possible. A brief theoretical approach is given to justify the use of this technique, and a comparison is made between a 2-D and a one-dimensional (1-D) uniform quantization scenarios. The influence of the error as well as the frame size on the estimation of the fundamental period is studied.     

L'accessibilité à des traitements pour les troubles anxieux au Canada: Un commentaire.

Responds to Gauthier (see record 2004-17185-003) who commented on the two articles by Koerner et al (see record 2004-17185-001) and by Roberge et al (see record 2004-17185-002. The purpose of this response is to discuss the issue of limited availability of mental health services for anxiety disorders in Canada. From a public health perspective, the authors emphasize the importance of gathering Canadian empirical data on the organization of mental health services for anxiety disorders. Specifically more research is needed on care requirements, and the financial and structural barriers that restrict access to mental health services at the regional, provincial and national levels. The authors also discuss the role of psychologists in improving mental health care in Canada. Cost-effectiveness studies conducted in interdisciplinary practice environments could demonstrate the value added by psychology in the organization of mental health care for anxiety disorders. (PsycINFO Database Record (c) 2010 APA, all rights reserved)