• Journal of the Korean Operations Research and Management Science Society
• /
• v.14 no.1
• /
• pp.27-35
• /
• 1989

An algorithm that searches the general AND-OR graph is proposed. The convergence and the efficiency of the algorithm is examined and compared with an existing algorithm for the AND-OR graph. It is proved that the proposed algorithm is superior to the existing method both in the quality of the solution and the number of node expansions.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.113-120
• /
• 2001

Using the notions of admissibility, local convexity and measure of noncompactness, we give new fixed point theorems for quasicompact or condensing multivalued mappings with domains that are not necessarily convex subsets of an arbitrary topological vector space.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2010.04a
• /
• pp.422-427
• /
• 2010

The judgement of 'Koreon Maritime Safety Tribunal'(KMST) influences criminal/civil trials, and thus the judgement must be decided very carefully. The Judge must bear in mind the Principle of Free Evaluation of Evidence is restricted by the admissibility of evidence, in dubio proreo and others. Also, empirical role must be used very carefully with strict proof. Therefore the reasons of the proof shall be expressed on the adjudication.

• The Journal of the Korea Contents Association
• /
• v.7 no.12
• /
• pp.105-113
• /
• 2007

Company without voluntary agreement(nature) of police, violation on the reason of company, violation on identification state, Violations on duties to notify the party's family members and to allow the party have a chance to be notified. Violation on duty to notify the party to have the right to call an investigation authority, Violation on the time of company, Violation on the place of company, and Violation on using force such as compulsory during the process of voluntary company in state of illegal voluntary company. It also has to decide whether the evidences are illegal and eliminated by these two requisites even in probative value and evidence admissibility on confession of the party under the illegal voluntary company.

• The Korean Journal of Archival Studies
• /
• no.73
• /
• pp.5-46
• /
• 2022

This study aims to develop the trustworthiness model for public digital records, as an admissibility framework for establishing trust. The trustworthiness model is deemed to used to identify the qualities of the digital records in their lifecycle, including the identity that could be identified at the time of the creation, integrity obtained from the chain-of-custodial management, the evidence of relationship between business activities and records, and the technical or cognitive accessibility. Based on the analysis of the QADEP model, it was decided to develop a model that could measure the trustworthiness of public digital records in the external measurement type, which are authenticity, reliability, and usability. In line with this direction, the model expanded measurement areas and indicators of the QADEP model through the analysis of ISO 16175-1:2020, and measuring metrics was also proposed so that it could be a measuring instrument for public digital records in Korea, after analysing NAK 19-3. It would be useful to expand the model and to test the approach of the trustworthiness model for public digital records.

• Communications for Statistical Applications and Methods
• /
• v.14 no.1
• /
• pp.71-80
• /
• 2007

The present paper investigates estimation of a scale parameter of a gamma distribution using a loss function that reflects both goodness of fit and precision of estimation. The Bayes and empirical Bayes estimators rotative to balanced loss functions (BLFs) are derived and optimality of some estimators are studied.

• Journal of the Korean Statistical Society
• /
• v.35 no.3
• /
• pp.317-329
• /
• 2006

In the problem of estimating the error variance in the balanced fixed- effects one-way analysis of variance (ANOVA) model, Ghosh (1994) proposed hierarchical Bayes estimators and raised a conjecture for which all of his hierarchical Bayes estimators are admissible. In this paper we prove this conjecture is true by representing one-way ANOVA model to the distributional form of a multiparameter exponential family.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2014.07a
• /
• pp.139-141
• /
• 2014

IT산업의 발전에 따른 IT기기의 사용이 우리의 일상에서 없어서는 안되는 존재로 자리잡음으로써 우리의 생활의 편리함과 풍요로움을 가져다준 동시에 수많은 범죄에 악용되면서 위험에 노출되어져 있기도 하다. 이러한 범죄가 증가함에 따라 기존에 우리가 접하던 유형물 형태의 증거에서 무형의 디지털 증거가 급격히 늘어났고 형사소송법의 영역에서 매우 중요한 자리를 차지하게 되었으나 아직까지 미비한 부분들이 많고 구체적인 확립이 되지 않은 실정이기에 디지털 증거의 압수 수색에 대한 문제점을 간략히 알아보고 그에 대한 개선방안을 알아보려 한다.

• Journal of the Korean Statistical Society
• /
• v.22 no.1
• /
• pp.55-69
• /
• 1993

Consider the problem of estimating an arbitrary continuous vector function under a weighted quadratic loss in the multiparameter exponential family with the density of the natural form. We first provide, using Blyth's (1951) method, a set of sufficient conditions for the admisibility of (possibly generalized Bayes) estimators and then treat some examples for normal, Poisson, and gamma distributions as applications of the main result.

• Communications for Statistical Applications and Methods
• /
• v.3 no.2
• /
• pp.205-216
• /
• 1996

Consider the problem of estimating a multivariate normal mean with an unknown covarience matrix under a weighted sum of squared error losses. We first provide hierarchical Bayes estimators which shrink the usual (maximum liklihood, uniformly minimum variance unbiased) estimator towards a regression surface and then prove the admissibility of these estimators using Blyth's (1951) method.