• Kyungpook Mathematical Journal
• /
• v.46 no.1
• /
• pp.49-56
• /
• 2006

The aim of the present work is to obtain the inverse Laplace transform of the product of the factors of the type $s^{-\rho}\prod\limit_{i=1}^{\tau}(s^{li}+{\alpha}_i)^{-{\sigma}i}$, a general class of polynomials an the multivariable H-function. The polynomials and the functions involved in our main formula as well as their arguments are quite general in nature. On account of the general nature of our main findings, the inverse Laplace transform of the product of a large variety of polynomials and numerous simple special functions involving one or more variables can be obtained as simple special cases of our main result. We give here exact references to the results of seven research papers that follow as simple special cases of our main result.

• Kyungpook Mathematical Journal
• /
• v.56 no.2
• /
• pp.465-471
• /
• 2016

In this paper, we establish certain integrals involving Srivastava's Polynomials [5] and Aleph Function ([8], [10]). On account of general nature of the functions and polynomials involved in the integrals, our results provide interesting unifications and generalizations of a large number of new and known results, which may find useful applications in the field of science and engineering. To illustrate, we have recorded some special cases of our main results which are also sufficiently general and unified in nature and are of interest in themselves.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.353-357
• /
• 2003

Although it is more and more well accepted that modeling is a help for experimental biology, little is known about how to integrate physiological processes in general. The fact that no general theory exist in biology has big consequences, the most important being the difficulty to integrate biological phenomena. 1 will present a solution for the three dependent following issues: i) in an appropriate theoretical framework, integration consists in coupling models that each describe physiological mechanisms (formalization is a necessary condition to integration); ii) a biological theory with its own concepts leads to unifying principles in biology that are different from and complementary to physical principles; iii) such a formalized theory consists in a representation in terms of functional interactions and a specific formalism(S-Propagator). Hence a biological theory is of a topological and geometrical nature, in contrast to physical theories that are of a geometrical nature. An application to the interpretation of intelligence is proposed, based on the "intelligence"of movement.

• Journal of Creative Information Culture
• /
• v.5 no.3
• /
• pp.295-306
• /
• 2019

Despite the popularity and convenient accessibility of puzzles, the variety of puzzles have led to a lack of research on the nature of the puzzle itself. In guiding certain skills, such as abstractness, creativity, and logic, a teacher should have the thinking skill and strategy that appear in solving puzzles. In this study, the mathematical thinking that appears in solving puzzles from the perspective of experts is identified, and the strategies and characteristics are described and classified accordingly. For this purpose, we analyzed 85 math puzzles including the well-know puzzles to the public, plus puzzles from a popular book for the gifted student. The research analysis shows that there are 6 types of mathematics puzzles in which require mathematical thinking.

• School Mathematics
• /
• v.15 no.4
• /
• pp.667-682
• /
• 2013

Though teachers' lesson plays, this article analysed teachers' knowledge for mathematical teaching about mathematical definitions and their pedagogical difficulties in teaching defining. Although the participant teachers didn't transmit definitions to students and suggested possible definitions of the given geometric figure in their imaginary lessons, they didn't teach defining as deductive organization of properties of the geometric figure. They considered mathematical definition as a mere linguistic convention of a word, so they couldn't appreciate the necessity of deductive organization in teaching definitions, and the arbitrary nature of mathematical definitions. Therefore, for learning to teach definitions differently, it is necessary for teachers to reflect the gap between the everyday and mathematical definitions in teachers'education.

• The Mathematical Education
• /
• v.37 no.1
• /
• pp.73-85
• /
• 1998

The purpose of this study is to investigate the understanding of middle school students on the meaning of proof and to suggest a teaching method to improve their understanding based on three levels identified by Kunimune as follows: Level I to think that experimental method is enough for justifying proof, Level II to think that deductive method is necessary for justifying proof, Level III to understand the meaning of deductive system. The conclusions of this study are as follows: First, only 13% of 8th graders and 22% of 9th graders are on level II. Second, although about 50% students understand the meaning of hypothesis, conclusion, and proof, they can't understand the necessity of deductive proof. This conclusion implies that the necessity of deductive proof needs to be taught to the middle school students. One of the teaching methods on the necessity of proof is to compare the nature of experimental method and deductive proof method by providing their weak and strong points respectively.

• The Mathematical Education
• /
• v.52 no.4
• /
• pp.567-586
• /
• 2013

The purpose of this study was to introduce the Knowledge Quartet (KQ) framework by which we can analyze teacher knowledge revealed in teaching mathematics. Specifically, this paper addressed how the KQ framework has been developed and employed in the context of research on teacher knowledge. In order to make the framework accessible, this paper analyzed an elementary school teacher's knowledge in teaching her fifth grade students how to figure out the area of a trapezoid using the four dimensions of the KQ (i.e., foundation, transformation, connection, and contingency). This paper is expected to provide mathematics educators with a basis of understanding the nature of teacher knowledge in teaching mathematics and to induce further detailed analyses of teacher knowledge using some dimensions of the KQ framework.

• Communications of the Korean Mathematical Society
• /
• v.25 no.1
• /
• pp.149-160
• /
• 2010

Among the distance based algorithms in phylogenetic tree reconstruction, the neighbor-joining algorithm has been a widely used and effective method. We propose a new algorithm which counts the number of consistent quartets for cherry picking with tie breaking. We show that the success rate of the new algorithm is almost equal to that of neighbor-joining. This gives an explanation of the qualitative nature of neighbor-joining and that of dissimilarity maps from DNA sequence data. Moreover, the new algorithm always reconstructs correct trees from quartet consistent dissimilarity maps.

• Communications of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.1013-1024
• /
• 2018

The main object of this paper is to set up two (conceivably) valuable double integrals including the multiplication of Bessel function with Jacobi and Laguerre polynomials, which are given in terms of Srivastava and Daoust functions. By virtue of the most broad nature of the function included therein, our primary findings are equipped for yielding an extensive number of (presumably new) fascinating and helpful results involving orthogonal polynomials, Whittaker functions, sine and cosine functions.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.459-479
• /
• 2020

In the last two decades, codes over noncommutative rings have been one of the main trends in coding theory. Due to the fact that noncommutativity brings many challenging problems in its nature, still there are many open problems to be addressed. In 2015, generator polynomial matrices and parity-check polynomial matrices of generalized quasi-cyclic (GQC) codes were investigated by Matsui. We extended these results to the noncommutative case. Exploring the dual structures of skew constacyclic codes, we present a direct way of obtaining parity-check polynomials of skew multi-twisted codes in terms of their generators. Further, we lay out the algebraic structures of skew multipolycyclic codes and their duals and we give some examples to illustrate the theorems.