Inferring kinetic dissolution of NaCl in aqueous glycol solution using a low-cost apparatus and population balance model

An experimental methodology for inferring brine dissolution rate in monoethylene glycol (MEG) solutions at different temperatures using a webcam combined with a mathematical model is presented. The measurement system is designed to track the RGB (red, green, and blue) colour variations during the dissolution process. A dynamic model augmented with the population balance equation is applied to describe the dissolution process. Moreover, the dissolution rate is consistently related to the temperature and MEG concentration through the driving force based on the Gibbs energy and chemical affinity. The applied low-cost measurement apparatus proved to be a useful resource for tracking the dissolution dynamics in a wide range of undersaturation.     

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.     

Enzyme activity and partial characterization of proteases obtained from Bromelia karatas fruit and compared with Bromelia pinguin proteases

Food Science and Biotechnology - The enzymatic activity and partial characterization of proteases from Bromelia karatas fruits were evaluated and compared with Bromelia pinguin proteases. The...     

On the origin of strain hardening in glassy polymers

The influence of network density on the strain hardening behaviour of amorphous polymers is studied. The network density of polystyrene is altered by blending with poly(2,6-dimethyl-1,4-phenylene-oxide) and by cross-linking during polymerisation. The network density is derived from the rubber-plateau modulus determined by dynamic mechanical thermal analysis. Subsequently uniaxial compression tests are performed to obtain the intrinsic deformation behaviour and, in particular, the strain hardening modulus. At room temperature, the strain hardening modulus proves to be proportional to the network density, irrespective of the nature of the network, i.e. physical entanglements or chemical cross-links. With increasing temperature, the strain hardening modulus is observed to decrease. This decrease appears to be related to the influence of thermal mobility of the chains, determined by the distance to the glass-transition temperature (T−T_g).     

Java multimedia telecollaboration

Using Java-based tools in multimedia collaborative environments accessed over the Internet can increase an application's client base. Most operating systems support Java, and its "compile once-run everywhere" architecture is easy to maintain and update. The Java-based tools presented here let users share Internet resources, including resources originally designed for single use.     

A New Hand-Held Microsystem Architecture for Biological Analysis

This paper presents a hand-held microsystem based on new fully integrated magnetoresistive biochips for biomolecular recognition (DNA hybridization, antibody antigen interaction, etc.). Magnetoresistive chip surfaces are chemically treated, enabling the immobilization of probe biomolecules such as DNA or antibodies. Fluid handling is also integrated in the biochip. The proposed microsystem not only integrates the biochip, which is an array of 16times16 magnetoresistive sensors, but it also provides all the electronic circuitry for addressing and reading out each transducer. The proposed architecture and circuits were specifically designed for achieving a compact, programmable and portable microsystem. The microsystem also integrates a hand-held analyzer connected through a wireless channel. A prototype of the system was already developed and detection of magnetic nanoparticles was obtained. This indicates that the system may be used for magnetic label based bioassays     

Prediction of brittle-to-ductile transitions in polystyrene

In this study it is attempted to predict brittle-to-ductile transitions (BDTs) in polystyrene blends, induced either by an increase in temperature or by a decrease in inter-particle distance. A representative, two-dimensional volume element (RVE) of a polystyrene matrix with 20% circular voids, is deformed in tension. During deformation a hydrostatic-stress based craze-nucleation criterion [1] is evaluated. The simulations demonstrate that crazes initiate at low temperatures while a transition from crazing to shear yielding (BDT) is found around 75 °C. The numerical results correlate well with tensile tests on similar heterogeneous polystyrene. The presence of an absolute length, as experimentally found, is more difficult to explain. Near a free surface a T_g-depression is measured for polystyrene and also the resistance to indentation in polystyrene is lower than expected from bulk properties. Both observations are rationalised by an enhanced segmental mobility of chains near a free surface. As a consequence of these findings, an absolute length-scale could be incorporated in the numerical simulations. For simplicity, the length-scale is modelled by taking a temperature gradient over a thin layer near the internal free surfaces of the RVE. Deformation of the RVE with different absolute length-scales shows that indeed also the experimentally found brittle-to-ductile transition can be predicted if the ligament thickness between the inclusions (‘voids’) in polystyrene is below a critical value of ca. 15 nm.     

Sigma-delta modulators operating at a limit cycle

A new type of sigma-delta modulator that operates in a special mode named limit-cycle mode (LCM) is proposed. In this mode, most of the SDM building blocks operate at a frequency that is an integer fraction of the applied sampling frequency. That brings several very attractive advantages: a reduction of the required power consumption per converted bandwidth, an immunity to excessive loop delays and to digital-analog converter waveform asymmetry and a higher tolerance to clock imperfections. The LCMs are studied via a graphical application of the describing function theory. A second-order continuous time SDM with 5 MHz conversion bandwidth, 1 GHz sampling frequency and 125 MHz limit-cycle frequency is used as a test case for the evaluation of the performance of the proposed type of modulators. High level and transistor simulations are presented and compared with the traditional SDM designs.