A normalizing system of natural deduction for intuitionistic linear logic

 The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination. Received: 10 October 2000 / Revised version: 26 July 2001 / Published online: 2 September 2002 Mathematics Subject Classification (2000): 03F52, 03F05 Keywords or phrases: Linear logic – Natural deduction – General elimination rules     

Novel dinitroxide mediating agent for stable free‐radical polymerization

A novel dinitroxide mediating agent that was suitable for stable free‐radical polymerization was synthesized and used in the block copolymerization of styrene and t‐butyl styrene. Quantitative yields of a novel dinitroxide based on 1,6‐hexamethylene diisocyanate and 4‐hydroxy‐2,2,6,6‐tetramethyl‐1‐piperidinyloxy were obtained. Various experimental parameters, including the nitroxide‐to‐initiator molar ratio, were examined, and it was determined that the polymerization was most controlled under conditions similar to those of conventional 2,2,6,6‐tetramethyl‐1‐piperidinyloxy‐mediated stable free‐radical polymerization. Moreover, the dinitroxide mediator proved to be a viable route for the facile two‐step synthesis of triblock copolymers of styrene and t‐butyl styrene. However, the dinitroxide mediation process resulted in a higher than expected level of nitroxide decomposition, which resulted in polymers possessing a terminal alkoxyamine and an adjacent hydroxylamine rather than a preferred internal bisalkoxyamine. This decomposition resulted in the formation of diblock copolymer species during the triblock copolymer synthesis. Gel permeation chromatography was used to monitor the chain‐end decomposition kinetics, and the determined observed rate constant (5.89 × 10^?5 s^?1) for decomposition agreed well with previous studies for other dinitroxide mediating agents. © 2004 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 42: 1547–1556, 2004     

Simplicial trees are sequentially Cohen–Macaulay

This paper uses dualities between facet ideal theory and Stanley–Reisner theory to show that the facet ideal of a simplicial tree is sequentially Cohen–Macaulay. The proof involves showing that the Alexander dual (or the cover dual, as we call it here) of a simplicial tree is a componentwise linear ideal. We conclude with additional combinatorial properties of simplicial trees.     

Fairness in ambulance routing for post disaster management

Central European Journal of Operations Research - Disaster management generally includes the post-disaster stage, which consists of the actions taken in response to the disaster damages. These...     

A new ionic liquid dimethyldinonylammonium bromide as a flow modifier for the simultaneous determination of eight carboxylates by capillary electrophoresis

Two new methods of capillary zone electrophoresis based on aqueous phosphate running buffers with UV spectrophotometric detection were developed and optimized for the determination of eight carboxylates as copper complexes. Metalcomplexes are negatively charged, so measurements were made as anion analyses with flow reversal in the capillary. Two flow modifiers were used: a common tetradecyltrimethylammonium bromide (TTAB) and a new ionic liquid dimethyldinonylammonium bromide (DMDNAB). The methods were compared to each other. Better separation was achieved with DMDNAB as the flow modifier. Method development was done using a fused silica capillary (61 cm x 50 microm i.d.).Optimization was done using 95 mmol L(-1) phosphate buffer with TTAB or DMDNAB in the concentration 0.5 mmol L(-1) at pH 7.1. A -20 kV voltage and direct UV detection at 254 nm was used in measurements. In both CE methods all the peaks in the electropherograms were properly separated, the calibration plots gave good correlation coefficients and all eight carboxylates were detected in less than 7.5 min. The two methods were tested with natural water samples and a paper mill sample, and proved to be feasible.     

Method for immobilization of liposomes in capillary electrophoresis by electrostatic interaction with derivatized agarose

A novel procedure for immobilization of liposomes inside fused-silica capillaries is demonstrated. First, the inner wall of the capillaries was coated with a positively charged polymer, composed of derivatized agarose. Subsequently, negatively charged liposomes were immobilized by electrostatic interaction on the polymer coating. The developed liposome coated capillaries were used as a nanoseparation tool for studying interactions between small drug compounds and liposomes. Part of this work was presented at the 15th International Symposium on Microscale Separations and Analysis, HPCE 2002, Stockholm, Sweden, April 2002.     

New Chemotypes for the Inhibition of (p)ppGpp Synthesis in the Quest for New Antimicrobial Compounds

Antimicrobial resistance (AMR) poses a serious threat to our society from both the medical and economic point of view, while the antibiotic discovery pipeline has been dwindling over the last decades. Targeting non-essential bacterial pathways, such as those leading to antibiotic persistence, a bacterial bet-hedging strategy, will lead to new molecular entities displaying low selective pressure, thereby reducing the insurgence of AMR. Here, we describe a way to target (p)ppGpp (guanosine tetra- or penta-phosphate) signaling, a non-essential pathway involved in the formation of persisters, with a structure-based approach. A superfamily of enzymes called RSH (RelA/SpoT Homolog) regulates the intracellular levels of this alarmone. We virtually screened several fragment libraries against the (p)ppGpp synthetase domain of our RSH chosen model Rel_Seq, selected three main chemotypes, and measured their interaction with Rel_Seq by thermal shift assay and STD-NMR. Most of the tested fragments are selective for the synthetase domain, allowing us to select the aminobenzoic acid scaffold as a hit for lead development.     

Three New Acrylic Acid Derivatives from Achillea mellifolium as Potential Inhibitors of Urease from Jack Bean and α-Glucosidase from Saccharomyces cerevisiae

(1) Background: Achillea mellifolium belongs to a highly reputed family of medicinal plants, with plant extract being used as medicine in indigenous system. However, limited data is available regarding the exploitation of the medicinal potential of isolated pure compounds from this family; (2) Methods: A whole plant extract was partitioned into fractions and on the basis of biological activity, an ethyl acetate fraction was selected for isolation of pure compounds. Isolated compounds were characterized using different spectroscopic techniques. The compounds isolated from this study were tested for their medicinal potential using in-vitro enzyme assay, coupled with in-silico studies; (3) Results: Three new acrylic acid derivatives (1–3) have been isolated from the ethyl acetate fraction of Achillea mellifolium. The characterization of these compounds (1–3) was carried out using UV/Vis, FT-IR, 1D and 2D-NMR spectroscopy (¹H-NMR, ¹³C-NMR, HMBC, NOESY) and mass spectrometry. These acrylic acid derivatives were further evaluated for their enzyme inhibition potential against urease from jack bean and α glucosidase from Saccharomyces cerevisiae, using both in-silico and in-vitro approaches. In-vitro studies showed that compound 3 has the highest inhibition against urease enzyme (IC₅₀ =10.46 ± 0.03 μΜ), followed by compound 1 and compound 2 with percent inhibition and IC₅₀ value of 16.87 ± 0.02 c and 13.71 ± 0.07 μΜ, respectively, compared to the standard (thiourea-IC₅₀ = 21.5 ± 0.01 μΜ). The investigated IC₅₀ value of compound 3 against the urease enzyme is two times lower compared to thiourea, suggesting that this compound is twice as active compared to the standard drug. On the other hand, all three compounds (1–3) revealed mild inhibition potential against α-glucosidase. In-silico molecular docking studies, in combination with MD simulations and free energy, calculations were also performed to rationalize their time evolved mode of interaction inside the active pocket. Binding energies were computed using a MMPBSA approach, and the role of individual residues to overall binding of the inhibitors inside the active pockets were also computed; (4) Conclusions: Together, these studies confirm the inhibitory potential of isolated acrylic acid derivatives against both urease and α-glucosidase enzymes; however, their inhibition potential is better for urease enzyme even when compared to the standard.     

Formalising the Pathways to Life Using Assembly Spaces

Assembly theory (referred to in prior works as pathway assembly) has been developed to explore the extrinsic information required to distinguish a given object from a random ensemble. In prior work, we explored the key concepts relating to deconstructing an object into its irreducible parts and then evaluating the minimum number of steps required to rebuild it, allowing for the reuse of constructed sub-objects. We have also explored the application of this approach to molecules, as molecular assembly, and how molecular assembly can be inferred experimentally and used for life detection. In this article, we formalise the core assembly concepts mathematically in terms of assembly spaces and related concepts and determine bounds on the assembly index. We explore examples of constructing assembly spaces for mathematical and physical objects and propose that objects with a high assembly index can be uniquely identified as those that must have been produced using directed biological or technological processes rather than purely random processes, thereby defining a new scale of aliveness. We think this approach is needed to help identify the new physical and chemical laws needed to understand what life is, by quantifying what life does.