Amorphous silicates in meteoritic samples are significant as potential surviving interstellar dust from the formation of Solar System. silicate-rich grains called GEMS, glass with embedded metal and sulfides, abundant anhydrous interplanetary particles some ultracarbonaceous Antarctic micrometeorites that have high presolar grain abundances. Some GEMS within these objects been confirmed to be p...

Charge and orbital ordering, magnetic state, exchange couplings in quasi-one-dimensional vanadate V 6 O 13 , a potential cathode material for Li-ion batteries, are investigated using the density functional theory with Coulomb interaction correction method (DFT + U ). While difference between $${{t}_{{2g}}}$$ occupancies of 4+ (with nominal $$3{{d}^{1}}$$ electronic configuration) 5+ ions is lar...

INTRODUCTION ..................................................................................... 326 I. HISTORY AND BACKGROUND OF LPO ....................................... 327 A. Evolution of Outsourcing .................................................... 327 B. Growth of LPO Industry ..................................................... 329 C. Risks and Benefits of LPOs .....................

In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for which we provide an improved definition, the Computability Path Ordering. This new definition appears indeed to capture the essence of computability arguments à la Tait and Girard, therefore explaining the name of the improved ...

We investigate Leifer-Milner RPO approach for CCS and πcalculus. The basic category in which we carry out the construction is the category of term contexts. Several issues and problems emerge from this experiment; for them we propose some new solutions.

The language features and formal definitions of the three most popular process algebras, csp, ccs and lotos, are introduced and compared.

The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for translating ANISE descriptions to LOTOS (Language of Temporal Ordering Specification), thus providing a formal basis. It is shown how modular ANISE descriptions of features can be defined and then merged. Potential featur...

Two-dimensional (2D) magnetoelectric multiferroics are promising multifunctional materials for miniaturized logic and memory devices. Herein, we explore the effectiveness of strain-engineering tuning properties a recently predicted 2D antiferromagnetic-ferroelectric, VOCl2 monolayer. Interestingly, find that magnetic-ordering electric polarization can be tuned independently using uniaxial tensi...

In [arXiv:1006.4939] the enumeration order reducibility is defined on natural numbers. For a c.e. set A, [A] denoted the class of all subsets of natural numbers which are co-order with A. In definition 5 we redefine co-ordering for rational numbers. One of the main questions there, was:"For a specific c.e. set A, consider set of all enumerations of it which is generated by some Turing machine {...