A geochemical and paleoceanographic investigation using marine molluscs of the late Quaternary marine submergences Quebec, Ontario, British Columbia

Sedjrrlents deposited in the Late Quaternary marine sUbrnergences that follov'ted the deglaciation of Ontario} Quebec., and 6ritlst-1 Columbia often contaln an abundant nlarlne invertebrate macrofauna. The rnacrofauna~ dotYllnated by aragonitic pelecypods} is fully preserved In their original mineralogy and cherrlistry 8S deternl1ned by x-ray dlffractlon., scannlng electron tl-,lcroscoDY., trace and r1l1 nor elet11ent analyses and stable isotopes. Ttle trace elernent and stable isotope geochen-Ilstry of chernlcal1y unaltered aragorlitlc molluscs can be used to determine paleoter1-lperatures and paleosallnltles." HO\Never} corrections need to be tllade \fvtlen deterrTIlnlng oxygen-isotope paleotenlperi:ttures due to the lnfluence of isotopically 11gtlt glaciol rneltv-laters and reduced sal1nltles. Ttle eastern Laurentide Ice Sheet probably had an o:~ygen lS0tOP1C composition as low as -8e) 0/00 (Sr1[IW). In additl0fl} corrections need to be rnade to the carbonlsotope values, before salinity deterrnlnatlons are t11ade., due to the reJjuctlon of the terrestrial carbon bl0rnass during glac1al maxlrna. Using geochernlcal data frot11 537 marlne n-'8crolnvertebrates frorTI 72 localities in soutt-,easter Ontarl0 and southern Quebec, it tras been deterrnined that the Late Quaternary Char1lplaln Sea \N6S density stratified along salinity and temperatlJre gradients. The deep-\h/aters of tt-,e Charnplaln Sea tlad salinities that ranged frorn 31 to 36 ppt} and terrlperatures of 00 to 5°C. Conversely.. the st1alloy./-\f*later regirrle of ttle Ctlarnplaln Sea tlad sal1nltles that ranged fron-, 24 to 33 ppt} Y.tltt1 terrlperatures ranglng from 5° to 15°C. Tr,8 rrlajorl rnlnor1 and trace e1et1-,ent geochernlcal analysls of 155 marine lnvertebrates frorn 4 10C611t1es of tt-,e Late Quaternary Ft. Langley Forrnatlon and Capl1ano Sedlments;. souttl\Nestern Brltlsh Columblal suggest l t~lat the 'waters of the o-,arlne lnundation that fol1o....ved the retreating Cordl11eran Ice Sheet had sal1nltles ranglng frorn 32 to 3f. DPt.

Diagenesis and geochemical stratigraphy of Upper Pennsylvanian madera brachiopods, New Mexico

Owing to the fact that low-Mg calcite fossil shells are so important in paleoceanographic research, 249 brachiopod, cement and matrix specimens from two neighboring localities (Jemez Springs and Battleship Rock), of the Upper Pennsylvanian Madera Formation were analyzed. Of which, about 86% of the Madera brachiopods are preserved in their pristine mineralogy, microstructure and geochemistry. Cement and matrix samples, in contrast, have been subjected to complete but variable post-deposition~1 alteration. It is confirmed that the stable isotope data of brachiopods are much better than that of matrix material in defining depositional parameters. Because there is no uniform or constant relationship between the two data bases (e.g., from 0.1 to 3.0%0 for 0180 and from 0.2 to 6.7%0 for 013C in this study), it is not possible to make corrections for the matrix data. Regarding the two stratigraphic sections, elemental and petrographic analyses suggest that Jemez Springs is closer to Penasco Uplift than Battleship Rock. Seawater at Jemez Springs is more aerobic, and the water chemistry is more influenced by continental sources than that at Battleship Rock. In addition, there is a relatively stronger dolomitization in the mid-section of the Battleship Rock. Results further suggest that no significant biogenic fractionation or vital effects occurred during their shell secretion, suggesting that the Madera brachiopods incorporated oxygen and carbon isotopes in equilibrium with the ambient seawater. This conclusion is not only drawn from the temporal and spatial analyses, but also supported by brachiopod inter-generic comparison (Composita and Neospirifer) and statistical analysis ( t-test).

The finite bandwidth model for spin fluctuations in Pd

The frequency dependence of the electron-spin fluctuation spectrum, P(Q), is calculated in the finite bandwidth model. We find that for Pd, which has a nearly full d-band, the magnitude, the range, and the peak frequency of P(Q) are greatly reduced from those in the standard spin fluctuation theory. The electron self-energy due to spin fluctuations is calculated within the finite bandwidth model. Vertex corrections are examined, and we find that Migdal's theorem is valid for spin fluctuations in the nearly full band. The conductance of a normal metal-insulator-normal metal tunnel junction is examined when spin fluctuations are present in one electrode. We find that for the nearly full band, the momentum independent self-energy due to spin fluctuations enters the expression for the tunneling conductance with approximately the same weight as the self-energy due to phonons. The effect of spin fluctuations on the tunneling conductance is slight within the finite bandwidth model for Pd. The effect of spin fluctuations on the tunneling conductance of a metal with a less full d-band than Pd may be more pronounced. However, in this case the tunneling conductance is not simply proportional to the self-energy.

Towards automated derivation in the theory of allegories

We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended to provide a derivation in addition to a decision certificate. We also suggest improvements and corrections to previous research in order to motivate further work on a complete derivation mechanism. The results presented here are significant for those interested in relational theories, since we essentially have a subtheory where automatic proof-generation is possible. This is also relevant to program verification since relations are well-suited to describe the behaviour of computer programs. It is likely that extensions of the theory of allegories are also decidable and possibly suitable for further expansions of the algorithm presented here.