The notion of $f$-derivations of UP-algebras is introduced, some useful examples are discussed, and related properties are investigated. Moreover, we show that the fixed set and the kernel of $f$-derivations are UP-subalgebras of UP-algebras,and also give examples to show that the two sets are not UP-ideals of UP-algebras in general.

a simple, clean, and environmentally benign three-component process for the synthesis of 2-amino-4hchromenes using [mim]cl, as an efficient catalyst under solvent-free conditions are described. a wide range of aromatic aldehydes easily undergoes condensations with 1-naphthol and malononitrile under solvent-free conditions to afford the desired products of good purity in excellent yields. taking...

In this paper, tetragonal chalcopyrite (CIGS) Cu(InxGa1-x)Se2 with x=0, 0.5, 0.8, 1 are synthesized by heating-up method. These nanoparticle structures differ in morphology and absorption properties due to the synthesis temperatures of 250, 255, 260, 265, 270 and 280 ºC, and gallium molar ratio over the total gallium and indium contents. These features are studied using scanning electron m...

We present a novel bottom-up method for the synthesis of functional recursive programs. While techniques can work better than top-down methods in certain settings, there is no prior technique synthesizing programs from logical specifications purely fashion. The main challenge that effective need to execute sub-expressions code being synthesized, but it impossible subexpression program has not b...