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.     

Stimuli-Responsive Nanocomposite Hydrogels for Biomedical Applications

The complex tissue-specific physiology that is orchestrated from the nano- to the macroscale, in conjugation with the dynamic biophysical/biochemical stimuli underlying biological processes, has inspired the design of sophisticated hydrogels and nanoparticle systems exhibiting stimuli-responsive features. Recently, hydrogels and nanoparticles have been combined in advanced nanocomposite hybrid platforms expanding their range of biomedical applications. The ease and flexibility of attaining modular nanocomposite hydrogel constructs by selecting different classes of nanomaterials/hydrogels, or tuning nanoparticle-hydrogel physicochemical interactions widely expands the range of attainable properties to levels beyond those of traditional platforms. This review showcases the intrinsic ability of hybrid constructs to react to external or internal/physiological stimuli in the scope of developing sophisticated and intelligent systems with application-oriented features. Moreover, nanoparticle-hydrogel platforms are overviewed in the context of encoding stimuli-responsive cascades that recapitulate signaling interplays present in native biosystems. Collectively, recent breakthroughs in the design of stimuli-responsive nanocomposite hydrogels improve their potential for operating as advanced systems in different biomedical applications that benefit from tailored single or multi-responsiveness.     

Color preferences for different topics in connection to personal characteristics

Studies on color preferences are dependent on the topic and the relationships with personal characteristics, particularly personality, but these are seldom studied in one population. Therefore a questionnaire was collected from 1095 Dutch people asking for color preferences about different topics and relating them to personal characteristics. Color preferences regarding different topics show different patterns and significant differences were found between gender, age, education and personality such as being technical, being emotional or being a team player. Also, different colors were mentioned when asked for colors that stimulate to be quiet, energetic, and able to focus or creative. Probably, due to unconsciousness of contexts, many people had no color preference, a result that in the literature seldom is mentioned. Blue was the overall favorite color; however, most males chose for blue (25%) while most females had no color preference (18%). Black was the overall favorite color for clothing, mainly chosen by females (40%), while males primarily chose blue (27%). For building interiors subjects preferred white. For moods, subjects preferred white for being quiet or being able to focus, red for being energetic and had no color preference for being creative. It is concluded that color preferences are dependent upon the topic, and personal characteristics. The findings are important for architects, interior designers, fashion designers and product designers to have a basic idea of preferred colors for different objects by different types of people. © 2013 Wiley Periodicals, Inc. Col Res Appl, 40, 62–71, 2015     

Bioinformatic characterization of the extracellular lipases from Kluyveromyces marxianus

Lipases are hydrolytic enzymes that break the ester bonds of triglycerides, generating free fatty acids and glycerol. Extracellular lipase activity has been reported for the nonconventional yeast Kluyveromyces marxianus, grown in olive oil as a substrate, and the presence of at least eight putative lipases has been detected in its genome. However, to date, there is no experimental evidence on the physiological role of the putative lipases nor their structural and catalytic properties. In this study, a bioinformatic analysis of the genes of the putative lipases from K. marxianus L-2029 was performed, particularly identifying and characterizing the extracellular expected enzymes, due to their biotechnological relevance. The amino acid sequence of 10 putative lipases, obtained by in silico translation, ranged between 389 and 773 amino acids. Two of the analysed putative proteins showed a signal peptide, 25 and 33 amino acids long for KmYJR107Wp and KmLIP3p, and a molecular weight of 44.53 and 58.23 kDa, respectively. The amino acid alignment of KmLIP3p and KmYJR107Wp with the crystallized lipases from a patatin and the YlLip2 lipase from Yarrowia lipolytica, respectively, revealed the presence of the hydrolase characteristic motifs. From the 3D models of putative extracellular K. marxianus L-2029 lipases, the conserved pentapeptide of each was determined, being GTSMG for KmLIP3p and GHSLG for KmYJR107Wp; besides, the genes of these two enzymes (LIP3 and YJR107W) are apparently regulated by oleate response elements. The phylogenetic analysis of all K. marxianus lipases revealed evolutionary affinities with lipases from abH15.03, abH23.01, and abH23.02 families.     

Intersecting Xenobiology and Neometabolism To Bring Novel Chemistries to Life

The diversity of life relies on a handful of chemical elements (carbon, oxygen, hydrogen, nitrogen, sulfur and phosphorus) as part of essential building blocks; some other atoms are needed to a lesser extent, but most of the remaining elements are excluded from biology. This circumstance limits the scope of biochemical reactions in extant metabolism – yet it offers a phenomenal playground for synthetic biology. Xenobiology aims to bring novel bricks to life that could be exploited for (xeno)metabolite synthesis. In particular, the assembly of novel pathways engineered to handle nonbiological elements (neometabolism) will broaden chemical space beyond the reach of natural evolution. In this review, xeno-elements that could be blended into nature's biosynthetic portfolio are discussed together with their physicochemical properties and tools and strategies to incorporate them into biochemistry. We argue that current bioproduction methods can be revolutionized by bridging xenobiology and neometabolism for the synthesis of new-to-nature molecules, such as organohalides.     

Identification of vivianite,an unusual blue pigment,in a sixteenth century painting and its implications

Vivianite, a blue pigment employed in the past practically only in Northern and Central Europe, but with very limited use, was identified in an early sixteenth century painting, stylistically with Flemish features, from a church in Portugal. The identification of this iron phosphate mineral was made by SEM‐EDS based on the atomic ratio between phosphorus and iron in layers of blue paint (area analysis) and in particles of these same layers (spot analysis). This painting, about which there is no document to prove its authorship, becomes the first case, known in detail, of a sixteenth century painting containing vivianite. Moreover, this find and the presence of a chalk ground, also identified, strongly support the hypothesis of being a Flemish painting.