946 resultados para 160 Logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

During the last glacial cycle, greenhouse gas concentrations fluctuated on decadal and longer timescales. Concentrations of methane, as measured in polar ice cores, show a close connection with Northern Hemisphere temperature variability, but the contribution of the various methane sources and sinks to changes in concentration is still a matter of debate. Here we assess changes in methane cycling over the past 160,000 years by measurements of the carbon isotopic composition delta C-13 of methane in Antarctic ice cores from Dronning Maud Land and Vostok. We find that variations in the delta C-13 of methane are not generally correlated with changes in atmospheric methane concentration, but instead more closely correlated to atmospheric CO2 concentrations. We interpret this to reflect a climatic and CO2-related control on the isotopic signature of methane source material, such as ecosystem shifts in the seasonally inundated tropical wetlands that produce methane. In contrast, relatively stable delta C-13 values occurred during intervals of large changes in the atmospheric loading of methane. We suggest that most methane sources-most notably tropical wetlands-must have responded simultaneously to climate changes across these periods.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

von H. Graetz

Relevância:

20.00% 20.00%

Publicador:

Resumo:

von H. Graetz

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The production rate of right-handed neutrinos from a Standard Model plasma at a temperature above a hundred GeV has previously been evaluated up to NLO in Standard Model couplings (g ~ 2/3) in relativistic (M ~ πT) and non-relativistic regimes (M ≫ πT), and up to LO in an ultrarelativistic regime (M ≲ gT). The last result necessitates an all-orders resummation of the loop expansion, accounting for multiple soft scatterings of the nearly light-like particles participating in 1↔2 reactions. In this paper we suggest how the regimes can be interpolated into a result applicable for any right-handed neutrino mass and at all temperatures above 160GeV. The results can also be used for determining the lepton number washout rate in models containing right-handed neutrinos. Numerical results are given in a tabulated form permitting for their incorporation into leptogenesis codes. We note that due to effects from soft Higgs bosons there is a narrow intermediate regime around M ~g 1/2 T in which our interpolation is phenomenological and a more precise study would be welcome.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Protecting different kinds of information has become an important area of research. One aspect is to provide effective means to avoid that secrets can be deduced from the answers of legitimate queries. In the context of atomic propositional databases several methods have been developed to achieve this goal. However, in those databases it is not possible to formalize structural information. Also they are quite restrictive with respect to the specification of secrets. In this paper we extend those methods to match the much greater expressive power of Boolean description logics. In addition to the formal framework, we provide a discussion of various kinds of censors and establish different levels of security they can provide.

Relevância:

20.00% 20.00%

Publicador: