We recognize eight types of ferroan granitoid that can be distinguished on the basis of major element chemistry.These include alkalic granitoids that may be metaluminous or peralkaline, alkali-calcic granitoids that may be metaluminous, peraluminous or peralkaline, calc-alkalic granitoids that may be metaluminous or peraluminous, and rare calcic ferroan granitoids. These granitoids may form by ...

Int roduct ion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 430 A. First considerat ions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 434 1. Biophysical aspects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...

We show how to compute the Tamarkin-Tsygan calculus of an associative algebra by providing, for a given cofibrant replacement it, `small' $\mathsf{Calc}_\infty$-model its calculus, which we make somewhat explicit at level $\mathsf{Calc}$-algebras. To do this, prove that operad $\mathsf{Calc}$ is inhomogeneous Koszul; our best knowledge, this result new. illustrate technique carrying out some co...

Constructive modal logics come in several different flavours and constructive description logics, not surprisingly, do the same. We introduce an intuitionistic description logic, which we call iALC (for intuitionistic ALC, since ALC is the name of the canonical description logic system) and provide axioms, a Natural Deduction formulation and a sequent calculus for it. The system iALC is related...

Proof systems for quantified Boolean formulas (QBFs) provide a theoretical underpinning for the performance of important QBF solvers. However, the proof complexity of these proof systems is currently not well understood and in particular lower bound techniques are missing. In this paper we exhibit a new and elegant proof technique for showing lower bounds in QBF proof systems based on strategy ...

JULY 2005, GSA TODAY ABSTRACT The subduction factory processes raw materials such as oceanic sediments and oceanic crust and manufactures magmas and continental crust as products. Aqueous fluids, which are extracted from oceanic raw materials via dehydration reactions during subduction, dissolve particular elements and overprint such elements onto the mantle wedge to generate chemically distinc...

Projection-reconstruction NMR (PR-NMR) has attracted growing attention as a method for collecting multidimensional NMR data rapidly. The PR-NMR procedure involves measuring lower-dimensional projections of a higher-dimensional spectrum, which are then used for the mathematical reconstruction of the full spectrum. We describe here the program PR-CALC, for the reconstruction of NMR spectra from p...

The capillary electrophoretic behavior of 44 aromatic organic ions was investigated. The observed ionic radii (r(obs0)) for the aromatic organic ions were obtained from the electrophoretic mobilities of sodium tetraborate (pH 9.2), potassium tetraborate (pH 9.2), ammonium borate (pH 9.2), and trisodium phosphate (pH 11.7) buffers with zero ionic strength. The linear relationships between the r(...

To study splice site selection in alternative RNA processing we used the human Calcitonin/CGRP-I (CALC-I) gene. Expression of the CALC-I gene in thyroid C-cells results predominantly in calcitonin (CT) mRNA (containing exons 1 to 4) whereas CGRP-I mRNA (containing exons 1,2,3,5 and 6) is the exclusive product in particular nerve cells. We previously reported that a model precursor RNA containin...