Methods that might work are not good enough; what is preserved today should be reliably useful whenever someone wants it. Here, “reliably” is intended to include “without error introduced after the data leaves the purported author’s control.” Prior proposals—called “transformative migration” and “preservation emulation”—fail because what they save is confounded with details about today’s inform...

Inspired by Cardelli’s pioneering work, many type disciplines for object-oriented programming are based on enrichments of structural type theories with constructs such as subtyping and bounded polymorphism. A principal benefit of such a formulation is that the absence of “message not understood” errors is an immediate corollary of the type safety theorem. A principal drawback is that the result...

We improve earlier work on the title equation (where p and q are primes and c is a positive integer) by allowing x and y to be zero as well as positive. Earlier work on the title equation showed that, with listed exceptions, there are at most two solutions in positive integers x and y, using elementary methods. Here we show that, with listed exceptions, there are at most two solutions in nonneg...

In anticipation of new observational results for Jupiter’s axial moment of inertia and gravitational zonal harmonic coefficients from the forthcoming Juno orbiter, we present a number of preliminary Jupiter interior models. We combine results from ab initio computer simulations of hydrogen-helium mixtures, including immiscibility calculations, with a new nonperturbative calculation of Jupiter’s...

In the literature wage inequality is commonly traced back to globalization. As this is a too loose category to be used in an empirical investigation, I will assume that globalization in the larger sense may provide an introductory explanation for a somewhat similarly wide economic variable as the labour share. In fact, as shown by on the basis of the computations conducted by Bertoli and Farina...

NOMAD is a xed target experiment designed to study ! oscillations by searching for evidence of charged current interactions in the CERN SPS wide-band neutrino beam. The design of the experiment allows a maximum sensitivity for m 2 40 eV 2. Signal detection is based on the observation of decays into various channels by means of kinematical selection criteria. The performance of the apparatus is ...

Given that movie attendance has been dropping significantly in recent years, movie theaters have been struggling to find additional sources of revenue. And with movie studios trying alternative release strategies—particularly by shortening the window from theatrical release to release in DVD and through video-on-demand—theater owners are now facing even more competitors for potential moviegoers...

In this paper we consider the merging of rules or conditionals. In contrast to other approaches, we do not invent a new approach from scratch, for one particular kind of rule, but we are interested in ways to generalize existing revision and merging operators from belief merging to rule merging. First, we study ways to merge rules based on only a notion of consistency of a set of rules, and ill...

During Leg 204, we cored and logged nine sites on the Oregon continental margin to determine the distribution and concentration of gas hydrates in an accretionary ridge and adjacent slope basin, investigate the mechanisms that transport methane and other gases into the gas hydrate stability zone (GHSZ), and obtain constraints on physical properties of gas hydrates in situ. A three-dimensional s...

Circumscription is the minimization of predicates subject to restrictions expressed by predicate formulas. We propose a modified notion of circumscription so that, instead of being a single minimality condition, it becomes an “infinite conjun(*tion” of “local” minimality conditions; each of these conditions expresses the impbssibility of changing the value of a predicate from true to f&e at one...