Chitosan Microspheres as Carriers for pH‐Indicating Species in Corrosion Sensing

Chitosan microspheres containing bromocresol green, cresol red, and phenolphthalein for corrosion detection, through pH change, are synthesized in order to be used in protective coatings for aluminium alloys. Microspheres containing corrosion detection species are characterized morphologically (SEM) and physico‐chemically (FTIR, TGA). Release studies (UV–vis) are performed in corrosion‐promoting conditions (pH, NaCl), and detection studies by immersion in media associated with corrosion activity while microspheres' sensing activity is evaluated visually. Electrochemical characterization of AA2024 substrates in the presence of chitosan spheres is performed to understand material performance, and a color change is observed as a result of local pH increase in cathodic areas when corrosion takes place. These findings can be correlated with the results from release studies and seem a promising approach for corrosion sensing purposes, not only because pH increase is possible to detect due to corrosion, but also because chitosan is considered an environmentally friendly material.     

Towards Diastereomeric Pure Salts with Antisolvent Methods

Chiral molecules, especially enantiomers and diastereomers of purity > 99 %, present a significant market share within the chemical, pharmaceutical, and flavor industries. Antisolvent precipitations, both batch and semicontinuous operations to serve the current trends in flow chemistry were demonstrated to be environmentally benign and efficient tools in achieving high optical purities. Although salts are known to be insoluble in supercritical CO₂, instabilities of the nascent salts were detected and applied for increasing efficiency. Diastereomeric excess values of the crystalline products exceeded 99 % in maximum of three consecutive steps both by repeated resolution with half molar equivalent of the amine to the acid and by direct recrystallization of the salts.     

A simple model for the semicontinuous heterophase polymerization: Ethyl methacrylate as a case example

A simple but comprehensive model considering homogeneous and micellar nucleation, coagulation, entry of radicals to particles and to micelles and radicals' exit from particles, is presented. The model is validated, in a starved semicontinuous heterophase polymerization of ethyl methacrylate, at three monomer addition rates. The model accurately describes the overall and instantaneous conversion, the average particle density and diameter, and the number and weight average molar masses evolutions over time. It is found that even though the average number of radicals is much smaller than 0.5, the system is not 0-1. An empirical function was used to describe the gel effect. The homogeneous nucleation was the prevailing mechanism for particle formation and large exit rates of radicals were observed. POLYM. ENG. SCI., 60: 223–232, 2019. © 2019 Society of Plastics Engineers     

UPR: deadlock-free dynamic network reconfiguration by exploiting channel dependency graph compatibility

The Journal of Supercomputing - Deadlock-free dynamic network reconfiguration process is usually studied from the routing algorithm restrictions and resource reservation perspective. The dynamic...     

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.

     

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.