- With the lowering cost and the increasing discoveries, genomics research filed has materialized personal genome era. Especially, microarray gene expression platform has already m...
Changwon Keum, Ju Han Kim, Young Soo Song, Kyoung ...
It is widely recognized that complexity of metabolic networks arises from duplication, recruitment and recombination of enzyme protein domains. However, variations of the domain ev...
Knowledge-based applications are characterized by their use of machine-understandable formalizations of expert knowledge. Complex knowledge structures, and the features which explo...
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
Polyominoes are the two dimensional shapes made by connecting n unit squares, joined along their edges. In this paper, we propose algorithms to enumerate polyominoes for p4 tiling...