The vibrant colours of many plants are due to secondary metabolites, such as nitrogen-containing compounds, where betacyanins included. These compounds can be found in Amaranthus caudatus L. that, their high nutritional benefits, have been overproduced, which leads the accumulation large amounts bio-residues. Among these bio-residues, flowers a very intense pink colour and present no economic v...

In this paper, we continue the investigation of intersections of pairs of finitely generated subgroups Γ1 and Γ2 of a Kleinian group Γ, a question which has been examined by a number of authors. We give a brief survey of this work at the end of the introduction. We consider here intersections of topologically tame subgroups of Γ. We are interested primarily in determining the connection between...

Korean long-tailed goral (Nemorhaedus caudatus) is one of the most endangered species in South Korea. However, detailed species distribution and sex ratio data on the elusive goral are still lacking due to difficulty of identification of the species and sex in the field. The primary aim of this study was to develop an economical PCR-RFLP method to identify species using invasive or non-invasive...

The CORDIC(COordinate Rotational DIgital Computer) algorithm which is capable of computing complex functions such as the trigonometric, hyperbolic and logarithmic functions, real and complex multiplications, division, square-root, solution of linear systems, eigenvalue estimation ,singular value decomposition, QR factorization and many others.CORDIC being used in various real time applications ...

Homotopy type theory (HoTT) is a new branch of mathematics that connects algebraic topology with logic and computer science, and which has been proposed as a new language and conceptual framework for mathematical practice. Much of the power of HoTT lies in the correspondence between the formal type theory and ideas from homotopy theory, in particular the interpretation of types, tokens, and equ...

Social networking systems and pervasive computing are two essential paradigms for systems of the future. There has been an increasing amount of research and development done on combining location awareness with social networking. Our current research is aimed at taking this a step further and combining more general pervasive system behaviour with social networking in a fully integrated way. In ...