منابع مشابه
Ages and stratigraphy of mare basalts in Oceanus Procellarum, Mare Nubium, Mare Cognitum, and Mare Insularum
[1] Accurate estimates of mare basalt ages are necessary to place constraints on the duration and the flux of lunar volcanism as well as on the petrogenesis of lunar mare basalts and their relationship to the thermal evolution of the Moon. We performed new crater size-frequency distribution measurements in order to investigate the stratigraphy of mare basalts in Oceanus Procellarum and related ...
متن کاملSystem NEL is Undecidable
System NEL is a conservative extension of multiplicative exponential linear logic (extended by the rules mix and nullary mix) by a self-dual noncommutative connective called seq which has an intermediate position between the connectives par and times. In this paper, I will show that system NEL is undecidable by encoding two counter machines into NEL. Although the encoding is simple, the proof o...
متن کاملThe Undecidability of System NEL
System NEL is a conservative extension of multiplicative exponential linear logic (MELL) by a self-dual non-commutative connective called seq which lives between the par and the times. In this paper, I will show that system NEL is undecidable by encoding two counter machines into NEL. Although the encoding is quite simple, the proof of the faithfulness is a little intricate because there is no ...
متن کاملNEL, Morphine and Peritonitis in Chickens
BAKGROUND : Morphine exerts immunomodulatory effects dependent on several factors including species and parameter examined. The aim of this study was to assess the influence of morphine on experimental peritonitis and leukocyte activity in young chickens of both sexes. METHODS: Peritonitis was elicited by intraperitoneal injection of thioglycollate (TG) alone or supplemented with morphine; addi...
متن کاملAn Apollo 15 mare basalt fragment and lunar mare provinces
Lunar sample 15474,4 is a tiny fragment of olivine-augite vitrophyre that is a mare basalt. Although petrographically distinct from all other Apollo 15 samples, it has been ignored since its first brief description. Our new petrographic and mineral chemical data show that the olivines and pyroxenes are distinct from those in other basalts. The basalt cooled and solidified extremely rapidly; som...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de Italianística
سال: 2014
ISSN: 2238-8281,1413-2079
DOI: 10.11606/issn.2238-8281.v0i27p114-117