31,804 research outputs found
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
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
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
- …