• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.800-807
• /
• 2008

We introduce some well-known approaches to formalization and automatization of the meta-theory of a programming language with binders. They represent the trends in POPLmark Challenge. We demonstrate some characteristics of each approach by showing how to formalize some basic notations and concepts of Lambda-calculus using the proof assistant Coq.

• The Proceeding of the Korean Institute of Electromagnetic Engineering and Science
• /
• v.20 no.2
• /
• pp.68-77
• /
• 2009

1967년 처음 보고된 메타 물질은 이론적 제안에 머물러 있던 그 독특한 특성이 2000년대에 들어서 실험적 검증을 거치면서 물리학과 공학 분야의 새로운 연구 분야로 크게 각광받고 있다. 특히 그 구현 기술의 획기적인 발전으로 음의 굴절률뿐만 아니라 자연계에서 얻을 수 없는 유전율과 투자율 구현이 가능해짐으로써 기존 기술의 단순한 대체 기술이 아닌 새로운 응용 분야를 열 수 있는 기술로 평가 받으며 전례 없는 응용 가능성을 보여주고 있다. 그 중에서도 메타 물질 기반의 전자기파 투명화 기술은 기존 스텔스 기술보다 훨씬 경제적 이라는 큰 장점과 함께 가시광선 대역에 응용되어 투명 망토를 구현할 수 있는 꿈의 기술로 주목받고 있다. 본 논문에서는 전자기파가 휘어서 진행함으로써 마치 자유공간과 같은 효과를 나타내는 것을 기본 원리로 하는 좌표계 변환을 이용한 메타 물질 기반 전자기파 투명화 기술의 기본 이론과 현주소, 향후 과제에 대해서 다룬다.

• Journal of Intelligence and Information Systems
• /
• v.29 no.4
• /
• pp.207-228
• /
• 2023

After COVID-19, organizations have widely adopted platforms such as zoom or developed their proprietary online real-time systems for remote work, with recent forays into incorporating the metaverse for meetings and publicity. While ongoing studies investigate the impact of avatar customization, expansive virtual environments, and past virtual experiences on participant satisfaction within virtual reality or metaverse settings, the utilization of the metaverse as a dedicated workspace is still an evolving area. There exists a notable gap in research concerning the factors influencing the performance of the metaverse as a workspace, particularly in non-immersive work-type metaverses. Unlike studies focusing on immersive virtual reality or metaverses emphasizing immersion and presence, the majority of contemporary work-oriented metaverses tend to be non-immersive. As such, understanding the factors that contribute to the success of these existing non-immersive metaverses becomes crucial. Hence, this paper aims to empirically analyze the factors impacting personal outcomes in the non-immersive metaverse workspace and derive implications from the results. To achieve this, the study adopts the Embodied Social Presence (ESP) model as a theoretical foundation, modifying and proposing a research model tailored to the non-immersive metaverse workspace. The findings validate that the impact of presence on task engagement and task involvement exhibits a moderating effect based on the metaverse platform used. Following interviews with participants engaged in non-immersive metaverse workplaces (specifically Gather Town and Ifland), a survey was conducted to gather comprehensive insights.

• Journal of Digital Contents Society
• /
• v.14 no.2
• /
• pp.135-142
• /
• 2013

In this study, I research about extensions and changes of user experience by using smartphone from the point of conceptual metaphor based on embodied cognition and the remediation characteristics. The result of this study is as follow; The first, container schema and path schema as center image schema of the conceptual metaphor are a proper theories to be mapped user experience by using smartphone because of including embodied schema structure by human physical experience. The second, user experience of smartphone in the point of remediation is remediated by smartphone. And physical space is rededicated and interacted to behavior space by the user experience. The third, the conceptual metaphor of smartphone UX activate container chema through implicit interaction and has transparent immediacy to ingenerate existence of media. The forth, path schema that is activated from explicit interaction makes users to experience hypermediacy. Conceptual metaphor and remediation in this study could be used to theoretical framework and to explain new user experience from using smartphone.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.27 no.1
• /
• pp.217-235
• /
• 2016

Humanities academia and scientific community have been fused together in 21st centurty and it creates new theories and models. Among them, the embodied cognition theory has received attention in several related fields. This study reviews the major metatheories in information user behavior with their limitations. Then, "Life paradigm information behavior model" is suggested as a new theory, which communsurates with new era's request, introducing the embodied cognition theory and the entropy concept. By overcoming the limitations of individual approach to the information retrieval and user behaviors, we expect the discourse of the new integrated information retrieval paradigm.

• Journal of Digital Convergence
• /
• v.18 no.11
• /
• pp.169-176
• /
• 2020

With widespread use of information technologies the importance of information security has been heightened. Security policies which deal with fundamental direction of information security are critical elements of information security management. Numerous studies have been conducted on users' intention to comply security policies. They were based on various theoretical foundations and the theory of planned behavior(TPB) was the most frequently used. This research employed one of the quantitatively synthesizing meta-analytic techniques called Two-Stage Structural Equation Modeling to investigate factors influencing information security policy compliance behavior based on TPB. Analysis results indicated that all three factors of TPB were significantly influencing the behavioral intention. Moreover, the overall fit indices of structural model exhibited satisfactory level.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06a
• /
• pp.359-360
• /
• 2008

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2013.06a
• /
• pp.527-529
• /
• 2013

바람직한 해상교통안전진단제도 정립을 위해 보다 종합적이고 체계적인 검토가 필요한 바, 본 연구에서는 메타평가에 관한 이론을 적용하여 설계된 메타평가 모형을 그동안 실시된 우리나라 해상교통안전진단에 적용, 종합적으로 분석 평가하여 해상교통 안전진단제도의 개선방안을 도출하였다. 메타평가는 평가의 질적 개선을 통한 평가결과의 활용도를 제고하기 위하여 평가수행뿐만 아니라 전반적인 평가시스템을 포함한 평가로 그 타당성을 규명하는 일련의 작업으로서 본 연구에서는 문헌연구와 전문가검토, 설문조사 등의 방법을 활용하여 진단활동에 대한 전반적인 평가를 실시하여 개선방안을 마련하였다. 특히, 개선의 시급성을 정량화함으로써 개선 우선순위에 대한 정책적 시사점이 클 것으로 기대한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.10a
• /
• pp.233-236
• /
• 2013

A Meta-analysis is a statistical literature synthesis method that provides the opportunity to view the research context by combining and analyzing the quantitative results of many empirical studies. The theory of planned behavior (TPB) has been the subjects of a great deal fields and now also has been continuously studied. Recently, the information communication and information systems fields are the biggest issue. At this point, we conducted a Meta-analysis research on the behavioral intention of information technology based on The theory of planned behavior. This study was targeted a total of 36 research papers that are setting up the causal relationship in The theory of planned behavior among the research papers published in domestic academic journals before 2013. The result of the Meta-analysis, showed that the effect size was 0.571 in the path from attitude toward behavior to behavioral Intention, it showed that the effect size was 0.381 in the path from subjective norm to behavioral Intention. And, it showed that the effect size was 0.481 in the path from perceived behavioral control to behavioral Intention. Also, it showed that the effect size was 0.421 in the path from behavioral Intention to behavior. Based on the results, it was discussed the difference through comparative analysis with previous research.

• Journal of Digital Convergence
• /
• v.13 no.5
• /
• pp.51-59
• /
• 2015

The year 1997 was when Korean Journal of Public Relations Research started to publish research articles. This study addresses the issue of theories in Korean public relations research. A total of 166 research papers are analyzed to see characteristics and changes during 2003-2012. Through this meta analysis, the researcher tries to see the big picture and discusses the right direction for the future of the public relations in many ways. Three different groupings were adopted to classify theories in the 10 year perion - 1. origins of theories(public relations field, related neighbor field, distant field), 2. target of analysis(individual, organization, society), 3. level of approach (systematic pluralistic, rhetorical, critical approach). According to the findings, though getting better, it was 'cold season' in public relations research because theories utilized in Korean public relations research were not very excellent qualitatively and qualitatively. Interdisciplinary approach is discussed.