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

Inferring kinetic dissolution of NaCl in aqueous glycol solution using a low-cost apparatus and population balance model

An experimental methodology for inferring brine dissolution rate in monoethylene glycol (MEG) solutions at different temperatures using a webcam combined with a mathematical model is presented. The measurement system is designed to track the RGB (red, green, and blue) colour variations during the dissolution process. A dynamic model augmented with the population balance equation is applied to describe the dissolution process. Moreover, the dissolution rate is consistently related to the temperature and MEG concentration through the driving force based on the Gibbs energy and chemical affinity. The applied low-cost measurement apparatus proved to be a useful resource for tracking the dissolution dynamics in a wide range of undersaturation.     

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.

     

Visceral Obesity and Its Shared Role in Cancer and Cardiovascular Disease: A Scoping Review of the Pathophysiology and Pharmacological Treatments

The association between obesity, cancer and cardiovascular disease (CVD) has been demonstrated in animal and epidemiological studies. However, the specific role of visceral obesity on cancer and CVD remains unclear. Visceral adipose tissue (VAT) is a complex and metabolically active tissue, that can produce different adipokines and hormones, responsible for endocrine-metabolic comorbidities. This review explores the potential mechanisms related to VAT that may also be involved in cancer and CVD. In addition, we discuss the shared pharmacological treatments which may reduce the risk of both diseases. This review highlights that chronic inflammation, molecular aspects, metabolic syndrome, secretion of hormones and adiponectin associated to VAT may have synergistic effects and should be further studied in relation to cancer and CVD. Reductions in abdominal and visceral adiposity improve insulin sensitivity, lipid profile and cytokines, which consequently reduce the risk of CVD and some cancers. Several medications have shown to reduce visceral and/or subcutaneous fat. Further research is needed to investigate the pathophysiological mechanisms by which visceral obesity may cause both cancer and CVD. The role of visceral fat in cancer and CVD is an important area to advance. Public health policies to increase public awareness about VAT’s role and ways to manage or prevent it are needed.     

Matrix Transformation in Boron Containing High-Temperature Co–Re–Cr Alloys

An addition of boron largely increases the ductility in polycrystalline high-temperature Co–Re alloys. Therefore, the effect of boron on the alloy structural characteristics is of high importance for the stability of the matrix at operational temperatures. Volume fractions of ε (hexagonal close-packed—hcp), γ (face-centered cubic—fcc) and σ (Cr₂Re₃ type) phases were measured at ambient and high temperatures (up to 1500 °C) for a boron-containing Co–17Re–23Cr alloy using neutron diffraction. The matrix phase undergoes an allotropic transformation from ε to γ structure at high temperatures, similar to pure cobalt and to the previously investigated, more complex Co–17Re–23Cr–1.2Ta–2.6C alloy. It was determined in this study that the transformation temperature depends on the boron content (0–1000 wt. ppm). Nevertheless, the transformation temperature did not change monotonically with the increase in the boron content but reached a minimum at approximately 200 ppm of boron. A probable reason is the interplay between the amount of boron in the matrix and the amount of σ phase, which binds hcp-stabilizing elements (Cr and Re). Moreover, borides were identified in alloys with high boron content.     

Social licence: power imbalances and levels of consciousness – two case studies

ABSTRACT

Social licence to operate (SLO) is a term that is finding increasing acceptance in a number of industries. Like all new terms, its precise meaning and implications are still being investigated. Using data from previous studies, this paper offers an analysis of the SLO of two case studies with each study being viewed separately through the grid of a distinct theoretical framework. Case study 1 looks at the development of differential social licence negotiated in the Hamlet of Cambridge Bay, Nunavut, as a result of an impact and benefit agreement negotiated between Tahera Diamond Corp. and the Kitikmeot Inuit Organisation in 2004. The study demonstrates that general acceptance of resource development can be uneven and reflect an unequal distribution of decision-making power. In case study 2, stakeholders of a failed mineral development project were queried across time about the specifics of the proposed mine development and were queried about resource development across different levels of consciousness. Perhaps, SLO is variable across different levels of consciousness. The paper concludes with observations about the variable nature of SLO acceptance across populations and across levels of consciousness within individuals. Perhaps, the concept of SLO is, in fact, complex, difficult to define and measure and, at this point, of limited utility as a measure of resource development acceptance.