This paper shows that any compactly generated lattice is a subdirect product of subdirectly irreducible lattices which are complete and upper continuous. An example of a compactly generated lattice which cannot be subdirectly decomposed into subdirectly irreducible compactly generated lattices is given. In the case of an ideal lattice of a lattice L, the decomposition into subdirectly irreducib...

Supercritical fluid chromatography (SFC) has unique separative characteristics distinguished from those of HPLC and gas chromatography. At present, SFC is widely used there are many applications in various biological, medical, pharmaceutical fields. In this review, we focus on recently developed novel techniques related to separation including: new column stationary phases, microfluidics, two-d...

In this paper, indium (In) films were deposited on glass substrates using DC sputtering method. Multiwalled carbon nanotubes (MWCNTs) and dispersant were dissolved in alcohol, and the mixed solution was deposited on the In films using the spray method. The bi-layer MWCNTs-In2O3 films were annealed at different temperatures (from room temperature to 500°C) in O2 atmosphere. The influences of ann...

Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual spatial logic for the πcalculus, which lacks the spatial operators to observe emptyness, parallel composition and restriction, and only has composition adjunct and hiding. We show that the induced logical equivalence...

Characterization of petroleum-derived products is an area of continuing importance in environmental science, mainly related to fuel spills. In this study, a non-separative analytical method based on E-Nose (Electronic Nose) is presented as a rapid alternative for the characterization of several different petroleum-derived products including gasoline, diesel, aromatic solvents, and ethanol sampl...

Transitioning to High Assay Low Enriched Uranium-fueled reactors will alter the material requirements of current nuclear fuel cycle, in terms mass enriched uranium and Separative Work Unit capacity. This work simulates multiple cycle scenarios using Cyclus compare how type advanced reactor deployed energy growth demand affect transition reactors. Fuel considered include fleet Light Water Reacto...

Exploiting the analogy between exemplar models and population coding schemes, we characterize, by means of information theoretic tools, the efficiency of a large but finite population of cells coding for a discrete set of categories (e.g. vowels). The optimal code is shown to typically allocate more cells to class boundaries than to regions further apart. We then discuss the predicted perceptua...

We consider the problem of designing reliable and confidential lattice codes, known as wiretap lattice codes, for fast fading channels. We identify as code design criterion for finite lattice constellations a finite sum of inverse of algebraic norms, in fact the analogous for finite sums of the known criterion for infinite constellations, which motivates us to study totally real number fields w...