On nonlinear gauge theories

In this note, we study non-linear gauge theories for principal bundles, where the structure group is replaced by a Lie groupoid. We follow the approach of Moerdijk–Mr?un and establish its relation with the existing physics literature. In particular, we derive a new formula for the gauge transformation which closely resembles and generalizes the classical formulas found in Yang Mills gauge theories.     

Novel stereocontrolled addition of allylmetal reagents to alpha-imino esters: efficient synthesis of chiral tetrahydroquinoline derivatives

To prepare in multigram scale new antagonists of the glycine binding site associated to the NMDA receptor, an efficient distereoselective route was set up. The addition of suitable allyltin reagents to chiral N-aryl alpha-imino esters (R-(+)-tert-butyl lactate used as chiral auxiliary), gave the corresponding alpha amino acid-type derivative in high chemical yield and optical purity. This allylation reaction represents a novel example of efficient long-range stereodifferentiation process. In the last part of the synthesis, a regioselective Heck-type cyclization reaction enabled preparation of the target tetrasubstituted exocycle and trisubtituted endocycle double bond derivatives.     

Alkylation of nucleic acids by the antitumor agent COMC

[reaction: see text]. Mass spectral data are presented indicating that the antitumor agent 2-crotonyloxymethyl-2-cyclohexenone (COMC) is capable of alkylating oligonucleotides via a mechanism involving an electrophilic exocyclic enone intermediate. Under physiological conditions, the exocyclic enone is likely the glutathionylated 2-exomethylenecyclohexenone. This supports a recent hypothesis that the antitumor activity of COMC arises from alkylation of nucleic acids and/or proteins critical to cell function and not from competitive inhibition of glyoxalase I by an adduct of COMC and glutathione.     

Nucleophilic addition of the thiocyanate ion to ferrocenyl-stabilised carbocations

The reaction of ferrocenylmethylcarbocations with the ambident thiocyanate ion produces only the isothiocyanate isomer.     

The formation of proton and alkali metal complexes with ligands of biological interest in aqueous solution. Thermodynamics of Li+, Na+ and K+-dicarboxylate complex formation

The formation and stability of Li⁺, Na⁺ and K⁺ complexes with oxalate, malonate, succinate, maleate, DL-malate and phthalate were studied potentiometrically at various ionic strengths. From the data thus obtained, as well as from several literature data on the protonation of the above-mentioned ligands in various ionic media and at various temperatures, the dependence of Na⁺ and K⁺ complex formation on temperature was determined. The dependence on ionic strength, both for the protonation and the complex formation, is also discussed.     

A lower bound for the complexity of Craig's interpolants in sentential logic

For any sentenceα (in sentential logic) letd _α be the delay complexity of the boolean functionf _α represented byα. We prove that for infinitely manyd (and starting with somed<620) there exist valid implicationsα→β withd _α,d _β≦d such that any Craig's interpolantx has its delay complexityd _χ greater thand+(1/3)·log(d/2). This is the first (non-trivial) known lower bound on the complexity of Craig's interpolants in sentential logic, whose general study may well have an impact on the central problems of computation theory.     

Probing fragment complementation by rigid-body docking: in silico reconstitution of calbindin D9k

Fragment complementation is gaining an increasing impact as a nonperturbing method to probe noncovalent interactions within protein supersecondary structures. In this study, the fast Fourier transform rigid-body docking algorithm ZDOCK has been employed for in silico reconstitution of the calcium binding protein calbindin D9k, from its two EF-hands subdomains, namely, EF1 (residues 1-43) and EF2 (residues 44-75). The EF1 fragment has been used both in its wild type and in nine mutant forms, in line with in vitro experiments. Consistent with in vitro data, ZDOCK reconstituted the proper fold of wild-type and mutated calbindin, locating the nativelike structures (i.e., holding a root-mean-square deviation < 1 A with respect to the X-ray structure) among the first 10 top-scored solutions out of 4000. Moreover, the three independent in silico reconstitutions of wild-type calbindin ranked a nativelike structure at the top of the output list, that is, the best scored one. The algorithm has been also successfully challenged in reconstituting the EF2 homodimer from two identical copies of the monomer. Furthermore, quantitative models consisting of linear correlations between thermodynamic data and ZDOCK scores were built, providing a tested tool for very fast in silico predictions of the free energy of association of protein-protein complexes solved at the atomic level and known to not undergo significant conformational changes upon binding.     

Interplay between structure and size in a critical crystal nucleus

We study the kinetics of crystal nucleation of an undercooled Lennard-Jones liquid using various path-sampling methods. We obtain the rate constant and elucidate the pathways for crystal nucleation. Analysis of the path ensemble reveals that crystal nucleation occurs along many different pathways, in which critical solid nuclei can be small, compact, and face centered cubic, but also large, less ordered, and more body centered cubic. The reaction coordinate thus includes, besides the cluster size, also the quality of the crystal structure.     

Partially dynamic maintenance of minimum weight hyperpaths

We address the problem of dynamically maintaining minimum weight hyperpaths in a directed hypergraph in a decremental setting. For such a problem, we provide a new efficient algorithm that works for a wide class of hyperpath weight measures. This algorithm explicitly updates minimum weight hyperpaths in

Full-size image

worst case time under a sequence of L hyperarc weight increments and hyperarc deletions, where C is the maximum weight of minimum hyperpaths in and is the size of the representation of the hypergraph. Hyperpath weight measures are only required to belong to the class of strict weakly superior functions.