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.     

Algorithmic Fairness in Mortgage Lending: from Absolute Conditions to Relational Trade-offs

Minds and Machines - To address the rising concern that algorithmic decision-making may reinforce discriminatory biases, researchers have proposed many notions of fairness and corresponding...     

Ionic conductivities and high resolution microscopic evaluation of grain and grain boundaries of cerium-based codoped solid electrolytes

Doped CeGdO and codoped CeGdOSmO compositions were synthesized, giving rise to nanoparticulate powders. Ionic conductivities at bulk and grain boundaries of the sintered samples were determined, exhibiting increased conductivity in the samaria-codoped samples. Scanning electron microscopy (SEM) showed a significant reduction in the grain size of samaria-codoped electrolytes. This reduced grain size of the codoped samples caused a reduction in Schottky barrier height, increasing oxygen vacancy concentration in the space-charge layer of the grain boundary and culminating in greater ionic conductivity in the boundary region. For the gadolinium doped samples, high resolution transmission electron microscopy images at grains showed the presence of large cluster of defects (nanodomains), hindering the movement of charge carriers and reducing ionic conductivity. However, the samaria-codoped system displayed better homogeneity at atomic level, resulting in reduced oxygen vacancy ordering and, consequently, smaller nanodomains and higher bulk (grain) conductivity. The reduced grain sizes and smaller nanodomains caused by codoping favor the ionic conductivity of ceria-based ceramics, doped with gadolinia and codoped with samaria.     

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.     

Alumina-supported catalysts for propane oxidative dehydrogenation from mixed VXM(6−X)O19 (M=W, Mo) hexametalate precursors

γ-Al₂O₃ supported vanadium oxides were modified by tungsten and molybdenum oxides in order to improve dispersion and selectivity towards olefins in propane oxidative dehydrogenation (ODH). Both vanadium–tungsten and vanadium–molybdenum catalysts were obtained by adsorption of mixed isopolyanions (VW₅O₁₉⁵⁻, V₂W₄O₁₉⁴⁻, VMo₅O₁₉⁵⁻ and V₂Mo₄O₁₉⁴⁻) from aqueous solutions. The isopolyanion solutions were characterized by UV-Vis and ⁵¹V NMR spectroscopy. Vanadium, vanadium–tungsten and vanadium–molybdenum precursors and catalysts were also characterized by UV-Vis (diffuse reflectance) and solid state ⁵¹V NMR spectroscopy. An improved selectivity to propene in the presence of tungsten and molybdenum in VO_x/γ-Al₂O₃ was observed and attributed to dilution of vanadium by tungsten or molybdenum oxides on the γ-Al₂O₃ surface.     

Characterization of the Residence Time Distribution in Spray Dryers

In this work it is presented a study on the residence time distribution (RTD) of particles in a co-current pilot-plant spray dryer operated with a rotary atomization system. A nuclear technique is applied to investigate the RTD responses of spray dryers. The methodology is based on the injection of a radioisotope tracer in the feed stream followed by the monitoring of its concentration at the outlet stream. The experiments were performed during the drying of aqueous suspensions of gadolinium oxide. The RTD responses obtained experimentally presented good reproducibility, indicating that the technique applied is well suited to investigating fluid-dynamics of spray dryers. In addition to the experimental investigation, a mathematical model was used to describe the RTD experimental curves.     

Modified hippocampal long-term potentiation in PKC gamma-mutant mice

Calcium-phospholipid-dependent protein kinase (PKC) has long been suggested to play an important role in modulating synaptic efficacy. We have created a strain of mice that lacks the gamma subtype of PKC to evaluate the significance of this brain-specific PKC isozyme in synaptic plasticity. Mutant mice are viable, develop normally, and have synaptic transmission that is indistinguishable from wild-type mice. Long-term potentiation (LTP), however, is greatly diminished in mutant animals, while two other forms of synaptic plasticity, long-term depression and paired-pulse facilitation, are normal. Surprisingly, when tetanus to evoke LTP was preceded by a low frequency stimulation, mutant animals displayed apparently normal LTP. We propose that PKC gamma is not part of the molecular machinery that produces LTP but is a key regulatory component.     

Clarification of a wheat straw‐derived medium with ion‐exchange resins for xylitol crystallization

BACKGROUND: Xylitol bioproduction from lignocellulosic residues comprises hydrolysis of the hemicellulose, detoxification of the hydrolysate, bioconversion of the xylose, and recovery of xylitol from the fermented hydrolysate. There are relatively few reports on xylitol recovery from fermented media. In the present study, ion‐exchange resins were used to clarify a fermented wheat straw hemicellulosic hydrolysate, which was then vacuum‐concentrated and submitted to cooling in the presence of ethanol for xylitol crystallization. RESULTS: Sequential adsorption into two anion‐exchange resins (A‐860S and A‐500PS) promoted considerable reductions in the content of soluble by‐products (up to 97.5%) and in medium coloration (99.5%). Vacuum concentration led to a dark‐colored viscous solution that inhibited xylitol crystallization. This inhibition could be overcome by mixing the concentrated medium with a commercial xylitol solution. Such a strategy led to xylitol crystals with up to 95.9% purity. The crystallization yield (43.5%) was close to that observed when using commercial xylitol solution (51.4%). CONCLUSION: The experimental data demonstrate the feasibility of using ion‐exchange resins followed by cooling in the presence of ethanol as a strategy to promote the fast recovery and purification of xylitol from hemicellulose‐derived fermentation media. Copyright © 2008 Society of Chemical Industry