• Journal of the Korean Mathematical Society
• /
• v.37 no.5
• /
• pp.687-705
• /
• 2000

The main purpose of this paper is to study differentiable one-parameter groups and cosine families of operators acting on white noise functions and their associated infinitesimal generators. In particular, we prove the heredity of differentiable one-parameter group and cosine family of operators under the second quantization of the Cuchy problems for the first and second or der differential equations.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.411-419
• /
• 1997

Using the theory of strongly continuous cosine families, we prove controllable of nonlinear second order control system and give an application.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1065-1092
• /
• 2018

This manuscript is involved with a category of second-order impulsive functional integro-differential equations with nonlocal conditions in Banach spaces. Sufficient conditions for existence and approximate controllability of mild solutions are acquired by making use of the theory of cosine family, Banach contraction principle and Leray-Schauder nonlinear alternative fixed point theorem. An illustration is additionally furnished to prove the attained principles.

• Communications for Statistical Applications and Methods
• /
• v.24 no.6
• /
• pp.663-671
• /
• 2017

Some genetic association tests include an unidentifiable nuisance parameter under the null hypothesis of no association. When the mode of inheritance (MOI) is not specified in a case-control design, the Cochran-Armitage (CA) trend test contains an unidentifiable nuisance parameter. The transmission disequilibrium test (TDT) in a family-based association study that includes the unaffected also contains an unidentifiable nuisance parameter. The hypothesis tests that include an unidentifiable nuisance parameter are typically performed by taking a supremum of the CA tests or TDT over reasonable values of the parameter. The p-values of the supremum test statistics cannot be obtained by a normal or chi-square distribution. A common method is to use a Davies's upper bound of the p-value instead of an exact asymptotic p-value. In this paper, we provide a unified sine-cosine process expression of the CA trend test that does not specify the MOI and the TDT that includes the unaffected. We also present a closed form expression of the exact asymptotic formulas to calculate the p-values of the supremum tests when the score function can be written as a linear form in an unidentifiable parameter. We illustrate how to use the derived formulas using a pharmacogenetics case-control dataset and an attention deficit hyperactivity disorder family-based example.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.4
• /
• pp.813-838
• /
• 2011

In this paper, we prove sufficient conditions for controllability of second order semi-linear neutral impulsive differential inclusions on unbounded domain with infinite delay in Banach spaces using the theory of strongly continuous Cosine families. We shall rely on a fixed point theorem due to Ma for multi-valued maps. The controllability results in infinite dimensional space has been proved without compactness on the family of Cosine operators.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.8
• /
• pp.1272-1277
• /
• 2017

To assist radiologists for the characterization of breast masses, Computer-aided Diagnosis(CADx) system has been studied. The CADx system can improve the diagnostic accuracy of radiologists by providing objective information about breast masses. Morphological and texture features were extracted from the breast ultrasound images. Based on extracted features, the CADx system retrieves masses that are similar to a query mass from a reference library using a k-nearest neighbor (k-NN) approach. Eight similarity measures of distance, Euclidean, Chebyshev(Minkowski family), Canberra, Lorentzian($F_2$ family), Wave Hedges, Motyka(Intersection family), and Cosine, Dice(Inner Product family) are evaluated by ROC(Receiver Operating Characteristic) analysis. The Inner Product family measure used with the k-NN classifier provided slightly higher performance for classification of malignant and benign masses than those with the Minkowski, $F_2$, and Intersection family measures.

• Journal of applied mathematics & informatics
• /
• v.27 no.5_6
• /
• pp.1145-1156
• /
• 2009

In this paper, we consider the existence, uniqueness of the solutions and controllability for the neutral functional integro-differential equations with delay terms by Sadovskii's fixed point theorem.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.2
• /
• pp.347-363
• /
• 2019

Malware has its own unique behavior characteristics, like DNA for living things. To respond APT (Advanced Persistent Threat) attacks in advance, it needs to extract behavioral characteristics from malware. To this end, it needs to do classification for each malware based on its behavioral similarity. In this paper, various similarity of Windows malware is estimated; and based on these similarity values, malware's family is predicted. The similarity measures used in this paper are as follows: 'TF-IDF cosine similarity', 'Nilsimsa similarity', 'malware function cosine similarity' and 'Jaccard similarity'. As a result, we find the prediction rate for each similarity measure is widely different. Although, there is no similarity measure which can be applied to malware classification with high accuracy, this result can be helpful to select a similarity measure to classify specific malware family.