• 한국언어정보학회지:언어와정보
• /
• 제5권2호
• /
• pp.9-20
• /
• 2001

Barker (1997) has argued that all the three approaches to anaphora, namely, E-type theories, Discourse Representation Theory, and Dynamic Semantics, are faced with the so-called 'double-bind' problem in the quantifier/variable-binding model of anaphora. Recently, in the same journal, Slater (2000) has claimed that the so-called epsilon account (Slater 1991, 1993, 1994, 1997) handles the problem without any difficulty. However, it will be proposed in this paper that the epsilon account has its own problems in handling the quantifier/variable-binding, and that as argued in Yoon (1998), the so-called‘conjunctive paraphrase’account is the correct solution to the problem, which is intuitively supported as well.

• 생명과학회지
• /
• 제30권11호
• /
• pp.1012-1020
• /
• 2020

생쥐의 가변부위가 인간의 정상부위에 연결되어 제조된 바이오시밀러 자연항체치료제인 레미케이드는 암괴사인자-알파(TNF-α)에 특이적인 항체로써 카이메릭 단일클론항체이며 류마티스 관절염치료를 위해 개발되었다. 바이오시밀러 레미케이드 항체의 생물학적 기능을 연구하기 위해 우리는 단백질 데이터 은행을 이용한 생물정보학 분석을 수행하여 레미케이드 자연항체와 암괴사인자-알파 항원간의 결합기작특징을 분석하였다. 자연항체를 생산하는 세포의 유전적 불안정성 때문에 레미케이드 항체생산이 제한되므로 우리는 중 사슬 가변부위를 다중펩타이드 링커에 의해 경 사슬 가변부위에 연결된 레미케이드 ScFv항체(Remicade)를 제조하였다. 더욱이 더 높은 생산과 더 높은 항원결합력을 위해 레미케이드 ScFv를 leucine zipper에 융합시켰다. Remicade와 RemicadeScZip ScFv는 대장균에서 발현되었고 Ni⁺-NTA-아가로스 컬럼으로 정제하였다. 정제된 단백질들은 예상한대로 sodium dodecyl sulfate-polyacrylamide electrophoresis에서 28.80 kDa과 33.96 kDa을 나타내었다. Remicade는 ELISA, western blot에서 TNF-α 항원에 대한 결합력이 관찰되지 않았으나 RemicadeScZip은 항원결합력을 나타내었다. 추가적인 BLI분석으로 RemicadeScZip의 TNF-α 항원에 대한 결합력을 재확인시켜주었으며 이 결과는 Leucine zipper가 레미케이드 ScFv의 접힘을 안정화시키고 TNF-α 항원에 대한 결합력을 개선시켰음을 제시해주고 있다.

• Bulletin of the Korean Chemical Society
• /
• 제30권11호
• /
• pp.2717-2722
• /
• 2009

The use of the classification and regression tree (CART) methodology was studied in a quantitative structure-activity relationship (QSAR) context on a data set consisting of the binding affinities of 39 imidazobenzodiazepines for the α1 benzodiazepine receptor. The 3-D structures of these compounds were optimized using HyperChem software with semiempirical AM1 optimization method. After optimization a set of 1481 zero-to three-dimentional descriptors was calculated for each molecule in the data set. The response (dependent variable) in the tree model consisted of the binding affinities of drugs. Three descriptors (two topological and one 3D-Morse descriptors) were applied in the final tree structure to describe the binding affinities. The mean relative error percent for the data set is 3.20%, compared with a previous model with mean relative error percent of 6.63%. To evaluate the predictive power of CART cross validation method was also performed.

• Asian-Australasian Journal of Animal Sciences
• /
• 제16권11호
• /
• pp.1686-1689
• /
• 2003

The ability of ten probiotic bacteria to bind a common food carcinogen aflatoxin $G_1$,$G_2$ and $B_2$ was assessed. The strains were incubated in vitro with aflatoxins and the toxin residues in the supernatant were measured using high performance liquid chromatography. The aflatoxin $G_1$ binding capacity of the strains was found to strain dependent, most efficient binding of AF$G_1$ was observed by L. acidophilus CU028 and L. brevis CU06 which bound approximately 50%. L. acidophilus CU028 was capable of bind approximately 67% of AF$G_2$, difference in their binding ability showed statistical significance (p>0.05). L. acidophilus CU028 and L. helveticus CU 631 were the best binders and the strains were observed to possess variable AF$B_2$-binding ability in the range was from 38.0% to 55.9%. Lactobacillus acidophilus CU028 was the best common binders of the three types of food carcinogen aflatoxins. The application of binding phenomenon in the removal of mycotoxins from contaminated feeds is urgently needed to improve the safety of feeds.

• Journal of Microbiology
• /
• 제45권6호
• /
• pp.572-577
• /
• 2007

To enhance therapeutic potential of murine monoclonal antibody, humanization by CDR grafting is usually used to reduce immunogenic mouse residues. Most humanized antibodies still have mouse residues critical for antigen binding, but the mouse residues may evoke immune responses in humans. Previously, we constructed a new humanized version (AKA) of mouse CC49 antibody specific for tumor-associated glycoprotein, TAG-72. In this study, to select a completely human antibody light chain against TAG-72, guided selection strategy using phage display was used. The heavy chain variable region (VH) of AKA was used to guide the selection of a human TAG-72-specific light chain variable region (VL) from a human VL repertoire constructed from human PBL. Most of the selected VLs were identified to be originated from the members of the human germline VK1 family, whereas the VL of AKA is more homologous to the VK4 family. Competition binding assay of the selected Fabs with mouse CC49 suggested that the epitopes of the Fabs overlap with that of CC49. In addition, they showed better antigen-binding affinity compared to parental AKA. The selected human VLs may be used to guide the selection of human VHs to get completely human anti-TAG72 antibody.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• 논리연구
• /
• 제20권1호
• /
• pp.97-112
• /
• 2017

컴퓨터를 이용한 수학적 증명의 정형화는 현대수학의 중요한 연구도구로 활용되고 있다. 본 논문에서는 정형증명에 대한 프레게의 영향을 살펴본다. 이를 위해 자유변항과 구속변항을 정형증명에서 다룰 때 발생하는 문제를 설명한 후, 프레게의 Begriffsschrift에서 언급된 아이디어를 이용하여 변항을 정형적으로 다룰 수 있는 해결책을 소개한다.

• Molecules and Cells
• /
• 제43권7호
• /
• pp.607-618
• /
• 2020

microRNAs (miRNAs) are non-coding RNA molecules involved in the regulation of gene expression. miRNAs inhibit gene expression by binding to the 3' untranslated region (UTR) of their target gene. miRNAs can originate from transposable elements (TEs), which comprise approximately half of the eukaryotic genome and one type of TE, called the long terminal repeat (LTR) is found in class of retrotransposons. Amongst the miRNAs derived from LTR, hsa-miR-3681 was chosen and analyzed using bioinformatics tools and experimental analysis. Studies on hsa-miR-3681 have been scarce and this study provides the relative expression analysis of hsa-miR-3681-5p from humans, chimpanzees, crab-eating monkeys, and mice. Luciferase assay for hsa-miR-3681-5p and its target gene SHISA7 supports our hypothesis that the number of miRNA binding sites affects target gene expression. Especially, the variable number tandem repeat (VNTR) and hsa-miR-3681-5p share the binding sites in the 3' UTR of SHISA7, which leads the enhancer function of hsamiR-3681-5p to inhibit the activity of VNTR. In conclusion, hsa-miR-3681-5p acts as a super-enhancer and the enhancer function of hsa-miR-3681-5p acts as a repressor of VNTR activity in the 3' UTR of SHISA7.

• 대한치과교정학회지
• /
• 제20권2호
• /
• pp.409-417
• /
• 1990

Tooth movement would be impeded by frictional force arised between archwire and tube, bracket or elastics in the fixed orthodontic appliances, which could be changed variably by such several factors as the contact area, normal (perpendicular) force and the condition of contact surface. There were many literatures about frictional force in the orthodontic region, but different results were obtained from little controlled research so that was very difficult in clinical application. Therefore we have reviewed comprehensively previous literatures about frictional force and thus several results were obtained as follows: 1. For use species of the orthodontic wire, frictional force was influenced mainly by surface roughness of wire in the absence of binding, while that was influenced mainly by normal force in high binding angulation. 2. For the cross-section and diameter of the wire, the contact area influenced mainly on frictional force in the absence of binding, while wire stiffness influenced mainly on frictional force in high binding angulation. 3. The greater the bracket width, the greater frictional force, and frictional force of the plastic bracket was larger than that of the metal bracket. 4. For ligation type, frictional force of the stainless steel ligation was larger than that of the elastic ligation, and frictional force was directly proportional to ligation force. 5. Variable frictional force were occured from the saliva combined with such another factors as normal force and mode of surface oxide et al.

• Biomolecules & Therapeutics
• /
• 제9권2호
• /
• pp.79-87
• /
• 2001

Heat shock proteins serve as chaperone by preventing the aggregation of denatured proteins and promote survival of pathogens in harsh environments. In this study, heat shock gene encoding a 84-kDa (p84) protein, which is one of the three major heat shock proteins in S. pneumoniae, was cloned and characterized. PCR with a forward primer derived from N-terminal amino acid sequence of the p84 and a reverse primer derived from the conserved second ATP-binding region of Clp family was used for amplification of the gene encoding the p84 and subsequently the PCR product was used for sequence determination. Sequence analysis of the p84 gene demonstrated that it is a member of ClpL. The deduced amino acid sequence of pneumococcal ClpL shows homology with other members of the Clp family, and particularly, even in variable leader region, with bovine Clp-like protein and L. lactis ClpL. S. pneumoniae clpL is the smallest clop member (701 amono acids) containing the two conserved ATP-binding regions, and hydrophilic N-terminal variable region of pneu-mococcal Clp ATPase is much shorter than any known Clp ATPases. Histidine tagged ClpL was overexpressed and purified from E. coli. Immunoblot analysis employing antisera raised against pneumococcus p84 demonstrated no cross-reactivity with Clp analog in Eschericha coli, Staphylococcus aureus and human HeLa cells. Preimmunization of mice with ClpL extended mice life partially but did not protect them from death.