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.     

Thermal conductivity modeling of nanofluids with ZnO particles by using approaches based on artificial neural network and MARS

Journal of Thermal Analysis and Calorimetry - Nanofluids are attractive alternatives for the current heat transfer fluids due to their remarkably higher thermal conductivity which leads to the...     

Eco‐friendly ionic liquid assisted capillary electrophoresis and α‐acid glycoprotein‐assisted liquid chromatography for simultaneous determination of anticancer drugs in human fluids

In the current work, two eco‐friendly analytical methods based on capillary electrophoresis (CE) and reversed phase liquid chromatography (RPLC) were developed for simultaneous determination of the most commonly used anticancer drugs for Hodgkin's disease: methotrexate (MTX), vinblastine, chlorambucil and dacarbazine. A background electrolyte (BGE) of 12.5 mmol/L phosphate buffer at pH 7.4 and 0.1 µmol/L 1‐butyl‐3‐methyl imidazolium bromide (BMImBr) ionic liquid (IL) was used for CE measurements at 250 nm detection wavelength, 20 kV applied voltage and 25 °C. The rinsing protocol was significantly improved to reduce the adsorption of IL on the interior surface of capillary. Moreover, RPLC method was developed on α‐1‐acid glycoprotein (AGP) column. Mobile phase was 10 mmol/L phosphate buffer at pH 6.0 (100% v/v) and flow rate at 0.1 mL/min. As AGP is a chiral column, it was successfully separated l ‐MTX from its enantiomer impurity d ‐MTX. Good linearity of quantitative analysis was achieved with coefficients of determinations (r²) >0.995. The stability of drugs measurements was investigated with adequate recoveries up to 24 h storage time under ambient temperature. The limits of detection were <50 and 90 ng/mL by CE and RPLC, respectively. The using of short‐chain IL as an additive in BGE achieved 600‐fold sensitivity enhancement compared with conventional Capillary Zone Electrophoresis (CZE). Therefore, for the first time, the proposed methods were successfully applied to determine simultaneously the analytes in human plasma and urine samples at clinically relevant concentrations with fast and simple pretreatments. Developed IL‐assisted CE and RPLC methods were also applied to measure MTX levels in patients’ samples over time. Copyright © 2014 John Wiley & Sons, Ltd.     

A survey of surface tension,molar volume and density for Sn–Ag–Cu–Bi–Sb quinary alloys as lead-free solders

ABSTRACT

By applying the geometric models and the theoretical equation, the surface tension, the molar volume and the density were studied. The empirical calculations were carried out in temperature range 623?K?≤?T?≤?1123?K. Only few thermophysical properties were estimated for eight quinary alloys: Sn3.55Ag0.5Cu3Bi3Sb, Sn3.48Ag0.5Cu3Bi5Sb, Sn3.48 Ag0.5Cu5Bi3Sb, Sn3.40 Ag0.5Cu5Bi5Sb, Sn3.53Ag1Cu3Bi3Sb, Sn3.46Ag1Cu3Bi5Sb, Sn3.46Ag1Cu5Bi3Sb, Sn3.38Ag1Cu5Bi5Sb. The results show that surface tension and density have a linear appearance for all temperatures. We have also studied the influence of the composition and temperature in the studied alloys. The obtained theoretical results are compared with the experimental ones and with the conventional Pb–Sn welds.     

Synthesis,characterization, and transport properties of Nafion-polypyrrole membrane for direct methanol fuel cell (DMFC) application

Journal of Solid State Electrochemistry - Due to their distinctive chemical, electronic, and environmental properties, polypyrrole is used as a blocking barrier for methanol leakage in direct...     

Computational design of new organic (D–π–A) dyes based on benzothiadiazole for photovoltaic applications,especially dye-sensitized solar cells

Research on Chemical Intermediates - A theoretical study on four organic dyes based on bis(4-hexyloxy)triphenylamine as donor and electron acceptor cyanoacrylic acid with a...     

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.     

Development and Validation of LC-ESI-MS/MS Method for the Determination of Alfuzosin in Human Plasma

Journal of Analytical Chemistry - A new liquid chromatography-electrospray ionization tandem mass spectrometry (LC-ESI-MS/MS) method has been developed and validated for alfuzosin quantification in...     

Characterization of new Pt(IV)–thiazole complexes: Analytical,spectral, molecular modeling and molecular docking studies and applications in two opposing pathways

New thiazole derivatives were synthesized and fully characterized, then coordinated with PtCl₄ salt. Also, the newly synthesized Pt(IV) complexes were investigated analytically (elemental and thermogravimetric analyses), spectrally (infrared, UV–visible, mass, ¹H NMR, ¹³C NMR, X‐ray diffraction) as well as theoretically (kinetics, modeling and docking). The data extracted led to the establishment of the best chemical and structural forms. Octahedral geometry was the only formula proposed for all complexes, which is favorable for d⁶ systems. The molecular ion peaks from mass spectral analysis coincide with all analytical data, confirming the molecular formula proposed. X‐ray diffraction (XRD) and scanning electron microscopy (SEM) allowed discrimination of features between crystalline particles and other amorphous morphology. By applying Gaussian09 as well as HyperChem 8.2 programs, the best structural forms were obtained, as well as computed significant parameters. Computed parameters such as softness, hardness, surface area and reactivity led us towards application in two opposing pathways: tumor inhibition and oxidation activation. The catalytic oxidation for CO was conducted over PtO₂, which was yielded from calcination of the most reactive complex. The success of catalytic role for synthesized PtO₂ was due to its particulate size and surface morphology, which were estimated from XRD patterns and SEM images, respectively. The antitumor activity was tested versus HCT‐116 and HepG‐2 cell lines. Mild toxicity was recorded for two of the derivatives and their corresponding complexes. This degree of toxicity is more favorable in most cases, due to exclusion of serious side effects, which is coherently attached with known antitumor drugs.     

Simple, expedient methods for the determination of water and electrolyte contents of cellulose solvent systems

The concentrations of water, W, and electrolytes present in solutions of LiCl in N,N-dimethylacetamide, LiCl/DMAc, and of tetrabutylammonium fluoride. x-hydrate in DMSO, TBAF.xW/DMSO can be accurately and expediently determined by three independent methods, UV–vis, FTIR and EMF measurement. The first relies on the use of solvatochromic probes whose spectra are sensitive to solution composition. It is applicable to W/LiCl/DMAc solutions but not to TBAF.xW/DMSO, because the charge-transfer complex bands of the probes are suppressed by strong interactions with the latter electrolyte. Integration of ν_OH band of water may be employed in order to determine [W], hence [electrolyte] by weight difference. EMF measurement uses ion-selective electrodes in order to determine [electrolyte], hence [W] by weight difference. Results of the latter method were in excellent agreement with those of FTIR. The reason for the failure of Karl Fischer titration is addressed, and the relevance of the results obtained to functionalization of cellulose under homogenous solution conditions is briefly commented on.