Provably recursive functions of constructive and relatively constructive theories

In this paper we prove conservation theorems for theories of classical first-order arithmetic over their intuitionistic version. We also prove generalized conservation results for intuitionistic theories when certain weak forms of the principle of excluded middle are added to them. Members of two families of subsystems of Heyting arithmetic and Buss-Harnik’s theories of intuitionistic bounded arithmetic are the intuitionistic theories we consider. For the first group, we use a method described by Leivant based on the negative translation combined with a variant of Friedman’s translation. For the second group, we use Avigad’s forcing method.     

Dual-Mode Sorption of Inorganic Acids in Polybenzimidazole (PBI) Membrane

The sorption behaviors of sulfuric, perchloric, and phosphoric acids in polybenzimidazole membranes have been investigated. The results of sorption isotherms are consistent with the general form of a dual-mode sorption isotherm. The dual-mode sorption parameters were found using a least-squares program by fitting experimental data to a dual-mode equation. Results indicate a correlation between permeant properties like acidity, size, and the affinity constant in Langmuir-mode sorption species. Moreover, the results show that the size of the permeants has the dominant effect on Henry's constant. The obtained results for , site saturation constant, in Langmuir-mode sorption in the case of perchloric and phosphoric acids, reveals that the two acid molecules interact with two N?H basic groups in the polybenzimidazole repeat units. But in the case of sulfuric acid, it is shown that sulfuric acid neutralizes some of the basic groups in the polymer by its strong second hydrogen and the obtained value for was 1.25.     

An efficient and facile synthesis of 3-amino-5-chromenyl-butenolides from 3-formyl chromone, dialkyl acetylenedicarboxylate, and primary amines

A three-component reaction of 3-formyl chromones, dialkyl acetylenedicarboxylate, and isocyanides in the presence of $\text{ POCl}_{3}$ was used as a highly efficient and practical approach for the synthesis of 3-amino-5-chromenyl-butenolides. High yields and high bond forming efficiency, and simple operations are the advantages of this method. Graphical abstract      

Fabrication of graphene‐silver/polyurethane nanofibrous scaffolds for cardiac tissue engineering

The graphene‐based nanocomposites are considered as great candidates for enhancing electrical and mechanical properties of nonconductive scaffolds in cardiac tissue engineering. In this study, reduced graphene oxide‐silver (rGO‐Ag) nanocomposites (1 and 2 wt%) were synthesized and incorporated into polyurethane (PU) nanofibers via electrospinning technique. Next, the human cardiac progenitor cells (hCPCs) were seed on these scaffolds for in vitro studies. The rGO‐Ag nanocomposites were studied by X‐ray diffraction (XRD), Raman spectroscopy, and transmission electron microscope (TEM). After incorporation of rGO‐Ag into PU nanofibers, the related characterizations were carried out including scanning electron microscope (SEM), TEM, water contact angle, and mechanical properties. Furthermore, PU and PU/nanocomposites scaffolds were used for in vitro studies, wherein hCPCs showed good cytocompatibility via 3‐(4, 5‐dimethylthiazol‐2‐yl)‐2,5‐diphenyl tetrazolium bromide (MTT) assay and considerable attachment on the scaffold using SEM studies. Real‐time polymerase chain reaction (PCR) and immunostaining studies confirmed the upregulation of cardiac specific genes including GATA‐4, T‐box 18 (TBX 18), cardiac troponin T (cTnT), and alpha‐myosin heavy chain (α‐MHC) in the PU/rGO‐Ag scaffolds in comparison with neat PU ones. Therefore, these nanofibrous rGO‐Ag–reinforced PU scaffolds can be considered as suitable candidates in cardiac tissue engineering.     

Unsymmetrically substituted benzimidazolium based Silver(I)-N-heterocyclic carbene complexes: Synthesis,characterization and in vitro anticancer study against human breast cancer and colon cancer

The promising biomedical applications of silver complexes stimulated the researchers to test these compounds against cancer. The present research work was designed to achieve this goal. In this work, a series of 5-methyl benzimidazole based N-Heterocyclic carbene ligands and respective silver(I) complexes were synthesized and tested on cancer cell lines to assess their anticancer activity. Unsymmetrically substituted benzimidazole was found unique in its reactivity and generation of a single product during NHC ligand formation was only possible after two successive alkylations with same alkyl halide. The corresponding Ag(I)-NHC adducts were obtained by in situ deprotonation of the NHC ligands. Synthesized compounds were characterized by various physcio-chemical and spectroscopic methods. Single crystal X-ray diffraction study of complex 7 revealed its mononuclear structure. Preliminary in vitro anticancer study of azolium salts and respective Ag(I)-NHC complexes against human breast cancer (MDA-MB-231), colon cancer (HCT-116) and normal endothelial cells (EA.hy926) cells revealed that all the compounds are more cytotoxic to cancer cells than normal cells and the complexes are relatively more potent compared to the corresponding NHC ligands. It was found that increased chain length and presence of methyl substituent on benzimidazole ring enhance the biopotency of Ag(I)-NHC complexes. The synthesized compounds were further studied for pro-apoptotic mechanism of action via Rhodamine 123 test. The tested compounds were found to induce apoptosis via extrinsic mitochondrial pathway.     

Rigorous smart model for predicting dynamic viscosity of Al2O3/water nanofluid

Journal of Thermal Analysis and Calorimetry - Due to the enhanced thermophysical specifications of nanofluids, such as thermal conductivity, these types of fluids are appropriate candidates for...     

Experimental investigation of paraffin nano-encapsulated phase change material on heat transfer enhancement of pulsating heat pipe

Journal of Thermal Analysis and Calorimetry - In this study, a mixture of nano-encapsulated phase change materials in water has been used as the working fluid in a pulsating heat pipe in order to...     

Extraction of antidepressant drugs in biological samples using alkanol‐based nano structured supramolecular solvent microextraction followed by gas chromatography with mass spectrometric analysis

In the present study, a supramolecular solvent was formed from reverse micelle aggregates of octanol. The proposed supramolecular solvent was used for rapid extraction of some antidepressants drugs including amitriptyline, imipramine, desipramine, maprotiline, sertraline, and doxepin from biological samples. Alkanol‐based supramolecular solvents have a unique array of physicochemical properties, making them a very attractive alternative to replace organic solvents in analytical extractions. The parameters affecting the extraction of target analytes (i.e., the volume of tetrahydrofuran and octanol as the major components comprising the supramolecular solvent, chain length of alkanols, sample solution pH, salt addition, and ultrasonic time) were investigated and optimized by factor by factor optimization method. Under the optimum conditions, preconcentration factors of 470, 490, 460, 385, 370, and 430 were obtained for amitriptyline, doxepin, imipramine, desipramine, maprotiline, and sertraline, respectively. The linear ranges and coefficients of determination (R²) were obtained in the range of 0.01–100 μg/L and 0.9974–0.9991, respectively. Also the limits of detection (S/N = 3) of 0.003–0.03 μg/L, and precisions (n = 5) of 4.9–8.9% were calculated. Finally, the method was successfully applied for the extraction of antidepressant drugs in biological samples, and relative recoveries in the range of 91–102% were obtained.     

Lagrangian Description of World-Line Deviations

We introduce a Lagrangian which can be varied to give both the equation of motion and world-line deviations of spinning particles simultaneously.