An Inquiry into the Practice of Proving in Low-Dimensional Topology

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology

Noncomputability Arising In Dynamical Triangulation Model Of Four-Dimensional Quantum Gravity

Computations in Dynamical Triangulation Models of Four-Dimensional Quantum Gravity involve weighted averaging over sets of all distinct triangulations of compact four-dimensional manifolds. In order to be able to perform such computations one needs an algorithm which for any given $N$ and a given compact four-dimensional manifold $M$ constructs all possible triangulations of $M$ with $\leq N$ simplices. Our first result is that such algorithm does not exist. Then we discuss recursion-theoretic limitations of any algorithm designed to perform approximate calculations of sums over all possible triangulations of a compact four-dimensional manifold.Comment: 8 Pages, LaTex, PUPT-132

Humans Infected with Relapsing Fever Spirochete Borrelia miyamotoi, Russia

Disease may occur throughout the world because of the widespread prevalence of this pathogen in ixodid ticks

Results from the first use of low radioactivity argon in a dark matter search

Liquid argon is a bright scintillator with potent particle identification properties, making it an attractive target for direct-detection dark matter searches. The DarkSide-50 dark matter search here reports the first WIMP search results obtained using a target of low-radioactivity argon. DarkSide-50 is a dark matter detector, using two-phase liquid argon time projection chamber, located at the Laboratori Nazionali del Gran Sasso. The underground argon is shown to contain Ar-39 at a level reduced by a factor (1.4 +- 0.2) x 10^3 relative to atmospheric argon. We report a background-free null result from (2616 +- 43) kg d of data, accumulated over 70.9 live-days. When combined with our previous search using an atmospheric argon, the 90 % C.L. upper limit on the WIMP-nucleon spin-independent cross section based on zero events found in the WIMP search regions, is 2.0 x 10^-44 cm^2 (8.6 x 10^-44 cm^2, 8.0 x 10^-43 cm^2) for a WIMP mass of 100 GeV/c^2 (1 TeV/c^2 , 10 TeV/c^2).Comment: Accepted by Phys. Rev.

Functional classification of proteins based on projection of amino acid sequences: application for prediction of protein kinase substrates

<p>Abstract</p> <p>Background</p> <p>The knowledge about proteins with specific interaction capacity to the protein partners is very important for the modeling of cell signaling networks. However, the experimentally-derived data are sufficiently not complete for the reconstruction of signaling pathways. This problem can be solved by the network enrichment with predicted protein interactions. The previously published <it>in silico </it>method PAAS was applied for prediction of interactions between protein kinases and their substrates.</p> <p>Results</p> <p>We used the method for recognition of the protein classes defined by the interaction with the same protein partners. 1021 protein kinase substrates classified by 45 kinases were extracted from the Phospho.ELM database and used as a training set. The reasonable accuracy of prediction calculated by leave-one-out cross validation procedure was observed in the majority of kinase-specificity classes. The random multiple splitting of the studied set onto the test and training set had also led to satisfactory results. The kinase substrate specificity for 186 proteins extracted from TRANSPATH^®database was predicted by PAAS method. Several kinase-substrate interactions described in this database were correctly predicted. Using the previously developed ExPlain™ system for the reconstruction of signal transduction pathways, we showed that addition of the newly predicted interactions enabled us to find the possible path between signal trigger, TNF-alpha, and its target genes in the cell.</p> <p>Conclusions</p> <p>It was shown that the predictions of protein kinase substrates by PAAS were suitable for the enrichment of signaling pathway networks and identification of the novel signaling pathways. The on-line version of PAAS for prediction of protein kinase substrates is freely available at <url>http://www.ibmc.msk.ru/PAAS/</url>.</p

Identification and Characterization of Microcin S, a New Antibacterial Peptide Produced by Probiotic Escherichia coli G3/10

Escherichia coli G3/10 is a component of the probiotic drug Symbioflor 2. In an in vitro assay with human intestinal epithelial cells, E. coli G3/10 is capable of suppressing adherence of enteropathogenic E. coli E2348/69. In this study, we demonstrate that a completely novel class II microcin, produced by probiotic E. coli G3/10, is responsible for this behavior. We named this antibacterial peptide microcin S (MccS). Microcin S is coded on a 50.6 kb megaplasmid of E. coli G3/10, which we have completely sequenced and annotated. The microcin S operon is about 4.7 kb in size and is comprised of four genes. Subcloning of the genes and gene fragments followed by gene expression experiments enabled us to functionally characterize all members of this operon, and to clearly identify the nucleotide sequences encoding the microcin itself (mcsS), its transport apparatus and the gene mcsI conferring self immunity against microcin S. Overexpression of cloned mcsI antagonizes MccS activity, thus protecting indicator strain E. coli E2348/69 in the in vitro adherence assay. Moreover, growth of E. coli transformed with a plasmid containing mcsS under control of an araC PBAD activator-promoter is inhibited upon mcsS induction. Our data provide further mechanistic insight into the probiotic behavior of E. coli G3/10

Borexino : geo-neutrino measurement at Gran Sasso, Italy

Geo-neutrinos, electron anti-neutrinos produced in beta-decays of naturally occurring radioactive isotopes in the Earth, are a unique direct probe of our planet's interior. After a brief introduction of the geo-neutrinos' properties and of the main aims of their study, we discuss the features of a detector which has recently provided breakthrough achievements in the field, Borexino, a massive, calorimetric liquid scintillator detector installed at the underground Gran Sasso Laboratory. With its unprecedented radiopurity levels achieved in the core of the detection medium, it is the only experiment in operation able to study in real time solar neutrino interactions in the challenging sub-MeV energy region. Its superior technical properties allowed Borexino also to provide a clean detection of terrestrial neutrinos. Therefore, the description of the characteristics of the detected geo-neutrino signal and of the corresponding geological implications are the main core of the discussion contained in this work

Signal transduction by reactive oxygen species

Although historically viewed as purely harmful, recent evidence suggests that reactive oxygen species (ROS) function as important physiological regulators of intracellular signaling pathways. The specific effects of ROS are modulated in large part through the covalent modification of specific cysteine residues found within redox-sensitive target proteins. Oxidation of these specific and reactive cysteine residues in turn can lead to the reversible modification of enzymatic activity. Emerging evidence suggests that ROS regulate diverse physiological parameters ranging from the response to growth factor stimulation to the generation of the inflammatory response, and that dysregulated ROS signaling may contribute to a host of human diseases

Light Yield in DarkSide-10: a Prototype Two-phase Liquid Argon TPC for Dark Matter Searches

As part of the DarkSide program of direct dark matter searches using liquid argon TPCs, a prototype detector with an active volume containing 10 kg of liquid argon, DarkSide-10, was built and operated underground in the Gran Sasso National Laboratory in Italy. A critically important parameter for such devices is the scintillation light yield, as photon statistics limits the rejection of electron-recoil backgrounds by pulse shape discrimination. We have measured the light yield of DarkSide-10 using the readily-identifiable full-absorption peaks from gamma ray sources combined with single-photoelectron calibrations using low-occupancy laser pulses. For gamma lines of energies in the range 122-1275 keV, we get consistent light yields averaging 8.887+-0.003(stat)+-0.444(sys) p.e./keVee. With additional purification, the light yield measured at 511 keV increased to 9.142+-0.006(stat) p.e./keVee.Comment: 10 pages, 7 figures, Accepted for publication in Astroparticle Physic