• JSTS:Journal of Semiconductor Technology and Science
• /
• v.11 no.2
• /
• pp.111-120
• /
• 2011

A two-dimensional analytical model for deriving the threshold voltage of a short channel fully depleted (FD) cylindrical/surrounding gate MOSFET (CGT/SGT) is suggested. By taking into account the lateral variation of the surface potential, introducing the natural length expression, and using the Bessel functions of the first and the second kinds of order zero, we can derive potentials in the gate oxide layer and the silicon core fully two-dimensionally. Making use of these potentials, the minimum surface potential can be obtained to derive the threshold voltage as a closed-form expression in terms of various device parameters and applied voltages. Obtained results can be used to explain the drain-induced threshold voltage roll-off of a CGT/SGT in a unified manner.

• Proceedings of the KIEE Conference
• /
• 2006.07c
• /
• pp.1589-1590
• /
• 2006

A method to determine functional relationships between the variable physical dimensions of an antenna and the antenna performance characteristics is presented. By applying multi-expression programming (MEP) to this data set, optimization with regard to a given criteria can be subsequently performed on the functions instead of performing repealed electromagnetic simulations. The functionals are trained on an initial population of simulation samples and refined using a point-wise error estimate to identify design parameters for subsequent samples. Additionally, the depth of the MEP tree is adjusted for increased accuracy as the data set is deemed sufficient.

• Molecules and Cells
• /
• v.46 no.1
• /
• pp.48-56
• /
• 2023

Genomic information stored in the DNA is transcribed to the mRNA and translated to proteins. The 3' untranslated regions (3'UTRs) of the mRNA serve pivotal roles in post-transcriptional gene expression, regulating mRNA stability, translation, and localization. Similar to DNA mutations producing aberrant proteins, RNA alterations expand the transcriptome landscape and change the cellular proteome. Recent global analyses reveal that many genes express various forms of altered RNAs, including 3'UTR length variants. Alternative polyadenylation and alternative splicing are involved in diversifying 3'UTRs, which could act as a hidden layer of eukaryotic gene expression control. In this review, we summarize the functions and regulations of 3'UTRs and elaborate on the generation and functional consequences of 3'UTR diversity. Given that dynamic 3'UTR length control contributes to phenotypic complexity, dysregulated 3'UTR diversity might be relevant to disease development, including cancers. Thus, 3'UTR diversity in cancer could open exciting new research areas and provide avenues for novel cancer theragnostics.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.18 no.5
• /
• pp.217-240
• /
• 2023

For a while, Functional cosmetics, Cosmeceutical cosmetics, and Derma cosmetics have gained trust and become popular due to the consumers' strong interest in ingredients & efficacy. It's remarkable that Clean or Vegan brands are growing fast because they are emphasizing on different values from the other cosmetic brands. It's needed to attempt to analyze the influence relationship between consumer lifestyle and social value in these changes, and to find out whether the consumption of vegan cosmetics is related to satisfying the need for self-expression in a social atmosphere where ESG is emphasized on. This study analyzed the effect of lifestyle types and self-expression needs on the purchase intention of vegan cosmetics by mediating social values for cosmetics consumers. Lifestyle types were classified into appearance-oriented, health-oriented, and fashion-oriented. For empirical analysis, 321 questionnaires collected from cosmetics consumers living across the country were used. SPSS v26.0 and PROCESS macro v4.2 were used to analyze based on a single mediating model as a single mediator. As a result of the analysis, first, lifestyle types and self-expression needs, excluding appearance-oriented types, were found to have a positive (+) effect on social values. Second, it was found that social value had a positive (+) significant effect on the purchase intention of vegan cosmetics. Third, appearance-oriented, health-oriented, trend-seeking lifestyle types and self-expression needs were all found to have a positive (+) effect on the purchase intention of vegan cosmetics. Fourth, social values were found to mediate lifestyle types, self-expression needs, and purchase intentions, except for appearance-oriented types. Appearance-oriented consumers do not directly affect social values but affect purchase intentions, suggesting that appearance-oriented consumers may not be significantly affected by product-related social values. In a comparison of the relative influence size using standardization coefficients, self-expression needs had the greatest impact on the purchase intention of vegan cosmetics when mediating social values, and health-oriented ones had the least impact. The academic implications of this study include contributing to consumer behavior research by providing insights, mediation mechanisms, and consideration of the niche consumer sector, and directing further research into the cosmetics industry beyond forming marketing strategies and sustainable business practices.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.41 no.5
• /
• pp.796-808
• /
• 2017

This research shows how fashion curation service consumers (both fashion and image consultants) reveal different aspects towards a preferred image type among the correlation of fashion curation service usage motivation and fashion shopping propensity. These preferences also included the purchase intentions for fashion display service products. This study surveyed 300 men and women between the ages of 20-30 who were the main consumers of fashion curation services. 'Convenience, fashion trend, and exploratory' increased purchase intentions for fashion shopping propensity, 'information search for utility, entertainment, and personal expression' increased purchase intentions for fashion curation services and 'brand identity, consumer lifestyle, and product information' increased factors for the fashion curation service preferred image type. Consumer preferences varied according to different fashion curation service image type; however, all consumer group syndicated a difference in fashion curation service actions. For instance, fashion curation service consumers preferred a consumer lifestyle image, convenience, hedonic shopping orientation, and personal expression motivation had a positive influence on product purchase intention. However, the shopping orientation of 'fashion trend, practical information exploration, and entertainment motivation' had an optimistic influence on product purchase intentions for fashion curation service consumers who preferred a brand identity image and a product information image.

• Asian Pacific Journal of Cancer Prevention
• /
• v.17 no.8
• /
• pp.4019-4023
• /
• 2016

Background: Colorectal cancer (CRC) or bowel cancer is one of the most important cancer diseases, needing serious attention. The cell surface receptor gene human epidermal growth factor receptor (EGFR) may have an important role in provoking CRC. In this pharmaceutical era, it is always attempted to identify plant-based drugs for cancer, which will have less side effects for human body, unlike the chemically synthesized marketed drugs having serious side effects. So, in this study the authors tried to assess the activity of two important plant compounds, ferulic acid (FA) and p-coumaric acid (pCA), on CRC. Materials and Methods: FA and pCA were tested for their cytotoxic effects on the human CRC cell line HCT 15 and also checked for the level of gene expression of EGFR by real time PCR analysis. Positive results were confirmed by in silico molecular docking studies using Discovery Studio (DS) 4.0. The drug parallel features of the same compounds were also assessed in silico. Results: Cytotoxicity experiments revealed that both the compounds were efficient in killing CRC cells on a controlled concentration basis. In addition, EGFR expression was down-regulated in the presence of the compounds. Docking studies unveiled that both the compounds were able to inhibit EGFR at its active site. Pharmacokinetic analysis of these compounds opened up their drug like behaviour. Conclusions: The findings of this study emphasize the importance of plant compounds for targeting diseases like CRC.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.10
• /
• pp.4903-4929
• /
• 2018

In this study, a fully automatic pose and expression invariant 3D face alignment algorithm is proposed to handle frontal and profile face images which is based on a two pass course to fine alignment strategy. The first pass of the algorithm coarsely aligns the face images to an intrinsic coordinate system (ICS) through a single 3D rotation and the second pass aligns them at fine level using a minimum nose tip-scanner distance (MNSD) approach. For facial recognition, multi-view faces are synthesized to exploit real 3D information and test the efficacy of the proposed system. Due to optimal separating hyper plane (OSH), Support Vector Machine (SVM) is employed in multi-view face verification (FV) task. In addition, a multi stage unified classifier based face identification (FI) algorithm is employed which combines results from seven base classifiers, two parallel face recognition algorithms and an exponential rank combiner, all in a hierarchical manner. The performance figures of the proposed methodology are corroborated by extensive experiments performed on four benchmark datasets: GavabDB, Bosphorus, UMB-DB and FRGC v2.0. Results show mark improvement in alignment accuracy and recognition rates. Moreover, a computational complexity analysis has been carried out for the proposed algorithm which reveals its superiority in terms of computational efficiency as well.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.8
• /
• pp.1861-1867
• /
• 2010

A datawarehouse is generally used in organizations for decision and policy making. And In a distribute environment when a new system is added, there needs considerable amount of time and cost due to the difference between the systems. Therefore, to solve this matter. Firstly, heterogeneous data structures can be handled by creating abstract queries according to the standard schema and by separating the queries using XMDR. Secondly, metadata dictionary which defines synonyms of metadata and methods for data expression is used to overcome difference of definition and expression of data. Especially, work presented in this thesis provides standardized information for data integration and minimizing the effects of integration on local systems in discrete environments using XMDR to create information of data warehouse in realtime.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.3
• /
• pp.520-526
• /
• 2018

In this paper, considering the superposition transmission-based wireless cooperative multicast communication system (ST-CMS) with multiple relays and destinations, we propose a relay selection scheme to improve the data rate of multicast communication. In addition, we adopt the optimal power allocation coefficient for the superposition transmission to maximize the data rate of the proposed relay selection scheme. To propose the relay selection scheme, we derive an approximate expression for the data rate of the ST-CMS, and present the relay selection scheme using only partial channel state information based on the approximate expression. Moreover, we derive an approximate average data rate of the proposed relay selection scheme. Through numerical investigation, comparing the average data rates of the proposed relay selection scheme and the optimal relay selection scheme using full channel state information, we show that the proposed scheme provides extremely similar performance to the optimal scheme in the high signal-to-noise power ratio region.