• Bulletin of the Korean Mathematical Society
• /
• v.52 no.1
• /
• pp.159-172
• /
• 2015

This paper presents a new sufficient condition for the oscillation of all solutions of difference equations with several deviating arguments and oscillating coefficients. Corresponding difference equations of both retarded and advanced type are studied. Examples illustrating the results are also given.

• Industrial Engineering and Management Systems
• /
• v.7 no.3
• /
• pp.266-287
• /
• 2008

To manage collaborative negotiation in software system design, we have built a socio-technical argument-based negotiation management approach by integrating a Socio-technical Co-construction Process (STCP) with an Argument-based Negotiation Process (ABNP). This paper reviews relevant research work and presents each step of this approach. The STCP provides rich contextual information of technical decisions and social interactions in a system design process. The ABNP provides STCP with a negotiation management and conflict resolution strategy by guiding software engineers to generate, exchange and evaluate their argument claims in negotiation activities. In addition, this paper describes a prototype system which implements this new approach using the advanced Web-based software technologies with the goal of demonstrating how to systematically enhance the negotiation management capabilities in a dynamic socio-technical framework.

• International Journal of Advanced Culture Technology
• /
• v.5 no.3
• /
• pp.35-39
• /
• 2017

The human body is structured as sentence of healing. This study examines how the mechanism of healing works in the human body by the narrative relation of functor and argument. So, we predict the way of extreme healing by literary or human narrative. For this purpose, we analyze the principle that the emotional and semantic arguments are called by the functor set by the sentences containing the fingerprints of mind in Gosijo and the mechanism of healing works extensively. We analyze the process of the transition from the narrative of the literary to the narrative of the human body. Thus, the barcode of the healing, which is made up of the relationship between the functor of the literature and the argument, is transferred to the human body and it is judged that the fingerprint of the human mind is operated through the stage of encoding and re-encoding due to the action potential. In addition, it was predicted that the neurotransmitters such as dopamine and the secretion of hormones would be promoted and the healing level would be increased. In results, we conclude that the function of argument and functor which contains the fingerprint of the mind in the third sound step on the last sentence of Gosijo is transferred to the human body and is especially heavily focused and operate with healing.

• International journal of advanced smart convergence
• /
• v.8 no.2
• /
• pp.140-146
• /
• 2019

Andrew Niccols's movie Gattaca (1997) inspired the formulation of the "Gattaca Argument" concerning the negative outcome of biotechnology, which has since been critiqued especially in the context of transhumanism and posthumanism. According this argument the development of genetic enhancement will produce a genetic discrimination and lead us to serious form of inequality. However, in particular transhumanists deny that here are reasons to worry and advocating instead the transformation of human condition in terms of genetic enhancement. Moreover, they question that genetic enhancement will necessarily lead to social inequality. In what follows, we will reexamine the Gattaca Argument and its critiques based on the movie in order to reassess the role the movie plays in the subsequent scholarly discussion. We will argue that existing critiques fall short of capturing the problem posed in the movie - the problem of the inhumane. Based on a hermeneutic approach to the movie we will both reconstruct the arguments and evaluate the transhuman counterarguments in terms of modern history of philosophical ideas.

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.327-329
• /
• 1994

The Dirichlet problem (DP) on the upper half plane {z = x ＋ iy : y > 0} is to find a real-valued harmonic function u(x, y) satisfying u(x, 0) = g(x) almost everywhere for some reasonably nice function g defined on the real line, which is called the data on the boundary for (DP).(omitted)

• Computational Structural Engineering : An International Journal
• /
• v.1 no.1
• /
• pp.31-38
• /
• 2001

In the case of the non-proportionally damped system such as the soil-structure interaction system, the structural control system and composite structures, the eigenproblem with the damping matrix should be necessarily performed to obtain the exact dynamic response. However, most of the eigenvalue analysis methods such as the subspace iteration method and the Lanczos method may miss some eigenvalues in the required ones. Therefore, the eigenvalue analysis method must include a technique to check the missed eigenvalues to become the practical tools. In the case of the undamped or proportionally damped system the missed eigenvalues can easily be checked by using the well-known Sturm sequence property, while in the case of the non-proportionally damped system a checking technique has not been developed yet. In this paper, a technique of checking the missed eigenvalues for the eigenproblem with the damping matrix is proposed by applying the argument principle. To verify the effectiveness of the proposed method, two numerical examples are considered.

• Kyungpook Mathematical Journal
• /
• v.56 no.1
• /
• pp.137-146
• /
• 2016

In this paper we study the oscillation criteria for the second order nonlinear differential equation with delay and advanced arguments of the form $$([x(t)+a(t)x(t-{\sigma}_1)+b(t)x(t+{\sigma}_2)]^{\alpha})^{{\prime}{\prime}}+q(t)x^{\beta}(t-{\tau}_1)+q(t)x^{\gamma}(t+{\tau}_2)=0,\;t{\geq}t_0$$ where ${\sigma}_1$, ${\sigma}_2$, ${\tau}_1$ and ${\tau}_2$ are nonnegative constants and ${\alpha}$, ${\beta}$ and ${\gamma}$ are the ratios of odd positive integers. Examples are provided to illustrate the main results.

• Journal of The Korean Association For Science Education
• /
• v.31 no.5
• /
• pp.694-708
• /
• 2011

In this study, we developed tasks including cognitive scaffolding for students to explain scientific phenomena using valid evidences in science classroom and sought to investigate how tasks influence the development of small group scientific argumentation. Heterogeneous small groups in gender and achievement were organized in one classroom and the tasks were applied to the class. Students were asked to write down their own ideas, share individual ideas, and then choose the most plausible opinion in a group. One group was chosen for investigating the effect of tasks on the development of small group argumentation through the analysis of discourse transcripts of the group in 10 lessons, students' semi-structured interview, field note, and students' pre- and post argument tests. The discrepant argument examples were included in the tasks for students to refute an argument presenting evidences. Moreover, comparing opinion within the group and persuading others were included in the tasks to prompt small group argumentation. As a result, students' post-argument test grades were increased than pre-test grades, and they argued involving evidences and reasoning. The high level of arguments has appeared with high ratio of advanced utterances and lengthening of reasoning chain as lessons went on. Students had elaborate claims involving valid evidences and reasoning by reflective and critical thinking while discussing about the tasks. In addition, tasks which could have various warrants based on the data led to students' spontaneous participation. Therefore, this study has significance in understanding the context of developing small group argumentation, providing information about teaching and learning context prompting students to construct arguments in science inquiry lessons in middle school.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.117-134
• /
• 2010

In this paper, I attempted to show that 'Sorensen's Sorites' is not a successful argument for the vagueness of 'vague'. There are a lot of debates about it, but the central issue is whether Sorensen's Sorites is just small sorites; whether the vagueness certified by Sorensen's Sorites is just the vagueness of 'small'. Deas and Hull thought it was and rejected Sorensen's proof based on his sorites. But their rejection was rebutted by Varzi. The basis of his argument is that the subject of Sorensen's sentences - 'n-small' is vague - is not used but mentioned. I tried to reply on behalf of Deas and Hull and to show that the predicate 'vague' has not any effect on determining the truth value of "'n-small' is vague." Then it can be removed from the sentence. Of course I approve 'vague' is a homological term. What I do not agree with is only Sorensen's argument.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.154-157
• /
• 2011

본 연구는 2인의 전문의와 함께 의료 문헌의 초록을 분석하여 의료문서에서의 절차적 지식을 모델링하고 텍스트 마이닝 기법을 적용하여 절차적 지식을 추출하는 방법론에 대해 기술한다. 절차적 지식은 목적과 해법의 묶음으로, 해법은 다시 단위 절차 지식의 네트워크로 정의 하였고, 목적과 해법 정보 추출과 단위 절차 지식의 구성요소인 대상/행위/방법 개체를 인식하기 위해, 품사태깅, 구문분석, 술어-논항구조(Predicate-Argument Structure), 온톨로지 용어 매핑 정보 등에 기반한 기계학습 방법을 사용하였다. 실험을 위해 전문의와 함께 위함과 척추질환에 대한 1309 문서에 절차적 지식 태깅을 수행하였고, 이 문서 집합을 기반으로 목적/해법 추출 작업과 단위 절차 지식(대상질병/행위/적용방법) 추출 실험을 수행하여, 각각 82% 와 63%의 F-measure 값을 얻을 수 있었다.