• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.821-840
• /
• 2013

Definition of geometric figure in middle school geometry seems to mere meaning of the term which could be perceived visually through its shape. However, Much research reported the low achievements of definitions of basic geometric figures. It suggested the limitation of instrumental understanding. In this research, I guided gifted middle school students to reinvent definitions of basic geometric figure by the deductive organization of its properties as Freudenthal pointed. These students understood relationally about why some geometric figure can be defined this way and how it could be defined equally via other properties. This analysis of reinventing of definitions will be a stepping stone to reflect on the pedagogical problems in teaching geometry and to search the new alternatives.

• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.311-331
• /
• 2014

For preservice teachers' instrumental-to-relational pedagogical content knowledge transformations, this research designed several didactical tasks based on Kinach's cognitive strategies. The researcher identified preservice teachers' understanding about what is a definition and how to teach it. By challenging their fixed ideas about definitions, the researcher could motivate them to embrace the new teaching approach which guides reinvention of definitions. The PCK development was not the simple process of filling their tabular rasa PCK with theories of mathematics education, but the dialectical process of identifying, challenging, changing and extending preservice teachers' existent PCK. This research will contribute to explore new directions of mathematics teachers' PCK development and the method of teacher education.

• Journal of KIISE:Software and Applications
• /
• v.28 no.5
• /
• pp.448-448
• /
• 2001

The definitions in Korean dictionary not only describe meanings of title, but also include various semantic information such as hypernymy/hyponymy, meronymy/holonymy, polysemy, homonymy, synonymy, antonymy, and semantic features. This paper purposes to implement a parser as the basic tool to acquire automatically the semantic information from the definitions in Korean dictionary. For this purpose, first we constructed the part-of-speech tagged corpus and the tree tagged corpus from the definitions in Korean dictionary. And then we automatically extracted from the corpora the frequency of words which are ambiguous in part-of-speech tag and the grammar rules and their probability based on the statistical method. The parser is a kind of the probabilistic chart parser that uses the extracted data. The frequency of words which are ambiguous in part-of-speech tag and the grammar rules and their probability resolve the noun phrase's structural ambiguity during parsing. The parser uses a grammar factoring, Best-First search, and Viterbi search In order to reduce the number of nodes during parsing and to increase the performance. We experiment with grammar rule's probability, left-to-right parsing, and left-first search. By the experiments, when the parser uses grammar rule's probability and left-first search simultaneously, the result of parsing is most accurate and the recall is 51.74% and the precision is 87.47% on raw corpus.

• Safety and Health at Work
• /
• v.13 no.4
• /
• pp.408-414
• /
• 2022

Background: This study aimed to determine and define the elements of an Fatigue Risk Management System (FRMS) diagnostic tool to assist an organization in systematically assessing its level of implementation of an FRMS. Methods: A modified Delphi process was used involving 16 participants with expertise in sleep science, chronobiology, and fatigue risk management within occupational settings. The study was undertaken in two stages 1) review of elements and definitions; 2) review of statements for each element. Each stage involved an iterative process, and a consensus rule of ≥ 60% was applied to arrive at a final list of elements, definitions, and statements. Results: Stage 1: a review of elements (n = 12) and definitions resulted in a final list of 14 elements and definitions with a consensus of ≥ 60% achieved after 2 Delphi rounds. Stage 2: a review of statements (n = 131) resulted in a final list of 119 statements with a consensus of ≥ 60% achieved after 2 Delphi rounds. Conclusion: The final FRMS diagnostic tool will enable an organization to systematically assess the level of implementation of their current FRMS and identify gaps and opportunities to reduce risk.

• Journal of Information Technology Applications and Management
• /
• v.19 no.2
• /
• pp.135-147
• /
• 2012

Software architecture, as a blueprint for the system, should provide a robust foundation for design, implementation, and maintenance, for communication and documentation, and for reasoning about important system properties. Software architecture plays a central role during the whole software life-cycle. There are so diverse definitions of the software architecture, however, and there is no common agreement about what software architecture is. Examining 27 'published' definitions of software architecture, we synthesize an extensive model on the essential elements of software architecture, which consists of components, interaction among components, well-formed structure, reasons, and various perspectives. Further, we explore the possibility of unifying diverse software architecture definitions into a software architecture life-cycle model.

• Journal of Preventive Medicine and Public Health
• /
• v.56 no.4
• /
• pp.303-311
• /
• 2023

Traditional mediation analysis, which relies on linear regression models, has faced criticism due to its limited suitability for cases involving different types of variables and complex covariates, such as interactions. This can result in unclear definitions of direct and indirect effects. As an alternative, causal mediation analysis using the counterfactual framework has been introduced to provide clearer definitions of direct and indirect effects while allowing for more flexible modeling methods. However, the conceptual understanding of this approach based on the counterfactual framework remains challenging for applied researchers. To address this issue, the present article was written to highlight and illustrate the definitions of causal estimands, including controlled direct effect, natural direct effect, and natural indirect effect, based on the key concept of nested counterfactuals. Furthermore, we recommend using 2 R packages, 'medflex' and 'mediation', to perform causal mediation analysis and provide public health examples. The article also offers caveats and guidelines for accurate interpretation of the results.

• Journal of Korean Biological Nursing Science
• /
• v.25 no.4
• /
• pp.256-265
• /
• 2023

Purpose: This study examined the definitions, diagnostic criteria, and measurements of sarcopenic obesity and identified effective exercise interventions that improve cardiometabolic outcomes in middle-aged and older adults, in whom the prevalence of sarcopenic obesity is increasing. Methods: This comprehensive review followed the principles of literature search, data extraction, and review, as described in the PRISMA 2009 guidelines. Results: The 11 articles included in this study presented different concepts of sarcopenic obesity. Exercise interventions for sarcopenic obesity varied in their effects. Resistance exercise improved muscle mass and physical function, while aerobic exercise primarily impacted obesity and cardiometabolic indicators. Combined exercise had mixed results across indicators. Conclusion: This study addressed a pressing public health concern in the context of an aging population, acknowledged the unique challenges of sarcopenic obesity, and attempted to clarify definitions and assessment methods, while identifying effective exercise interventions to reduce cardiometabolic risk. Sarcopenic obesity is a multifaceted condition with varying definitions and diagnostic criteria. Its association with cardiometabolic risk underscores the need for comprehensive assessments considering both muscle and obesity indicators. While exercise interventions hold promise for managing sarcopenic obesity, further research is required to establish effective strategies.

• Journal of the Korea Society of Computer and Information
• /
• v.28 no.3
• /
• pp.197-208
• /
• 2023

The purpose of this study is to establish definitions on Metaverse and Metaverse literacy and to develop a framework for Metaverse literacy utilizing a Delphi study and in-depth interview methods with experts on Metaverse and digital, and future education. 9 experts participated in the Delphi study and 4 took part in the in-depth interview, and Delphi study data was collected via emails from January 12th to 17th and in-depth study data was gathered via zoom from March 1st to 19th in 2022. To establish the definition of Metaverse, 6 existing definitions were presented and ranked with calculated means of each definition, and additional comments were collected. To build the definition of Metaverse literacy, 1 existing definition was shown and calculated with the degree of agreement, and additional feedback was gathered. To develop a framework for Metaverse literacy, 12 sub-concepts were presented and ranked with calculated means of each concept. After applying feedback of the Delphi study, the authors re-established the definitions of Metaverse and Metaverse literacy, and re-develop the framework for Metaverse literacy. In the in-depth interview, feedback on these definitions and the framework was collected. After these processes, the definitions of Metaverse and Metaverse literacy were finalized, and the framework for Metaverse literacy was developed. Based on the results, implications and limitations of the study, and possible future study are discussed.

• Journal of Dairy Science and Biotechnology
• /
• v.24 no.2
• /
• pp.47-54
• /
• 2006

Consumers have become increasingly more aware of food safety issues, as a consequence of s number of food scandals. Most of these scandals have been related to livestock products. However, most consumers still believe that it is possible to produce safe food at low prices, while a small group of consumers is willing to pay a price surplus for special quality. Organic standards, especially for livestock products, have very few definitions of process quality, and even fewer of these definitions that influence product quality. This paper work to organic milk production and marketing trends in Korea.

• East Asian mathematical journal
• /
• v.32 no.5
• /
• pp.641-649
• /
• 2016

In this paper, using three types of conjugations in a bicomplex number filed $\mathcal{T}$, we provide some basic definitions of bicomplex number and definitions of regular functions for each differential operators. And we investigate the corresponding Cauchy-Riemann systems and the corresponding Cauchy theorems in $\mathcal{T}$ in Clifford analysis.