• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2004.06a
• /
• pp.35-35
• /
• 2004

• Journal of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.717-731
• /
• 2022

We introduce the notion of quasi-roots and study their uniqueness in right-angled Artin groups.

• Geomechanics and Engineering
• /
• v.24 no.2
• /
• pp.167-178
• /
• 2021

Spatial variability is an inherent uncertainty of soil properties. Current reliability analyses generally incorporate random field theory and Monte Carlo simulation (MCS) when dealing with spatial variability, in which the computational efficiency is a significant challenge. This paper proposes a KL-FORM algorithm to improve the computational efficiency. In the proposed KL-FORM, Karhunen-Loeve (KL) expansion is used for discretizing random fields, and first-order reliability method (FORM) is employed for reliability analysis. The KL expansion and FORM can be used in conjunction, through adopting independent standard normal variables in the discretization of KL expansion as the basic variables in the FORM. To illustrate the effectiveness of this KL-FORM, it is applied to a case study of a strip footing in spatially variable unsaturated soil under rainfall, in which the bearing capacity of the footing is computed by numerical simulation. This case study shows that the KL-FORM is accurate and efficient. The parametric analyses suggest that ignoring the spatial variability of the soil may lead to an underestimation of the reliability index of the footing.

• The Journal of Korean Academy of Prosthodontics
• /
• v.32 no.3
• /
• pp.431-443
• /
• 1994

As the dental arch is the curve connecting the cusp tip of tooth, the dental arch form, composing of the occlusion, is one the important factors of occlusal reconstruction. Many studies about the horizontal dental arch form have been reported, but until now, it is unclear to infer the position of the teeth in dental arch form, to evaluate the effect of the horizontal dental arch form on chewing movement. The purpose of this study is to make objective criteria to infer the position of the teeth in dental arch. In this study, 100 subjects with individdual normal occlusion were evaluated. By multiple regression analysis on the basis of the relation of the canine and the first molar, the positions of teeth in dental arch were inferred. According to buccolingual relationship of maxillary to mandibular posterior teeth, the dental arch forms were classified into five groups, i, e. the normal group, the group which the maxillary second molar positions buccal side, the group which the maxillary premolars position buccal side, the group which the maxillary premolar position lingual side. From the results, objective criterial to infer the positons of the first premolar, the second premolar, the second molar in dental arch were made.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.20 no.4
• /
• pp.293-299
• /
• 1991

To investigate the effect of cooking form of rice and barley on postprandial serum glucose and insulin response in normal subject, five test carbohydrates calculated to contain 50g of glucose were consumed. Oral ingestions were divided into 5 group, i. e. dextrose(control), ground white rice, ground barley, whole white rice, whole barley, Postprandial glucose and insulin responses were measured over 3hr and showed the following pattern. Dextrose and ground white rice elicited similar postprandial serum glucose and insulin responses whereas ground barley and whole white rice intemediate, whole barley gave the lowest responses in the test group. The ground form of rice and barley were significantly higher responses than the unground form of those as well as whole white rice were higher responses whole barley, The results suggested that the cooking form of rice and barley was an important determinant of the postprandial metabolic responses.

• The korean journal of orthodontics
• /
• v.26 no.5 s.58
• /
• pp.535-546
• /
• 1996

The purpose of this study was to classify mandibular dental arch forms based on Raberin's method, and to compare Raberin's arch forms with that of the Korean's, and to designate arch form of bracket level according to distance between cusp tip and buccal surface of bracket level. The sample consisted of 159 mandibular dental casts showing normal occlusion which was taken from 62 males and 97 females of the Korean, aging from 13 to 25 years. The model was taken by X-ray. The landmarks were cusp points which expressed the mandibular dental arch line of cusp tips and buccal points which were measured from cusp tips to buccal surfaces of bracket level. The landmarks on the film were digitized, and measurements and statistics were performed. The results were as follows; 1. The models were classified as type 1, type 2, type 3, type 4 and type 5 by the author, and polynomial functions of the six degree and R-square values were calculated using statistical method, and each calculated equations explained each group with the least R-square value of 0.97, and each arch forms' were plotted. 2. The distribution of type 1 was $17.6\%$, type 2 $20.8\%$, type 3 $20.8\%$, type 4 $16.3\%$ and type 5 $24.5\%$. 3. The Korean arch form was characterized by larger width, smaller height compared to the French arch form. 4. The designated arch form of bracket level, viz the distance between cusp point and buccal point was calculated. The distance between cusp point and buccal point of incisor was 1mm, canine 1.9mm, first premolar 2.5mm, second premolar 2.6mm, first molar 2.7mm and second molar 2.7mm.

• Journal of the Korean Academy of Child and Adolescent Psychiatry
• /
• v.5 no.1
• /
• pp.162-171
• /
• 1994

Objects : This study was carried out to develop the Korean form of Leyton Obsessional Inventory-Child Version(LOI-CV) designed to assess the obsessive compulsive symptoms in children and adolescents. The LOI-CV was modified into a paper-and-pencil form in order to administer it to group. Methods : We applied the Korean form LOI-CV to 127 elementary, middle and high school children, and retest it to 82 children with 3 weeks interval. Together with LOI-CV, Korean form of SCL-90-R which had been proved its reliability and validity, were administered to the all subjects for examining of concurrent validity. And then we examined whether this scale discriminates between obsessive patients, psychiatric controls and normal controls in the level of obsessive symptoms. Results : Test-retest reliability, internal consistency were very satisfactory. Concurrent validity with SCL-90-R was moderate level. And obsessive patients was scored significantly higher than psychiatric and normal controls in the level of obsessive symptoms. In factor analysis, items are clustered to 5 factors. In the global obsessive symptom, obsessive scores of female elimentary school students were higher than that of male students. Conclusions : These results indicate that the Korean form of LOI-CV is reliable and valid self-rating scale to assess the obsessive-compulsive symptoms in Korean children and adolescents. Author suggests that future research is needed for Korean version standardization study in normal and clinic-refered population.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.46 no.1
• /
• pp.78-87
• /
• 2009

An attribute-based signature scheme is a signature scheme where a signer's private key is associate with an attribute set and a signature is associated with an access structure. Attribute-based signature schemes are useful to provide anonymity and access control for role-based systems and attribute-based systems where an identity of object is represented as a set of roles or attributes. In this paper, we formally define the definition of attribute-based signature schemes and propose the first efficient attribute-based signature scheme that requires constant number of pairing operations for verification where a policy is represented as a disjunctive normal form (DNF). To construct provably secure one, we introduce a new interactive assumption and prove that our construction is secure under the new interactive assumption and the random oracle model.

• Journal of Information Processing Systems
• /
• v.16 no.5
• /
• pp.1145-1157
• /
• 2020

A convolution neural networks (CNNs) has demonstrated outstanding performance compared to other algorithms in the field of face recognition. Regarding the over-fitting problem of CNN, researchers have proposed a residual network to ease the training for recognition accuracy improvement. In this study, a novel face recognition model based on game theory for call-over in the classroom was proposed. In the proposed scheme, an image with multiple faces was used as input, and the residual network identified each face with a confidence score to form a list of student identities. Face tracking of the same identity or low confidence were determined to be the optimisation objective, with the game participants set formed from the student identity list. Game theory optimises the authentication strategy according to the confidence value and identity set to improve recognition accuracy. We observed that there exists an optimal mapping relation between face and identity to avoid multiple faces associated with one identity in the proposed scheme and that the proposed game-based scheme can reduce the error rate, as compared to the existing schemes with deeper neural network.

• Journal of the Chungcheong Mathematical Society
• /
• v.34 no.1
• /
• pp.37-53
• /
• 2021

In this paper we define scaled visual curvature and visual Frenet frame that can be visually accepted for discrete space curves. Scaled visual curvature is relatively simple compared to multi-scale visual curvature and easy to control the influence of noise. We adopt scaled minimizing directions of height functions on each neighborhood. Minimizing direction at a point of a curve is a direction that makes the point a local minimum. Minimizing direction can be given by a small noise around the point. To reduce this kind of influence of noise we exmine the direction whether it makes the point minimum in a neighborhood of some size. If this happens we call the direction scaled minimizing direction of C at p ∈ C in a neighborhood Br(p). Normal vector of a space curve is a second derivative of the curve but we characterize the normal vector of a curve by an integration of minimizing directions. Since integration is more robust to noise, we can find more robust definition of discrete normal vector, visual normal vector. On the other hand, the set of minimizing directions span the normal plane in the case of smooth curve. So we can find the tangent vector from minimizing directions. This lead to the definition of visual tangent vector which is orthogonal to the visual normal vector. By the cross product of visual tangent vector and visual normal vector, we can define visual binormal vector and form a Frenet frame. We examine these concepts to some discrete curve with noise and can see that the scaled visual curvature and visual Frenet frame approximate the original geometric invariants.