Synergistic antimicrobial effect of lactocin AL705 and nisin combined with organic acid salts against Listeria innocua 7 in broth and a hard cheese

The effectiveness of antimicrobial mixtures against Listeria innocua 7, used as a L. monocytogenes surrogate, was investigated in broth and a food system. Synergistic effects were found for nisin (Nis), potassium sorbate (PS), calcium propionate (CP) and sodium lactate (SL), Nis + PS being the most effective binary mixture that exhibited listericidal activity in broth. To assess the effect of adding lactocin AL705 (AL705) to Nis + organic acid salt combinations, tridimensional isobolograms were generated. Sub-MIC combinations of the antimicrobials exerted bactericidal activity against L. innocua 7 after AL705 addition to the binary mixtures. However, when applied on Sardo cheese contaminated with L. innocua 7 (initial inoculum 4.45 ± 0.06 CFU g⁻¹), only Nis + PS + AL705 produced count reductions respect to the control, reaching 3.04 ± 0.35 CFU g⁻¹ counts after 15 days at 15 °C. Ternary combinations containing AL705 showed potential to reduce antimicrobial usages for L. innocua 7 inhibition.     

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...     

Design and evaluation of a mobile smart home interactive system with elderly users in Brazil

Personal and Ubiquitous Computing - This article presents a study concerning the evaluation of a smart home control system for elderly people with a sample of 10 users in a city in the interior of...     

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.