Proof theory for lattice-ordered groups

Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.

Historic records of organic compounds from a high Alpine glacier: influences of biomass burning, anthropogenic emissions, and dust transport

Historic records of α-dicarbonyls (glyoxal, methylglyoxal), carboxylic acids (C6–C12 dicarboxylic acids, pinic acid, p-hydroxybenzoic acid, phthalic acid, 4-methylphthalic acid), and ions (oxalate, formate, calcium) were determined with annual resolution in an ice core from Grenzgletscher in the southern Swiss Alps, covering the time period from 1942 to 1993. Chemical analysis of the organic compounds was conducted using ultra-high-performance liquid chromatography (UHPLC) coupled to electrospray ionization high-resolution mass spectrometry (ESI-HRMS) for dicarbonyls and long-chain carboxylic acids and ion chromatography for short-chain carboxylates. Long-term records of the carboxylic acids and dicarbonyls, as well as their source apportionment, are reported for western Europe. This is the first study comprising long-term trends of dicarbonyls and long-chain dicarboxylic acids (C6–C12) in Alpine precipitation. Source assignment of the organic species present in the ice core was performed using principal component analysis. Our results suggest biomass burning, anthropogenic emissions, and transport of mineral dust to be the main parameters influencing the concentration of organic compounds. Ice core records of several highly correlated compounds (e.g., p-hydroxybenzoic acid, pinic acid, pimelic, and suberic acids) can be related to the forest fire history in southern Switzerland. P-hydroxybenzoic acid was found to be the best organic fire tracer in the study area, revealing the highest correlation with the burned area from fires. Historical records of methylglyoxal, phthalic acid, and dicarboxylic acids adipic acid, sebacic acid, and dodecanedioic acid are comparable with that of anthropogenic emissions of volatile organic compounds (VOCs). The small organic acids, oxalic acid and formic acid, are both highly correlated with calcium, suggesting their records to be affected by changing mineral dust transport to the drilling site.

Strategy-proof choice of acts : a preliminary study

We model social choices as acts mapping states of the world to (social) outcomes. A (social choice) rule assigns an act to every profile of subjective expected utility preferences over acts. A rule is strategy-proof if no agent ever has an incentive to misrepresent her beliefs about the world or her valuation of the outcomes; it is ex-post efficient if the act selected at any given preference profile picks a Pareto-efficient outcome in every state of the world. We show that every two-agent ex-post efficient and strategy-proof rule is a top selection: the chosen act picks the most preferred outcome of some (possibly different) agent in every state of the world. The states in which an agent’s top outcome is selected cannot vary with the reported valuations of the outcomes but may change with the reported beliefs. We give a complete characterization of the ex-post efficient and strategy-proof rules in the two-agent, two-state case, and we identify a rich class of such rules in the two-agent case.

Trace element abundance, and Sr and Nd isotope ratios of dust samples in the Pacific Ocean (Table 2)

Eolian dust preserved in deep-sea sediment cores provides a valuable indicator of past atmospheric circulation and continental paleoclimate. In order to identify the provenance of eolian dust, Nd and Sr isotopic compositions and Rb, Sr and rare earth element (REE) concentrations have been determined for the silicate fractions of deep-sea sediments from the north and central Pacific Ocean. Different regions of the Pacific Ocean are characterized by distinct air-borne inputs, producing a large range in epsolin-Nd (-10 to +1), 87Sr/86Sr (0.705-0.721), La/Yb (5-15), EuN/EuN* (0.6-1.0) and Sr/Nd (4-33). The average Nd isotopic composition of Pacific deep-sea sediments (epsilon-Nd = -6), is more radiogenic than the average from the Atlantic (epsilon-Nd = -8). In contrast, the average147Sm/144Nd ratio for Pacific sediments (0.114) is identical to that of Atlantic sediments and to that of global average riverine suspended material. The values of epsilon-Nd and147Sm/144Nd are positively correlated for the Pacific samples but negatively correlated for Atlantic samples, reflecting a fundamental difference between the dominant components in the end members with radiogenic Nd (island-arc components in the Pacific and LREE-enriched intraplate ocean island components in the Atlantic). Samples from the north central Pacific have distinctive unradiogenic epsilon-Nd values of -10, 87Sr/86Sr > 0.715, high La/Yb (> 12), and low EuN/EuN* (0.6) and Sr/Nd (3-6). These data are virtually identical to the values for loess from Asia and endorse the use of these sediments as indicators of Asian paleoclimate and paleowind directions. Island-arc contributions appear to dominate in the northwest Pacific, resulting in higher epsilon Nd (-1 to +1) and lower 87Sr/86Sr (~ 0.705) and La/Yb (~ 5). Sediments from the eastern Pacific tend to have intermediate Sr and Nd isotopic compositions but regionally variable Sr/Nd and REE patterns; they appear to be derived from the west margin of the North and South American continents, rather than from Asia. Our results confirm that dust provenance can be constrained by isotopic and geochemical analyses, which will facilitate reconstructions of past atmospheric circulation and continental paleoclimate.

Dust and calcium record in calculated for ice core EPICA Dome C

Ice core data from Antarctica provide detailed insights into the characteristics of past climate, atmospheric circulation, as well as changes in the aerosol load of the atmosphere. We present high-resolution records of soluble calcium (Ca2+), non-sea-salt soluble calcium (nssCa2+), and particulate mineral dust aerosol from the East Antarctic Plateau at a depth resolution of 1 cm, spanning the past 800 000 years. Despite the fact that all three parameters are largely dust-derived, the ratio of nssCa2+ to particulate dust is dependent on the particulate dust concentration itself. We used principal component analysis to extract the joint climatic signal and produce a common high-resolution record of dust flux. This new record is used to identify Antarctic warming events during the past eight glacial periods. The phasing of dust flux and CO2 changes during glacial-interglacial transitions reveals that iron fertilization of the Southern Ocean during the past nine glacial terminations was not the dominant factor in the deglacial rise of CO2 concentrations. Rapid changes in dust flux during glacial terminations and Antarctic warming events point to a rapid response of the southern westerly wind belt in the region of southern South American dust sources on changing climate conditions. The clear lead of these dust changes on temperature rise suggests that an atmospheric reorganization occurred in the Southern Hemisphere before the Southern Ocean warmed significantly.

Benthic oxygen isotope and dust flux record from ODP Site 108-659 in the North Atlantic

High-resolution benthic oxygen isotope and dust flux records from Ocean Drilling Program site 659 have been analyzed to extend the astronomically calibrated isotope timescale for the Atlantic from 2.85 Ma back to 5 Ma. Spectral analysis of the delta18O record indicates that the 41-kyr period of Earth's orbital obliquity dominates the Pliocene record. This is shown to be true regardless of fundamental changes in the Earth's climate during the Pliocene. However, the cycles of Sahelian aridity fluctuations indicate a shift in spectral character near 3 Ma. From the early Pliocene to 3 Ma, the periodicities were dominantly precessional (19 and 23 kyr) and remained strong until 1.5 Ma. Subsequent to 3 Ma, the variance at the obliquity period (41 kyr) increased. The timescale tuned to precession suggests that the Pliocene was longer than previously estimated by more than 0.5 m.y. The tuned ages for the magnetic boundaries Gauss/Gilbert and Top Cochiti are about 6-8% older than the ages of the conventional timescale. A major phase of Pliocene northern hemisphere ice growth occurred between 3.15 Ma and 2.5 Ma. This was marked by a gradual increase in glacial Atlantic delta18O values of 1per mil and an increase in amplitude variations by up to 1.5 per mil, much larger than in the Pacific deepwater record (site 846). The first maxima occured in cold stages G6-96 between 2.7 Ma and 2.45 Ma. Prior to 3 Ma, the isotope record is characterized by predominantly low amplitude fluctuations (< 0.7 per mil). When obliquity forcing was at its minimum between 4.15 and 3.6 Ma and during the Kaena interval, delta18O amplitude fluctuations were minimal. From 4.9 to 4.3 Ma, the delta18O values decreased by about 0.5 per mil, reaching a long-term minimum at 4.15 Ma, suggesting higher deepwater temperatures or a deglaciation. Deepwater cooling and/or an increase in ice volume is indicated by a series of short-term delta18O fluctuations between 3.8 and 3.6 Ma.

Is ultrasound perfusion imaging capable of detecting mismatch? A proof-of-concept study in acute stroke patients.

In this study, we compared contrast-enhanced ultrasound perfusion imaging with magnetic resonance perfusion-weighted imaging or perfusion computed tomography for detecting normo-, hypo-, and nonperfused brain areas in acute middle cerebral artery stroke. We performed high mechanical index contrast-enhanced ultrasound perfusion imaging in 30 patients. Time-to-peak intensity of 10 ischemic regions of interests was compared to four standardized nonischemic regions of interests of the same patient. A time-to-peak >3 s (ultrasound perfusion imaging) or >4 s (perfusion computed tomography and magnetic resonance perfusion) defined hypoperfusion. In 16 patients, 98 of 160 ultrasound perfusion imaging regions of interests of the ischemic hemisphere were classified as normal, and 52 as hypoperfused or nonperfused. Ten regions of interests were excluded due to artifacts. There was a significant correlation of the ultrasound perfusion imaging and magnetic resonance perfusion or perfusion computed tomography (Pearson`s chi-squared test 79.119, p < 0.001) (OR 0.1065, 95% CI 0.06-0.18). No perfusion in ultrasound perfusion imaging (18 regions of interests) correlated highly with diffusion restriction on magnetic resonance imaging (Pearson's chi-squared test 42.307, p < 0.001). Analysis of receiver operating characteristics proved a high sensitivity of ultrasound perfusion imaging in the diagnosis of hypoperfused area under the curve, (AUC = 0.917; p < 0.001) and nonperfused (AUC = 0.830; p < 0.001) tissue in comparison with perfusion computed tomography and magnetic resonance perfusion. We present a proof of concept in determining normo-, hypo-, and nonperfused tissue in acute stroke by advanced contrast-enhanced ultrasound perfusion imaging.

An evaluation of cotton dust control systems in the picking and garnetting areas of the Atlanta Federal Penitentiary /

Mode of access: Internet.

Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /

Bibliography: p. 48.

Sampling and evaluating airborne asbestos dust (582).

"June 1988."