Creatine kinases (CK) play crucial roles in intracellular energy transfer. We have isolated a cDNA from zebrafish embryos, which encodes a CK highly related to the mammalian brain subtype creatine kinase (BCK). The bck mRNA is expressed maternally in the zebrafish embryo and transcripts are distributed uniformly in blastula and gastrula stages. Expression becomes restricted to the prechordal pl...

The unitary Cayley graph Xn has vertex set Zn = {0, 1,…, n-1} and vertices u and v are adjacent, if gcd(uv, n) = 1. In [A. Ilić, The energy of unitary Cayley graphs, Linear Algebra Appl. 431 (2009) 1881–1889], the energy of unitary Cayley graphs is computed. In this paper the Wiener and hyperWiener index of Xn is computed.

We introduce the notion of a Smarandache hyper (∩,∈)-ideal and Ω-reflexive in hyper K-algebra, and some related properties are given. Mathematics Subject Classification: 06F35, 03G25

We consider the notion of an isomorphism between two hyper BCI-algebras and obtain all of the hyper BCI-algebras of order 3. It is shown that there exist 14 proper hyper BCI-algebras and 5 proper weak hyper BCI-algebras of order 3 up to isomorphism. Finally, further study on the theory of hyper BCI-algebra and its related hyper structure and applications of our results in information sciences a...

In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni–Cook’s function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we develop a semantics of SLR using BCK-algebras consisting of certain polynomial-time algorithms. It ...

The notion of a (closed) double-framed soft ideal (briefly, a (closed) DFS-ideal) in BCK/BCI-algebras is introduced, and related properties are investigated. Several examples are provided. The relation between a DFS-algebra and a DFS-ideal is considered, and characterizations of a (closed) DFS-ideal are established. A new DFS-ideal from old one is constructed, and we show that the int-uni DFS-s...

The aim of this paper is to apply the concept of interval-valued intuitionistic fuzzy set to implicative ideals and commutative ideals in BCK-algebras and introduced the new notion of interval-valued intuitionistic fuzzy implicative ideals in BCK-algebras and interval-valued intuitionistic fuzzy commutative ideals in BCK-algebras and related properties are investigated.