• Communications of Mathematical Education
• /
• v.27 no.4
• /
• pp.381-389
• /
• 2013

In the natural science or engineering science, a calculus is an obligatory subject. So there are many classes in the university every year. Commonly professors manage the course individually. Many classes in a row individually got into trouble about lecture, test and assessment and so on. To solve the above problems, alternatively we introduced the concept of joint control. We used the joint syllabus, test and assessment. In this paper, we found the necessities and effects of joint control in a calculus.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.3
• /
• pp.119-127
• /
• 2006

In this paper, we present a systematic approach to translating BPML(Business Process Modeling Language) into the ${\pi}-Calculus$. BPML is an executable business process modeling language, like BPEL4WS(Business Process Execution Language for Web Services). It is difficult to find a systematic approach to formalizing these languages; but, by formalizing them, the behavior of the processes can be analyzed and compared so that optimal processes can be designed. For this formalization, we analyzed the activity types and contexts of BPML and suggested the definitions of semantics for each type and context by using the ${\pi}-Calculus$. In addition, we have shown the usefulness of our formalization scheme in that a typical order fulfillment process represented in BPML can be translated into the ${\pi}-Calculus$.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.7
• /
• pp.3356-3374
• /
• 2018

The healthcare and fitness wearable-device market is considered as the driving force of the entire wearable device market. However, there are concerns with respect to information privacy because wearable devices constantly collect sensitive data such as individuals' health information. Thus, there is a need for a comprehensive understanding from the perspective of information privacy concerns and related behavior. This study investigates factors considered in the privacy calculus of wearable fitness devices, and verifies differences obtained by the privacy calculus process according to the frequency of exercise. The results obtained from a survey of 248 undergraduate students in Korea revealed that service providers should consider users' interests and exercise characteristics in order to mitigate their privacy concerns and encourage continuous use of wearable devices. This study provides useful insights pertaining to users of wearable fitness devices, and targets researchers and practitioners.

• Research in Mathematical Education
• /
• v.2 no.2
• /
• pp.89-108
• /
• 1998

We conducted a survey with the objective of studying the teachers' perspective of their students' learning in traditional calculus and its teaching strategies. This survey was targeted at mathematics teachers of the junior colleges, polytechnics and universities in Singapore. In this paper we present findings of the first part of our survey. The first part addresses various issues related to the mathematics teachers' perception of the current status of calculus education in Singapore. The findings of this study will be unique in Singapore context because, according to the best of our knowledge, no such survey on calculus education has ever been undertaken in Singapore.

• Communications of Mathematical Education
• /
• v.22 no.3
• /
• pp.369-382
• /
• 2008

We discuss the effect of ability grouping calculus courses based upon student's proficiency of the subject and their collective examination of midterms and finals among mid-level and low-level classes. We assess incoming freshmen at Seoul National University of Technology(SNUT) of their proficiency in calculus and assign them to the appropriate levels within the course(i.e., high-level, mid-level, low-level). We found that this was beneficial to both students and instructors. Instructors can easily determine the pace in which each class should be kept, and students can quickly adapt to the learning environment.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.1
• /
• pp.11-23
• /
• 2010

A flexible and correct model of the activity flows is required for workflows in product development environments. In particular, the design activity flows are not known until run-time, and conventional approaches have limit to handle this situation because they cannot predefine all the potentially reachable paths. Thus, the structure of the workflow model must be flexible enough to describe variety in workflow design and accommodate dynamic changes during workflow execution. In this paper, we provide the general primitive axioms and change patterns based on event calculus for dynamic workflow specification and execution mechanisms in product development environments. Also, we describe how to execute the workflow dynamically based on the workflow specification and workflow change patterns using abductive planning technique.

• Communications of Mathematical Education
• /
• v.22 no.2
• /
• pp.165-185
• /
• 2008

In this paper we analyze various programs of our and other countries related with university-level program in mathematics. We develop two university-level programs 'Calculus I 'and 'Calculus II'. In detail we describe course of study, educational objectives of these programs.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.597-600
• /
• 2014

컴퓨터 시스템의 병렬, 분산, 이동, 실시간 적인 시스템들을 명세하기 위한 여러가지 정형기법들이 존재한다. 본 논문에서는 이동 실시간 시스템의 명세를 위한 정형기법으로서 ${\delta}-Calculus$ 를 정의하였다. ${\delta}-Calculus$ 의 가장 큰 특징은 프로세스의 이동성으로써 시간의 흐름에 따라 프로세스 간의 상호작용을 통해 프로세스가 이동하는 것을 표현할 수 있다. ${\delta}-Calculus$ 를 사용하여 프로세스의 이동성을 표현함으로써 시스템의 공간정보와 시간정보를 명세하고, 프로세스의 상태에 따른 보안적 특성을 나타낼 수 있다. 본 논문에서는 ${\delta}-Calculus$ 의 문법과 의미를 설명하고 이동성에 의한 특성을 분석하였다.

• Communications of Mathematical Education
• /
• v.24 no.4
• /
• pp.891-907
• /
• 2010

This study analyzed the Fundamental Theorem of Calculus from the historical, mathematical, and instructional perspectives. Based on the in-depth analysis, this study suggested an alternative way of teaching the Fundamental Theorem of Calculus.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1183-1210
• /
• 2016

During the past four decades or so, due mainly to a wide range of applications from natural sciences to social sciences, the so-called fractional calculus has attracted an enormous attention of a large number of researchers. Many fractional calculus operators, especially, involving various special functions, have been extensively investigated and widely applied. Here, in this paper, in a systematic manner, we aim to establish certain image formulas of various fractional integral operators involving diverse types of generalized hypergeometric functions, which are mainly expressed in terms of Hadamard product. Some interesting special cases of our main results are also considered and relevant connections of some results presented here with those earlier ones are also pointed out.