On 15 September 1849, the Scottish judge and author Henry Cockburn wrote the following in his journal: ‘This day, which was pleased to fair, was given to Pluscarden, nine miles off, and reached by a coach filled inside and out, and two saddle horses. We loitered about the ruin for some hours, and had a turf refection, and a good deal of calotyping, conducted by my friend Cosmo Innes, the Sherif...

This paper presents an inverse model for SAR backscatter X band designed to snow and ice surfaces. The model inversion enables estimating the morphological characteristics of snow cover from SAR data. X Cosmo-Skymed sensor data was used in the experiment tested here for the region of Union Glacier Antarctica. We observed a precision in determining the estimated size of snow grains about 94%. Th...

Groups of galaxies are highly linked to cosmology: 1) groups are tidally destroyed by the tidal eld of the cluster they fall into; 2) spherical infall leads to the young cosmo-dynamical state of loose groups, a fundamental surface for groups, 0 ' 0:3, and the mixed nature of compact groups (virialized groups, groups at full collapse, and chance alignments within collapsing loose groups, for dec...

Temperature-dependent vapor pressures of solid explosives and their byproducts are calculated to an accuracy of 0.32 log units using a modified form of the conductor-like screening model for real solvents (COSMO-RS). Accurate predictions for solids within COSMO-RS require correction for the free energy of fusion as well as other effects such as van der Waals interactions. Limited experimental d...

Sustainable solvents are crucial for chemical processes and can be tailored to applications by Computer-Aided Molecular Process Design (CAMPD). Recent CAMPD methods consider not only economics but also environmental hazards impacts. However, holistic assessment needs address the complete life cycle of solvents. Here, we propose a framework integrating Life Cycle Assessment (LCA) from cradle-to-...

Background In conventional prospective respiratory navigator (NAV) acquisitions, 40-60% of the acquired data are discarded resulting in low efficiency and long scan times [1,2]. Compressed-sensing Motion Compensation (CosMo) has a shorter fixed scan time by acquiring the full inner k-space and estimating the NAV-rejected outer k-space lines [3]. Respiratory motion will mainly manifest itself as...

We prove strong normalization of-reduction+-expansion for the Calculus of Constructions , thus providing the rst strong normalization result for-reduction+-expansion in calculi of dependent types and answering in the aarmative a conjecture by Di Cosmo and Ghani. In addition, we prove strong normalization of-reduction+-expansion+algebraic reduction for the Algebraic Calculus of Constructions, wh...

Bringing active pharmaceutical or agrochemical ingredients (APIs) in solution often is the most demanding step in pharmaceutical and agrochemical development. The COSMO-RS method, which has been originally developed by the author during his 12 years at Bayer, is a unique combination of quantum chemical information and liquid phase thermodynamics and currently is proven to be the most accurate m...