We present a study of the expected properties of the low redshift damped Ly-α absorber population determined from a sample of HI-selected galaxies in the local universe. We use measurements of the number density and HI cross-section of galaxies to show that the total HI cross-section at column densities sufficient to produce damped Ly-α absorption is consistent with no evolution of the absorber...

We consider general nanotubes of atoms in R3 where each atom interacts with all others through a two-body potential. When there are no exterior forces, a particular family of nanotubes is the set of perfect nanotubes at the equilibrium. When exterior forces are applied on the nanotube, we compare the nanotube to nanotubes of the previous family. This quantitative comparison is formulated in our...

A geometric description of the Lienard-Wiechert field of a single point charge is given. The dual of the Lienard-Wiechert field can be considered as the curvature in a bundle of 2-planes distributed smoothly over space-time. This geometric construction also accounts for the Teitelboim splitting of the total field into bound and radiative parts: The radiation field can be identified with the cur...

We investigate cut-eliminability and decidability for implicational sequent calculi with prime contraction. The prime contraction is a restricted version of the contraction rule in LJ (the rule does not permit the contraction of implication formulas). Decision problems for the implicational sequent calculi LBB′IW (the system for the logic BB′IW) and FLc→ (the implicational fragment of the full ...

For the metallic glass NigIB|9 the partial pair-distribution functions are determind up to 14Ä by a molecular dynamics simulation using effective Lennard-Jones potentials. The obtained pair-distribution functions are in good agreement with the measured ones. As the simulation was carried out at the thermodynamic conditions for a liquid, we conclude that the characteristic features of the struct...

Within a rotational liquid drop model including the nuclear proximity energy the l-dependent potential barriers governing the capture reactions of light nuclei and of very heavy ions have been determined. Rotating quasi-molecular hyperdeformed states appear at high angular momenta. The energy range of these very deformed high spin states is given for light systems. The same approach explains th...

Three-phase equilibrium in argon was obtained based on the thermodynamics of a perfect solid and a perfect liquid (v2). The equation of state (EOS) for a perfect solid was obtained from our previous study of a pure substance using spherical molecules. The EOS for a perfect liquid is a van der Waals EOS with the Carnahan-Starling repulsion term to explain 3-phase equilibrium. The Lennard-Jones p...

In this paper, we investigate translations from a classical cut-free sequent calculus LK into an intuitionistic cut-free sequent calculus LJ. Translations known from the literature rest on permutations of inferences in classical proofs. We show that, for some classes of rst-order formulae, all minimal LJ-proofs are non-elementary but there exist short LK-proofs of the same formula. Similar resu...

In molecular mechanics, current generation potential energy functions provide a reasonably good compromise between accuracy and effectiveness. This paper firstly reviewed several most commonly used classical potential energy functions and their optimization methods used for energy minimization. To minimize a potential energy function, about 95% efforts are spent on the Lennard-Jones potential o...

In this study, the behavior of a one dimensional (1D) Lennard-Jones (LJ) system is simulated. As part of this research, a special purpose computer program was designed, coded, and tested. In both the model and the program calculations, energy and momentum are conserved. The modeling assumes constant pressure throughout each simulation, although several different pressures are modeled. The simul...