The development of structural adhesive systems suitable for use with liquid oxygen Annual summary report, 1 Jul. 1964 - 30 Jun. 1965

Preparation and testing of adhesive polyurethanes, polycarbonates, and other highy halogenated polymers for liquid oxygen compatibilit

Premise Selection and External Provers for HOL4

Learning-assisted automated reasoning has recently gained popularity among the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system that provides machine learning-based premise selection and automated reasoning also for HOL4. We efficiently record the HOL4 dependencies and extract features from the theorem statements, which form a basis for premise selection. HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof formats, which are then processed by the ATPs. We discuss the different evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure the performance of HOLyHammer on the HOL4 standard library. The results are combined accordingly and compared with the HOL Light experiments, showing a comparably high quality of predictions. The system directly benefits HOL4 users by automatically finding proofs dependencies that can be reconstructed by Metis

Absence of Hybridization Gap in Heavy Electron Systems and Analysis of YbAl3 in terms of Nearly Free Electron Conduction Band

In the analysis of the heavy electron systems, theoretical models with c-f hybridization gap are often used. We point out that such a gap does not exist and the simple picture with the hybridization gap is misleading in the metallic systems, and present a correct picture by explicitly constructing an effective band model of YbAl_3. Hamiltonian consists of a nearly free electron model for conduction bands which hybridize with localized f-electrons, and includes only a few parameters. Density of states, Sommerfeld coefficient, f-electron number and optical conductivity are calculated and compared with the band calculations and the experiments.Comment: 9 pages, 9 figures, submitted to J. Phys. Soc. Jp

Frequency Dependent Specific Heat from Thermal Effusion in Spherical Geometry

We present a novel method of measuring the frequency dependent specific heat at the glass transition applied to 5-polyphenyl-4-ether. The method employs thermal waves effusing radially out from the surface of a spherical thermistor that acts as both a heat generator and thermometer. It is a merit of the method compared to planar effusion methods that the influence of the mechanical boundary conditions are analytically known. This implies that it is the longitudinal rather than the isobaric specific heat that is measured. As another merit the thermal conductivity and specific heat can be found independently. The method has highest sensitivity at a frequency where the thermal diffusion length is comparable to the radius of the heat generator. This limits in practise the frequency range to 2-3 decades. An account of the 3omega-technique used including higher order terms in the temperature dependency of the thermistor and in the power generated is furthermore given.Comment: 17 pages, 15 figures, Substantially revised versio

ARAPAHO PRAIRIE, Arthur County, Nebraska: Approximate AP Grid for GIS

Grid map of field sites at Arapaho Prairie in Arthur County, Nebraska. Scale 1 5/16 = 1/4 mile. Shows permanently marked vegetation quadrats, blowouts and ravine washouts, roads, and 100\u27 contour intervals. Part of the map was destroyed by mice. What remains of the map as of 2013 is shown

Thermal structure and exhumation history of the Lesser Himalaya in central Nepal

The Lesser Himalaya (LH) consists of metasedimentary rocks that have been scrapped off from the underthrusting Indian crust and accreted to the mountain range over the last ~20 Myr. It now forms a significant fraction of the Himalayan collisional orogen. We document the kinematics and thermal metamorphism associated with the deformation and exhumation of the LH, combining thermometric and thermochronological methods with structural geology. Peak metamorphic temperatures estimated from Raman spectroscopy of carbonaceous material decrease gradually from 520°–550°C below the Main Central Thrust zone down to less than 330°C. These temperatures describe structurally a 20°–50°C/km inverted apparent gradient. The Ar muscovite ages from LH samples and from the overlying crystalline thrust sheets all indicate the same regular trend; i.e., an increase from about 3–4 Ma near the front of the high range to about 20 Ma near the leading edge of the thrust sheets, about 80 km to the south. This suggests that the LH has been exhumed jointly with the overlying nappes as a result of overthrusting by about 5 mm/yr. For a convergence rate of about 20 mm/yr, this implies underthrusting of the Indian basement below the Himalaya by about 15 mm/yr. The structure, metamorphic grade and exhumation history of the LH supports the view that, since the mid-Miocene, the Himalayan orogen has essentially grown by underplating, rather than by frontal accretion. This process has resulted from duplexing at a depth close to the brittle-ductile transition zone, by southward migration of a midcrustal ramp along the Main Himalayan Thrust fault, and is estimated to have resulted in a net flux of up to 150 m^2/yr of LH rocks into the Himalayan orogenic wedge. The steep inverse thermal gradient across the LH is interpreted to have resulted from a combination of underplating and post metamorphic shearing of the underplated units

Modified group projectors: tight binding method

Modified group projector technique for induced representations is a powerful tool for calculation and symmetry quantum numbers assignation of a tight binding Hamiltonian energy bands of crystals. Namely, the induced type structure of such a Hamiltonian enables efficient application of the procedure: only the interior representations of the orbit stabilizers are to be considered. Then the generalized Bloch eigen functions are obtained naturally by the expansion to the whole state space. The method is applied to the electronic pi-bands of the single wall carbon nanotubes: together with dispersion relations, their complete symmetry assignation by the full symmetry (line) groups and the corresponding symmetry-adapted eigen function are found.Comment: 10 pages 1 figur

Analytic Approximations for Three Neutrino Oscillation Parameters and Probabilities in Matter

The corrections to neutrino mixing parameters in the presence of matter of constant density are calculated systematically as series expansions in terms of the mass hierarchy \dm{21}/\dm{31}. The parameter mapping obtained is then used to find simple, but nevertheless accurate formulas for oscillation probabibilities in matter including CP-effects. Expressions with one to one correspondence to the vacuum case are derived, which are valid for neutrino energies above the solar resonance energy. Two applications are given to show that these results are a useful and powerful tool for analytical studies of neutrino beams passing through the Earth mantle or core: First, the ``disentanglement problem'' of matter and CP-effects in the CP-asymmetry is discussed and second, estimations of the statistical sensitivity to the CP-terms of the oscillation probabilities in neutrino factory experiments are presented.Comment: 17 pages, 3 figure

The effect of the particulate phase on coal biosolubilisation mediated by Trichoderma atroviride in a slurry bioreactor

Low rank coal is currently under-utilised because of its low calorific value and high moisture and sulphur content. Its solubilisation by both bacterial and fungal cultures has been reported, the latter more commonly. Coal biosolubilisation processes have potential to convert low rank coal to either a clean, cost-effective energy source or complex aromatic compounds for biocatalytic conversion to value-added products. This can lead to an increased utilisation of low rank coal. In this study, the key variables of the slurry that affect biosolubilisation of low rank coal by Trichoderma atroviride in submerged culture were investigated. Results showed that the key operating variables that influence coal biosolubilisation in the slurry bioreactor are coal loading and particle size affecting available surface area. These factors affect the surface area available for coal biosolubilisation. The optimum coal loading occurred between 5 and 10% (w/v); an increase above this optimum led to inhibition of the fungal culture of T. atroviride (ES11) by fragmentation of the fungal mycelium. A decrease in particle size fraction led to an increase in the degree of coal solubilisation. Coal biosolubilisation was shown to increase 4-fold when particle size was decreased from 600–850 μm to 150–300 μm. A 28% biosolubilisation of coal of 150–300 μm, characterised by a surface specific area of 2.17 cm2 g−1 , was measured as coal weight loss over 14 days at solids loading at 5%. This can be compared with a 7.8% coal weight loss at 600–850 μm diameters (0.54 cm2 g−1 ). Soluble phenolic compounds are not a significant product of the coal biosolubilisation process. The change in pH observed in the presence of both coal and fungi was independent of coal loading and was not directly related to the extent of coal solubilisation. While soluble intermediates were observed as total organic, further metabolism resulted in complete oxidation of a significant fraction of the coal to CO2