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
t...
Tài liệu Báo cáo khoa học: Improving Classification of Medical Assertions in Clinical Notes" pdf
... 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...
Tài liệu Báo cáo khoa học: Reaction mechanisms of thiamin diphosphate enzymes: redox reactions pdf
... 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...
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 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...
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 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...
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 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...
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 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...
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 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...
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.
c
2009 ACL and AFNLP
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.
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,...
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 pdf
- some uses of higherorder logic
- tài liệu báo cáo nghiên cứu khoa học
- tài liệu về báo cáo khoa học
- bá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 vv
- báo cáo khoa học tài chính công
- bá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 khi
- tai lieu bao cao thuc tap tai khoa duoc benh vien
- tai lieu bao cao thuc tap y si da khoa
- bá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 pptx
- tai lieu bao cao thuc tap tim hieu nhan cach mot hoc sinh
- báo cáo khoa học về nghệ thuật trong lieu trai chi di
- tai lieu bao cao thuc tap tai khoa duoc benh vien hop luc
- Nghiên cứu sự biến đổi một số cytokin ở bệnh nhân xơ cứng bì hệ thống
- chuyên đề điện xoay chiều theo dạng
- Giáo án Sinh học 11 bài 13: Thực hành phát hiện diệp lục và carôtenôit
- Giáo án Sinh học 11 bài 13: Thực hành phát hiện diệp lục và carôtenôit
- Quản lý hoạt động học tập của học sinh theo hướng phát triển kỹ năng học tập hợp tác tại các trường phổ thông dân tộc bán trú huyện ba chẽ, tỉnh quảng ninh
- Phối hợp giữa phòng văn hóa và thông tin với phòng giáo dục và đào tạo trong việc tuyên truyền, giáo dục, vận động xây dựng nông thôn mới huyện thanh thủy, tỉnh phú thọ
- Phát triển mạng lưới kinh doanh nước sạch tại công ty TNHH một thành viên kinh doanh nước sạch quảng ninh
- Phát triển du lịch bền vững trên cơ sở bảo vệ môi trường tự nhiên vịnh hạ long
- Nghiên cứu, xây dựng phần mềm smartscan và ứng dụng trong bảo vệ mạng máy tính chuyên dùng
- Nghiê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
- Tìm hiểu công cụ đánh giá hệ thống đảm bảo an toàn hệ thống thông tin
- Thiết kế và chế tạo mô hình biến tần (inverter) cho máy điều hòa không khí
- Sở hữu ruộng đất và kinh tế nông nghiệp châu ôn (lạng sơn) nửa đầu thế kỷ XIX
- Tổ 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ĩ)
- Kiểm sát việc giải quyết tố giác, tin báo về tội phạm và kiến nghị khởi tố theo pháp luật tố tụng hình sự Việt Nam từ thực tiễn tỉnh Bình Định (Luận văn thạc sĩ)
- Tăng trưởng tín dụng hộ sản xuất nông nghiệp tại Ngân hàng Nông nghiệp và Phát triển nông thôn Việt Nam chi nhánh tỉnh Bắc Giang (Luận văn thạc sĩ)
- Tranh tụng tại phiên tòa hình sự sơ thẩm theo pháp luật tố tụng hình sự Việt Nam từ thực tiễn xét xử của các Tòa án quân sự Quân khu (Luận văn thạc sĩ)
- Giáo án Sinh học 11 bài 14: Thực hành phát hiện hô hấp ở thực vật
- Giáo án Sinh học 11 bài 14: Thực hành phát hiện hô hấp ở thực vật
- Giáo án Sinh học 11 bài 14: Thực hành phát hiện hô hấp ở thực vật