A semantical proof of the strong normalization theorem for full propositional classical natural deduction

We give in this paper a short semantical proof of the strong normalization for full propositional classical natural deduction. This proof is an adaptation of reducibility candidates introduced by J.-Y. Girard and simplified to the classical case by M. Parigot.     

On theorems of Beurling and Cowling-Price for certain nilpotent Lie groups

Let G be a connected simply connected nilpotent Lie group. In [A. Baklouti, N. Ben Salah, The Lp−Lq version of Hardy's Theorem on nilpotent Lie groups, Forum Math. 18 (2006) 245-262], we proved for 2?p,q?+∞ the Lp−Lq version of Hardy's Theorem known as the Cowling-Price Theorem. In the setup where 1?p,q?+∞, the problem is still unsolved and the upshot is known only for few cases. We prove in this paper such a result in the context of 2-NPC nilpotent Lie groups. A proof of the analogue of Beurling's Theorem is also provided in the same context.     

Effect of density-dependent nucleon-nucleon cross-section on elastic scattering

A linear form of density-dependent total nucleon-nucleon (NN) cross-section that depends on the coordinates of the projectile and target is applied in the Glauber phase shift formula. The only free parameter in these calculations is the density-dependent parameter , which is adjusted to obtain an agreement between the calculated angular distribution of the elastic-scattering cross-section and the corresponding experimental one. The elastic scattering of the ¹²C ion on the ¹²C ion target has been studied at incident energies of 300, 360, 1016, 1441 and 2400 MeV. The total reaction cross-section is also calculated with the obtained value of for the same reactions. The obtained values of are compared with those obtained from the optical-model analysis as well as those of the experimental value. Nuclear transparency effects are also discussed. Generally, the density-dependent NN cross-section improves the calculated results.Received: 11 February 2003, Revised: 8 July 2003, Published online: 26 January 2004PACS: 24.10.-i Nuclear-reaction models and methods - 25.70.-z Low and intermediate energy heavy-ion reactions     

Thermal behaviour of 6-(2-pyridylazo)-3-acetamidophenol and its metal complexes

The present work aims chiefly to study the thermal behaviour of Fe(III), Co(II), Ni(II), Cu(II), Zn(II) and Cd(II) complexes with 6-(2-pyridylazo)-3-acetamidophenol (PAAP) in nitrogen atmosphere. The moieties of the prepared complexes contain mainly coordinated water molecules (1-3) together with some water of crystallization. The water molecules of crystallization are removed in a single stage. The decomposition and combustion of the fragments occur in the second and subsequent stages. The fragmentation of the prepared complexes is also studied by mass spectrometry in order to identify the molecular ions obtained. The comparison of thermal analysis (TG) and mass spectra of the compounds is helpful in checking the correct proposed thermal decomposition schemes. This comparative study shows that mass spectra are correlated with the thermal analyses suggestions. The activation thermodynamic parameters of thermal decomposition pathways, such as energy of activation, enthalpy, entropy and free energy change of the complexes are evaluated and the stability of the thermal treated complexes is discussed, which shows that the thermal stabilities of the complexes are enhanced as the ionic radii decrease.     

Simple and efficient synthesis of new chiral N,N′‐sulfonyl bis‐oxazolidin‐2‐ones

A series of new chiral N,N′‐sulfonyl bis‐oxazolidin‐2‐ones were synthesized starting from 2‐aminoalcohols, sulfuryl chloride, and diethyl carbonate. This method utilizes natural amino acids as a source of chirality for the preparation of oxazolidinones. © 2006 Wiley Periodicals, Inc. Heteroatom Chem 17:61–65, 2006; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/hc.20183     

Anti-lipid peroxidation and induction of apoptosis in the erythroleukaemic cell line K562 by extracts from (Tunisian) Rhamnus alaternus L. (Rhamnaceae)

Total oligomer flavonoids (TOF) enriched and ethyl acetate (EA) extracts from Rhamnus alaternus induce apoptotic death in human chronic myelogenous leukaemia K562 cell line, as demonstrated by gel electrophoresis, which demonstrates the characteristic ladder patterns of DNA fragmentation and the proteolytic cleavage of poly(ADP ribose) polymerase (PARP). The effect of R. alaternus extract in reducing oxidative stress was evaluated by anti-lipid peroxidation which was monitored by measuring malondialdehyde level in K562 cultured cells. The TOF and EA extracts were found to be effective to protect against lipid peroxidation. Their IC?? values were 196 and 273?μg?mL?1, respectively. These findings suggest that R. alaternus extracts exhibit potential antioxidant and proapoptotic properties.     

Synthesis of tri-substituted biaryl based trianglimines: formation of C3-symmetrical and non-symmetrical regioisomers

2-Functionalised aromatic monoaldehydes were synthesised in good to excellent yields by reacting 4-bromo-2-fluorobenzaldehyde with different secondary amines and phenol. The Suzuki-coupling reaction of the newly functionalised aromatic monoaldehydes with 4-formylphenylboronic acid afforded the corresponding 2-functionalised-4,4'-biphenyldialdehydes in good yields (47-85%). The [3+3]-cyclocondensation reactions of the 2-functionalised-4,4'-biphenyldialdehydes with (1R,2R)-1,2-diaminocyclohexane afforded a mixture of regioisomeric C(3)-symmetrical and non-symmetrical trianglimines. Reduction of the C(3)-symmetrical and the non-symmetrical trianglimines with NaBH(4) in a mixture of THF and MeOH afforded the corresponding trianglamines in high yields.     

A templated electrosynthesis of macroporous NiAl layered double hydroxides thin films

Colloidal crystals of polystyrene (PS) beads self-assembled on Pt electrode were used as a sacrificial template to electrosynthesis thin films of macroporous Layered Double Hydroxides (LDH). Such nanostructured materials display a high internal surface area and porosity leading to enhanced electrochemical performance.     

Compartmentalized Encapsulation of Two Antibiotics in Porous Nanoparticles: an Efficient Strategy to Treat Intracellular Infections

Combinatorial drug therapies emerge among the most promising strategies to treat complex pathologies such as cancer and severe infections. Biocompatible nanoparticles of mesoporous iron carboxylate metal–organic framework (nanoMOFs) are used here to address the challenging aspects related to the coincorporation of two antibiotics. Amoxicillin and potassium clavulanate, a typical example of drugs used in tandem, are efficiently coincorporated with payloads up to 36 wt%. Due to the occurrence of two distinct pore sizes/apertures within the MOF architecture, each drug is able to infiltrate the porous framework and localize within separate compartments. Molecular simulations predict drug loadings and locations consistent with experimental findings. Drug loaded nanoMOFs that are internalized by Staphylococcus aureus infected macrophages are able to colocalize with the pathogen, which in turn leads to an alleviation of bacterial infection. The data also reveal potential antibacterial properties of nanoMOFs alone as well as their ability to deliver a high payload of drugs to fight intracellular bacteria. These results pave the way toward the design of engineered “all‐in‐one” nanocarriers in which both the loaded drugs and their carrier play a role in fighting intracellular infections.