A Case of Possible Psychological Regression in the Cat

A very interesting case of apparent psychological regression in the domestic cat was recently observed by the writer. An owner of cats for over twenty years, I have never before witnessed the present phenomenon

CCS from industrial sources

The literature concerning the application of CCS to industry is reviewed. Costs are presented for different sectors including ``high purity'' (processes which inherently produce a high concentration of CO2), cement, iron and steel, refinery and biomass. The application of CCS to industry is a field which has had much less attention than its application to the electricity production sector. Costs range from less than $2011 10/tCO 2 up to above$ 2011 100/tCO 2 . In the words of a synthesis report from the United Nations Industrial Development Organisation (UNIDO) ``This area has so far not been the focus of discussions and therefore much attention needs to be paid to the application of CCS to industrial sources if the full potential of CCS is to be unlocked''

Decidability of quantified propositional intuitionistic logic and S4 on trees

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page

Observation of Crossover from Ballistic to Diffusion Regime for Excimer Molecules in Superfluid 4^4He

We have measured the temperature dependence of the time of flight of helium excimer molecules He2* in superfluid 4He and find that the molecules behave ballistically below 100mK and exhibit Brownian motion above 200 mK. In the intermediate temperature range the transport cannot be described by either of the models.Comment: 8 pages, 6 figures, submitted to the Proceedings of the International Conference on Quantum Fluids and Solids 201

Calibration of a two-phase xenon time projection chamber with a 37^{37}Ar source

We calibrate a two-phase xenon detector at 0.27 keV in the charge channel and at 2.8 keV in both the light and charge channels using a $^{37}$Ar source that is directly released into the detector. We map the light and charge yields as a function of electric drift field. For the 2.8 keV peak, we calculate the Thomas-Imel box parameter for recombination and determine its dependence on drift field. For the same peak, we achieve an energy resolution, $E_{\sigma}/E_{mean}$, between 9.8% and 10.8% for 0.1 kV/cm to 2 kV/cm electric drift fields.Comment: 12 pages, 7 figure