We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Pascal, Java, or the Abstract Machine Notation of the B method. The translation proceeds in several phases. The focus of this paper is the formal description of the intermediate representations, for which we use class diagrams together with t...

In this work, many ways of communications are used between human and computer, while using gesture is considered to be one of the most natural way in a virtual reality system. Because of its intuitiveness and its capability of helping the hearing impaired or speaking impaired, we develop a gesture recognition system. The Hand Talk glove is a normal, cloth driving glove fitted with flex sensors....

s Selection of Annals of Nuclear Medicine F-FDG uptake by rectal cancer is similar in mucinous and nonmucinous histological subtypes Dalton A. dos Anjos, Angelita Habr-Gama, Bruna B. Vailati, et al 126 Liu Qingyao (Translator), Lan Xiaoli (Reviser) Impact of patient age on the iodine/FDG “flip-flop” phenomenon in lung metastasis from thyroid cancer Takuro Isoda, Shingo BaBa, Yasuhiro Maruoka, e...

s Selection of Annals of Nuclear Medicine C-methylaminoisobutyric acid (MeAIB) PET for evaluation of prostate cancer: compared with F-fluorodeoxyglucose PET Maya K. Arimoto, Tatsuya Higashi, Ryuichi Nishii, et al Li Mengting (Translator), Lan Xiaoli, Tang Jun (Revisers) 190 A two-center study for the quality control of [F]FDG using FASTlab phosphate cassettes Ya-Yao Huang, Stephen Taylor, Jacek...

This document discusses issues with the specific form of IPv6-IPv4 protocol translation mechanism implemented by the Network Address Translator Protocol Translator (NAT-PT) defined in RFC 2766. These issues are sufficiently serious that recommending RFC 2766 as a general purpose transition mechanism is no longer desirable, and this document recommends that the IETF should reclassify RFC 2766 fr...

The first part of this paper looks at how creativity has been explored in writings in the field of translation studies. It examines the stages in creative translation and investigates the creative process. The second part of the paper looks at how creativity can be exploited in the translation class by concentrating in particular on the liberating role of intralingual and interlingual paraphras...

Since the late 1990s, corpora have become established as popular and useful translation resources within translator training institutes; however, the uptake of corpora in the world of professional translators appears to have been considerably slower. This article explores the different uses of corpora (including translation memories) in these two sectors and attempts to account for these differ...

A proof-of-concept Java/MPJ to Promela translator is presented as a step towards verification of safety properties of parallel Java programs using the MPJ library. The translator leverages the Soot library to achieve a threestep method for of the Java to Promela.