• Bulletin of the Korean Mathematical Society
• /
• v.40 no.4
• /
• pp.583-591
• /
• 2003

For a weighted composition operator $uC_{\varphi}$ on C(X), we determine its essential norm and the constant for its Hyers-Ulam stability, in terms of the set $\varphi(\{x\;\in\;X\;:\;$\mid$u(x)$\mid$\;\geq\;r\})$ (r > 0).

• Journal of the Korean Mathematical Society
• /
• v.43 no.3
• /
• pp.553-561
• /
• 2006

In this paper, we give an alternative proof that the number of doubly alternating Baxter permutations is Catalan.

• Korean Journal of Plant Resources
• /
• v.7 no.2
• /
• pp.127-132
• /
• 1994

This experiment was carrie out to investigate the amount of essential of leaves and fruits of Magnolia sieboldii, Magnolia hypoleuca, Evodia danillii male and female, Phellodendron amurense male and female and Zanthoxylum schinifolium male and emale by Karlsrube set on August, August, September and October in 1994. Essential oil yield was highest in the fruits of Zanthoxylum schinifollium leaves on Augus the amount of essential oil of Magnolia sieboldii and Magnolia hypoleuca leaves was more than the one of Evodia danillii, Phellodendron amurense and Zanthoxylum schnifolium leaves. The amount of essential oil were not diferent between male and female leaves.

• The Journal of Korean Academy of Orthopedic Manual Physical Therapy
• /
• v.7 no.2
• /
• pp.23-39
• /
• 2001

Dysfunction of the anterior and dorsal muscles of the trunk have been studied in relation to low back pain of many years. Many muscles of the trunk are capable of contributing to the stabilization and protection of the lumbar spine, recent evidence has suggested that transversus abdominis may be critically involved and has been the focus of rehabilitation. The delay in onset of contraction of trunk muscles associated with movement of the upper or lower limb in patients with low back pain indicates a significant deficit in the automatic motor command for control of disturbance to the spine. The function of transversus abdominis has been largely ignored in the evaluation of spinal stabilization and protection. The most essential stabilizing muscles for the lumbar column are the transversus abdominis and the multifidus. Sling exercise therapy(SET) concept consists of a system of diagnosis and treatment. The system of diagnosis involves testing the muscle's tolerance through progressive loading in open and close kinetic chains. The SET system contains elements such as relaxation, increasing the range of movement, traction, training the stabilizing musculature, sensorimotor exercises, training in open and close kinetic chains, dynamic training of the mobilizing musculature, cardiovasc+ular exercises, group exercise, personal exercise at home. Sensorimotor training is an essential element of the SET concept. The emphasis is on closed kinetic chain exercises on an unstable surface, thereby achieving optimum stimulation of the sensorimotor apparatus.

• Communications of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.263-271
• /
• 2010

The Reidemeister orbit set plays a crucial role in the Nielsen type theory of periodic orbits, such as the Reidemeister set does in Nielsen fixed point theory. In this paper, using Heath and You's methods on Nielsen type numbers, we show that these numbers can be evaluated by the set of essential orbit classes under suitable hypotheses, and obtain some formulas in some special cases.

• Interdisciplinary Bio Central
• /
• v.4 no.4
• /
• pp.11.1-11.8
• /
• 2012

Genes that are indispensable for survival are referred to as essential gene. Due to the momentous significance of these genes for cellular activity they can be selected potentially as drug targets. Here in this study, an essential gene for Streptococcus suis was predicted using coherent statistical analysis and powerful genome comparison computational method. At first the whole genome protein scatter plot was generated and subsequently, on the basis of statistical significance, a reference genome was chosen. The parameters set forth for selecting the reference genome was that the genome of the query (Streptococcus suis) and subject must fall in the same genus and yet they must vary to a good degree. Streptococcus pneumoniae was found to be suitable as the reference genome. A whole genome comparison was performed for the reference (Streptococcus pneumoniae) and the query genome (Streptococcus suis) and 14 conserved proteins from them were subjected to a screen for potential essential gene property. Among those 14 only one essential gene was found to be with impressive similarity score between reference and query. The essential gene encodes for a type of 'Clp protease'. Clp proteases play major roles in degrading misfolded proteins. Results found here should help formulating a drug against Strptococcus suis which is responsible for mild to severe clinical conditions in human. However, like many other computational studies, the study has to be validated furthermore through in vitro assays for concrete proof.

• Management Science and Financial Engineering
• /
• v.13 no.1
• /
• pp.121-126
• /
• 2007

Among many graphs, directed acyclic graph(DAG) attracts many researchers due to its nice property of existence of topological sort. In some classic graph problems, it is known that, if we use the aforementioned property, then much efficient algorithms can be generated. So, in this paper, new algorithm for the all-pairs shortest path problem in a DAG is proposed. While the algorithm performing the iteration, it identifies the set of essential arcs which requires in a shortest path. So, the proposed algorithm has a running time of $O(m^*n+m)$, where m, n and $m^*$ denote the number of arcs, number of node, and the number of essential arcs in a DAG, respectively.

• 한국전산유체공학회:학술대회논문집
• /
• 2008.03b
• /
• pp.568-571
• /
• 2008

The computation of moving interface by the level set method typically requires reinitializations of level set function. An inaccurate estimation of level set function ${\phi}$ results in incorrect free-surface capturing and thus errors such as mass gain/loss. Therefore, accurate and robust reinitialization process is essential to the free-surface flows. In the present paper, we pursue further development of the reinitialization process, which evaluates directly level set function ${\phi}$ using a normal vector in the interface without solving the re-distancing equation of hyperbolic type. The Taylor-Galerkin approximation and P1P1splitting FEM are adopted to discretize advection equation of the level set function and the Navier-Stokes equation, respectively. Advection equation of free surface and re-initialization process are validated with benchmark problems, i.e., a broken dam flow and time-reversed single vortex flow. The simulation results are in good agreement with the existing results.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.32 no.10
• /
• pp.754-760
• /
• 2008

Computation of moving interface by the level set method typically requires the reinitialization of level set function. An inaccurate estimation of level set function $\phi$ results in incorrect free-surface capturing and thus errors such as mass gain/loss. Therefore, an accurate and robust reinitialization process is essential to the simulation of free-surface flows. In the present paper, we pursue further development of the reinitialization process, which evaluates level set function directly using a normal vector on the interface without solving there-distancing equation of hyperbolic type. The Taylor-Galerkin approximation and P1P1 splitting/SUPG (Streamline Upwind Petrov-Galerkin) FEM are adopted to discretize advection equation of the level set function and the incompressible Navier-Stokes equation, respectively. Advection equation and re-initialization process of free surface capturing are validated with benchmark problems, i.e., a broken dam flow and timereversed single vortex flow. The simulation results are in good agreement with the existing results.

• Journal of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.579-591
• /
• 2002

New fixed Point results for the (equation omitted) selfmaps ale given. The analysis relies on a factorization idea. The notion of an essential map is also introduced for a wide class of maps. Finally, from a new fixed point theorem of ours, we deduce some equilibrium theorems.