• Journal of KIISE:Software and Applications
• /
• v.30 no.10
• /
• pp.894-903
• /
• 2003

Though XML is widely used, it is still hard for end users to write XML documents. A lot of XML documents are data-centric documents which have formal data format. Even novices can easily write the data-centric XML documents if they use form-based GUIs. In this paper, we introduce a new method for generating form-based XML editor for data-centric XML documents automatically and an XML editor generator called XED. The DTD consists of sequence, choice, and repetition, and this structure can be represented with Document Decomposition Graph(DDG). XED allows users to generate an XML editor by applying the presentation rules to DDG. It also permits users to modify generated editor through changing editor`s GUI properties with direct manipulation.

• Journal of the Korean Mathematical Society
• /
• v.49 no.1
• /
• pp.153-164
• /
• 2012

In this paper, we study the existence, non-existence, and multiplicity of positive solutions for a coupled telegraph system using the xed-point theorem of cone expansion/compression type, the upper-lowe solutions method, and xed point index theory.

• East Asian mathematical journal
• /
• v.25 no.2
• /
• pp.197-213
• /
• 2009

In this paper, we give some new denitions of $\cal{L}^*_\cal{M}$-fuzzy metric spaces and we prove a common xed point theorem for two mappings in complete $\cal{L}^*_\cal{M}$-fuzzy metric spaces. We get some improved versions of several xed point theorems in complete $\cal{L}^*_\cal{M}$-fuzzy metric spaces.

• Korean Journal of Mathematics
• /
• v.24 no.1
• /
• pp.107-138
• /
• 2016

Let $a{\geqslant}2$ be a xed integer in this paper. By using the method of Goldston, Pintz and Yildirm, we will prove that there are innitely many almost-primes which can be represented as $p+a^m$ in at least two dierent ways.

• East Asian mathematical journal
• /
• v.25 no.1
• /
• pp.89-96
• /
• 2009

In this paper, we present a unique common xed point theorem under weak compatible mappings of type(A), which extends and generalizes a result of Achari [1].

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.4
• /
• pp.613-629
• /
• 2016

In this paper, we introduced the notion of multiplier of Boolean algebras and discuss related properties between multipliers and special mappings, like dual closures, homomorphisms on B. We introduce the notions of xed set $Fix_f(X)$ and normal ideal and obtain interconnection between multipliers and $Fix_f(B)$. Also, we introduce the special multiplier ${\alpha}_p$a nd study some properties. Finally, we show that if B is a Boolean algebra, then the set of all multipliers of B is also a Boolean algebra.

• Korean Journal of Mathematics
• /
• v.22 no.2
• /
• pp.339-348
• /
• 2014

In this paper, we investigate the solution of the following functional inequality $${\parallel}f(x)+f(y)+f(az),\;w{\parallel}{\leq}{\parallel}f(x+y)-f(-az),\;w{\parallel}$$ for some xed non-zero integer a, and prove the generalized Hyers-Ulam stability of it in non-Archimedean 2-normed spaces.

• Communications of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.51-65
• /
• 2011

In this paper, a composite iterative process is introduced for a generalized equilibrium problem and a pair of nonexpansive mappings. It is proved that the sequence generated in the purposed composite iterative process converges strongly to a common element of the solution set of a generalized equilibrium problem and of the common xed point of a pair of nonexpansive mappings.

• Korean Journal of Mathematics
• /
• v.24 no.1
• /
• pp.41-49
• /
• 2016

In this paper, using xed point method, we prove the Hyers-Ulam stability of the following functional equation $$\hspace{15}f+(x+y+z)+f({\sigma}(x)+y+z)+f(x+{\sigma}(y)+z)+f(x+y+{\sigma}(z))\\=4f(x)+4f(y)+4f(z)$$ with involution in paranormed spaces.

• East Asian mathematical journal
• /
• v.32 no.3
• /
• pp.319-332
• /
• 2016

In this paper, we introduce the notion of generalized ${\alpha}-{\psi}$-Geraghty multivalued mappings and investigate the existence of a xed point of such multivalued mappings. We present a concrete example and an application on integral equations illustrating the obtained results.