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.

     

Influence of Mg concentration on structural,morphological and optical properties of nanoceria

Nano crystalline pure and Mg doped ceriaparticles were synthesized by simple chemical co-precipitation method using cerium nitrate hexahydrate as a source material and magnesium nitrate as doping precursor at room temperature. The effect of doping were investigated by X-ray diffraction pattern(XRD), FT-Raman,fourier transform infrared spectroscopy(FTIR), Ultraviolet spectroscopy(UV), photoluminescence spectroscopy(PL), field emission scanning electron microscope(FESEM) and high resolution transmission electron microscopy with energy dispersive spectroscopy (HRTEM &EDS). The X-ray diffraction pattern and FT-Raman studies showed that the prepared samples were nano particulates with cubic fluorite structure. The XRD pattern analysis showed that the size of the particles ranged from 13 to 20?nm, however 4?wt% Mg doping results in reduction of particle size compared with other doping concentrations. The effects of Mg concentration on various structural parameters of the prepared samples were also determined. The slight blue shift observed upon doping in UV–Vis absorption region around 330–360nmrecorded for reduction in particle size. The FTIR unveils the presence of Metal oxygen bonds below 700?cm^?1in the prepared samples. All samples showed a broad emission band at 430?nm with linearly increasing intensity with respect to dopant concentrations. The Spherical morphology with weak agglomeration was identified through FESEM and HRTEM analysis. The elemental analysis of Ce, O and Mg were confirmed through EDS analysis.     

Measurement of Electrophysiological Signals In Vitro Using High-Performance Organic Electrochemical Transistors

Biological environments use ions in charge transport for information transmission. The properties of mixed electronic and ionic conductivity in organic materials make them ideal candidates to transduce physiological information into electronically processable signals. A device proven to be highly successful in measuring such information is the organic electrochemical transistor (OECT). Previous electrophysiological measurements performed using OECTs show superior signal-to-noise ratios than electrodes at low frequencies. Subsequent development has significantly improved critical performance parameters such as transconductance and response time. Here, interdigitated-electrode OECTs are fabricated on flexible substrates, with one such state-of-the-art device achieving a peak transconductance of 139 mS with a 138 µs response time. The devices are implemented into an array with interconnects suitable for micro-electrocorticographic application and eight architecture variations are compared. The two best-performing arrays are subject to the full electrophysiological spectrum using prerecorded signals. With frequency filtering, kHz-scale frequencies with 10 µV-scale voltages are resolved. This is supported by a novel quantification of the noise, which compares the gate voltage input and drain current output. These results demonstrate that high-performance OECTs can resolve the full electrophysiological spectrum and suggest that superior signal-to-noise ratios could be achieved in high frequency measurements of multiunit activity.     

Structure−Activity Relationships of Cinnamate Ester Analogues as Potent Antiprotozoal Agents

Protozoal infections are still a global health problem, threatening the lives of millions of people around the world, mainly in impoverished tropical and sub-tropical regions. Thus, in view of the lack of efficient therapies and increasing resistances against existing drugs, this study describes the antiprotozoal potential of synthetic cinnamate ester analogues and their structure-activity relationships. In general, Leishmania donovani and Trypanosoma brucei were quite susceptible to the compounds in a structure-dependent manner. Detailed analysis revealed a key role of the substitution pattern on the aromatic ring and a marked effect of the side chain on the activity against these two parasites. The high antileishmanial potency and remarkable selectivity of the nitro-aromatic derivatives suggested them as promising candidates for further studies. On the other hand, the high in vitro potency of catechol-type compounds against T. brucei could not be extrapolated to an in vivo mouse model.     

Hit to Leads with Cytotoxic Effect in Leukemic Cells: Total Synthesis Intermediates as a Molecule Treasure Chest

A previously designed and developed 12-step total synthesis that includes [1,1′-biphenyl]-2-amine and carbazole intermediates and that ultimately produces the carbazole alkaloid carbazomycin G was exploited as a screening compound library with the goal of identifying potential lead compound(s) with cytotoxic effect. These compounds were investigated by using in-vitro tests involving the two human cell lines HL-60 and MOLM-13, which both model acute myeloid leukaemia (AML). The in-vitro biological test results were used together with the molecular structures of the various intermediates in a concise SAR analysis. Several of the intermediates revealed cytotoxicity (IC₅₀<10⁻⁴ M), although the final natural product carbazomycin G did not reveal cytotoxicity versus the two said human cell lines.