• 대한수학회논문집
• /
• 제25권1호
• /
• pp.27-36
• /
• 2010

We give a simple proof of certain mapping properties of the p-adic Riesz potential and Bessel potential, and the p-adic version of the Sobolev embedding theorem obtained in [6].

• 대한수학회논문집
• /
• 제24권2호
• /
• pp.187-195
• /
• 2009

We investigate the boundary values of the holomorphic mean Lipschitz function. In fact, we prove that the admissible limit exists at every boundary point of the unit ball for the holomorphic mean Lipschitz functions under some assumptions on the Lipschitz order. Moreover, we get embedding theorems of holomorphic mean Lipschitz spaces into Hardy spaces or into the Bloch space on the unit ball in $\mathbb{C}_n$.

• 정보과학회 논문지
• /
• 제44권4호
• /
• pp.399-410
• /
• 2017

본 연구는 전문기관에서 생산되는 검증된 문서의 정보를 웹상의 수많은 검증되지 않은 문서에 자동 주석하여 신뢰도를 향상하고 심화 정보를 추가하는 시스템을 제안한다. 제안하는 시스템은 국가암정보센터의 검증된 문서들에서 추출한 19,304개 명제를 위키피디아 암 관련 문서에서 추출한 1,486개 명제에 주석하는 과제를 수행하기 위해, 기존 인공 신경 정리 증명계의 순환 모듈을 단어 임베딩 모듈로 교체하였다. 이를 통해 기존의 근본적인 문제점이었던 학습 시간 문제를 해결하였고, 동일한 환경에서 기존 시스템의 학습 시간이 233.9일로 추정된 것에 비해 재구축한 시스템은 102.1분 내로 학습이 완료되었다. 제안하는 시스템의 장점은 명제를 텐서로 인코딩하여 미분 가능하게 전체적인 연산을 진행하는 인공 신경 정리 증명계가 단어의 정확한 일치를 파악하는 전통적인 정리 증명계를 포함하며 동시에 유사어 관계로부터의 논리 전개 역시 가능하게 한다는 점을 실제 문서 데이터에서 입증했다는 것이다.

• Journal of applied mathematics & informatics
• /
• 제5권2호
• /
• pp.517-523
• /
• 1998

In this paper we prove that a normed almost linear space \hat{X} can be embedded in a normed linear space X when a normed almost linear space X has a basis and splits as X=V+W. Also we have a metric induced by a norm on a normed almost linear space as a corollary.

• 대한수학회논문집
• /
• 제9권1호
• /
• pp.67-77
• /
• 1994

• 대한수학회보
• /
• 제46권1호
• /
• pp.171-182
• /
• 2009

In this paper, we consider the parameter space of the rational plane curves with uni-branched singularity. We show that such a parameter space is decomposable into irreducible components which are rational varieties. Rational parametrizations of the irreducible components are given in a constructive way, by a repeated use of Abhyankar-Moh Epimorphism Theorem. We compute an enumerative invariant of this parameter space, and include explicit computational examples to recover some classically-known invariants.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.643-651
• /
• 2005

In the first part of this paper we investigate several statements concerning infinite maximal planar graphs which are equivalent in finite case. In the second one, for a given induced $\theta$-path (a finite induced path whose endvertices are adjacent to a vertex of infinite degree) in a 4-connected VAP-free maximal planar graph containing a vertex of infinite degree, a new $\theta$-path is constructed such that the resulting fan is tight.

• 대한수학회보
• /
• 제56권2호
• /
• pp.319-331
• /
• 2019

On the weighted Dirichlet space, by the Sobolev's embedding theorem, we characterize the compactness for operators which are finite sums of products of several Toeplitz operators. Moreover, the essential spectrum of Toeplitz operator is characterized.

• 대한수학회논문집
• /
• 제19권4호
• /
• pp.661-681
• /
• 2004

We research properties of the space of measurable functions square integrable with weight exp$2\nu $\mid$x$\mid$$, and those of the space of Fourier hyperfunctions. Also we show that the several embedding theorems hold true, and that the Fourier-Lapace operator is an isomorphism of the space of strongly decreasing Fourier hyperfunctions onto the space of analytic functions extended to any strip in $C^n$ which are estimated with the aid of a special exponential function exp($\mu$｜x｜).

• East Asian mathematical journal
• /
• 제19권1호
• /
• pp.133-150
• /
• 2003

This paper will show that the relation (1.1) $$L^1({\Omega}){\subset}C_0(\bar{\Omega}){\subset}H_{p,q}$$ if 1/p'-1/n(1-2/q')<0 where p'=p/(p-1) and q'=q/(q-1) where $H_{p.q}=(W^{1,p}_0,W^{-1,p})_{1/q,q}$. We also intend to investigate the control problems for the retarded systems with $L^1(\Omega)$-valued controller in $H_{p,q}$.