• Honam Mathematical Journal
• /
• v.39 no.1
• /
• pp.101-113
• /
• 2017

Let G be a semialgebraic group which is not necessarily compact. Let X be a proper semialgebraic G-set whose orbit space has a semialgebraic structure. In this paper we prove that X has a finite open straight G-CW complex structure.

• Kyungpook Mathematical Journal
• /
• v.53 no.3
• /
• pp.341-348
• /
• 2013

In this paper, the concept of supra $b$-irresolute maps is introduced and several properties of it is investigated. Furthermore, the notion of supra $b$-connectedness is defined and researched by means of supra $b$-separated sets.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2002.12a
• /
• pp.22-24
• /
• 2002

Computation with fuzzy numbers is a prospective branch of a fuzzy set theory regarding the data processing applications. In this paper we consider an open problem about distributivity of fuzzy Quantities based on the extension principle suggested by Mares (1997). Indeed, we show that the distributivity on the class of fuzzy numbers holds and min-norm is the only continuous f-norm which holds the distributivity under f-norm based fuzzy arithmetic operations.

• Communications of the Korean Mathematical Society
• /
• v.24 no.4
• /
• pp.523-528
• /
• 2009

In this paper, we consider the existence of solutions to some generalized vector quasi-equilibrium-like problem under a c-diagonal quasi-convexity assumptions, but not monotone concepts. For an example, in the proof of Theorem 1, the c-diagonally quasi-convex concepts of a set-valued mapping was used but monotone condition was not used. Our problem is a new kind of equilibrium problems, which can be compared with those of Hou et al. [4].

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.169-171
• /
• 2013

Cloud computing provides access to big volumes of data and computational resources through various services. Cloud computing also supports to process these volumes of data using set of computers. Cloud computing can satisfy resource requirements through virtualization technology. Eucalyptus is an open source cloud computing environment helps the users to setup their own private cloud based on virtualization. In this paper, monitoring of virtual machines is explained with the eucalyptus cloud setup.

• The Pure and Applied Mathematics
• /
• v.30 no.3
• /
• pp.237-248
• /
• 2023

The aim of this paper is to study the concept of s-topological d-algebras which is a d-algebra supplied with a certain type of topology that makes the binary operation defined on it d-topologically continuous. This concept is a generalization of the concept of topological d-algebra. We obtain several properties of s-topological d-algebras.

• Journal of the Korea Computer Graphics Society
• /
• v.30 no.1
• /
• pp.1-10
• /
• 2024

In immersive virtual environments including mixed reality (MR) and virtual reality (VR), avatars or agents, which are virtual humans, are being studied and applied in various ways as factors that increase users' social presence. Recently, studies are being conducted to apply generative AI as an agent to improve user learning effects or suggest a collaborative environment in an immersive virtual environment. This study proposes a novel method for interface application of a virtual assistant agent (VAA) using OpenAI's ChatGPT in an immersive virtual environment including VR and MR. The proposed method consists of an information agent that responds to user queries and a control agent that controls virtual objects and environments according to user needs. We set up a development environment that integrates the Unity 3D engine, OpenAI, and packages and development tools for user participation in MR and VR. Additionally, we set up a workflow that leads from voice input to the creation of a question query to an answer query, or a control request query to a control script. Based on this, MR and VR experience environments were produced, and experiments to confirm the performance of VAA were divided into response time of information agent and accuracy of control agent. It was confirmed that the interface application of the proposed VAA can increase efficiency in simple and repetitive tasks along with user-friendly features. We present a novel direction for the interface application of an immersive virtual environment through the proposed VAA and clarify the discovered problems and limitations so far.

• Journal of the Korean Society for information Management
• /
• v.34 no.3
• /
• pp.251-267
• /
• 2017

This study aimed to analyze open access features of 1,890 Korean scientific journals registered in the Korea Citation Index (KCI). To this end, this study classified open access features of the target scientific journals into two main aspects, free access and free redistribution. The analysis results indicated that the target scientific journals had strong free access aspects. Based on websites, 67% of the target scientific journals allowed for free access without a login process and based on free database, 48% provided free access. On the other hand, the target scientific journals had weaker free redistribution aspects compared to their free access aspects. Only 14% of them offered the CC (creative commons) license. Another finding was that there were clear differences in open access aspects by academic field. Medicine, pharmacy, natural science, agriculture, fisheries, oceanography, and engineering had stronger open access aspects than humanities, sociology, arts, physical education, and interdisciplinary science. It appears that the difference was caused by the presence or absence of organizations supporting distribution of scientific journals of the fields concerned. To narrow the gap, it is recommended that the open access governance system is established to set up open access policies for Korean scientific journals regardless of academic fields and to support them.

• Journal of Gifted/Talented Education
• /
• v.24 no.1
• /
• pp.63-80
• /
• 2014

The open inquiry is one of the representative learning approaches for gifted students. However, a gifted student should develop various complicated competencies to succeed in the open inquiry because of its complexity. This study develops a question list in accordance with each stage of inquiry so that the list could provide scaffolding in the process of open inquiry and students develop near-professional competencies and produce distinguished outcomes. For the purpose, we have reviewed various literatures related to research methodologies, academic writings, and learning of inquiry. Based on the review, we identified the open inquiry as cognitive, metacognitive, and sociocultural processes and set up the direction of the development of the question list. We also have elaborated the goals of the open inquiry, provided a model of the stage of inquiry, and developed the guiding question list belonging to each stage. As a discussion, we provided several noteworthy issues in the situation of when the list is used in the teaching of the open inquiry for the gifted.

• The KIPS Transactions:PartA
• /
• v.17A no.1
• /
• pp.9-18
• /
• 2010

Races that occur in shared-memory parallel programs such as OpenMP programs must be detected for debugging because of causing unintended non-deterministic results. Previous works which verify the existence of these races on-the-fly are limited to the programs without internal non-determinism. But in the programs with internal non-determinism, such works need at least N! execution instances for each critical section to verify the existence of races, where N is the degree of maximum parallelism. This paper presents a preprocessor that statically analyzes the locations of non-deterministic accesses using program slicing and can detect apparent races as well as potential races through single execution using the analyzed information. The suggested tool can deterministically monitor non-deterministic accesses to occur in OpenMP programs so that this tool can verify the existence of races even if it is used any race detection protocol which can apply to programs with critical section. To prove empirically this tool, we have experimented using a set of benchmark programs such as synthetic programs that involve non-deterministic accesses, OpenMP Microbenchmark, NAS Parallel Benchmark, and OpenMP application programs.