In this paper, some possible ways of translating semi-compositional constructions with the help of a computer are presented. Two possible methods are proposed: first, the one based on lexical functions, and, second, the statistical-based one making use of lexico-semantic relations between the noun and the verb. The application of both methods in machine translation would yield higher accuracy o...

The present work contains an axiomatic treatment of some parts of the version of intuitionistic mathematics advocated by G.F.C. Griss, the so-called \negationless intuitionistic mathematics" (see, e. Formal systems NPC, NA, and FIM N for negationless predicate logic, arithmetic, and analysis are proposed. Our Theorem 6 in Section 2 asserts the translatability of Heyting's arithmetic HA into NA....

■ Abstract The mevalonate pathway in insects has two important peculiarities, the absence of the sterol branch and the synthesis of juvenile hormone (JH), that may have influenced the mechanisms of regulation. The data available on these mechanisms indicate that cholesterol does not play a regulatory role and that JH modulates transcript levels of a number of genes of the mevalonate pathway or ...