• Journal of Computing Science and Engineering
• /
• 제7권3호
• /
• pp.177-186
• /
• 2013

We briefly review the problem of statistical disclosure control under differential privacy model, which entails a formal and ad omnia privacy guarantee separating the utility of the database and the risk due to individual participation. It has born fruitful results over the past ten years, both in theoretical connections to other fields and in practical applications to real-life datasets. Promises of differential privacy help to relieve concerns of privacy loss, which hinder the release of community-valuable data. This paper covers main ideas behind differential privacy, its interactive versus non-interactive settings, perturbation mechanisms, and typical applications found in recent research.

• 한국산학기술학회논문지
• /
• 제12권1호
• /
• pp.405-412
• /
• 2011

이 논문은 비전문가도 쉽고 빠르게 증강현실 콘텐츠를 제작할 수 있는 이상적인 저작도구의 요구사항을 분석하고 있으며, 이러한 요구사항을 충족시키기 위해 정형적이고 시각적인 명세 기법을 활용한 접근방법을 사용하고 있다. 더불어, 이상적인 저작도구를 위한 증강현실 통합 프레임워크를 소개하고 있으며, 예시 콘텐츠를 통해 연구 결과의 효율성을 보여주고자 한다.

• 영재교육연구
• /
• 제11권3호
• /
• pp.203-220
• /
• 2001

본 연구는 초등학교 시각예술영재교육을 위한 기초연구의 일환으로 시각예술영재의 판별방법을 이론적으로 고찰함으로써 시각예술영재의 판별 방향을 제시하는데 목적이 있다. 연구의 내용은 초등학교 시각예술영재의 판별방법과 관련된 문헌을 고찰한 후, 형식적인 표준화 검사도구를 사용하는 방법, 비형식적인 검사도구를 사용하는 방법, 비검사 측정적인 방법으로 구분하고, 구체적인 특성과 한계를 논의하였으며 끝으로 초등학교 시각예술영재의 판별 방향에 대하여 제시하였다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2005년도 e-Biz World Conference 2005
• /
• pp.261-266
• /
• 2005

Web services provide an effective means to carry out coordinated transactions between multiple, independent business parties. While there are several specific protocols currently being discussed to address the coordination of web services-enabled business transactions, we consider the tentative hold protocol (THP) that allows the placement of tentative holds on business resources prior to actual transactions in order to provide increased flexibility in coordination. In this paper, we present a formal coordination framework for applying THP in conjunction with 2PC to the problem in which service providers independently manage resources and clients seek to acquire the resources from multiple providers as a single atomic transaction. The proposed framework facilitates the performance optimization of THP through effective parameterization with the notion of overhold size and hold duration. The simulation results show that the proposed adaptive approach yields a significant improvement over other non-adaptive policies.

• 한국실내디자인학회논문집
• /
• 제41호
• /
• pp.29-35
• /
• 2003

The purpose of this study is to analyze the architectural manifesto and design works characteristics of Walter Gropius. He was the director of Weimar Bauhaus that one of the advanced artificial movements in the early modern period. The almost of the early modern movements was related to the radical ideology and the manifesto. Especially Bauhaus originated from manifesto of artists teaching group with architect Walter Gropius. Therefore, the category of the study pitch upon Bauhaus architectural manifesto - Bauhaus Manifesto and Programme(1919) - and the representative works of Walter Gropius - Fagus Factory(1911-14), Dessau Bauhaus Building(1925-26), Siedlung Berlin-Siemensstadt(1929-30) and Harvard Graduate Center(1949). The conclusions of the study as per the above mentioned pill pose are the dynamic integration by non-symmetry in cubic form (formal characteristics) and organic continuity by reciprocality in transparent space (spatial characteristics).

• 복식
• /
• 제50권8호
• /
• pp.57-66
• /
• 2000

The purpose of this study describe about aesthetic of korean art and costume. Therefore we understand the beauty of korean style well. Methods of this study are the analyst of the paper before published on the aesthetic and costume aesthetic. Especially in the global postmodern age. the understanding of the value of korean beauty and costume are very Important. This study define of the special character. That is as follows. 1) Beauty of form a. Harmony of line different character b. Composition of plane make super space aesthetic c. Beauty of asymmetric, non formal, freedom of dressed man d. Beauty of symbolic color 2) Beauty of mend a. Aesthetic of the north nomads feeling b. View of the naturalism c. Ceremony of confucianism d. Preservation of original form, koreanization from heterogeneity

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권5호
• /
• pp.1904-1919
• /
• 2015

Deniable authentication protocol allows a sender to deny his/her involvement after the protocol run and a receiver can identify the true source of a given message. Meanwhile, the receiver has no ability to convince any third party of the fact that the message was sent by the specific sender. However, most of the proposed protocols didn't achieve confidentiality of the transmitted message. But, in some special application scenarios such as e-mail system, electronic voting and Internet negotiations, not only the property of deniable authentication but also message confidentiality are needed. To settle this problem, in this paper, we present a non-interactive identity-based deniable authenticated encryption (IBDAE) scheme using pairings. We give the security model and formal proof of the presented IBDAE scheme in the random oracle model under bilinear Diffie-Hellman (BDH) assumption.

• 영어어문교육
• /
• 제11권2호
• /
• pp.1-18
• /
• 2005

This study is a preliminary investigation of the nature of discourse marker acquisition in Korean American speakers of English. Discourse markers are of interest because they are not an aspect of language taught through formal instruction either to native or non-native speakers. Therefore, discourse marker use serves as indirect evidence of face-to-face interaction with native speakers and an indicator of integration. In this light, the present study examines the presence of discourse markers in Korean Americans. The markers chosen for analysis were you know, like, and I mean. The data consist of spontaneous speech elicited from interviews. Sociolinguistic variables such as age, sex, and generation (i.e., $1^{st}$, 1.5, $2^{nd}$) were examined. Results show that there appears to be interaction between the variables and discourse marker use. While all speakers showed variable acquisition of markers, younger, female, and 1.5 generation speakers were found to use discourse markers more than other speakers. Although discourse marker use is optional and thus not a linguistic feature that must be necessarily acquired, it is clear that use is pervasive and acquired differentially by English speakers irrespective of whether they are native or not.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제12권3호
• /
• pp.215-233
• /
• 2008

Deep comprehension of basic mathematical notions and concepts is a basic condition of a successful teaching. Some elements of algebraic thinking belong to the elementary school mathematics. The question "What stays the same and what changes?" link arithmetic problems with algebraic conception of variable. We have studied beliefs and comprehensions of future elementary school mathematics teachers on early algebra. Pre-service teachers from three academic pedagogical colleges deal with mathematical problems from the pre-algebra point of view, with the emphasis on changes and invariants. The idea is that the intensive use of non-formal algebra may help learners to construct a better understanding of fundamental ideas of arithmetic on the strong basis of algebraic thinking. In this article the study concerning arithmetic series is described. Considerable number of pre-service teachers moved from formulas to deep comprehension of the subject. Additionally, there are indications of ability to apply the conception of change and invariance in other mathematical and didactical contexts.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 추계학술발표대회
• /
• pp.183-186
• /
• 2006

NPC(Non playable Character)모델은 온라인 게임뿐만 아니라 가상공간 시스템 구축 시 빠질 수 없는 중요한 요소이다. 현재 가장 널리 사용되는 인공지능 처리방식의 하나인 FSM(Finite State Machine)은 NPC의 행동양식을 표현하기 위해 유한한 개수의 상태를 이용하는 알고리즘이다. 인공지능이 적용된 NPC 모델 설계시 정확한 명세는 구현 단계에서 발생되는 자원의 손실을 막아주고 요구명세에 따른 검증을 가능하게 한다. 본 논문에서는 해저가상공간 구축 시 발생되는 어류 객체의 행동패턴을 분석하여 속성을 정의하였으며, 환경변화에 따른 행동 특성의 상호관계를 설정하여 정형화하였다. 정의된 속성을 가진 NPC 모델을 FSM 알고리즘을 적용해 설계하고 구현한다. 설계된 NPC모델은 CTL기반의 모델체커인 SMV(Symbolic Model Verification)를 통해 검증함으로써 설계에 대한 타상성을 입증하였다.