the solubility of co2 in the primary, secondary, tertiary and sterically hindered amine aqueous solutions at various conditions was studied. in the present work, the modified kent-eisenberg (m-ke), the extended debye-hückel (e-dh) and the pitzer models were employed to study the solubility of co2 in amine aqueous solutions. two explicit equations are presented to evaluate the concentration of h...

BACKGROUND Displacement Encoding with Stimulated Echoes (DENSE) encodes displacement into the phase of the magnetic resonance signal. The encoding frequency (ke) maps the measured phase to tissue displacement while the strength of the encoding gradients affects image quality. 2D cine DENSE studies have used a ke of 0.10 cycles/mm, which is high enough to remove an artifact-generating echo from ...

We provide two algorithms to solve branching from K to M for the real split reductive group of type An, one inductive and one related to semistandard Young tableaux. The results extend to branching from Ke to M fnl Ke for the real split reductive groups of type Bn and Dn. Thesis Supervisor: David A. Vogan, Jr. Title: Professor of Mathematics

WinKE is an interactive proof assistant based on the KE calculus, a refutation system which combines features from Smullyan’s analytic tableaux and Gentzen’s natural deduction. The software has been developed to support teaching logic and deductive reasoning at university level. In the sequel we brie‡y introduce the proof system KE and give an overview of the main features of the software tool.

Amongst the recognized classes of naturally occurring antimicrobials, human host defense peptides are an important group with an advantage (given their source) that they should be readily translatable to medicinal products. It is also plausible that truncated versions will display some of the biological activities of the parent peptide, with the benefit that they are less costly to synthesize u...

Ceramic is one of the highly competitive products in Thailand. Many Thai ceramic companies are attempting to know the customer needs and perceptions for making favorite products. To know customer needs is the target of designers and to develop a product that must satisfy customers. This research is applied Kansei Engineering (KE) and Data Mining (DM) into the customer driven product design proc...

Public announcement logic (PAL) is a simple dynamic epistemic logic extending reasoning about knowledge of agents with a modal operator for simultaneous and transparent knowledge updates. This logic is no more expressive than epistemic logic (EL) without updates, but exhibits compact representation of a number of complex epistemic situations. A labeled tableau proof system to reason with these ...

ISSN: 1753-8947 (Print) 1753-8955 (Online) Journal homepage: http://www.tandfonline.com/loi/tjde20 A parallel approach for improving Geo-SPARQL query performance Tian Zhao, Chuanrong Zhang, Luc Anselin, Weidong Li & Ke Chen To cite this article: Tian Zhao, Chuanrong Zhang, Luc Anselin, Weidong Li & Ke Chen (2015) A parallel approach for improving Geo-SPARQL query performance, International Jour...