Báo cáo khoa học: "The Semantics of Grammar Formalisms Seen as Computer Languages" docx

... approached the problem of analyzing the meaning of grammar formalisms by applying the techniques of denotational semantics taken from work on the semantics of computer languages. This has enabled us ... nature of the feature systems used in augmented phrase-structure grammar formalisms, in particular those of recent versions of generalized phrase structure gram...

Ngày tải lên: 24/03/2014, 01:21

... (199aa) provides an account of LFG semantics that represents the meaning of lexical items with linear logic formulas. These formulas manipulate basic assertions of the form f~,r'.~M, ... non-coordinated cases of RNR uniformly in the semantics. This also al- lows for our semantics of coordination not to r,'- quire schemas nor entities of polymorphic type: o...

Ngày tải lên: 24/03/2014, 05:21

... (whether realized as a full clause or as a noun phrase) corresponds t'o primary information. For tasks such as knowledge extraction it is the pri- mary information that is of interest. For ... some kind of opposition could be recovered and was supported by some other means (such as emphasis through word order etc.). Tire most common form of expressing the opposition...

Ngày tải lên: 24/03/2014, 05:21

... because of an imbalance in the activity of tau kinases and phospha- tases [3]. One particular tau kinase pertinent to metal dyshomeostasis in AD is glycogen synthase kinase-3 (GSK3). GSK3 has recently ... dyshomeostasis in all aspects is clear. In the AD affected brain, metal dyshomeostasis is evident in the form of a substantial increase in the levels of extracellular metals and a de...

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

... THE REPRESENTATION OF INCONSISTENT INFORMATION IN A DYNAMIC MODEL-THEORETIC SEMANTICS Douglas B. Moran Department of Computer Science Oregon State University Corvallis, ... An important subclass of the inconsistencies provided by this mechanism are known as intensional 16 substitution failure and this mechanism can be viewed as a variant of both the "impossible&q...

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

... left of each production can only be associated with one of the occurrences of nonterminals on the right of the production. Stacks of bounded size are associated with other occurrences of nonterminals ... state set of of Me,. IIow- ever, unlike the case of the cfg shared forest gram- mar, the extraction of individual parses for the input w does not simply involve reading...

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

... homogeneous; the child nodes are a kind of (hyponym of) the disease at the par- ent node: Neoplasms (C04) is a kind of Disease C and Hamartoma (C04.445) is a kind of Neoplasms. Other trees are more heterogeneous, ... Proceedings of the 40th Annual Meeting of the Association for a head-modifier relationship, and assume that the head noun has an argument structure, much the way verbs...

Ngày tải lên: 17/03/2014, 08:20

... subunits of P. marginata, with the exception of MgeHc1 (see below). Other or additional functions of insect hemocyanins, such as a role as storage or immune proteins, or as functional phenoloxidase cannot ... weight, base composition, and secondary structure of giant nuclear ribonucleic acid. Biochem 12, 2330–2338. 41 Nicholas KB & Nicholas HB Jr (1997) GeneDoc: Analy- sis a...

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

... or turbidity assays (see below). The effect of the additives on aggregation of the target protein (in the absence and presence of aB-crystallin) was assessed at the end of each assay by calculating ... w ratio of cata- lase : aB-crystallin inhibited the precipitation of cata- lase by 71 ± 7% (Fig. 3B). This chaperone activity was not affected by increasing concentrations of Gly,...

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

... shown). The high percentage of mono- nucleosomes obtained after MNase digestion with only a small amount of dinucleosomes, as well as the grad- ual decrease of the number of nucleosomes in the main peak, ... mainly of tetra-, penta-, hexamers, minor tri- and heptamer com- ponents with an average number of nucleosomes in the main peak of 4.9, was extensively crosslinked. It w...

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