• Journal of Korean language education
• /
• v.29 no.3
• /
• pp.117-144
• /
• 2018

The purpose of this study is to explore the linguistic elements that can promote academic literacy in terms of content-based instructions for KSL learners. In order to study the characteristics of learning languages for subjects, focus was given to the framework of systematic functional linguistics that has been extensively used in ELL teaching and learning research in the United States and Australia. History, which is taught in all classes and classified as a required course, was the subject of analysis. From the history curriculum, the elementary school level texts "Social Studies 5-2" and "Social Studies 6-1" were chosen for the analysis. Based on the results, we can come to the following conclusions. First, history textbooks are divided into narrative and analytical explanatory sub-genres based on their content, and there are differences in the factors that need to be focused on to find the main information. Second, the vocabulary of history textbooks should focus on the use of verbs which comprehend material processes. Particularly, learners should pay attention to the differences in meaning between low-frequency expressions. We hope that the results of this study will have a positive effect on history subject learning for learners in the "Adaptive Korean Course" and will help establish direction in terms of building curriculum contents for KSL learners.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.337-340
• /
• 1999

The most salient and discussed features of speech production in agrammatic aphasia are the omission and substitution of grammatical morphemes. Cross-linguistic studies have shown that the pattern of omission/substitution is not random but occurs in a systematic and highly constrained way. Although these descriptions are important, they do not explain why all grammatical morphemes are not equally impaired. Friedmann and Grodzinsky (1997) proposed the Tree-Pruning Hypothesis (TPH) to account for these patterns of sparing and loss. The TPH claims that in an agrammatic representation, an impaired functional node is underspecified, thus allowing inappropriate affixation to occur. Additionally, whenever a node is impaired, all nodes above it will also be impaired. Using four types of narratives collected from two Korean agrammatic patients, We test the claim that the impairment in agrammatism is based on such hierarchical representation. It was found that these patients consistently produced appropriate grammatical morphemes that are higher in a syntactic tree than the impaired morphemes. The finding that an intact node exists higher than an impaired node refutes the TPH.

• Speech Sciences
• /
• v.14 no.1
• /
• pp.63-72
• /
• 2007

In this study, the researchers evaluate the hypothesis that the reaction time (RT) in the brain is largely dependent on age and gender. The researchers tested English and Korean words using two types: reading as visual stimuli, and listening as auditory stimuli. The E-Prime program installed in functional magnetic resonance imaging (f-MRI) was used. There are 136 Korean subjects in three groups: 30 children (5th and 6th grade elementary school students), 76 young adults (college students), and 30 adults (35-53 years old). In the listening test, the variation for the two languages was different among the three age groups, regardless of gender, whereas the data did not show meaningful differences in the reading test. The findings will provide some meaningful information regarding perception and acquisition of a foreign language.

• 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.

• Journal of International Academy of Physical Therapy Research
• /
• v.7 no.1
• /
• pp.979-988
• /
• 2016

The purpose of this systematic review is to investigate the effects of tape application on improving body conditions. The search strategy for this review included a literature search by members of the International Kinematic Academy in 12 countries between January 2014 and February 2015 using PubMed, CINAHL, Cochrane, Google Scholar, websites and national journals. The search words included "Kinesiotape, Kinesio tape, kinesiotaping, elastic taping, taping, functional taping, myofascial taping, sensomotor taping". The review included all articles, even those published in different languages. These searches resulted in 821 publications. There are several effects of tape application were revealed such as improving blood circulation, lymphatic circulation, body range of motion, activation of mechanoreceptor and joint stability, and decreasing pain. No one negative about the positive effects of taping, however the more effort is required to find evidence of effects of tape application.

• Nonlinear Functional Analysis and Applications
• /
• v.29 no.2
• /
• pp.559-580
• /
• 2024

In this paper, we aim to prove coupled and common coupled fixed point theorems for contractive type conditions in the context of partial metric spaces by means of a control function, and to provide some corollaries of the established results. This paper presents a number of results that generalize and extend previous work in the field. In order to better illustrate the process, we provide examples.

• Korean Institute of Interior Design Journal
• /
• v.14 no.5 s.52
• /
• pp.98-105
• /
• 2005

Through advanced computer technology, our physical environment became a flexible and liquid space that is a multi-functional space structure, hetero-alliance, formless, interactivity. We attempt to interpretate Deleuze's Other geometry as a space designer. Hence first, the aim of this study is to define the meaning of the Other and Other geometry. Second, to extract keywords out of the Other geometry to analyze the work. Third, to analyze the work using the space formative languages(blob, blurring, distortion, folding, layering, lightness, nesting, repetition, shear, transparency, twisting, unfolding, warping, waving, and weaving). The 13 works were selected which have been issued after year 2000 with the focus on liquid space studies. The methods of this study are literature research and contents analysis. The results of the analysis were as follows. First, the source is the Other who is a hidden potentials in the surrounding environment, and this source has the capability of making it part of reality anytime. Other geometry means it is a theory that is comprised of various lines that with the kind of experiences that one has in life. Second, the key words that were extracted from the theory of Deleuze's Other geometry were of (1)hetero-alliance(reflected in a sculptured shape or a fluid abstract form), (2)dis-form(by speculating the user's movements, and combining space elements with external forces), (3)interactivity (information was exchanged real time between the user and his environment where the space took on a sensory institution). Finally, after studying the works using the space formative languages, we found that blob, warping, waving were used externally, and repetition, warping and waving for mostly used internally.

• KIISE Transactions on Computing Practices
• /
• v.23 no.8
• /
• pp.459-465
• /
• 2017

Although the performance of computer hardware is increasing due to the development of manycore technologies, software lacking a proportional increase in throughput. Functional languages can be a viable alternative to improve the performance of parallel programs since such languages have an inherent parallelism in evaluating pure expressions without side-effects. Specifically, Haskell is notably popular for parallel programming because it provides easy-to-use parallel constructs based on monads. However, the scalability of parallel programs in Haskell tends to fluctuate as the number of cores increases, and the garbage collector is suspected to be the source of this fluctuations because it affects both the space and the time needed to execute the programs. This paper uses the tuning tool, GC-Tune, to improve the scalability of the performance. Our experiment was conducted with a parallel plagiarism detection program, and the scalability improved. Specifically, the fluctuation range of the speedup was narrowed down by 39% compared to the original execution of the program without any tuning.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.2 s.40
• /
• pp.7-13
• /
• 2006

The advent of Semantic Web has generated several methods that can access the data on the web. Thus, it is necessary to handle the data by accessing the current web ontology as well as the existing knowledge base system. Web ontology languages are RDF(Resource Description Framework), DAML-OIL, OWL(Web Ontology Language), and so on. This paper presents the creation and the method of the ontology object model that can access, represent, and process the web ontology and the existing knowledge base. Unlike the existing access approach of web ontology using the model on memory constructed by each parser, we divide the model of web ontology into three layers such as frame-based ontology layer, generic ontology layer, and functional ontology layer. Generic ontology layer represents the common vocabulary among several domains and functional ontology layer contains the dependent vocabulary to each ontology respectively. Our model gets rid of the redundancy of the representation and enhances the reusability. Moreover, it can provide the easy representation of knowledge and the fast access of the model in the application.

• Journal of Korean Physical Therapy Science
• /
• v.18 no.1
• /
• pp.33-49
• /
• 2011

The process of physical therapy uses a problem-solving approach to enhance a patients's functioning status. The International Classification of Functioning, Disability and Health(ICF) is the common concept for the functioning in the world. Physical therapists require the ability to identify problems, formulate hypothesis, and plan intervention strategies through clinical reasoning. In the clinical process, physical therapists need to use standard and common languages in speech and in documentation. The purpose of this study was to suggest the process of making strategy for efficient intervention, examining and evaluating the functional problem of the person with stroke using ICF tools. For the first step in this process model, therapists could list the information relating to functional problems used by the ICF Core set and then could identify the interaction among the problems using the ICF assessment sheet. For the next step, therapist is needed to make the hypothesis and hypothesis testing, and then set a primary functional goals and therapeutic goals in detail after prioritizing the problems to be managed based on the problem list. Finally, after setting the identified problems as the purpose of intervention through the hypothesis testing, therapist could do some intervention after making a plan to solve these problems, and find out the outcomes using the ICF evaluation display. This report illustrates how to apply the process based on ICF concept into physical therapy practice. Making a decision for the most efficient intervention requires that therapists use the clinical reasoning process based on ICF concept.