• Login
    Sort by: Relevance Date Users's collections Twitter
    Group by: Day Week Month Year All time
Based on the idea and the provided source code of Andrej Karpathy (arxiv-sanity)
2:3 1:1 3:2
  • New Constraints on all flavour Galactic diffuse neutrino emission with the ANTARES telescope (1705.00497)

    A. Albert, M. Ardid, J. Barrios-Martí, R. Bormuth, J. Brunner, S. Celli, J.A.B. Coelho, P. Coyle, G. De Bonis, C. Donzaud, I. El Bojaddaini, A. Ettahiri, S. Galatà, T. Grégoire, A.J. Heijboer, J. Hößl, M. de Jong, U. Katz, I. Kreykenbohm, D. Lefèvre, A. Margiotta, R. Mele, A. Moussa, G.E. Păvălaş, P. Piattelli, G. Riccobene, D. F. E. Samtleben, F. Schüssler, M. Taiuti, C. Tönnis, D. Vivolo, J. Zúñiga GRPHE - Université de Haute Alsace - Institut universitaire de technologie de Colmar, 34 rue du Grillenbreit BP 50568 - 68008 Colmar, France, Technical University of Catalonia, Laboratory of Applied Bioacoustics, Rambla Exposició, 08800 Vilanova i la Geltrú, Barcelona, Spain, INFN - Sezione di Genova, Via Dodecaneso 33, 16146 Genova, Italy, Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen Centre for Astroparticle Physics, Erwin-Rommel-Str. 1, 91058 Erlangen, Germany, Institut d'Investigació per a la Gestió Integrada de les Zones Costaneres - Universitat Politècnica de València. C/ Paranimf 1, 46730 Gandia, Spain, Aix Marseille Univ, CNRS/IN2P3, CPPM, Marseille, France, APC, Univ Paris Diderot, CNRS/IN2P3, CEA/Irfu, Obs de Paris, Sorbonne Paris Cité, France, IFIC - Instituto de Física Corpuscular (CSIC - Universitat de València) c/ Catedrático José Beltrán, 2 E-46980 Paterna, Valencia, Spain, LAM - Laboratoire d'Astrophysique de Marseille, Pôle de l'étoile Site de Château-Gombert, rue Frédéric Joliot-Curie 38, 13388 Marseille Cedex, 13, France, National Center for Energy Sciences, Nuclear Techniques, B.P.1382, R. P.10001 Rabat, Morocco, INFN - Laboratori Nazionali del Sud, Via S. Sofia 62, 95123 Catania, Italy, Huygens-Kamerlingh Onnes Laboratorium, Universiteit Leiden, The Netherlands, Universiteit van Amsterdam, Instituut voor Hoge-Energie Fysica, Science Park 105, 1098 XG Amsterdam, The Netherlands, INFN - Sezione di Roma, P.le Aldo Moro 2, 00185 Roma, Italy, Dipartimento di Fisica dell'Università La Sapienza, P.le Aldo Moro 2, 00185 Roma, Italy, Institute for Space Science, RO-077125 Bucharest, Măgurele, Romania, Gran Sasso Science Institute, Viale Francesco Crispi 7, 00167 L'Aquila, Italy, University Mohammed V in Rabat, Faculty of Sciences, 4 av. Ibn Battouta, B.P. 1014, R.P. 10000 Rabat, Morocco, INFN - Sezione di Bologna, Viale Berti-Pichat 6/2, 40127 Bologna, Italy, INFN - Sezione di Bari, Via E. Orabona 4, 70126 Bari, Italy, Department of Computer Architecture, Technology/CITIC, University of Granada, 18071 Granada, Spain, Géoazur, UCA, CNRS, IRD, Observatoire de la Côte d'Azur, Sophia Antipolis, France, Dipartimento di Fisica dell'Università, Via Dodecaneso 33, 16146 Genova, Italy, Université Paris-Sud, 91405 Orsay Cedex, France, University Mohammed I, Laboratory of Physics of Matter, Radiations, B.P.717, Oujda 6000, Morocco, Institut für Theoretische Physik und Astrophysik, Universität Würzburg, Emil-Fischer Str. 31, 97074 Würzburg, Germany, Dipartimento di Fisica e Astronomia dell'Università, Viale Berti Pichat 6/2, 40127 Bologna, Italy, Laboratoire de Physique Corpusculaire, Clermont Université, Université Blaise Pascal, CNRS/IN2P3, BP 10448, F-63000 Clermont-Ferrand, France, INFN - Sezione di Catania, Viale Andrea Doria 6, 95125 Catania, Italy, LSIS, Aix Marseille Université CNRS ENSAM LSIS UMR 7296 13397 Marseille, France, Université de Toulon CNRS LSIS UMR 7296, 83957 La Garde, France, Royal Netherlands Institute for Sea Research, Landsdiep 4, 1797 SZ 't Horntje Dr. Remeis-Sternwarte, ECAP, Universität Erlangen-Nürnberg, Sternwartstr. 7, 96049 Bamberg, Germany, Moscow State University, Skobeltsyn Institute of Nuclear Physics, Leninskie gory, 119991 Moscow, Russia, Mediterranean Institute of Oceanography, Aix-Marseille University, 13288, Marseille, Cedex 9, France, Université du Sud Toulon-Var, CNRS-INSU/IRD UM 110, 83957, La Garde Cedex, France, Dipartimento di Fisica ed Astronomia dell'Università, Viale Andrea Doria 6, 95125 Catania, Italy, Direction des Sciences de la Matière - Institut de recherche sur les lois fondamentales de l'Univers - Service de Physique des Particules, CEA Saclay, 91191 Gif-sur-Yvette Cedex, France, INFN - Sezione di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Italy, Dipartimento di Fisica dell'Università, Largo B. Pontecorvo 3, 56127 Pisa, Italy, INFN - Sezione di Napoli, Via Cintia 80126 Napoli, Italy, Dipartimento di Fisica dell'Università Federico II di Napoli, Via Cintia 80126, Napoli, Italy, Dpto. de Física Teórica y del Cosmos & C.A.F.P.E., University of Granada, 18071 Granada, Spain, Université de Strasbourg, CNRS, IPHC UMR 7178, F-67000 Strasbourg, France, GRAPPA, University of Amsterdam, Science Park 904, 1098 XH Amsterdam, Netherlands)
    Aug. 7, 2017 astro-ph.HE
    ... ... ... ... ... ...
    The flux of very high-energy neutrinos produced in our Galaxy by the interaction of accelerated cosmic rays with the interstellar medium is not yet determined. The characterization of this flux will shed light on Galactic accelerator features, gas distribution morphology and Galactic cosmic ray transport. The central Galactic plane can be the site of an enhanced neutrino production, thus leading to anisotropies in the extraterrestrial neutrino signal as measured by the IceCube Collaboration. The ANTARES neutrino telescope, located in the Mediterranean Sea, offers a favourable view on this part of the sky, thereby allowing for a contribution to the determination of this flux. The expected diffuse Galactic neutrino emission can be obtained linking a model of generation and propagation of cosmic rays with the morphology of the gas distribution in the Milky Way. In this paper, the so-called "Gamma model" introduced recently to explain the high-energy gamma ray diffuse Galactic emission, is assumed as reference. The neutrino flux predicted by the "Gamma model" depends of the assumed primary cosmic ray spectrum cut-off. Considering a radially-dependent diffusion coefficient, this proposed scenario is able to account for the local cosmic ray measurements, as well as for the Galactic gamma ray observations. Nine years of ANTARES data are used in this work to search for a possible Galactic contribution according to this scenario. All flavour neutrino interactions are considered. No excess of events is observed and an upper limit is set on the neutrino flux of $1.1$ ($1.2$) times the prediction of the "Gamma model" assuming the primary cosmic ray spectrum cut-off at 5 (50) PeV. This limit excludes the diffuse Galactic neutrino emission as the major cause of the "spectral anomaly" between the two hemispheres measured by IceCube.
  • Inferring Types for Parallel Programs (1704.03096)

    Francisco Martins, Vasco Thudichum Vasconcelos (LaSIGE, Faculty of Sciences, University of Lisbon), Hans Hüttel
    April 11, 2017 cs.LO, cs.PL
    ... ... ... ... ... ...
    The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behavioural type discipline for MPI-like programs in which a type describes the communication protocol followed by the entire program. Well-typed programs are guaranteed to be exempt from deadlocks. In this paper we describe a type inference algorithm for a subset of the original system; the algorithm allows to statically extract a type for an MPI program from its source code.
  • Deductive Verification of Parallel Programs Using Why3 (1508.04856)

    César Santos (Lasige, Faculty of Sciences, University of Lisbon, Portugal), Francisco Martins (Lasige, Faculty of Sciences, University of Lisbon, Portugal), Vasco Thudichum Vasconcelos (Lasige, Faculty of Sciences, University of Lisbon, Portugal)
    Aug. 20, 2015 cs.PL, cs.DC
    ... ... ... ... ... ...
    The Message Passing Interface specification (MPI) defines a portable message-passing API used to program parallel computers. MPI programs manifest a number of challenges on what concerns correctness: sent and expected values in communications may not match, resulting in incorrect computations possibly leading to crashes; and programs may deadlock resulting in wasted resources. Existing tools are not completely satisfactory: model-checking does not scale with the number of processes; testing techniques wastes resources and are highly dependent on the quality of the test set. As an alternative, we present a prototype for a type-based approach to programming and verifying MPI like programs against protocols. Protocols are written in a dependent type language designed so as to capture the most common primitives in MPI, incorporating, in addition, a form of primitive recursion and collective choice. Protocols are then translated into Why3, a deductive software verification tool. Source code, in turn, is written in WhyML, the language of the Why3 platform, and checked against the protocol. Programs that pass verification are guaranteed to be communication safe and free from deadlocks. We verified several parallel programs from textbooks using our approach, and report on the outcome.
  • Deductive Verification of Parallel Programs Using Why3 (1508.04856)

    César Santos (Lasige, Faculty of Sciences, University of Lisbon, Portugal), Francisco Martins (Lasige, Faculty of Sciences, University of Lisbon, Portugal), Vasco Thudichum Vasconcelos (Lasige, Faculty of Sciences, University of Lisbon, Portugal)
    Aug. 20, 2015 cs.PL, cs.DC
    ... ... ... ... ... ...
    The Message Passing Interface specification (MPI) defines a portable message-passing API used to program parallel computers. MPI programs manifest a number of challenges on what concerns correctness: sent and expected values in communications may not match, resulting in incorrect computations possibly leading to crashes; and programs may deadlock resulting in wasted resources. Existing tools are not completely satisfactory: model-checking does not scale with the number of processes; testing techniques wastes resources and are highly dependent on the quality of the test set. As an alternative, we present a prototype for a type-based approach to programming and verifying MPI like programs against protocols. Protocols are written in a dependent type language designed so as to capture the most common primitives in MPI, incorporating, in addition, a form of primitive recursion and collective choice. Protocols are then translated into Why3, a deductive software verification tool. Source code, in turn, is written in WhyML, the language of the Why3 platform, and checked against the protocol. Programs that pass verification are guaranteed to be communication safe and free from deadlocks. We verified several parallel programs from textbooks using our approach, and report on the outcome.
  • Deductive Verification of Parallel Programs Using Why3 (1508.04856)

    César Santos (Lasige, Faculty of Sciences, University of Lisbon, Portugal), Francisco Martins (Lasige, Faculty of Sciences, University of Lisbon, Portugal), Vasco Thudichum Vasconcelos (Lasige, Faculty of Sciences, University of Lisbon, Portugal)
    Aug. 20, 2015 cs.PL, cs.DC
    ... ... ... ... ... ...
    The Message Passing Interface specification (MPI) defines a portable message-passing API used to program parallel computers. MPI programs manifest a number of challenges on what concerns correctness: sent and expected values in communications may not match, resulting in incorrect computations possibly leading to crashes; and programs may deadlock resulting in wasted resources. Existing tools are not completely satisfactory: model-checking does not scale with the number of processes; testing techniques wastes resources and are highly dependent on the quality of the test set. As an alternative, we present a prototype for a type-based approach to programming and verifying MPI like programs against protocols. Protocols are written in a dependent type language designed so as to capture the most common primitives in MPI, incorporating, in addition, a form of primitive recursion and collective choice. Protocols are then translated into Why3, a deductive software verification tool. Source code, in turn, is written in WhyML, the language of the Why3 platform, and checked against the protocol. Programs that pass verification are guaranteed to be communication safe and free from deadlocks. We verified several parallel programs from textbooks using our approach, and report on the outcome.
  • The Eleventh and Twelfth Data Releases of the Sloan Digital Sky Survey: Final Data from SDSS-III (1501.00963)

    Shadab Alam, F. Anders, Eric Armengaud, Rachael L. Beaton Andreas A. Berlind, Jonathan C. Bird, Michael R. Blanton, Adam S. Bolton, D. E. Brauer, Joel R. Brownstein, Zheng Cai, Ricardo Carrera, S. Drew Chojnowski, Johan Comparat, Katia Cunha, James R. A. Davenport, Timothée Delubac, Tom Dwelly, Edward M. Edmondson, Massimiliano Esposito, Diane Feuillet, Alexis Finoguenov, Andreu Font-Ribera, J. G. Galbraith-Frew, Ana E. García Pérez, R. Génova-Santos, Daniel Goddard, Jonay I. González Hernández, Nolan Grieves, Sten Hasselquist, Shirley Ho, Jon A. Holtzman, Linhua Jiang, Francisco Kitaura, Xavier P. Koenig, Pierre Laurent, Khee-Gan Lee, Daniel C. Long, Diego Lorenzo-Oliveira, Claude E. Mack III, Marcio A. G. Maia, Viktor Malanushenko, Qingqing Mao, Daniel Margala, Cameron K. McBride, Richard G. McMahon, Marie-Luise Menzel, Adam A. Miller, Antonio D. Montero-Dorta, Heather L. Morrison, Mark Neyrinck, David L. Nidever, Julia E. O'Connell, Ricardo L. C. Ogando, Daniel J. Oravetz, Deborah L. Padgett, Nathalie Palanque-Delabrouille, Changbom Park, M. Pellejero-Ibanez, Ismael Pérez-Fournon, Patrick Petitjean, Gustavo F. Porto de Mello, Adrian M. Price-Whelan, Beth A. Reid, Constance M. Rockosi, Sergio Rodríguez-Rottes, Graziano Rossi, Eli S. Rykoff, Lado Samushia, Basílio Santiago, David J. Schlegel, Mathias Schultheis, Hee-Jong Seo, Matthew Shetrone, Anže Slosar, Keivan G. Stassun, Michael A. Strauss, Jonathan C. Tan, Daniel Thomas, Rita Tojeiro, Jose A. Vazquez, Nicole P. Vogt, David H. Weinberg, John C. Wilson, Christophe Yèche, Gail Zasowski, Zheng Zheng ( Bruce, Astrid McWilliams Center for Cosmology, Department of Physics, Carnegie Mellon University, 5000 Forbes Ave, Pittsburgh, PA 15213, USA, Instituto de Física Teórica, , Universidad Autónoma de Madrid, Cantoblanco, E-28049 Madrid, Spain, Instituto de Astrofísica de Canarias, C/Vía Láctea, s/n, E-38200, La Laguna, Tenerife, Spain, Departamento de Astrofísica, Universidad de La Laguna, E-38206, La Laguna, Tenerife, Spain, Leibniz-Institut für Astrophysik Potsdam Department of Astronomy, University of Washington, Box 351580, Seattle, WA 98195, USA, Department of Astronomy, Ohio State University, 140 West 18th Avenue, Columbus, OH 43210, USA, PITT PACC, Department of Physics, Astronomy, University of Pittsburgh, 3941 O'Hara Street, Pittsburgh, PA 15260, USA, CEA, Centre de Saclay, Irfu/SPP, F-91191 Gif-sur-Yvette, France, APC, University of Paris Diderot, CNRS/IN2P3, CEA/IRFU, Observatoire de Paris, Sorbonne Paris Cité, F-75205 Paris, France, Lawrence Berkeley National Laboratory, One Cyclotron Road, Berkeley, CA 94720, USA, Department of Astronomy, University of Virginia, P.O. Box 400325, Charlottesville, VA 22904-4325, USA, Observatories of the Carnegie Institution of Washington, 813 Santa Barbara Street, Pasadena, CA 91101, USA, Department of Physics, JINA Center for the Evolution of the Elements, University of Notre Dame, Notre Dame, IN 46556 USA, Department of Astronomy, Astrophysics, 525 Davey Laboratory, The Pennsylvania State University, University Park, PA 16802, USA, Center for Exoplanets, Habitable Worlds, 525 Davey Laboratory, Pennsylvania State University, University Park, PA 16802, USA, Department of Physics, Astronomy, Vanderbilt University, VU Station 1807, Nashville, TN 37235, USA, Apache Point Observatory, P.O. Box 59, Sunspot, NM 88349, USA, Department of Astronomy, MSC 4500, New Mexico State University, P.O. Box 30001, Las Cruces, NM 88003, USA, University of Pennsylvania, Department of Physics, Astronomy, 219 S. 33rd St., Philadelphia, PA 19104, USA, Center for Cosmology, Particle Physics, Department of Physics, New York University, 4 Washington Place, New York, NY 10003, USA, Department of Physics, Astronomy, University of California, Irvine, CA 92697, USA, Rider University, 2083 Lawrenceville Road, Lawrenceville, NJ 08648, USA, Department of Physics, Astronomy, University of Utah, Salt Lake City, UT 84112, USA, Institute for Advanced Study, Einstein Drive, Princeton, NJ 08540, USA, Institute for Gravitation, the Cosmos, The Pennsylvania State University, University Park, PA 16802, USA, George P., Cynthia Woods Mitchell Institute for Fundamental Physics, Astronomy, Texas A., M. University, Department of Physics, Astronomy, 4242 TAMU, College Station, TX 77843, USA, Institute of Cosmology, Gravitation, Dennis Sciama Building, University of Portsmouth, Portsmouth, PO1 3FX, UK, Observatório Nacional, Rua Gal. José Cristino 77, Rio de Janeiro, RJ - 20921-400, Brazil, Laboratório Interinstitucional de e-Astronomia, - LIneA, Rua Gal.José Cristino 77, Rio de Janeiro, RJ - 20921-400, Brazil, Steward Observatory, 933 North Cherry Avenue, Tucson, AZ 85721, USA, Department of Statistics, Bruce, Astrid McWilliams Center for Cosmology, Carnegie Mellon University, 5000 Forbes Ave, Pittsburgh, PA 15213, USA, Max-Planck-Institut für Extraterrestrische Physik, Postfach 1312, Giessenbachstr. D-85741 Garching, Germany, Lowell Observatory, 1400 W. Mars Hill Road, Flagstaff AZ 86001, Western Washington University, Department of Physics & Astronomy, 516 High Street, Bellingham WA 98225, Institut de Ciències del Cosmos, Universitat de Barcelona/IEEC, Barcelona E-08028, Spain, Yale Center for Astronomy, Astrophysics, Yale University, New Haven, CT, 06520, USA, Department of Astronomy, University of Florida, Bryant Space Science Center, Gainesville, FL 32611-2055, USA, Department of Physics, Geology, Northern Kentucky University, Highland Heights, KY 41099, USA, Laboratoire d'Astrophysique, École Polytechnique Fédérale de Lausanne Universidade Federal do Rio de Janeiro, Observatório do Valongo, Ladeira do Pedro Antônio 43, 20080-090 Rio de Janeiro, Brazil, Departamento de Física, Universidade Federal do Rio Grande do Norte, 59072-970, Natal, RN, Brazil., Centre de Physique des Particules de Marseille, Aix-Marseille Université, CNRS/IN2P3, E-13288 Marseille, France, Harvard-Smithsonian Center for Astrophysics, 60 Garden Street, Cambridge MA 02138, USA, Faculty of Sciences, Department of Astronomy, Space Sciences, Erciyes University, 38039 Kayseri, Turkey., Institut d'Astrophysique de Paris, UPMC-CNRS, UMR7095, 98 bis Boulevard Arago, F-75014, Paris, France, Department of Physics, University of Helsinki, Gustaf Hällströmin katu 2, Helsinki FI-00140, Finland, Department of Astronomy, Van Vleck Observatory, Wesleyan University, Middletown, CT 06459, Space Telescope Science Institute, 3700 San Martin Dr, Baltimore, MD 21218, USA, Computer Sciences Corporation, 3700 San Martin Dr, Baltimore, MD 21218, USA, Department of Physics, Astronomy, Texas Christian University, 2800 South University Drive, Fort Worth, TX 76129, USA, Center for Astrophysical Sciences, Department of Physics, Astronomy, Johns Hopkins University, 3400 North Charles Street, Baltimore, MD 21218, USA, INAF, Osservatorio Astronomico di Padova, Vicolo dell'Osservatorio 5, I-35122 Padova, Italy., Astronomisches Rechen-Institut, Zentrum für Astronomie der Universität Heidelberg, Mönchhofstr. 12--14, D-69120 Heidelberg, Germany, Department of Astrophysical Sciences, Princeton University, Princeton, NJ 08544, USA, Department of Astronomy, Case Western Reserve University, Cleveland, OH 44106, USA, Department of Physics, Ohio State University, Columbus, OH 43210, USA, Center for Cosmology, Astro-Particle Physics, Ohio State University, Columbus, OH 43210, USA, Kavli Institute for Astronomy, Astrophysics, Peking University, Beijing 100871, China, Laboratoire d'Astrophysique de Marseille, CNRS-Université de Provence, 38 rue F. Joliot-Curie, F-13388 Marseille cedex 13, France, Department of Astronomy, Yale University, P.O. Box 208101, New Haven, CT 06520-8101, USA, Kavli Institute for the Physics, Mathematics of the Universe, Todai Institutes for Advanced Study, The University of Tokyo, Kashiwa, 277-8583, Japan., Max-Planck-Institut für Astronomie, Königstuhl 17, D-69117 Heidelberg, Germany, Department of Astronomy, Space Science Chungnam National University Daejeon 305-764, Repulic of Korea., Department of Astronomy, University of Wisconsin-Madison, 475 North Charter Street, Madison WI 53703, USA, School of Physics, University of New South Wales, Sydney, NSW 2052, Australia, IPAC, MS 220-6, California Institute of Technology, Pasadena, CA 91125, USA, Institute of Astronomy, University of Cambridge, Madingley Road, Cambridge CB3 0HA, UK., Kavli Institute for Cosmology, University of Cambridge, Madingley Road, Cambridge CB3 0HA, UK., Alfred P. Sloan fellow., ELTE Gothard Astrophysical Observatory, H-9704 Szombathely, Szent Imre herceg st. 112, Hungary, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA, Department of Astronomy, California Institute of Technology, Pasadena, CA 91125, USA, Institució Catalana de Recerca i Estudis Avançats, Barcelona E-08010, Spain, Department of Physics, Astronomy, University of Wyoming, Laramie, WY 82071, USA, Dunlap Institute for Astronomy, Astrophysics, University of Toronto, Toronto, ON, M5S 3H4, Canada., Dept. of Astronomy, University of Michigan, Ann Arbor, MI, 48104, USA, Department of Chemistry, Physics, King's College, Wilkes-Barre, PA 18711, USA, NASA/GSFC, Code 665, Greenbelt, MC 20770, USA, Department of Physics, Yale University, 260 Whitney Ave, New Haven, CT, 06520, USA, School of Physics, Korea Institute for Advanced Study, 85 Hoegiro, Dongdaemun-gu, Seoul 130-722, Republic of Korea, INAF, Osservatorio Astronomico di Trieste, Via G. B. Tiepolo 11, I-34131 Trieste, Italy., Department of Physics, Lehigh University, 16 Memorial Drive East, Bethlehem, PA 18015, USA, Departament d'Astronomia i Meteorologia, Facultat de Física, Universitat de Barcelona, E-08028 Barcelona, Spain, A*MIDEX, Aix Marseille Université, CNRS, LAM (Laboratoire d'Astrophysique de Marseille) UMR 7326, F-13388 Marseille cedex 13, France, Campus of International Excellence UAM+CSIC, Cantoblanco, E-28049 Madrid, Spain, , Glorieta de la Astronomía, E-18080 Granada, Spain, Department of Astronomy, Columbia University, New York, NY 10027, USA, Department of Physics, University of California, Berkeley, CA 94720, USA, Université de Franche-Comté, Institut Utinam, UMR CNRS 6213, OSU Theta, Besançon, F-25010, France, Department of Astronomy, Astrophysics, University of California, Santa Cruz, 1156 High Street, Santa Cruz, CA 95064, USA, Dipartimento di Fisica e Astronomia, Università di Padova, Vicolo dell'Osservatorio 2, I-35122 Padova, Italy, Department of Physics, Drexel University, 3141 Chestnut Street, Philadelphia, PA 19104, USA, Department of Astronomy, Space Science, Sejong University, Seoul, 143-747, Korea, Universitäts-Sternwarte München, Scheinerstrasse 1, D-81679 Munich, Germany, Cluster of Excellence, Boltzmannstraße 2, D-85748 Garching, Germany, Department of Physics, Kansas State University, 116 Cardwell Hall, Manhattan, KS 66506, USA, National Abastumani Astrophysical Observatory, Ilia State University, 2A Kazbegi Ave., GE-1060 Tbilisi, Georgia, Instituto de Física, UFRGS, Caixa Postal 15051, Porto Alegre, RS - 91501-970, Brazil, Gemini Observatory, 670 N. A'Ohoku Place, Hilo, HI 96720, USA, Astrophysics Research Institute, Liverpool John Moores University, IC2, Liverpool Science Park, 146 Brownlow Hill, Liverpool L3 5RF, UK, Université de Nice Sophia-Antipolis, CNRS, Observatoire de Côte d'Azur, Laboratoire Lagrange, BP 4229, F-06304 Nice Cedex 4, France, Department of Physics, Astronomy, Ohio University, 251B Clippinger Labs, Athens, OH 45701, USA, University of Texas at Austin, Hobby-Eberly Telescope, 32 Fowlkes Rd, McDonald Observatory, TX 79734-3005, USA, Indian Institute of Astrophysics, II Block, Koramangala, Bangalore 560 034, India., Brookhaven National Laboratory, Bldg 510, Upton, NY 11973, USA, National Optical Astronomy Observatory, 950 North Cherry Avenue, Tucson, AZ, 85719, USA, Fermi National Accelerator Laboratory, P.O. Box 500, Batavia, IL 60510, USA, Department of Physics, Fisk University, 1000 17th Avenue North, Nashville, TN 37208, USA, The Penn State Astrobiology Research Center, Pennsylvania State University, University Park, PA 16802, USA, School of Physics, Astronomy, University of St Andrews, St Andrews, Fife, KY16 9SS, UK, Institute of Theoretical Astrophysics, University of Oslo, 0315 Oslo, Norway, INFN/National Institute for Nuclear Physics, Via Valerio 2, I-34127 Trieste, Italy., H.L. Dodge Department of Physics, Astronomy, University of Oklahoma, Norman, OK 73019, USA, Department of Astronomy, Astrophysics, the Enrico Fermi Institute, University of Chicago, 5640 South Ellis Avenue, Chicago, IL 60637, USA, National Astronomical Observatories, Chinese Academy of Sciences, Beijing, 100012, China, Key Laboratory of Optical Astronomy, National Astronomical Observatories, Chinese Academy of Sciences, Beijing, 100012, China)
    May 21, 2015 astro-ph.GA, astro-ph.SR, astro-ph.IM
    ... ... ... ... ... ...
    The third generation of the Sloan Digital Sky Survey (SDSS-III) took data from 2008 to 2014 using the original SDSS wide-field imager, the original and an upgraded multi-object fiber-fed optical spectrograph, a new near-infrared high-resolution spectrograph, and a novel optical interferometer. All the data from SDSS-III are now made public. In particular, this paper describes Data Release 11 (DR11) including all data acquired through 2013 July, and Data Release 12 (DR12) adding data acquired through 2014 July (including all data included in previous data releases), marking the end of SDSS-III observing. Relative to our previous public release (DR10), DR12 adds one million new spectra of galaxies and quasars from the Baryon Oscillation Spectroscopic Survey (BOSS) over an additional 3000 sq. deg of sky, more than triples the number of H-band spectra of stars as part of the Apache Point Observatory (APO) Galactic Evolution Experiment (APOGEE), and includes repeated accurate radial velocity measurements of 5500 stars from the Multi-Object APO Radial Velocity Exoplanet Large-area Survey (MARVELS). The APOGEE outputs now include measured abundances of 15 different elements for each star. In total, SDSS-III added 2350 sq. deg of ugriz imaging; 155,520 spectra of 138,099 stars as part of the Sloan Exploration of Galactic Understanding and Evolution 2 (SEGUE-2) survey; 2,497,484 BOSS spectra of 1,372,737 galaxies, 294,512 quasars, and 247,216 stars over 9376 sq. deg; 618,080 APOGEE spectra of 156,593 stars; and 197,040 MARVELS spectra of 5,513 stars. Since its first light in 1998, SDSS has imaged over 1/3 of the Celestial sphere in five bands and obtained over five million astronomical spectra.
  • Planet-vortex interaction:How a vortex can shepherd a planetary embryo (1410.0132)

    S. Ataiee, H. Meheut Heidelberg University, Center for Astronomy, Institute for Theoretical Astrophysics, Heidelberg, Germany, School of Astronomy, Institute for Research in Fundamental Sciences Department of Physics, Faculty of Sciences, Ferdowsi University of Mashhad, Mashhad, Iran, Institut für Astronomie, Astrophysik, Universität Tübingen, Tübingen, Germany, Konkoly Observatory, Research Center for Astronomy, Earth Science, Hungarian Academy of Sciences, Hungary, CEA, Irfu, SAp, Centre de Saclay, Gif-sur-Yvette, France)
    Oct. 1, 2014 astro-ph.EP
    ... ... ... ... ... ...
    Context: Anticyclonic vortices are considered as a favourable places for trapping dust and forming planetary embryos. On the other hand, they are massive blobs that can interact gravitationally with the planets in the disc. Aims: We aim to study how a vortex interacts gravitationally with a planet which migrates toward it or a planet which is created inside the vortex. Methods: We performed hydrodynamical simulations of a viscous locally isothermal disc using GFARGO and FARGO-ADSG. We set a stationary Gaussian pressure bump in the disc in a way that RWI is triggered. After a large vortex is established, we implanted a low mass planet in the outer disc or inside the vortex and allowed it to migrate. We also examined the effect of vortex strength on the planet migration and checked the validity of the final result in the presence of self-gravity. Results: We noticed regardless of the planet's initial position, the planet is finally locked to the vortex or its migration is stopped in a farther orbital distance in case of a stronger vortex. For the model with the weaker vortex, we studied the effect of different parameters such as background viscosity, background surface density, mass of the planet and different planet positions. In these models, while the trapping time and locking angle of the planet vary for different parameters, the main result, which is the planet-vortex locking, remains valid. We discovered that even a planet with a mass less than 5 * 10^{-7} M_{\star} comes out from the vortex and is locked to it at the same orbital distance. For a stronger vortex, both in non-self-gravitated and self-gravitating models, the planet migration is stopped far away from the radial position of the vortex. This effect can make the vortices a suitable place for continual planet formation under the condition that they save their shape during the planetary growth.
  • Searching for a quantum critical point in YbCu5-xAux (1403.6004)

    I. Čurlik, M. Giovannini Institute of Experimental Physics, Watsonova Košice, Slovakia, Faculty of Sciences, University of Prešov, Prešov, Slovakia, CNR-SPIN, Department of Chemistry, University of Genova, Italy)
    March 24, 2014 cond-mat.str-el
    Structural, magnetic, transport and thermal properties of YbCu5-xAux alloys with Au concentration between the limit of structural stability of AuBe5 type at x = 0.4 up to x = 0.7 are reported. The outstanding features of this system are: i) the constant and record high values of Cm /T 7J/molK^2 below a characteristic temperature T*, ranging between 150 mK and 350 mK. ii) A power law thermal dependence dependence Cm/T(T>T*)=A/T^q, with q = 1.3 +/- 0.1, and iii) an arising incoherent electronic scattering observed in the resistivity at T < 1K for x < 0.6 despite the fact that Yb magnetic atoms are placed in a lattice. Magnetic frustration, originated in the tetrahedral distribution of Yb atoms, appears as the responsible of the exotic behavior of this system.
  • On the eclipsing cataclysmic variable star HBHA 4705-03 (1306.4462)

    A.Rutkowski Astronomical Observatory, Jagiellonian University, Krakow, Poland, Istanbul University, Faculty of Sciences, Department of Astronomy, Space Sciences, Turkey, University of Warwick, Department of Physics, Coventry, UK, Akdeniz University, Faculty of Science, Department of Astronomy, Space Technologies Antalya, Turkey)
    June 19, 2013 astro-ph.SR
    ... ... ... ... ... ...
    We present observations and analysis of a new eclipsing binary HBHA 4705-03. Using decomposition of the light curve into accretion disk and hot spot components, we estimated photometrically the mass ratio of the studied system to be q=0.62 +-0.07. Other fundamental parameters was found with modeling. This approach gave: white dwarf mass M_1 = (0.8 +- 0.2) M_sun, secondary mass M_2=(0.497 +- 0.05) M_sun, orbital radius a=1.418 R_sun, orbital inclination i = (81.58 +- 0.5) deg, accretion disk radius r_d/a = 0.366 +- 0.002, and accretion rate dot{M} = (2.5 +- 2) * 10^{18}[g/s], (3*10^{-8} [M_sun/yr]). Power spectrum analysis revealed ambiguous low-period Quasi Periodic Oscillations centered at the frequencies f_{1}=0.00076 Hz, f_2=0.00048 Hz and f_3=0.00036 Hz. The B-V=0.04 [mag] color corresponds to a dwarf novae during an outburst. The examined light curves suggest that HBHA 4705-03 is a nova-like variable star.
  • Asymmetric transition disks: Vorticity or eccentricity? (1304.1736)

    S. Ataiee, C. Dominik Heidelberg University, Center for Astronomy, Institute for Theoretical Astrophysics, Heidelberg, Germany, Department of Physics, Faculty of Sciences, Ferdowsi University of Mashhad, Mashhad, Iran, Department of Earth, Atmospheric, Planetary Sciences, Massachusetts Institute of Technology, Cambridge, MA Anton Pannekoek Institute for Astronomy, University of Amsterdam, Amsterdam, the Netherlands, Afdeling Sterrenkunde, Radboud Universiteit Nijmegen, Nijmegen, the Netherlands)
    April 5, 2013 astro-ph.EP
    ... ... ... ... ... ...
    Context. Transition disks typically appear in resolved millimeter observations as giant dust rings surrounding their young host stars. More accurate observations with ALMA have shown several of these rings to be in fact asymmetric: they have lopsided shapes. It has been speculated that these rings act as dust traps, which would make them important laboratories for studying planet formation. It has been shown that an elongated giant vortex produced in a disk with a strong viscosity jump strikingly resembles the observed asymmetric rings. Aims. We aim to study a similar behavior for a disk in which a giant planet is embedded. However, a giant planet can induce two kinds of asymmetries: (1) a giant vortex, and (2) an eccentric disk. We studied under which conditions each of these can appear, and how one can observationally distinguish between them. This is important because only a vortex can trap particles both radially and azimuthally, while the eccentric ring can only trap particles in radial direction. Methods. We used the FARGO code to conduct the hydro-simulations. We set up a disk with an embedded giant planet and took a radial grid spanning from 0.1 to 7 times the planet semi-major axis. We ran the simulations with various viscosity values and planet masses for 1000 planet orbits to allow a fully developed vortex or disk eccentricity. Afterwards, we compared the dust distribution in a vortex-holding disk with an eccentric disk using dust simulations. Results. We find that vorticity and eccentricity are distinguishable by looking at the azimuthal contrast of the dust density. While vortices, as particle traps, produce very pronounced azimuthal asymmetries, eccentric features are not able to accumulate millimeter dust particles in azimuthal direction, and therefore the asymmetries are expected to be modest.
  • State selective differential cross sections for single and double electron capture in $He\sp{1,2+}-He$ and $p-He$ collisons (0711.4920)

    M. S. Schöffler, T. Jahnke, I. Mančev Institut für Kernphysik, Universität Frankfurt, Germany; Department of Physics, Faculty of Sciences, Mathematics, University of Niš, Serbia)
    Nov. 30, 2007 physics.atom-ph
    ... ... ... ... ... ...
    Using the COLTRIMStechnique, scattering angle differential cross sections for single and double electron capture in collisions of protons and $He\sp{1,2+}$ projectiles with helium atoms for incident energies of $60-630 keV/u$ are measured. We also report new theoretical results obtained by means of four-body one-channel distorted wave models (CDW-BFS, CDW-BIS and BDW), and find mixed agreement with the measured data.
  • Vibrational Enhancement of the Effective Donor - Acceptor Coupling (cond-mat/0505761)

    M. Lazrek (Lab. Phys. Cond. Mat., Faculty of Sciences, Jarzouna Bizerte, Tunisie), D. J. Bicout (Institut Laue-Langevin, Grenoble, France, Biomathematics, Epidemiology, ENVL - TIMC, Marcy l'Etoile, France), S. Jaziri (Lab. Phys. Cond. Mat., Faculty of Sciences, Jarzouna Bizerte, Tunisie), E. Kats (Institut Laue-Langevin, Grenoble, France, L. D. Landau Institute for Theoretical Physics, Moscow, Russia)
    May 31, 2005 cond-mat.mes-hall, cond-mat.dis-nn
    The paper deals with a simple three sites model for charge transfer phenomena in an one-dimensional donor (D) - bridge (B) - acceptor (A) system coupled with vibrational dynamics of the B site. It is found that in a certain range of parameters the vibrational coupling leads to an enhancement of the effective donor - acceptor electronic coupling as a result of the formation of the polaron on the B site. This enhancement of the charge transfer efficiency is maximum at the resonance, where the effective energy of the fluctuating B site coincides with the donor (acceptor) energy.