Molecular weight distributions and size fractionations of H-coal liquids

This Paper deals with a comparative study on the use of gel permeation chromatography (g.p.c.) and vapour pressure osmometry (v.p.o.) to obtain molecular weight data for the hexane-soluble fractions of three H-coal liquids. The use of two types of column packing materials, polyvinylacetate and styrene-divinylbenzene copolymer gels, is described. A successful, preparative use of the polyvinylacetate gel to fractionate the hexane-soluble fraction of H-coal liquid, atmospheric still overhead (ASO), has been established. Molecular weight data obtained by v.p.o. for the benzene-soluble fraction and the pyridine-soluble fraction of the three H-coal liquids are reported. Solvent extraction has been utilized also to find the amount of oil, asphaltenes and asphaltols in the three H-coal liquids.     

Strain and electric field-modulated indirect-to-direct band transition of monolayer GaInS2

Journal of Computational Electronics - The strain- and electric field-dependent electronic and optical properties of monolayer GaInS2 have been calculated using density functional...     

A Logical Framework for the Representation and Verification of Context-aware Agents

We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend C T L ^? with belief and communication modalities, and the resulting logic ?? _OCRS allows us to describe a set of rule-based reasoning agents with bound on time, memory and communication. The set of rules which are used to model a desired systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We show how Maude rewriting system can be used to encode and verify interesting properties of ?? _OCRS models using existing model checking techniques.