WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between these variants have not been investigated. We take the nonmonotonic first-order autoepistemic logic, which generalizes both Description Logics and Logic Programming, and extend it with frames and concrete domains, to capture all fe...

The strategy of subdividing optimization problems into layers by splitting variables into multiple copies has proved useful as a method for inducing exploitable structure in a variety of applications, particularly those involving embedded pure and generalized networks. A framework is proposed in this paper which leads to new relaxation and restriction methods for linear and integer programming ...

The Composite Armored Vehicle (CAV) is an advanced technology demonstrator of an all-composite ground combat vehicle. The CAV upper hull is made of a tough light-weight S2-glass/epoxy laminate with embedded ceramic tiles that serve as armor. The tiles are bonded to a rubber mat with a carefully selected, highly viscoelastic adhesive. The integration of armor and structure offers an efficient co...

We present vapor pressure and high-resolution heat-capacity measurements of multilayer krypton films adsorbed on graphite. We have found a complex phase diagram including reentrant layering transitions for coverages higher than three layers. The third layering transition does not end in a condensation critical point as was previously expected. The second-layer melting transition is preceded by ...

A program has been written to model the evolution of the cryogenic ice layer during the layering of a target for inertial confinement fusion. The program simulates the thermal diffusion in the layering sphere, as well as the sublimation and deposition of the deuterium. This will facilitate the design and production of more-uniform targets. It has been found that any nonuniformities caused by th...

Using the mean field theory, a comparative study of the wetting and layering transitions of a spin-1/2 Ising model with perfect and corrugated surfaces, is established. The phase diagrams are investigated and compared in the presence of both a longitudinal and surface fields. The effect of increasing the temperature and the transverse field on the wetting and layering transitions is outlined. —...

Morphological changes in a dry phospholipid film on a solid substrate were studied below and above the main transition temperature, between the gel and liquidcrystalline phases by phase-contrast microscopy and AFM. A Phospholipid film in the liquid-crystalline phase exhibits flat, smooth layering, whereas that in the gel phase shows rough, random layering. These film morphologies are discussed ...