• KIEAE Journal
• /
• v.8 no.5
• /
• pp.23-34
• /
• 2008

This paper reviews the relationships between diverse ecological design strategies and competing conceptions of ecological approach in place making. It focuses conceptual trends of what we categorize a building "green" and outlines a social constructive perspective on the development of sustainable architecture. This study classifies seven logics of ecological design-eco-technical, eco-aesthetical, eco-social, eco-medical, eco-renewable, eco-cultural, eco-central - which have their roots in competing philosophies of environmentalism. In my analysis of the logics concerning sustainable architecture, the adapted and incorporated technology from high-tech to low-tech levels is a key issue. These points lead us to propose a way that each logic configures the technological approaches and alternative visions of sustainable places. This paper discusses the implications of the competent nature of plural ecological design perspectives for architectural education, practice, and researches.

• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.67-83
• /
• 2004

The purpose of this paper is to defend Kripke's theory of truth from Simmons' objection. First after introducing various sorts of the liar paradox, briefly I explain Tarski's attempt to solve the puzzle. Then, I outline Kripke's solution by using the concept of 'fixed point'. Simmons offers an interesting objection against Kripke's solution. He uses a diagonal argument in his attack to Kripke's idea. I claim that Simmons seem to use 'exclusion negation' in refuting Kripke. I think, however, there is an alternative interpretation, which is 'choice negation'. With using choice negation, I maintain that Kripke's theory of ruth can be defended from Simmons' objection.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.840-848
• /
• 2004

Garbage collecting objects in Java makes memory management easier for the programmer, but it is time consuming. Stack allocation may be an alternative which identifies stack-allocatable objects before the execution, without performance degradation. We suggest an escaping analysis recording the interprocedural movement of the method, to detect an object the method of whose creation may have been already deactivated during the access. Our approach is different from prior works, enables us to handle some cases that are missed in the previous variable - oriented approach.

• Tribology and Lubricants
• /
• v.11 no.5
• /
• pp.93-98
• /
• 1995

To increase the information storage density in magnetic disk files, the head, the headdisk spacing must be reduced. This has motivated the investigation of alternatives to the conventional air-lubricated head-disk interface (HDI), which operates at a spacing of about 100 nm. One such alternative under consideration is the liquid-lubricated bearing. To properly model the HDI with a liquid bearing it is necessary to incorporate the theological properties of liquid lubricants at high shear rates. These rheological properties themselves are most easily measured within the HDI. Recently, some question has arisen in the literature concerning the interpretation of the frictional data acquired in this manner. In this study analytical and numerical solutions of the Reynolds eqn. are applied to the starved, liquid lubricated HDI to provide some validation of the rheological data reported the author and coworkers (Streator et al., 1994). Results of the analysis highlight the importance of the inlet taper region in determining the equilibrium configuration of the starved HDI even when only a small fraction of its length is wetted by the lubricant.

• Annual Conference on Human and Language Technology
• /
• 2004.10d
• /
• pp.323-328
• /
• 2004

The main concern of the paper is to establish a hypothesis in which the form thi is treated as a particular Contrastive Topic marker in Vietnamese sentence structure. We have investigated that the form thican be placed after a topical nominal or verbal to compose a Contrastive Topic phrase. Not only the subjects or objects but predicates in Vietnamese can have a CT interpretation with the marker thi. The thi-phrase not only refers to an entity or event the speaker wants to talk about, but also indicates that there exist contrastive alternatives the speaker wants to talk about. The nature of the contrastive topic decides the nature the alternative set and the choice of the topic of the implicated proposition. When the set of alternatives does not have the characteristic of scale, we have a descriptive opposite implicature. Again, if the contrastive set is a scalar set, we gat a denial-of expectation implicature.

• Journal of Arbitration Studies
• /
• v.23 no.2
• /
• pp.37-54
• /
• 2013

This article focuses on integrating institutional mediation systems, especially the analysis of the leading ADR operation. Mediation is a process in which an impartial third party, a mediator, facilitates the resolution of a dispute by promoting voluntary agreements by the parties to the dispute. A mediator facilitates communications, promotes understanding, focuses the parties on their interests, and seeks agreement. These standards give meaning to this definition of mediation. Standard mediation clauses are construed as broadly as possible, and mediation is compelled unless it may be said with positive assurance that the mediation process is not susceptible to an interpretation that covers the asserted dispute. Performing the conflicts check early in the process helps in eliminating any awkwardness or delays caused by making disclosures after mediation commences. Mediator impartiality is central to the mediation process. A mediator should mediate only those matters in which she or he can remain impartial and evenhanded. If at any time the mediator is unable to conduct the process in an impartial manner, the mediator is obligated to withdraw.

• Genomics & Informatics
• /
• v.2 no.1
• /
• pp.19-29
• /
• 2004

Gene expression profiles may offer more information than morphology and provide an alternative to morphology- based tumor classification systems. Informative gene selection is finding gene subsets that are able to discriminate between tumor types, and may have clear biological interpretation. Gene selection is a fundamental issue in gene expression based tumor classification. In this report, techniques for selecting informative genes are illustrated and supervised shaving introduced as a gene selection method in the place of a clustering algorithm. The supervised shaving method showed good performance in gene selection and classification, even though it is a clustering algorithm. Almost selected genes are related to leukemia disease. The expression profiles of 3051 genes were analyzed in 27 acute lymphoblastic leukemia and 11 myeloid leukemia samples. Through these examples, the supervised shaving method has been shown to produce biologically significant genes of more than $94\%$ accuracy of classification. In this report, SVM has also been shown to be a practicable method for gene expression-based classification.

• The Korean Society of Law and Medicine
• /
• v.10 no.1
• /
• pp.77-116
• /
• 2009

Owing to the development of Biotechnology, the involvement of humans in life before birth has been increasing. This means the need for the protection of unborn life takes on new importance. The respect for life and human beings which is based on fundamental constitutional principle should still be respected under civil law. This study examines how methods of respect for life are embodied in civil liability law. In particular, it enunciates the protection of unborn life within time-flow. Lastly, it studies the instruments of the civil liability law and the extent of protection for a fetus from the process of fertilization of an ovum by a sperm, development into an embryo and implantation. Especially, it looks into when and how the subject of the right changes. Besides, it critically scrutinizes the opinions of leading case lawyers and the Constitutional Court which conclude that, in order for a fetus to become the subject of Damage law, it is required to be born alive to comply with precedent. Furthermore, it suggests an alternative interpretation theory.

• Language and Information
• /
• v.8 no.1
• /
• pp.77-100
• /
• 2004

This paper aims to account for direct combination of an entity type noun with the verb HA- 'do' (ex. piano-rul ha- 'piano-ACC do') in Korean, based on Generative Lexicon Theory (Pustejovsky, 1995). The verb HA-'do' coerces some entity type nouns (e.g., pap 'boiled rice') into event type ones, by virtue of the qualia of the nouns. Typically, a telic-based type coercion supplies individual predication to the HA- construction and an agentive-based type coercion evokes a stage-level interpretation. Type coercion has certain constraints on the choice of qualia. We further point out that qualia cannot be a warehouse of pragmatic information. Qualia are composed of necessary information to explain the lattice structure of lexical meaning and co-occurrence constraints, distinct from accidental information. Finally, we seriously consider co-composition as an alternative to type coercion for the crucial operation of type shift.

• Cross-Cultural Studies
• /
• v.27
• /
• pp.435-470
• /
• 2012

This paper aims to examine directives and its adjacency pair directives-responses in the Chinese textbook Hanyu Kouyu from the speech act theory, and give some suggestions for Chinese speaking instruction. For analysis of directives, it is important to consider context surrounding it at first. Context includes space for speaking, person who speak with, adjacent speech act, etc., so this paper considers context firstly before explaining directives and discusses how each element of context effects interpretation of its meaning. From the politeness perspective, directives and rejection as one of the responses are easy to be FTAs(face-threatening acts) fundamentally, so they are required to have some strategies for minimizing the threat, and it is found that there are strategies for positive face and negative face in the textbook. In the textbook, it is also examined that directives-responses contribute for interlocutor to accomplish social acts, for example, negotiating, insisting, maintaining, making alternative ideas, etc.