• Journal of Pharmaceutical Investigation
• /
• 제31권3호
• /
• pp.197-200
• /
• 2001

Lectin-conjugated ellagitannin (LET), a newly introduced melanoma-specific antitumor agent which has been synthesized by conjugation of wheat germ agglutinin as a lectin with praecoxin A as an ellagitannin, was encapsulated into sterically stabilized liposomes (SSL). Modified Folin phenol method was established for the quantitation of LET contents in liposomal formulations protein employing the standard calibration curve with bovine serum albumin. After removal of phospholipid by organic solvent extraction, which interferes the specific selectivity of the Folin-Ciocalteu reagent with the protein, recovery of LET was $94.5{\pm}2.3%$ and the encapsulation efficiency was revealed as $37.8{\pm}5.9%$ for 2.5 mg/ml LET solution.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권12호
• /
• pp.1227-1237
• /
• 2000

Hindley/Milner let-다형성 타입체계(let-polymorphic type system)에는 두 가지 타입 유추(type-inference) 알고리즘이 있다. 하나는 표준으로 알려진 W 알고리즘으로 프로그램의 문맥에 상관없이 상향식으로 유추하는 알고리즘이고, 다른 하나는 프로그램의 문맥에 따라 하양식으로 유추하는 M 알고리즘이다. 본 연구에서는 함수 적용(application)이 중첩되는 경우, M 알고리즘에 병목현상이 발생함을 보이고, 이러한 병목현상이 발생하지 않는 혼성 알고리즘 H를 제시한다. H 알고리즘은 M 알고리즘을 함수 적용 부분만 W 알고리즘으로 변형한 알고리즘으로, W보다 일찍 M보다는 늦게 오류를 감지함을 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권1호
• /
• pp.73-89
• /
• 2001

본 연구에서는 일반화된 let-다형성(let-polymorphic) 타입 유추 알고리즘을 제시하고, 이로부터 얻어지는 모든 예 알고리즘들은 Hindley/Milner 타입 체계를 안전하고 완전하게 (sound and complete) 구현하고 있음을 증명하며, 일반화된 알고리즘의 두 예 알고리즘들간에 어느 한쪽이 항상 오류를 더 신속히 감지하게 되는 조건을 제시한다. 일반화된 알고리즘으로부터 이론적으로 검증된 두 타입 유추 알고리즘, 즉, 상향성 표준 타입 유추 알고리즘 W와 하향성 알고리즘 M 뿐만 아니라 두 알고리즘의 혼성 알고리즘(hybrid algorithm)을 만들 수 있다. 만들어진 예 알고리즘들의 안전성, 완전성, 상대적인 신속한 오류 감지 성질들은 본 논문의 증명에 의해 자동적으로 유추된다. 본 논문에서 제시되는 알고리즘으로부터 만들어 낼 수 있는 예 알고르즘에는 SML/NJ와 Objective Caml 컴파일러에서 채택한 알고리즘을 포함하고 있다.

• Korean Journal of Mathematics
• /
• 제6권2호
• /
• pp.221-229
• /
• 1998

Let $k$ be a real abelian field and $k_{\infty}$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $k_n$, the $nth$ layer of the $\mathbb{Z}_p$-extension. By using the main conjecture of Iwasawa theory, we have the following: If $p$ does not divide $\prod_{{{\chi}{\in}\hat{\Delta}_k},{\chi}{\neq}1}B_{1,{\chi}{\omega}^{-1}$, then $A_n$ = {0} for all $n{\geq}0$, where ${\Delta}_k=Gal(k/\mathbb{Q})$ and ${\omega}$ is the Teichm$\ddot{u}$ller character for $p$. The converse of this statement does not hold in general. However, we have the following when $k$ is of prime conductor $q$: Let $q$ be an odd prime different from $p$. and let $k$ be a real subfield of $\mathbb{Q}({\zeta}_q)$. If $p{\mid}{\prod}_{{\chi}{\in}\hat{\Delta}_{k,p},{\chi}{\neq}1}B_{1,{\chi}{\omega}}-1$, then $A_n{\neq}\{0\}$ for all $n{\geq}1$, where ${\Delta}_{k,p}$ is the $Gal(k_{(p)}/\mathbb{Q})$ and $k_{(p)}$ is the decomposition field of $k$ for $p$.

• 충청수학회지
• /
• 제11권1호
• /
• pp.99-113
• /
• 1998

Let (H, K) be a paired Hopf algebras and let A be arbitrary left H-module coalgebra. We construct twisting coproduct on $A{\otimes}K$. We show that the well known construction of the smash coproduct can be viewed as a particular case of the construction above.

• Journal of the Korean Statistical Society
• /
• 제10권
• /
• pp.83-90
• /
• 1981

Let (X, A) be a measurable space, i.e. X is a non-empty set and A is a $\sigma$-field of subsets of X. Let $\Omega$ be a parameter space and P be a family of probability measures $P_\theta, \theta \in \Omega$ defined on (X, A).

• 대한수학회지
• /
• 제32권3호
• /
• pp.519-529
• /
• 1995

Let M be a compact smooth manifold of dimension n and let E be a flat (complet) vector bundle over M of rank r.

• 대한수학회지
• /
• 제33권3호
• /
• pp.495-505
• /
• 1996

Let $\Omega$ be a bounded domain in $R^d, d \geq 1$, with smooth boundary $\partial\Omega$, and let $0 < T < \infty$ be given.

• 대한수학회지
• /
• 제31권3호
• /
• pp.429-437
• /
• 1994

Let $M^n$ be a connected hypersurface in Euclidean (n + 1)-space $E^{n+1}$, and let $G : G^n \longrightarrow S^n(1) \subset E^{n+1}$ be its Gauss map.

• 대한수학회지
• /
• 제43권2호
• /
• pp.399-411
• /
• 2006

Let L be a subspace lattice on a Hilbert space H and X and Y be operators acting on a Hilbert space H. Let P be the projection onto $\frac\;{R(X)}$, where RX is the range of X. If PE = EP for each $E\;\in\;L$, then there exists an operator A in AlgL such that AX = Y if and only if $$sup\{{\parallel}E^{\bot}Yf{\parallel}/{\parallel}E^{\bot}Xf{\parallel}\;:\;f{\in}H,\; E{\in}L}=K\;<\;\infty$$ Moreover, if the necessary condition holds, then we may choose an operator A such that AX = Y and ${\parallel}A{\parallel} = K.$ Let x and y be vectors in H and let $P_x$ be the projection onto the singlely generated space by x. If $P_xE = EP_x$ for each $E\inL$, then the assertion that there exists an operator A in AlgL such that Ax = y is equivalent to the condition $$K_0\;:\;=\;sup\{{\parallel}E^{\bot}y{\parallel}/{\parallel}E^{\bot}x\;:\;E{\in}L}=<\;\infty$$ Moreover, we may choose an operator A such that ${\parallel}A{\parallel} = K_0$ whose norm is $K_0$ under this case.