Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Perturbative manifolds and the Noether generators of nth-order Poisson equations

A manifold that contains small perturbations will induce a perturbed partial differential equation. The partial differential equation that we select is the Poisson equation – in order to explore the interplay between the geometry of the manifold and the perturbations. Specifically, we show how the problem of symmetry determination, for higher-order perturbations, can be elegantly expressed via geometric conditions.     

Investigation on Ochratoxin A stability using different extraction techniques

The stability of Ochratoxin A during its extraction using different extraction techniques has been evaluated. Microwave-assisted extraction and pressurised liquid extraction, in addition to two other reference methods of extraction, i.e. ultrasound-assisted and magnetic stirring-assisted extraction, were evaluated. The effect of extraction temperature using the cited techniques was checked.The results show that Ochratoxin A can be extracted using microwave-assisted extraction at temperatures up to 150 °C without degradation. Pressurised liquid extraction can be used at temperatures up to 100 °C, for extraction times of less than 30 min. Further, both ultrasound-assisted extraction and magnetic stirring extraction can be applied at temperatures up to 65 °C.High-performance liquid chromatography combined with fluorescence detection using a Chromolith RP-18e column at a flow rate of 5 mL min⁻¹ was used to quantify the Ochratoxin A. The retention time for the Ochratoxin A was 1.3 min. The limits of detection (LOD) and of quantification (LOQ) were 0.03 and 0.10 μg L⁻¹, respectively.     

Exact solutions of solid-liquid phase-change heat transfer when subjected to convective boundary conditions

A closed-form expression is presented to find the location of solid-liquid interface motion in convection-dominated solidification and melting problems. In this regard, the solutions are expressed in terms of the generalized representations of error functions,E (u, v) andF (u, v), which are useful to heat-conduction problems with convective-type boundary conditions. It is demonstrated that for constant surface temperature, the interface solution reduces to the classical Neumann solution.     

Measurement and prediction of solubilities and diffusion coefficients of carbon dioxide in starch–water mixtures at elevated pressures

The solubility and diffusion coefficient of carbon dioxide in intermediate‐moisture starch–water mixtures were determined both experimentally and theoretically at elevated pressures up to 16 MPa at 50 °C. A high‐pressure decay sorption system was assembled to measure the equilibrium CO₂ mass uptake by the starch–water system. The experimentally measured solubilities accounted for the estimated swollen volume by Sanchez–Lacombe equation of state (S‐L EOS) were found to increase almost linearly with pressure, yielding 4.0 g CO₂/g starch–water system at 16 MPa. Moreover, CO₂ solubilities above 5 MPa displayed a solubility increase, which was not contributed by the water fraction in the starch–water mixture. The solubilities, however, showed no dependence on the degree of gelatinization (DG) of starch. The diffusion coefficient of CO₂ was found to increase with concentration of dissolved CO₂, which is pressure‐dependent, and decrease with increasing DG in the range of 50–100%. A free‐volume‐based diffusion model proposed by Areerat was employed to predict the CO₂ diffusivity in terms of pressure, temperature, and the concentration of dissolved CO₂. S‐L EOS was once more used to determine the specific free volume of the mixture system. The predicted diffusion coefficients showed to correlate well with the measured values for all starch–water mixtures. © 2005 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 44: 607–621, 2006     

Synthesis and antimycobacterial activity of some beta-carboline alkaloids

In view of the attributed medicinal properties of beta-carboline alkaloids, some new O-acyl derivatives of beta-carboline alkaloid--harmol, were prepared and tested for possible antimycobacterial activity against Mycobacterium tuberculosis H37Rv.     

Polarographic behaviour of salicylaldehyde-2-pyridylhydrazone and its copper(II) complex

The polarographic behaviour of salicylaldehyde-2-pyridylhydrazone (SAPH) has been studied in aqueous buffer solution containing 40% ethanol using DC and DP polarographic methods. In the pH range 1.8–7.5 the observed single irreversible reduction wave is assigned to the splitting of the N-N bond and reduction of C=N centre. In alkaline medium, a second wave appears at a more negative potential due to the reduction of the salicylaldehyde which is formed by hydrolytic decomposition of the SAPH molecule. The effect of pH on the limiting current andE _1/2 as well as the reduction mechanism are discussed and compared with similar compounds. The kinetic parameters of the electrode reaction have been calculated.The analytical properties of the copper(II)-SAPH system is described. The complex gave rise to a single irreversible well-defined wave (E _1/2=–0.58 V at pH=5.2). The reaction process is diffusion controlled. A method is suggested for the determination of Cu(II) in presence of different metal ions as the difference in theirE _1/2 values is sufficient for the purpose.This work is taken partly from the M. Sc. Thesis of Jamal S. Shalabi     

Parametric study of catalytic reforming process?

Summary A parametric study of catalytic reforming process in a pilot plant was carried out by varying the pressure, H₂/HC ratio, and space velocity. The results show that lower aromatics and higher hydrogen yields can be accomplished by increasing the space velocity in existing reformers, which will also result in better C₅⁺yield.     

NMR spectroscopic study of the inclusion complex of desloratadine with β-cyclodextrin in solution

Desloratadine (DES) is an antihistamine used in the treatment of allergies and chronic urticaria. ¹H NMR spectroscopic study of varying ratios of DES and β-Cyclodextrin (β-CD) in D₂O suggests the formation of a 1:1 inclusion complex formed by the penetration of Cl-substituted aromatic ring into the β-CD cavity. The stoichiometry and binding constant of the complex were determined by Scott’s method.