Expressing the equivalence of non‐isothermal and isothermal heat sterilization processes

Currently, the sterility of heat‐processed food and pharmaceuticals is assessed in terms of an F₀ value, based on the equivalence of the heat treatment to an isothermal process at a reference temperature. This F₀ value, however, has a meaning if, and only if, the inactivation kinetics of the targeted spores (or cells) follow a first‐order relationship and the temperature dependence of the D value, the reciprocal of the rate constant, is log‐linear. There is growing evidence that these conditions are not satisfied by many spores, including those of Clostridium botulinum and vegetative cells. Consequently, a replacement for the F₀ value is proposed in the form of a momentary equivalent time at the reference temperature based on the actual survival pattern of the spores, which need not be log‐linear. This equivalent time can be calculated together with the theoretical survival ratio in real time, thus enabling an operator to monitor the lethality of ongoing industrial heat processes. The concept is demonstrated with published survival data of C. botulinum, for which the Weibullian and log‐logistic models served as primary and secondary models, respectively. The safety factor according to the proposed method is in the number of added minutes of processing, beyond the theoretical time needed to reduce the survival ratio of the targeted spores or cells to a level that would produce practical (or commercial) sterility. Copyright © 2006 Society of Chemical Industry     

Emulsifying Properties of the Total Fraction and the Hydrophobic Fraction of Bovine Milk Proteose-peptones

Since proteose-peptone is a mixture of heterogeneous proteins and peptides, its functional properties have not yet been fully understood. The present study was undertaken to elucidate the emulsifying properties of proteose-peptones and a parallel evaluation was performed of the emulsifying activity of the total fraction prepared from bulk skimmed milk by precipitation with ammonium sulphate and of the most hydrophobic fraction purified by hydrophobic interaction fast protein liquid chromatography. A turbidimetric technique was used and the absorbance value at 500 nm was then directly used as the emulsifying activity index. The results obtained confirmed the good emulsifying activity of this protein fraction of the whey and demonstrated the considerable influence of the concentration on the capacity of the proteose-peptones to stabilize a model oil-in-water emulsion. Moreover, at all the concentrations examined, the purified component 3 showed a higher emulsifying activity than the total unpurified fraction.     

Resolution proof transformation for compression and interpolation

Verification methods based on SAT, SMT, and theorem proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort. For example a proof may be traversed to identify a minimal reason that led to unsatisfiability, for computing abstractions, or for deriving Craig interpolants. In this paper we focus on two important aspects that concern efficient handling of proofs of unsatisfiability: compression and manipulation. First of all, since the proof size can be very large in general (exponential in the size of the input problem), it is indeed beneficial to adopt techniques to compress it for further processing. Secondly, proofs can be manipulated as a flexible preprocessing step in preparation for interpolant computation. Both these techniques are implemented in a framework that makes use of local rewriting rules to transform the proofs. We show that a careful use of the rules, combined with existing algorithms, can result in an effective simplification of the original proofs. We have evaluated several heuristics on a wide range of unsatisfiable problems deriving from SAT and SMT test cases.     

Preparation and characterization of comb-shaped polyesters from 2,2-dioctadecyl-1,3-propanediol and phthalic acids

Summary New types of comb-shaped polyesters have been prepared by transesterification of 2,2-dioctadecyl-1,3-propanediol and the three isomeric diphenyl phthalates. Intrinsic viscosity and SEC analyses allowed determination of DPs (60–89) and molar masses; results compare well with absolute average weight molar masses (56,000–118,000) determined by low-angle laser light scattering. High-resolution ¹³C NMR reveals the characteristic aromatic and glycol polyester patterns; it resolves many side-chain methylene carbons, but shows no evidence of end-groups. All the polyesters are crystalline as shown by X-ray diffractometry and DSC, the crystallinity being exclusively due to the octadecyl side-group crystallization in the hexagonal form. The results indicate that the crystallinity decreases substantially when going from the ortho- to the terephthalate polyester.     

Experimental design to evaluate properties of electrospun fibers of zein/poly (ethylene oxide) for biomaterial applications

The production of polymer fibers from the combination of zein and PEO might have great potential in the field of biomaterial. Zein/PEO fibers were obtained in this work through solution electrospinning. An experimental design, 2^4-1, was used for evaluating the influences of PEO content in the blend, distance from the needle tip to the collector, applied electric voltage and solution flow for average fiber diameter and relative-yield process. Beyond this, the relationship between PEO content in the blend and the fiber properties were evaluated through FTIR, DSC, TG, tensile tests, and cytotoxic tests. The factor that exerts the greatest effect on the average fiber diameter response was the electrical voltage. The increase in PEO content in the blend decreased the thermal stability and increased the degree of the fibers' crystallinity. The mechanical tests showed that fibers with higher elongation were obtained at richer PEO blends. The fibers presented cytocompatible characteristics.     

Understanding users and their needs

Gaze-control enables people to control a computer by using eye-gaze to select items on screen. Gaze-control is a necessity for people who have lost all motor control of their body and only have control over eye movements. In addition, gaze-control can be the quickest and least tiring option for a far broader group of people with varying disabilities. This paper reports findings from gaze-control user trials involving users from both groups: people who are totally paralyzed, as well as people with a wide range of complex disabilities. The trials conducted involved four different centres supporting people with disabilities in three different European countries. Several gaze-control systems were trialled by a large number of users with varying needs and abilities. The perceived benefits of gaze-control are described, and recommendations for successful assessment and implementation of gaze-control are provided.     

Fibroblast protein profile analysis highlights the role of oxidative stress and vitamin K recycling in the pathogenesis of pseudoxanthoma elasticum

Pseudoxanthoma elasticum (PXE) is a genetic disorder associated to mutations in the ABCC6 gene; however, the pathogenetic mechanisms leading to elastic fibre calcifications and to clinical manifestations are still unknown. Dermal fibroblasts, directly involved in the production of the extracellular milieu, have been isolated from healthy subjects and from patients affected by PXE, cultured in vitro and characterized for their ability to produce reactive oxygen species, for structural and functional properties of their cell membranes, for changes in their protein profile. Data demonstrate that oxidative stress has profound and endurable consequences on PXE fibroblast phenotype being responsible for: reduced levels of global DNA methylation, increased amount of carbonylated proteins and of lipid peroxidation products, altered structural properties of cell membranes, modified protein expression. Data shed new light on the pathogenetic pathways in PXE, by identifying a network of proteins affecting elastic fibre calcification through inefficient vitamin K recycling, and highlight the role of differentially expressed proteins as targets for validating the efficacy of future therapeutic strategies aiming to delay and/or revert the pathologic phenotype of PXE fibroblasts. Moreover, data open new perspectives for investigating PXE-like phenotypes in the absence of ABCC6 mutations.     

A systematic literature review on IoT-aware business process modeling views,requirements and notations

Software and Systems Modeling - The Internet of things has been adopted in several sectors both influencing how people work and enhancing organizations’ business processes. This resulted in...     

In vivo characterization of renal auto-antigens involved in human auto-immune diseases: the case of membranous glomerulonephritis

Renal auto-immune diseases represent a major source of morbidity in humans. For many years the knowledge on mechanisms of auto-immunity involving the kidney has been uniquely based on animal models. However, these findings often could not be readily translated to humans owing to notably difference in antigen expression by human podocytes. One example is Heymann nephritis (HN), the experimental model of human membranous glomerulonephritis (MGN), which is obtained in rats by injecting antibodies against megalin, a protein that is not present in human glomeruli. Human studies could not be done in the past since sequencing required too much material exceeding what obtainable from tissue biopsies in vivo. Research is now on the way to identify auto-antigens and isolate specific auto-antibodies in humans. New technology developments based on tissue microdissection and proteomical analysis have facilitated the recent discoveries, allowing direct analysis of human tissue in vivo. Major advances on the pathogenesis of MGN, the prototype for the formation and glomerular deposition of auto-antibodies, are now in progress. Two independent groups have, in fact, demonstrated the existence of specific IgG(4) against phospholipase A2 receptor, aldose reductase and Mn-superoxide dismutase in glomerular eluates and in plasma of a prominent part of patients with MGN, suggesting a major role of these proteins as auto-antigens in human MGN. This review will focalize these aspects outlining the contribution of proteomics in most recent developments.     

Separation of synchronous and asynchronous communication via testing

One of the early results concerning the asynchronous π$\pi$-calculus which significantly contributed to its popularity is the capability of encoding the output prefix of the (choiceless) π$\pi$-calculus in a natural and elegant way. Encodings of this kind were proposed by Honda and Tokoro, by Nestmann and (independently) by Boudol. We investigate whether the above encodings preserve De Nicola and Hennessy’s testing semantics. In this sense, it turns out that, under some general conditions, no encoding of the output prefix is able to preserve the must testing. This negative result is due to (a) the non-atomicity of the sequences of steps which are necessary in the asynchronous π$\pi$-calculus to mimic synchronous communication, and (b) testing semantics’ sensitivity to divergence.