• The Journal of the Convergence on Culture Technology
• /
• v.9 no.4
• /
• pp.649-657
• /
• 2023

With the rise of fintech services, the importance of UX Writing in digital channel is growing. However, there is a lack of research on how different types of UX Writing in fintech services specifically affect user's satisfaction. In order to determine the impact of UX Writing style in fintech services on user's satisfaction, this study used a 2x2 mixed design with using formality in Korean and financial jargon as independent variables to measure trust, conciseness, psychological stability, and completeness. The results showed that higher levels of conciseness, psychological stability, and completeness when not using jargon than using jargon. Using formality in Korean did not show a main effect for any of the dependent variables, but it was occurred that higher levels of conciseness, psychological stability, and completeness with using formality in Korean but not using jargon. The significance of this study is that it empirically verified how using formality and financial jargon in UX Writing of fintech services affects user satisfaction.

• Journal of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.551-560
• /
• 2009

A theorem of Robert Blumenthal is used here in order to obtain a sufficient condition for a function between two Finsler manifolds to be a fibre bundle map. Our study is connected with two possible constructions: 1) a Finslerian generalization of usually Kaluza-Klein theories which use Riemannian metrics, the well-known particular case of Finsler metrics, 2) a Finslerian version of reduction process from geometric mechanics. Due to a condition in the Blumenthal's result the completeness of Euler-Lagrange vector fields of Finslerian type is discussed in detail and two situations yielding completeness are given: one concerning the energy and a second related to Finslerian fundamental function. The connection of our last framework, namely a regular Lagrangian having the energy as a proper (in topological sense) function, with the celebrated $Poincar{\acute{e}}$ Recurrence Theorem is pointed out.

• The Journal of Korea Robotics Society
• /
• v.1 no.1
• /
• pp.46-57
• /
• 2006

It is well known that mathematical solutions for multi-agent planning problems are very difficult to obtain due to the complexity of mutual interactions among multi-agent. Most of the past research results thus are based on the probabilistic completeness. However, the practicality and effectiveness of the solution from the probabilistic completeness is significantly reduced by heavy computational burden. In this paper, we propose a practically applicable solution technique for multi-agent planning problems, which assures a reasonable computation time and a real world application for more than 3 multi-agents for the case of general shaped paths in agent movement. First, to reduce the computation time, a collision map is utilized for detecting potential collisions and obtaining collision-free solutions for multi-agents. Second, to minimize the maximum of multi-agent task execution time, a method is developed for selecting an optimal priority order. Simulations are finally provided for more than 20 agents to emphasize the effectiveness of the proposed interactive approach to multi-agent planning problems.

• Korean Journal of Logic
• /
• v.9 no.1
• /
• pp.1-29
• /
• 2006

This paper investigates algebraic semantics for sKD and its extensions $sKD_\triangle$, $sKD\forall$, and $sKD\forall{_\triangle}$: sKD is a variant of the infinite -valued Kleene- Diense logic KD; $sKD_\triangle$ is the sKD with the Baaz's projection A; and $sKD\forall$ and $sKD\forall{_\triangle}$: are the first order extensions of sKD and $sKD_\triangle$, respectively. I first provide algebraic completeness for each of sKD and $sKD_\triangle$. Next I show that each $sKD\forall$ and $sKD\forall{_\triangle}$: is algebraically complete.

• Journal of the Regional Association of Architectural Institute of Korea
• /
• v.20 no.6
• /
• pp.105-112
• /
• 2018

The purpose of this study is to develop an application that supports a user in the maintenance of small photovoltaic device. To this end, this study analyzed the maintenance status, related regulations and existing application contents in Korea. According to the analysis results, most users did not maintain device for themselves. In addition, the maintenance market has not been activated due to its low profitability. Regulations on the maintenance of photovoltaic device prescribed by the KESCO and Japanese counterpart were analyzed to establish the standards for photovoltaic device inspection, and an application was developed based on the existing applications and research results. In order to evaluate the completeness and satisfaction of the developed application, it surveyed 52 users and 22 experts. The survey results showed that the completeness was calculated to be 90 points, and the level of satisfaction was 93 points on a 100-point scale. Therefore, it is expected that the maintenance application developed in this study will be useful for users to maintain the photovoltaic device.

• Korean Journal of Mathematics
• /
• v.21 no.2
• /
• pp.101-116
• /
• 2013

In this paper, we investigate the properties of fuzzy Galois (dual Galois, residuated, dual residuated) connections in a complete residuated lattice L.

• Asian Pacific Journal of Cancer Prevention
• /
• v.17 no.4
• /
• pp.2329-2336
• /
• 2016

Background: Despite the existence of established guidelines advocating the use and value of chemotherapy order templates, chemotherapy orders are still handwritten in many hospitals in Lebanon. This manuscript describes the implementation of standardized chemotherapy order templates (COT) in a Lebanese tertiary teaching hospital through multiple steps. Initial Assessment: An initial assessment was conducted through a retrospective appraisal of completeness of handwritten chemotherapy orders for 100 adult patients to serve as a baseline for the project and identify parameters that might afford improvement. Choice of solution: Development of over 300 standardized pre-printed COTs based on the National Comprehensive Cancer Network templates and adapted to the practice culture and patient population. Implementation: The COTs were implemented, using Kotter's 8-step model for leading change, by engaging health care providers, and identifying and removing barriers. Evaluation: Assessment of physicians' compliance with the new practice (122 orders assessed) was completed through two phases and allowed for the identification of areas of improvement. Lessons Learned: Overall, COT implementation showed an average improvement in order completion from 49.5% (handwritten orders) to 77.6% (phase 1-COT) to 87.6% (phase 2-COT) reflecting an increase of 38.1% between baseline and phase 2 and demonstrating that chemotherapy orders completeness was improved by pre-printed COT. As many of the hospitals in Lebanon are moving towards standardized COTs and computerized physician order entry (CPOE) in the next few years, this study provides a prototype for the successful implementation of COT and demonstrates their role in promoting quality improvement of cancer care.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.6
• /
• pp.350-359
• /
• 2014

With the rapid growth of Internet, the importance of application traffic analysis is increasing for efficient network management. The statistical information in traffic flows can be efficiently utilized for application traffic identification. However, the packet out-of-order and retransmission occurred at the traffic collection point reduces the performance of the statistics-based traffic analysis. In this paper, we propose a novel method to detect and resolve the packet out-of-order and retransmission problem in order to improve completeness and accuracy of the traffic identification. To prove the feasibility of the proposed method, we applied our method to a real traffic analysis system using statistical flow information, and compared the performance of the system with the selected 9 popular applications. The experiment showed maximum 4% of completeness growth in traffic bytes, which shows that the proposed method contributes to the analysis of heavy flow.

• The KIPS Transactions:PartD
• /
• v.16D no.2
• /
• pp.201-212
• /
• 2009

There are various methods to trace output in software development to verify the consistency and completeness of requirements. Existing studies do present the trace meta-model or automated tools, but fail to list specifically traced output or traced items. Also, in regards to trace tables, which contain traced items, existing studies don‘t consider the whole software development process but merely its sub-process. Given this, the present study suggests an extended requirements tracetable that tracks output from the inception of the project through the architectural design phase to the application delivery, following up on the researcher’s previous study on a tracetable that considered only a sub-process of the whole development process. In addition, in order to address the problem of the tracking process becoming complicated with increased tracefields due to an extended trace table, the researcher suggests a method for normalizing a requirements tracetable that can integrate and separate by development process phase. Apply it to theH system development project of a D company, and this study caseverified application possibility of study, confirmed an effect of a chase to easily find out an error of requirements. Improve precision of a traceto verify consistency of requirements and completeness through this study, and will minimize failure of a software development.

• The Journal of the Korea Contents Association
• /
• v.19 no.1
• /
• pp.16-23
• /
• 2019

The purpose of this study was to examine the influence of completeness of the learning-portfolio on academic achievement and program satisfaction of college students participating in the learning-portfolio program. For the aim, the evaluation tool of the learning-portfolio was developed. It assesses the report of goals of the course, diaries of studying, and reflection journals. The data of the grade in the course connected with learning-portfolio, grade point average(GPA), and satisfaction surveys of learning-portfolio program for 389 college students joining in learning-portfolio program were gathered. The findings showed that the score in the evaluation tool of the learning-portfolio significantly and positively affects the grade in the course connected with learning-portfolio, GPA and the satisfaction of learning-portfolio program. The results imply that it is important to evaluate the quality of the learning-portfolio in order to improve the effect of learning-portfolio program.