To detect POCl3 molecule, adsorption phenomena of this molecule on the pure, Al- and Si-doped BN sheet surfaces were investigated via density functional theory (DFT) approach. The most stable adsorption complexes, including POCl3/BN (O-B), POCl3/Al-BN (O-Al), and POCl3/Si-BN (O-Si), were predicted with the adsorption energies of about -8.64, -37.01 and, -62.01 kcal mol-1, respectively. Upon the...

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...

We study the problem of Key Exchange (KE), where authentication is two-factor and based on both electronically stored long keys and human-supplied credentials (passwords or biometrics). The latter credential has low entropy and may be adversarily mistyped. Our main contribution is the first formal treatment of mistyping in this setting. Ensuring security in presence of mistyping is subtle. We s...

WinKE is a new interactive theorem proving assistant based on the KE calculus, a refutation system which combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. It has been developed to support teaching logic and reasoning to undergraduate students. The software is supportive of and complementary to an introductory textbook on classical logic Mondadori and D'Agostin...

In this study, some metals (aluminium, chromium, copper, iron, manganese, lead, zinc and vanadium) and metalloid (silicon) were determined in water, sediment and some tissues of fish Cyprinus carpio from Mogan Lake. Fish samples were caught in March 2007. As a result of the examination of metals in the water aluminium has the lowest and silicon has the highest concentration. In sediment samples...