Learn More
Radio Doppler data from four encounters of the Galileo spacecraft with the jovian moon Europa have been used to refine models of Europa's interior. Europa is most likely differentiated into a metallic core surrounded by a rock mantle and a water ice-liquid outer shell, but the data cannot eliminate the possibility of a uniform mixture of dense silicate and(More)
Doppler data generated with the Galileo spacecraft's radio carrier wave during two Europa encounters on 19 December 1996 (E4) and 20 February 1997 (E6) were used to measure Europa's external gravitational field. The measurements indicate that Europa has a predominantly water ice-liquid outer shell about 100 to 200 kilometers thick and a deep interior with a(More)
The ice-rich surface of the jovian satellite Europa is sparsely cratered, suggesting that this moon might be geologically active today. Moreover, models of the satellite's interior indicate that tidal interactions with Jupiter might produce enough heat to maintain a subsurface liquid water layer. But the mechanisms of interior heat loss and resurfacing are(More)
Radio Doppler data from a single encounter (C3) of the Galileo spacecraft with Callisto, the outermost Galilean moon of Jupiter, indicated that Callisto was probably undifferentiated. Now, similar data from a second encounter (C9) corroborate this conclusion, but more accurate data from a third encounter (C10) indicate that the rock and ice within Callisto(More)
We present the discovery of mass anomalies on Ganymede, Jupiter's third and largest Galilean satellite. This discovery is surprising for such a large icy satellite. We used the radio Doppler data generated with the Galileo spacecraft during its second encounter with Ganymede on 6 September 1996 to model the mass anomalies. Two surface mass anomalies, one a(More)
Radio Doppler data from the Galileo spacecraft's encounter with Amalthea, one of Jupiter's small inner moons, on 5 November 2002 yield a mass of (2.08 +/- 0.15) x 10(18) kilograms. Images of Amalthea from two Voyager spacecraft in 1979 and Galileo imaging between November 1996 and June 1997 yield a volume of (2.43 +/- 0.22) x 10(6) cubic kilometers. The(More)
The heat transport and lithospheric dynamics of early Earth are currently explained by plate tectonic and vertical tectonic models, but these do not offer a global synthesis consistent with the geologic record. Here we use numerical simulations and comparison with the geologic record to explore a heat-pipe model in which volcanism dominates surface heat(More)
Tor is a volunteer-operated network of application-layer relays that enables users to communicate privately and anonymously. Unfortunately, Tor often exhibits poor performance due to congestion caused by the unbalanced ratio of clients to available relays, as well as a disproportionately high consumption of network capacity by a small fraction of(More)
This paper presents a mechanism called timedeterministic replay (TDR) that can reproduce the execution of a program, including its precise timing. Without TDR, reproducing the timing of an execution is difficult because there are many sources of timing variability – such as preemptions, hardware interrupts, cache effects, scheduling decisions, etc. TDR uses(More)
It has been proposed that Jupiter's satellite Europa currently possesses a global sub-surface ocean of liquid water. Galileo gravity data verify that the satellite is differentiated into an outer H20 layer about 100 km thick but cannot determine the current physical state of this layer (liquid or solid). Here we summarize the geological evidence regarding(More)