Báo cáo khoa học: "PROOF FIGURES AND STRUCTURAL OPERATORS FOR CATEGORIAL GRAMMAR" pot

... PROOF FIGURES AND STRUCTURAL OPERATORS FOR CATEGORIAL GRAMMAR" Guy Barry, Mark Hepple t, Nell Leslie and Glyn Morrill I Centre for Cognitive Science, University ... which it follows that normal forms are unique. 2 For formulations of L that are oriented to pars- ing, defining normal forms for proofs provides a basis for handling the so-called 'spurious ......

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

... Traditionally, most of this knowl- edge is created by hand, and the effort must be re- peated for new domains, new characters and plot elements. Fortunately, recent work in natural language processing ... coherence) that is good enough for peo- ple to understand. Cheng and Mellish (2000) focus on the interaction of aggregation and text planning and use genetic algorithms to sear...

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

... except for having null strings (i.e. " "), and we call them zero mor- phemes. Most in Categorial Grammar and relat- ed forms of unification-based grammars, on the other hand, take ... a default feature. For exam- ple, "dog" in both "dog+SG" and "dog+s" contrib- utes the same translation, and the suffixes "+SG" and "...

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

... cono- marphin were 0.54 ± 0.24 A ˚ for the backbone atoms (N, CR, and C) and 1.25 ± 0.30 A ˚ for all heavy atoms, and the values for l-Phe13-conomarphin were 0.44 ± 0.16 A ˚ and 1.22 ± 0.22 A ˚ , respectively. Finally, ... A ˚ for NH i –O j bonds and 2.8–3.2 A ˚ for N i –O j bonds, respectively. Structural computation and refinement The experimentally derived distance c...

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

... Definitive structural Fig. 4. MALDI-TOF and PSD analyses of the glycopeptide isolated from Cyn d 24. (A) Four signals at m ⁄ z 2646.4, 2668.4, 2778.4 and 2800.4 were obtained for the glycopeptide before ... searches were performed using the BLAST program, and multiple amino acid sequence alignments were performed using the genedoc program. Glycopeptide identification and analysis F...

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

... Purification and structural study of the b form of human cAMP-dependent protein kinase inhibitor Rong Jin 1 , Linsen Dai 1 , Jinbiao Zheng 1 and Chaoneng Ji 2 1 Center of Analysis and Measurement and 2 State ... three mouse PKI genes encoding three isoforms (PKIa,PKIb and PKIc) [3,8,9] and two human genes encoding PKIa [10] and PKIc (Genbank accession numbers AB019517 and AF1...

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

... homology between TAXI-IA and rTAXI-IIA (86.4%), on the one hand, and complete sequence identity for BSX, on the other, molecular replacement was the method of choice to obtain preliminary phases for calculating ... DESY for assistance and the European Union for support of the work at EMBL Hamburg. The ‘Instituut voor de aanmoediging van Innovatie door Wetenschap en Technologie i...

Ngày tải lên: 23/03/2014, 05:22

... further information on the nature of the sialylated glycoforms. Comparison of the total ion electropherogram in negative ion mode (Fig. 3A) and selective ion scanning for m/z 290, specific for sialic ... RM118 and RM118 lgtC, Sial-Lac glycoforms were observed in addition to the higher mass sialylated glycoforms. As expected Sial-Lac-containing glycoforms were not observed in the lic2A...

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

... PST as a knowl- edge source for DA detection, we essentially need to model the relationship between the random DA and the random DR. Denote the random DA by X and the random DR by Y . Given a text ... z-score (Larsen and Marx, 2000) of each word w in the ASR output. Figure 3 illustrates the PST for the sentences: Where is the Anping-Fort. There are two keywords Where and Anping-Fo...

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

... hy- pothesis. Pop h, the best hypothesis, off the stack. If h is a complete sentence, output h and terminate. For each possible next word w, extend h by adding w and push the resulting hy- pothesis ... in standard TSP. We create a binary (0/1) integer variable for each pair of hotels and . if and only if travel from hotel to hotel is on the itinerary. The objective function is str...

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