Tài liệu Báo cáo khoa học: "Decidability and Undecidability in stand-alone Feature Logics" doc

... was proved using re- duction from a certain undecidable tiling problem. We're going to strengthen this undecidability result, and we're going to do so by using further tiling ar- guments. ... relatively self contained, nonetheless the reader may find it helpful to have [Kasper and Rounds 1986, 1990] and [Blackburn and Spaan 1991, 1992] to hand. 2 Preliminaries Feature logics are ... problem for such stand-alone feature logics. This is an impor- tant problem to investigate. Natural language gram- mars are expressed as logical theories in stand-alone formalisms, and sentences...

Tài liệu Báo cáo khoa học: "Cues and control in Expert-Client Dialogues" docx

... might therefore explain these shifts as resulting from the per- son in control explicitly indicating that he had nothing more to say. (In the following examples a line indicates a control ... do rep- etitious and summaries operate as cues? In summarising, the speaker is indicating a natural breakpoint in the dialogue and they also indicate that they have nothing more to add at ... continuing, retaining or shifting of focus. The above approaches have concentrated on particular surface linguistic phenomena and then investigated what a putative cue serves to signal in...

Tài liệu Báo cáo khoa học: "AUXILIARIES AND CLITICS IN FRENCH UCG GRAMMAR " doc

... the sign: (v) categorizes signs in lex(ical) and pron(ominal) ones, (iv) in maac(ulin) and fem(inin), in sing(ular) and pl(ural), and introduces values for the 3 persons. (vi) the subcaflist ... flow of information between functor and argument. This information together with some defined aspects of the information carried by the functor, will be finally inscribed in the resulting concatenated ... model proposed by an Edinburgh team headed by Ewan Klein in [CALDER 86] and [ZEEVAT 86]. UCG is a feature grarnmar incorporating some basic insights from GPSG [GAZDAR 85] and HPSG [POLLARD 84]....

Tài liệu Báo cáo khoa học: Applications and trends in systems biology in biochemistry docx

... protein kinase; MCF, macrophare chemotactic factor; MCIP, modulatory calcineurin-interact-ing protein; MDCK, Madin Darby canine kidney; MEF, mouse embryonic ﬁbroblast; MEK, MAP kinase/ERK kinase; ... accuratelyexplain insulin-stimulated changes in the concentration of intracellularspecies and partitioning of glucosedisposal in skeletal muscle. Insulinpropagates a rather complexcoordination of ... ofcystathionine b-synthase byadenosylmethionine leads toan increase in homocysteineconcentrationODE ss NG NG Single time point of ﬂuxes and metabolites measuredby HPLC and radio labelingPrudova...

Tài liệu Báo cáo khoa học: Osmosensing and signaling in the regulation of mammalian cell function docx

... integrin-dependentcell volume sensing and signaling integrates into theoverall context of insulin signaling. Similarly, sensingof glutamine-induced hepatocyte swelling by integrinsfeeds into ... 5799[7]. On the other hand, hyperosmotic shrinkage pre-vents insulin-induced hepatocyte swelling and proteo-lysis inhibition, indicating that swelling-dependentsignaling essentially contributes ... MINIREVIEWOsmosensing and signaling in the regulationof mammalian cell functionFreimut Schliess, Roland Reinehr and Dieter Ha¨ussingerClinic for Gastroenterology, Hepatology and Infectiology,...

Tài liệu Báo cáo khoa học: "Liars and Saviors in a Sentiment Annotated Corpus of Comments to Political debates" pdf

... negative and iro5 Main Findings and Future DirectionsWe showed that in our setting negative opinions tend to greatly outnumber positive opinions, leaing to a very unbalanced opinion ratio). ... negative and ironic comments Main Findings and Future Directions We showed that in our setting negative opinions tend to greatly outnumber positive opinions, lead-ing to a very unbalanced opinion ... challenges on mining opi-nions from UGC, since they are frequently mentioned by pronouns, definite descrip-tions and nicknames. 1 Introduction Most of the existing approaches to opinion mining propose...

Tài liệu Báo cáo khoa học: "Abstraction and Generalisation in Semantic Role Labels: PropBank, VerbNet or both?" doc

... roles in a sentence is therefore fundamental tocorrectly describing the interface betweengrammar and meaning. In this paper, wecompare two annotation schemes, Prop-Bank and VerbNet, in a task-independent,general ... work. In some interesting experiments, Zapirain et al.(2008) test generalising abilities of VerbNet and PropBank comparatively to new role instances in general (their Table 1, line CoNLL setting, col-umn ... beequidistant in meaning, but rather to form equiva-lence classes in certain contexts.5While both role inventories under scrutiny hereuse atomic labels, their joint distribution showsinteresting relations....

Tài liệu Báo cáo khoa học: " MISREPRESENTATION AND CONTEXT IN DIALOGUE" doc

... representation, or the instructional plan. The individual conditions are combined to determine a final "score" for the PMM, using a calculus akin to MYCIN's certainty factors ([Shortliffe ... B. "The Representation and Use of Focus in a System for Understanding Dialogs" in Proceedings of the 11th International Joint Conference on Artificial Intelligence, Cambridge, Massachusetts, ... common and highly pragmatic process used in many different kinds of dialogue, especially tutorial dialogue. We use imperfect or incomplete representations in response to constraints and demands...

Tài liệu Báo cáo khoa học: "CODES AND CLUES IN CONTEXTS" pdf

... is inferred from clues provided by code and context. Both kinds of meaning are related to syntax in ways that we are coming to understand better as work continues in analyzing language and ... using the code to engage in purposeful ~ communication. The inputs now include discourse in which the amount of code to be interpreted continues to grow as participants in dialogue interact, ... proceeds, and the use of focusing (an extrallngulstlc prc~ess) tq control the inferences made in identifying the referents of pronominal anaphora. Levin and Hutchlnson analyze the clues in reports...

Tài liệu Báo cáo khoa học: "WORD AND OBJECT IN DISEASE DESCRIPTIONS" doc

... represented in CMIT. This is done by assign- ing terms which occur predominantly in one category to a single vocabulary and then sorting by entropy. Tables 6 and 7 show the vocabularies used in dermatology ... be used in the descriptions of all kinds of disease, and would accordingly have a high 'entropy'. Tables 2 and 3 show the top and bottom of the list of all words occurring in two ... TICK FRDM SKIN; APPLICA- TIONS TO SKIN OF TURPENTINE, IODINE, R~'TONE; REMOVAL OF TICK BY INSERTION OF NEEDLE BETWEEN MOUTH PARTS; ASPIRIN FOR PAIN; ANTIBIOTIC TREATMENT IN- ~-~CTIVE....

Xem thêm

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 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 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 Nghiên cứu sự biến đổi một số cytokin ở bệnh nhân xơ cứng bì hệ thống Nghiên cứu tổ chức pha chế, đánh giá chất lượng thuốc tiêm truyền trong điều kiện dã ngoại Nghiê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 nam Biện pháp quản lý hoạt động dạy hát xoan trong trường trung học cơ sở huyện lâm thao, phú thọ 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 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 ĐỒ ÁN NGHIÊN CỨU CÔNG NGHỆ KẾT NỐI VÔ TUYẾN CỰ LY XA, CÔNG SUẤT THẤP LPWAN ĐỒ ÁN NGHIÊN CỨU CÔNG NGHỆ KẾT NỐI VÔ TUYẾN CỰ LY XA, CÔNG SUẤT THẤP LPWAN NGHIÊN CỨU CÔNG NGHỆ KẾT NỐI VÔ TUYẾN CỰ LY XA, CÔNG SUẤT THẤP LPWAN SLIDE 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 Tìm hiểu công cụ đánh giá hệ thống đảm bảo an toàn hệ thống thông tin Chuong 2 nhận dạng rui ro 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ĩ)Giáo án Sinh học 11 bài 15: Tiêu hóa ở động 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 Trá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ĩ)Đổi mới quản lý tài chính trong hoạt động khoa học xã hội trường hợp viện hàn lâm khoa học xã hội việt nam