نتایج جستجو برای: ceres

تعداد نتایج: 1179  

2009
Jian-Yang Li L. A. McFadden M. F. A’Hearn L. M. Feaga C. T. Russell A. Coradini C. De Sanctis E. Ammannito

Introduction: Asteroid (1) Ceres is a unique asteroid , or dwarf planet, yet to be well understood. Classified as G-type [1], Ceres has been generally considered to consist of carbonaceous chondrite material [2]. The weak but complex spectral features in the 3-µm region of the spectrum of Ceres has been known for a long time, but no agreement has been reached on the identification of the specif...

2014
Alexander Leitsch

We present cut-elimination as a method of proof mining, in the sense that hidden mathematical information can be extracted by eliminating lemmas from proofs. We present reductive methods for cutelimination and the method ceres (cut-elimination by resolution). A comparison of ceres with reductive methods is given and it is shown that the asymptotic behavior of ceres is superior to that of reduct...

2010
Norman G. Loeb Kory J. Priestley Patrick Minnis Takmeng Wong Seiji Kato Kuan-Man Xu David R. Doelling

The goal of the Clouds and the Earth's Radiant Energy System (CERES) project is to provide a long-term record of radiation budget at the top-of-atmosphere (TOA), within the atmosphere, and at the surface with consistent cloud and aerosol properties at climate accuracy [1]. CERES consists of an integrated instrument-algorithm-validation science team that provides development of higher-level prod...

2016
Jian-Yang Li Vishnu Reddy Andreas Nathues Lucille Le Corre Matthew R. M. Izawa Edward A. Cloutis Mark V. Sykes Uri Carsenty Julie C. Castillo-Rogez Martin Hoffmann Ralf Jaumann Katrin Krohn Stefano Mottola Thomas H. Prettyman Michael Schaefer Paul Schenk Stefan E. Schröder David A. Williams David E. Smith Maria T. Zuber Alexander S. Konopliv Ryan S. Park Carol A. Raymond Christopher T. Russell

Previous observations suggested that Ceres has active, but possibly sporadic, water outgassing as well as possibly varying spectral characteristics over a timescale of months. We used all available data of Ceres collected in the past three decades from the ground and the Hubble Space Telescope, as well as the newly acquired images by the Dawn Framing Camera, to search for spectral and albedo va...

Journal: :Ann. Pure Appl. Logic 2011
Stefan Hetzl Alexander Leitsch Daniel Weller

We define a generalization CERES of the first-order cut-elimination method CERES to higher-order logic. At the core of CERES lies the computation of an (unsatisfiable) set of sequents CS(π) (the characteristic sequent set) from a proof π of a sequent S. A refutation of CS(π) in a higher-order resolution calculus can be used to transform cut-free parts of π (the proof projections) into a cut-fre...

Journal: :CoRR 2017
Andrea Condoluci

Cut-elimination is one of the most famous problems in proof theory, and it was defined and solved for first-order sequent calculus by Gentzen in his celebrated Hauptsatz. Ceres is a different cut-elimination algorithm for firstand higher-order classical logic. It is based on the notion of a characteristic set of clauses which is extracted from a proof in sequent calculus and is always unsatisfi...

2016
R. Parfitt N. Clerbaux H. Brindley

Article history: Received 14 January 2016 Received in revised form 8 August 2016 Accepted 7 September 2016 Available online xxxx This study examines the evolution of the GERB-2 and GERB-1 Edition 1 shortwave radiance calibration between 2004–2007 and 2007–2012 respectively, through comparisonwith CERES instrument FM1Edition 3A SSF instantaneous radiances. Two periods when simultaneous observati...

Journal: :Science 2016
C T Russell C A Raymond E Ammannito D L Buczkowski M C De Sanctis H Hiesinger R Jaumann A S Konopliv H Y McSween A Nathues R S Park C M Pieters T H Prettyman T B McCord L A McFadden S Mottola M T Zuber S P Joy C Polanskey M D Rayman J C Castillo-Rogez P J Chi J P Combe A Ermakov R R Fu M Hoffmann Y D Jia S D King D J Lawrence J-Y Li S Marchi F Preusker T Roatsch O Ruesch P Schenk M N Villarreal N Yamashita

On 6 March 2015, Dawn arrived at Ceres to find a dark, desiccated surface punctuated by small, bright areas. Parts of Ceres' surface are heavily cratered, but the largest expected craters are absent. Ceres appears gravitationally relaxed at only the longest wavelengths, implying a mechanically strong lithosphere with a weaker deep interior. Ceres' dry exterior displays hydroxylated silicates, i...

2007
Peter Tamblyn

Aims. We study the physical characteristics (shape, dimensions, spin axis direction, albedo maps, mineralogy) of the dwarf-planet Ceres based on high-angular resolution near-infrared observations. Methods. We analyze adaptive optics J/H/K imaging observations of Ceres performed at Keck II Observatory in September 2002 with an equivalent spatial resolution of ∼50 km. The spectral behavior of the...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید