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.     

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     

Advanced Surface of Fibrous Activated Carbon Immobilized with FeO/TiO2 for Photocatalytic Evolution of Hydrogen under Visible Light

FeO-doped TiO₂ nanoparticle photocatalysts were immobilized onto the surface of fibrous activated carbon (ACF) via a sol-gel process. As an adsorbent and photocatalyst, FeO-TiO₂ on immobilized ACFs (FeO-TiO₂/ACF) greatly improved the photocatalysis rate of hydrogen production as compared with pure TiO₂ and ACF-TiO₂ under UV irradiation and visible light. The addition of ACFs surface significantly reduced the photogenerated pairs of electrons-hole recombination, thereby promoting the photocatalysis action of doped photo-metal oxides of FeO-TiO₂. Co-doping of FeO onto the lattice of the TiO₂ approach can improve the absorption activity of visible light through photo-metal oxide of TiO₂ and further enhance hydrogen production under visible light. The photocatalytic fabrics (FeO-TiO₂/ACF) were effortlessly split out from the experimental solution for re-utilization and exhibited high stability even after five complete regeneration cycles.     

Kinetic,thermodynamic parameters and in vitro digestion of tannase from Aspergillus tamarii URM 7115

Tannase is an enzyme used in various industries and produced by a large number of microorganisms. The aim of this study was to evaluate tannase production to determine the biochemical, kinetic, and thermodynamic properties and to simulate tannase in vitro digestion. The tannase-producing fungal strain was isolated from “jamun” leaves and identified as Aspergillus tamarii. Temperature at 26°C for 67?h was the best combination for maximum tannase activity (6.35-fold; initial activity in Plackett–Burman design—15.53?U/mL and average final activity in Doehlert design—98.68?U/mL). The crude extract of tannase was optimally active at 40°C, pH 5.5 and 6.5. Moreover, tannase was stimulated by Na⁺, Ca²⁺, Mg²⁺, and Mn²⁺. The half-life at 40°C lasted 247.55?min. The free energy of Gibbs, enthalpy, and entropy, at 40°C, was 81.47, 16.85, and ?0.21?kJ/mol?·?K, respectively. After total digestion, 123.95% of the original activity was retained. Results suggested that tannase from A. tamarii URM 7115 is an enzyme of interest for industrial applications, such as gallic acid production, additive for feed industry, and for beverage manufacturing, due to its catalytic and thermodynamic properties.     

Enzyme activity and partial characterization of proteases obtained from Bromelia karatas fruit and compared with Bromelia pinguin proteases

Food Science and Biotechnology - The enzymatic activity and partial characterization of proteases from Bromelia karatas fruits were evaluated and compared with Bromelia pinguin proteases. The...     

Bench- and pilot-scale sludge electrodewatering in a diaphragm filter press.

Electrodewatering is a technique in which pressure dewatering is combined with electrokinetic effects to realize an improved solid/liquid separation and hence increased filter cake dry matter contents. In order to be energy efficient, it is shown that sludge should be dewatered by pressure dewatering to a high extent prior to electric field application, and a sufficient contact time for the electric field must be guaranteed. In order to realize these goals, a bench- and pilot-scale diaphragm filter press suited for electrodewatering were constructed for treatment of sewage and other types of sludges. It was shown that electrodewatering of sludge is a feasible technique, especially for biological sludge types. Other types of sludge are less suited for electrodewatering because of the restricted improvements that can be realized in cake dry matter content and the high electric energy consumption. Furthermore, it was shown in pilot-scale tests that the use of a diaphragm filter press with electrodewatering facilities was very well suited to deliver dry filter cakes of sewage sludge at a moderate energy consumption. Depending on local market prices for investment, operating and sludge disposal costs, this technology may therefore lead to important savings in the sludge management process.