Blockchain for Collaborative Businesses

Mobile Networks and Applications - Blockchain applications have continuously improved ever since its first debut on cryptocurrency. From then on, its uses have branched out from the financial...     

Phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters

Analog Integrated Circuits and Signal Processing - This paper presents the complete design of a phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters. The...     

Technological and sensorial properties of liquid nitrogen ice cream enriched with protein from brewing waste (trub)

Debittered trub (brewing waste) is an important source of protein source (70.26%). Trub and whey protein were used for 5% protein enrichment of ice cream frozen by liquid nitrogen. Three formulations were elaborated: ice cream standard (ICS), ice cream with whey protein (ICW) and ice cream with trub (ICT). Chemical composition, rheological properties, texture, overrun, melting rate, scanning electron microscopy and a sensorial test were performed. Results showed that ICT presented a higher viscosity, obtained on the upward curve up to 6.76 Pa s⁻¹, consistency index (22.96 (Pa s⁻¹)ⁿ), hysteresis area (140.40 mPa s⁻¹) and hardness (31113.33 g) but a lower melting rate (0.38 g min⁻¹), overrun (13.92%) and sensorial acceptability than the other formulations. The addition of trub debittered for protein enrichment improved ice cream properties and demonstrated that it could be used as a food ingredient.     

Polyetherimide-LaNi5 composite films for hydrogen storage applications

This study investigates the preparation of polyetherimide (PEI) – LaNi₅ composites films for hydrogen storage. Prior to the polymer addition, LaNi₅ was ball-milled at different conditions (250, 350, and 450 RPM) and annealed at 500 °C for 1 h under vacuum. The composites were produced with BM-LaNi₅-350 (PEI/LaNi₅-350) and annealed BM-LaNi₅-350 (PEI/LaNi₅-350-TT). Membranes were successfully produced through solvent casting assisted by an ultrasonic bath. The particles dispersion and the film morphology did not change after hydrogenation cycles. In the H₂ sorption experiments at 43 °C and 20 bar, the films stored H₂ without incubation time; both samples reached a capacity of ~0.6 wt%. The H₂ sorption kinetics of PEI/LaNi₅-350 was comparable to that of BM-LaNi₅-350, whereas PEI/LaNi₅-350-TT presented significantly slower kinetics. LaNi₅ oxidation was hindered by PEI, showing that it can be explored to improve metal hydrides air resistance. The results demonstrated that PEI films filled with LaNi₅ are promising materials for hydrogen storage.     

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.