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.     

Improving weld formability by a novel dual-rotation bobbin tool friction stir welding

A novel dual-rotation bobbin tool friction stir welding (DBT-FSW) was developed, in which the upper shoulder (US) and lower shoulder (LS) have different rotational speeds. This process was tried to weld 3.2 mm thick aluminum-lithium alloy sheets. The metallographic analysis and torque measurement were carried out to characterize the weld formability. Experimental results show that compared to conventional bobbin tool friction stir welding, the DBT-FSW has an excellent process stability, and can produce the defect-free joints in a wider range of welding parameters. These can be attributed to the significant improvement of material flow caused by the formation of a staggered layer structure and the unbalanced force between the US and LS during the DBT-FSW process.     

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.     

On‐the‐Spot Immobilization of Quantum Dots,Graphene Oxide,and Proteins via Hydrophobins

Class I hydrophobin Vmh2, a peculiar surface active and versatile fungal protein, is known to self‐assemble into chemically stable amphiphilic films, to be able to change wettability of surfaces, and to strongly adsorb other proteins. Herein, a fast, highly homogeneous and efficient glass functionalization by spontaneous self‐assembling of Vmh2 at liquid–solid interfaces is achieved (in 2 min). The Vmh2‐coated glass slides are proven to immobilize not only proteins but also nanomaterials such as graphene oxide (GO) and quantum dots (QDs). As models, bovine serum albumin labeled with Alexa 555 fluorophore, anti‐immunoglobulin G antibodies, and cadmium telluride QDs are patterned in a microarray fashion in order to demonstrate functionality, reproducibility, and versatility of the proposed substrate. Additionally, a GO layer is effectively and homogeneously self‐assembled onto the studied functionalized surface. This approach offers a quick and simple alternative to immobilize nanomaterials and proteins, which is appealing for new bioanalytical and nanobioenabled applications.