To what measure does the CES (constant elasticity of substitution) property determine production functions? We show that it is not possible to find explicitly all two variable production functions f(x, y) having the CES property. This slightly generalizes the result of R. Sato [16]. We show that if a production function is a quasi-sum then the CES property determines only the functional forms o...

It is well-known that any substitution in intuitionistic propositional logic can be seen as an endomorphism between free Heyting algebras. For a given substitution σ : F (n)→ F (m), (where F (n) is the n-generated free Heyting algebra, n ∈ ω), the theory of σ is the filter σ−1(>). The theory of σ is finitely axiomatizable if σ−1(>) is a principal filter. The formula which generates this filter ...

In order to be more effectively resist differential power analysis attacks, the improved fixed value masking algorithm is proposed for resource-constrained smart card based on fixed value masking and random masking. Firstly, a number of random numbers are selected and prestored in on-chip ROM for generating the corresponding byte-substitution table. It does not increase much power and hardware ...

nitrate is an anion of major importance particularly in biological areas. excessive amounts in water supplies indicate pollution from sewage or agricultural effluents. the effects of excessive quantities of nitrate in water are well known. in this research structural modification of natural clinoptilolite by isomorphic substitution was performed. isomorphously substituted zeolite was prepared u...

Different instruments are relevant for different marketing objectives (category demand expansion or market share stealing). To help brand managers make informed marketing mix decisions, it is essential that marketing mix models appropriately measure the different effects of marketing instruments. Randomly Utility Maximizing (RUM) discrete choice models that have been applied to this problem mig...

Molecular discovery often involves identification of the best functional groups (substituents) on a scaffold. When multiple substitution sites are present, the number of possible substituent combinations can be very large. This article introduces a strategy for efficiently optimizing the substituent combinations by iterative rounds of compound sampling, substituent reordering to produce the mos...

Having principal typings (for short PT) is an important property of type systems. In simply typed systems, this property guarantees the possibility of a complete and terminating type inference mechanism. It is well-known that the simply typed λ-calculus has this property but recently J.B. Wells has introduced a system-independent definition of PT, which allows to prove that some type systems, e...

in this paper, an intelligent control strategy based on combination of the “flatness based control technique” and the “perturbation and observation (p&o;) mppt algorithm” is developed and investigated to control a hybrid electric energy source (heps). this ehps is composed of a fuel cell system (fc) and a solar panel (sp), as the main source and a supercapacitor bank (sc), as the auxiliary sour...