Tài liệu Báo cáo khoa học: "Some Uses of Higher-Order Logic in Computational Linguistics" pdf
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 the last point, the nature of proofs ... kinds of analyses by considering an example of determining pronoun reference. 2. Higher-Order Logic The higher-order logic we study here, called T, can be thought of as being a subsystem of...
- 10
- 503
- 0
Tài liệu Báo cáo khoa học: Improving Classification of Medical Assertions in Clinical Notes" pdf
... LinguisticsImproving 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 Language Processing (NLP) ... the training data to measure the impact of each of the four subsets of features explained in Section 3. Ta-ble 3 shows the cross validation results when cu-mulatively adding each set of features....
- 6
- 496
- 0
Tài liệu Báo cáo khoa học: Reaction mechanisms of thiamin diphosphate enzymes: redox reactions pdf
... being involved in electrontransfer, there are a few polar side chains (Glu, Gln) in close vicinity to the ThDP cofactor, which are likelyto play important roles for catalysis and binding of phosphate. ... additional E3 bindingprotein and specific kinases and phosphatases, whichcontrol the activity of the complex by reversible phos-phorylation ⁄ dephosphorylation of serine side chains in E1 [4]. Initially, ... ferredoxinis suspected to bind. Electron tunneling is likely toproceed dominantly in a through-bond mechanisminvolving the backbone and coordinating cysteinylligands of the iron-sulfur clusters....
- 15
- 532
- 0
Tài liệu Báo cáo khoa học: A role of miR-27 in the regulation of adipogenesis ppt
... 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 biologicallyrelevant ... Wefurther investigated the kinetics of miR-27 expressionduring adipogenesis using quantitative real-time PCR.As shown in Fig. 1C,D, expression of both miR-27aand miR-27b decreased by ‡ 50% within ... suggesting that downregulation of miR-27 is not sufficient to promote adipogenesis.We performed a time course study to gain furtherinsights into the role of miR-27 during different stages of adipogenesis...
- 11
- 848
- 0
Tài liệu Báo cáo khoa học: The effect of small molecules in modulating the chaperone activity of aB-crystallin against ordered and disordered protein aggregation pdf
... interact with a number of functionalgroups, including the aromatic side chains of someamino acids, through a stacking mechanism [42]. Theinteraction of arginine with aromatic amino acids of aB-crystallin ... of insulin.ACBFig. 2. aB-crystallin protects against theDTT-induced aggregation of insulin, and thisactivity is enhanced by Arg-HCl. Insulin(, 0.25 mgÆmL)1) was incubated at 37 °C in ... overallactivity of chaperone proteins. Of the target proteinstested, Arg-HCl was found to specifically increase theactivity of aB-crystallin against DTT-induced precipi-tation of insulin at intermediate...
- 13
- 613
- 0
Tài liệu Báo cáo khoa học: The role of electrostatic interactions in the antitumor activity of dimeric RNases docx
... strong, neutralizing action of the cytosolic RNaseinhibitor (cRI), a 50-kDa protein containing 16 leu-cine-rich repeat motifs [7,8]. In fact, onconase fromRana 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 tothe z axis, hence to the membrane plane, was changed (byinclination of ... produced a modestintermixing. RNase-AA-IG instead, which induced alow, but significant degree of membrane aggregation,did not show any effects on vesicle intermixing. Noeffects of membrane fusion...
- 11
- 643
- 0
Tài liệu Báo cáo khoa học: Structural characterization of Ca2+/CaM in complex with the phosphorylase kinase PhK5 peptide pdf
... extension to the protein kinase folds backon the kinase domain and interferes with the substratebinding sites. In the case of the titin and twitchinkinases, the autoinhibitory sequence acts ... hexadecameric enzyme consisting of four copies of four subunits: (abcd)4. An intrinsic calmodulin (CaM, the dsubunit) binds directly to the c protein kinase chain. The interaction site of CaM on c has ... PhKcsubunit encodes a C-terminal extension to the proteinkinase domain and treatment of the kinase withKeywordscalmodulin; kinase regulation; protein–protein interaction; NMR spectroscopyCorrespondenceJ....
- 12
- 590
- 0
Tài liệu Báo cáo khoa học: The role of N-glycosylation in the stability, trafficking and GABA-uptake of GABA-transporter 1 Terminal N-glycans facilitate efficient GABA-uptake activity of the GABA transporter pptx
... evidence thatN-glycans, in particular their terminal structures, areinvolved 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 theimmunostaining. The protein bands obtained in westernblotting were analyzed by phosphoimager scanning. Thetotal protein of ... 1-deoxymannojirimycin (dMM). Thisindicates that N-glycosylation, but not terminal trimming of the N-glycansis involved in the attainment of a correctly folded and stable conformation of GAT1. All...
- 14
- 654
- 0
Tài liệu Báo cáo khoa học: "Topological Ordering of Function Words in Hierarchical Phrase-based Translation" pdf
... 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.c2009 ACL and AFNLP1...
- 9
- 471
- 1
Tài liệu Báo cáo khoa học: "Automatic Evaluation of Sentence-Level Fluency Andrew Mutton∗" pdf
... Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics, pages 344–351,Prague, Czech Republic, June 2007.c2007 Association for Computational LinguisticsGLEU: ... wereinterested in the level of agreement of intuitive un-derstanding of fluency. We instructed them also thatthey should evaluate the sentence without consider-ing its content, using Colourless ... were high,as indicated by the maximum, minimum and meanvalues in Table 3, indicating that our assumptionthat humans had an intuitive notion of fluencyand needed only minimal instruction was...
- 8
- 507
- 0
Từ khóa: tài liệu báo cáo khoa học bản chất của khủng hoảng kinh tế thế giới pdfsome uses of higherorder logictài liệu báo cáo nghiên cứu khoa họctài liệu về báo cáo khoa họcbáo cáo khoa học công nghệ phục vụ nông nghiệp và phát triển nông thôn các tỉnh phía bắc 2006 2007 tài liệu phục vụ hội nghịnghiên cứu các tài liệu báo cáo của các nhà nghiên cứu đi trước về các lập luận khoa học về trồng và phòng bệnh dịch cho hoa hồng cách quản lý sử dụng phân bón đúng cách vvbáo cáo khoa học tài chính côngbáo cáo khoa học số loài quý hiếm tại vườn quốc gia ba bểtai lieu bao cao thuc tap khoa co khitai lieu bao cao thuc tap tai khoa duoc benh vientai lieu bao cao thuc tap y si da khoabáo cáo khoa học ảnh hưởng của tuổi thu hoạch đến năng suất và chất lượng thức ăn của cỏ voi pennisetum purpureum cỏ ghi nê panicum maximum trồng tại đan phượng hà tây pptxtai lieu bao cao thuc tap tim hieu nhan cach mot hoc sinhbáo cáo khoa học về nghệ thuật trong lieu trai chi ditai lieu bao cao thuc tap tai khoa duoc benh vien hop lucNghiên cứu sự hình thành lớp bảo vệ và khả năng chống ăn mòn của thép bền thời tiết trong điều kiện khí hậu nhiệt đới việt namNghiên cứu tổ hợp chất chỉ điểm sinh học vWF, VCAM 1, MCP 1, d dimer trong chẩn đoán và tiên lượng nhồi máu não cấpNghiên cứu tổ chức chạy tàu hàng cố định theo thời gian trên đường sắt việt namGiáo án Sinh học 11 bài 13: Thực hành phát hiện diệp lục và carôtenôitGiáo án Sinh học 11 bài 13: Thực hành phát hiện diệp lục và carôtenôitGiáo án Sinh học 11 bài 13: Thực hành phát hiện diệp lục và carôtenôitNGHIÊN CỨU CÔNG NGHỆ KẾT NỐI VÔ TUYẾN CỰ LY XA, CÔNG SUẤT THẤP LPWAN SLIDEPhát hiện xâm nhập dựa trên thuật toán k meansNghiên cứu về mô hình thống kê học sâu và ứng dụng trong nhận dạng chữ viết tay hạn chếNghiên cứu tổng hợp các oxit hỗn hợp kích thƣớc nanomet ce 0 75 zr0 25o2 , ce 0 5 zr0 5o2 và khảo sát hoạt tính quang xúc tác của chúngNghiên cứu khả năng đo năng lượng điện bằng hệ thu thập dữ liệu 16 kênh DEWE 5000Định tội danh từ thực tiễn huyện Cần Giuộc, tỉnh Long An (Luận văn thạc sĩ)Tìm hiểu công cụ đánh giá hệ thống đảm bảo an toàn hệ thống thông tinSở hữu ruộng đất và kinh tế nông nghiệp châu ôn (lạng sơn) nửa đầu thế kỷ XIXTổ chức và hoạt động của Phòng Tư pháp từ thực tiễn tỉnh Phú Thọ (Luận văn thạc sĩ)Giáo án Sinh học 11 bài 15: Tiêu hóa ở động vậtGiáo án Sinh học 11 bài 14: Thực hành phát hiện hô hấp ở thực vậtTrách nhiệm của người sử dụng lao động đối với lao động nữ theo pháp luật lao động Việt Nam từ thực tiễn các khu công nghiệp tại thành phố Hồ Chí Minh (Luận văn thạc sĩ)MÔN TRUYỀN THÔNG MARKETING TÍCH HỢPTÁI CHẾ NHỰA VÀ QUẢN LÝ CHẤT THẢI Ở HOA KỲ