Tài liệu Báo cáo khoa học: "LAMBEK THEOREM PROVING AND FEATURE UNIFICATION" pot
Tài liệu Báo cáo khoa học: "LAMBEK THEOREM PROVING AND FEATURE UNIFICATION" pot
... The Netherlands 1 ABSTRACT Feature Unification can be integrated with Lam- bek Theorem Proving in a simple and straightfor- ward way. Two principles determine all distribu- tion of features ... LAMBEK THEOREM PROVING AND FEATURE UNIFICATION Erik-Jan van der Linden* Institute for Language Technology and Artificial Intelligence Tilburg University ... a theorem from a set of axioms and inference rules. Especially by the work of Van Benthem (1986) and Moortgat (1988) this view, which we will name with Moortgat (1987a) Lam- bek Theorem Proving...
- 7
- 306
- 0
Tài liệu Báo cáo khoa học: Hypothalamic malonyl-CoA and CPT1c in the treatment of obesity pptx
... malonyl-CoA level and sup-pression of food intake and adiposity. Conversely, the ectopic expressionof malonyl-CoA decarboxylase in the hypothalamus is sufficient to pro-mote feeding and adiposity. ... in feeding behavior and energy expenditure.For example, the hypothalamus can sense and respondto fluctuations in the levels of blood glucose [13], fattyacids [12,14,15] and certain amino acids ... the changes inhypothalamic malonyl-CoA that affect feeding behav-ior under physiological conditions? Because glucose isthe primary fuel for the CNS and blood glucose and hypothalamic malonyl-CoA...
- 7
- 678
- 0
Tài liệu Báo cáo khoa học: X-ray crystallographic and NMR studies of pantothenate synthetase provide insights into the mechanism of homotropic inhibition by pantoate docx
... electrondensity maps and facilitate further rebuilding and improvement of the molecular model, until no unex-plained electron density remained, and the Rcryst and Rfreevalues converged at 18.9% and 24.4%, ... Protein–ligand and water-mediated protein–ligand hydrogen bond interactions (broken lines) that stablize the pantoate molecules insite I and site II of nPS. Oxygen atoms of pantoate and water ... therelaxation data, and N. Srinivasan and S. Yamunadevifor their help with modeling and analyzing theA. thaliana PS protein.References1 Umbarger E & Brown B (1958) Isoleucine and valinemetabolism...
- 16
- 791
- 0
Tài liệu Báo cáo khoa học: Mechanisms of obesity and related pathologies: Androgen deficiency and endothelial dysfunction may be the link between obesity and erectile dysfunction pptx
... obesity and related pathologies: Androgendeficiency and endothelial dysfunction may be the linkbetween obesity and erectile dysfunctionAbdulmaged M. Traish1, Robert J. Feeley1 and Andre Guay21 ... dysfunction and on features of the metabolic syndrome. Andrologia 40,44–48.110 Saad F, Gooren LJ, Haider A & Yassin A (2008) Adose-response study of testosterone on sexual dysfunc-tion and features ... obesity-induced androgen deficiency and hypogonadism-induced obesity remain the subjectof intense investigation.Several hypotheses have discussed the relationship ofandrogen deficiency and obesity....
- 13
- 662
- 0
Tài liệu Báo cáo khoa học: Activation loop 3 and the 170 loop interact in the active conformation of coagulation factor VIIa pdf
... Substrate S-2288. vmax and Kmvalues for G372A-FVIIa were 2.2mODÆmin)1ÆnM)1 and 7.1 mM and those for for FVIIa were 4.9 mODÆmin)1ÆnM)1 and 1.8 mM; (B) Substrate S-2366. vmax and Kmvaluesfor ... mODÆmin)1ÆnM)1 and 3.9 mM and thosefor FVIIa were 6.9 mODÆmin)1ÆnM)1 and 1.9 mM; (C) SubstrateS-2765. vmax and Kmvalues were not estimated; (D) SubstrateS-2238. vmax and Kmvalues ... forG372A-FVIIa and FVIIa ( Fig. 3). The association and dissociation rate constants and the derived equilibriumdissociation constant were 2.4 · 105m)1Æs)1, 1.5 ·10)3Æs)1 and 6.2 nm, respectively,...
- 11
- 619
- 0
Tài liệu Báo cáo khoa học: Toggle switches, pulses and oscillations are intrinsic properties of the Src activation/deactivation cycle doc
... CellBiol 9, 905–914.55 Sandilands E, Brunton VG & Frame MC (2007) Themembrane targeting and spatial activation of Src, Yes and Fyn is influenced by palmitoylation and distinctRhoB/RhoD endosome ... experimental verification and conclusionsOur findings of potentially bistable, oscillatory and excitable behavior of the Src cycle await experimentalABCDFig. 6. Control of the period and amplitude of ... negative and increases otherwise (Figs 2A, B), highlighting a charac-teristic feature to be tested against the experiment.DiscussionSrc and other SFKs are known as proto-oncogenes, and altered...
- 17
- 512
- 0
Tài liệu Báo cáo khoa học: Studies on structural and functional divergence among seven WhiB proteins of Mycobacterium tuberculosis H37Rv pdf
... i.e. 208 and 222 nm (a helix signature),218 nm (b strand signature), 202–204 nm (random coilsignature). In WhiB5 and WhiB6, the structure wasdominated by a helices and b strands and the propor-tion ... ellipticities varied significantly(Fig. 6). The spectra showed a-helix, b-strand and random coil features. However, the proportion of each feature varied among WhiB proteins, as evident fromthe difference ... upon their struc-tural features and redox potential. The redox potentialof disulfide oxidoreductases has been shown to belargely determined by the amino acids present in and around the active...
- 18
- 548
- 0
Tài liệu Báo cáo khoa học: SREBPs: protein interaction and SREBPs Ryuichiro Sato doc
... Rbx1, and one of afamily of F-box proteins, Fbw7 [17]. Glycogen syn-thase kinase-3b phosphorylates serine and ⁄ or threonineresidues near the ubiquitination site in SREBP-1 and SREBP-2, and ... their specific ligands are present, HNF-4 and LRH-1 appear to be exceptional, in that they are con-stitutively active in the abundance of their endogenousligands, acyl-CoA and phospholipids, ... themature forms of SREBPs, which enter the nucleus and activate genes related to cholesterol and fattyacid metabolism [1,2]. In both the cytoplasm and nucleus, SREBPs associate with a variety of...
- 6
- 589
- 1
Tài liệu Báo cáo khoa học: Substrate specificity and inhibition of brassinin hydrolases, detoxifying enzymes from the plant pathogens Leptosphaeria maculans and Alternaria brassicicola ppt
... structures of compounds tested as substrates of BHLmL2 and BHAb and potential products, references for synthesis, and HPLC retention times using methods A and B described in the Experimental procedures ... 2-mercaptoethanol and dithiothreitol. For example,1mm dithiothreitol caused 72% and 85% inhibition ofBHLmL2 and BHAb, respectively, while 1 mm 2-mer-captoethanol caused 85% and 97% inhibition ofBHLmL2 and ... oilseeds rapeseed and canola (Bras-sica napus and Brassica rapa) and vegetables such asecabbage (Brassica oleraceae var. capitata), cauliflower(B. oleraceae var. botrytis) and broccoli (B. oleraceaeKeywordsbrassinin;...
- 17
- 595
- 0
Tài liệu Báo cáo khoa học: PC1⁄3, PC2 and PC5⁄6A are targeted to dense core secretory granules by a common mechanism doc
... PACE4 and PC7, enter low-den-sity secretory vesicles and are secreted from cells in aconstitutive manner. Only three of the seven knownbasic amino acid-specific PC enzymes, PC1 ⁄ 3, PC2 and PC5 ... such as PC1 ⁄ 3, PC2 or PC5 ⁄ 6A. Understand-ing how these enzymes and their substrates are tar-geted to secretory granules is thus critical inunderstanding this key cellular process in endocrinol-ogy. ... [35S]methionine for 1 h, and chasedfor 2 h in complete medium. The chase supernatant was simultaneously immunoprecipitated for the fusion protein and endogenous PC1 ⁄ 3, and the precipitated proteins...
- 9
- 600
- 0
Từ khóa: Nghiên cứu sự biến đổi một số cytokin ở bệnh nhân xơ cứng bì hệ thốngNghiê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ấpBiệ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ô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ô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 LPWANTrả hồ sơ điều tra bổ sung đối với các tội xâm phạm sở hữu có tính chất chiếm đoạt theo pháp luật Tố tụng hình sự Việt Nam từ thực tiễn thành phố Hồ Chí Minh (Luận văn thạc sĩ)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 5000Tìm hiểu công cụ đánh giá hệ thống đảm bảo an toàn hệ thống thông tinThiế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ỷ 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ĩ)Quản lý nợ xấu tại Agribank chi nhánh huyện Phù Yên, tỉnh Sơn La (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 15: Tiêu hóa ở động vậtGiáo án Sinh học 11 bài 15: Tiêu hóa ở động vậtchuong 1 tong quan quan tri rui roGiáo án Sinh học 11 bài 14: Thực hành phát hiện hô hấp ở thực vậtTÁI CHẾ NHỰA VÀ QUẢN LÝ CHẤT THẢI Ở HOA KỲ