Now showing items 11-20 of 184
A new immersed boundary method for compressible Navier-Stokes equations.
(Taylor and Francis, 2013)
Compositional reasoning using intervals and time reversal
Interval Temporal Logic (ITL) is an established formalism for reasoning about time periods. We investigate some simple kinds of ITL formulas which have application to compositional reasoning and furthermore are closed under ...
Construction of protein distance matrix based on amino acid indices and Discrete Fourier Transform.
Protein distance matrix is widely used in various protein sequence analyses, and mainly obtained by using pairwise sequence alignment scores or protein sequence homology, which fail to take into consideration of individual ...
Signal-processing-based bioinformatics approach for the identification of influenza A virus subtypes in Neuraminidase genes.
Neuraminidase (NA) genes of influenza A virus is a highly potential candidate for antiviral drug development that can only be realized through true identification of its sub-types. In this paper, in order to accurately ...