Tài liệu Báo cáo khoa học: "Some Uses of Higher-Order Logic in Computational Linguistics" pdf

... process of finding proofs. In a more specific sense, there are sublogics of a higher-order logic in which the process of constructing proofs is not much more complicated than in similar sublogics ... programming language for certain applications. Although less work has been done on theorem proving in higher-order logic than in first-order logic as claimed in t...

Ngày tải lên: 21/02/2014, 20:20

... Linguistics Improving Classification of Medical Assertions in Clinical Notes Youngjun Kim Ellen Riloff Stéphane M. Meystre School of Computing School of Computing Department of Biomedical Informatics ... recall gains on the minority classes. 1 Introduction Since the beginning of the new millennium, there has been a growing need in the medical community for Natural...

Ngày tải lên: 20/02/2014, 05:20

... being involved in electron transfer, there are a few polar side chains (Glu, Gln) in close vicinity to the ThDP cofactor, which are likely to play important roles for catalysis and binding of phosphate. ... additional E3 binding protein and specific kinases and phosphatases, which control the activity of the complex by reversible phos- phorylation ⁄ dephosphorylation of serine side c...

Ngày tải lên: 18/02/2014, 08:20

... level of PPARc protein in committed prea- dipocytes under physiologically relevant conditions. Expression of miR-27 is elevated in obese mice In order to gain insights into the potential biologically relevant ... We further investigated the kinetics of miR-27 expression during adipogenesis using quantitative real-time PCR. As shown in Fig. 1C,D, expression of both miR-27a and...

Ngày tải lên: 18/02/2014, 08:20

... interact with a number of functional groups, including the aromatic side chains of some amino acids, through a stacking mechanism [42]. The interaction of arginine with aromatic amino acids of aB-crystallin ... of insulin. A C B Fig. 2. aB-crystallin protects against the DTT-induced aggregation of insulin, and this activity is enhanced by Arg-HCl. Insulin ( , 0.25 mgÆmL )1 ) was i...

Ngày tải lên: 18/02/2014, 16:20

... strong, neutralizing action of the cytosolic RNase inhibitor (cRI), a 50-kDa protein containing 16 leu- cine-rich repeat motifs [7,8]. In fact, onconase from Rana pipiens eggs [9], and seminal RNase ... of EIE were recorded at 30° inter- vals of r from 0 to 360°; (d) the inclination of the dimer major axis with respect to the z axis, hence to the membrane plane, was changed (by incl...

Ngày tải lên: 19/02/2014, 06:20

... extension to the protein kinase folds back on the kinase domain and interferes with the substrate binding sites. In the case of the titin and twitchin kinases, the autoinhibitory sequence acts ... hexadecameric enzyme consisting of four copies of four subunits: (abcd) 4 . An intrinsic calmodulin (CaM, the d subunit) binds directly to the c protein kinase chain. The interaction site o...

Ngày tải lên: 19/02/2014, 17:20

... evidence that N-glycans, in particular their terminal structures, are involved in regulating the GABA translocation of GAT1, but not in binding of GAT1 to GABA. Transport of GABA by GAT1 across ... blotting. Either anti- GFP mAb MAB2510 or anti-GAT1 pAb was used for the immunostaining. The protein bands obtained in western blotting were analyzed by phosphoimager scanning. The to...

Ngày tải lên: 19/02/2014, 17:20

... Proceedings of the 47th Annual Meeting of the ACL and the 4th IJCNLP of the AFNLP, pages 324–332, Suntec, Singapore, 2-7 August 2009. c 2009 ACL and AFNLP 1

Ngày tải lên: 20/02/2014, 07:20

... Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics, pages 344–351, Prague, Czech Republic, June 2007. c 2007 Association for Computational Linguistics GLEU: ... were interested in the level of agreement of intuitive un- derstanding of fluency. We instructed them also that they should evaluate the sentence without consider- ing its content,...

Ngày tải lên: 20/02/2014, 12:20