0019-1035/$ see front matter 2010 Elsevier Inc. A doi:10.1016/j.icarus.2010.12.014 ⇑ Fax: +1 480 965 8102. E-mail address: [email protected] The surface of Mercury contains ancient volcanic features and signs of pyroclastic activity related to unknown magmatic volatiles. Here, the nature of possible magmatic volatiles (H, S, C, Cl, and N) is discussed in the contexts of formation and evolution of...

0019-1035/$ see front matter 2012 Elsevier Inc. A doi:10.1016/j.icarus.2012.02.008 ⇑ Corresponding author. E-mail address: [email protected] (G. Schubert). 1 Present address: Institute for Defense Analyses, Al A whole-moon numerical model of Europa is developed to simulate its thermal history. The thermal evolution covers three phases: (i) an initial, roughly 0.5 Gyr-long period of radiogenic h...

Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four cases are considered: free merge or interleaving, merging with communication, merging with mutual exclusion of tight regions, and synchronous process cooperation. The rewrite system behind the communication algebra is shown to be confluent and terminating (modulo its perm...

This report describes progress in development of an integrated mobile robot system at the Robotics Institute of Carnegie Mellon University from July 1988 to December 1989. This research was sponsored by the Defense Advanced Research Projects Agency and monitored by the U.S. Army Engineer Topographic Laboratories under contract OACA76-86-C-0019. In this program, we pursued a broad agenda of rese...

We have analyzed the properties of low column density Lyα forest clouds (12.8 ≤ logNHI ≤ 16.0) toward 5 QSOs at different redshifts, using high signal-to-noise data from the HIRES spectrograph on the Keck I 10-m telescope. The results are used to study the evolution of these clouds in the interval 2.1 < z < 3.5. We find: 1) The differential density distribution of forest clouds, f(NHI), fits an...

Objective The purpose of this study was to prospectively and longitudinally compare the health-related quality of life (HRQOL) outcomes between head and neck (HN) cancer patients treated with parotid-sparing intensity modulated radiation therapy (IMRT) and patients treated with 3-dimensional conventional radiation therapy (3D-CRT). Methods and materials Before and up to 12 months after treatm...