Comparative studies, formal semantics and PVS encoding of CSP
... COMPARATIVE STUDIES, FORMAL SEMANTICS AND PVS ENCODING OF CSP# SHI LING (B.Eng., East China Normal University (China), 2009) A THESIS SUBMITTED FOR THE DEGREE OF DOCTOR OF PHILOSOPHY SCHOOL OF ... enhancing CSP include Circus [95] (an integration of CSP and the Z language), CSP- OZ [23, 79] (an integration of CSP and Object-Z [80]) and TCOZ [46] (an int...
Ngày tải lên: 09/09/2015, 11:18
... among the strains isolated from Central Java, Indonesia and rare among strains isolated from Hesse, Germany Jonsson et al [17] described that the two S aureus fibronectin-binding proteins and ... Adhesion properties of mutants of Comparative studies on pheno- and genotypic properties of Staphylococcus aureus isolated from bovine subclinical...
Ngày tải lên: 07/08/2014, 17:22
... the paper A dependency formalism The basic idea of dependency is that the syntactic structure of a sentence is described in terms of binary relations (dependency relations) on pairs of words, a ... W ) and two integers g and v is a word object of the grammar Given a grammar G, the set of word objects of G is Wx(G)={ ~tXv/ IX, v_>0, xe W u {e} } A pair consisting of a...
Ngày tải lên: 17/03/2014, 07:20
Báo cáo y học: "Comparative phosphoproteomics reveals evolutionary and functional conservation of phosphorylation across eukaryotes" doc
... understanding of phosphorylation and the evolution of the phosphorylation network as a systems level property Not only comparative analyses aid in elucidating the evolution of phosphorylation, ... obtained in a relatively straightforward manner by dividing the number of conserved phosphorylation events of the query and target datasets by the number of sites in the query...
Ngày tải lên: 14/08/2014, 21:20
Tài liệu Báo cáo khoa học: Comparative studies of endonuclease I from cold-adapted Vibrio salmonicida and mesophilic Vibrio cholerae docx
... and plasmid were analyzed using linearized pBAD ⁄ gIII plasmid, linearized and denatured plasmid and intact plasmid The pBAD ⁄ gIII plasmid was linearized using SalI and denatured by incubation ... Biochemical Adaptation Princeton University Press, Princeton, NJ Wu SI, Lo SK, Shao CP, Tsai HW & Hor LI (2001) Cloning and characterization of a periplasmic nuclease of Vibrio vuln...
Ngày tải lên: 19/02/2014, 05:20
Tài liệu Báo cáo khoa học: Comparative studies on the functional roles of N- and C-terminal regions of molluskan and vertebrate troponin-I pdf
... 6A,B) In the present study, we compared the functional roles of the N- and C-terminal regions of 4482 H Tanaka et al molluskan and vertebrate TnI and revealed for the first time that (a) the alternative ... of the troponin complex In molluskan muscles, the C-terminal region does not function and troponin regulates contraction only through the act...
Ngày tải lên: 20/02/2014, 01:20
Báo cáo khoa học: "Comparative studies of the water relations and the hydraulic characteristics in Fraxinus excelsior, Acer pseudoplatanus and A. opalus trees under soil water contrasted conditions Damien Lemoinea, Jean-Paul Peltierb and Gérard" pdf
... to the same variations Hydraulic characteristics in F excelsior, A pseudoplatanus and A opalus trees 3.2 Regulation of water status in Fraxinus excelsior and Acer opalus trees growing in lowwatered ... study of diurnal regulation of the water status in Acer pseudoplatanus and Fraxinus excelsior trees growing in well-watered floodplains...
Ngày tải lên: 08/08/2014, 14:21
Báo cáo khoa học: "Comparative studies on the pathogenicity and tissue distribution of three virulence variants of classical swine fever virus, two field isolates and one vaccine strain, with special regard to immunohistochemical investigations" ppt
... in the cytoplasm of the epithelial (Figure 8), mononuclear and reticular cells When using the probe on the sections of the uninfected animals or the BHV-5 specific probe on the sections of the ... species The observations are useful for the early diagnosis of classical swine fever, with special regard to the detection and identification of...
Ngày tải lên: 12/08/2014, 18:22
Comparative studies on the infection and colonization of maize leaves by fusarium graminearum, f proliferatum and f verticillioides
... (Sacc.)Nirenberg,isolateAG11iwereutilizedforexaminingtheeffectsofthedifferent factorsontheinfectionofFusariumintomaizeleaves .F. graminearumwasincludedin theexperimentoneffectofinoculationsitesofFusariuminfectionandmanifestationof symptomsonmaizeplants.Theseisolateswereobtainedfromtheculturecollectionof ... and cultivar on the infection of Fusariumspeciesintomaizeleaves. ii examinet...
Ngày tải lên: 19/11/2015, 16:47
Changes of temperature data for energy studies over time and their impact on energy consumption and CO2 emissions. The case of Athens and Thessaloniki – Greece
... degree-day data change on the energy consumption for heating and cooling and on CO2 emissions In order to reach conclusions regarding the effect of temperature data changes on the energy consumption of ... requirements for heating is 11.3% for Athens and 6.1% for Thessaloniki On the contrary, for the cooling period of the 1993-20...
Ngày tải lên: 05/09/2013, 16:10
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
... properties of WhiB2 , WhiB5 , WhiB6 and WhiB7 of M tuberculosis and also compare the properties of all seven WhiB proteins We show that, similar to WhiB3 and WhiB4 , other freshly purified WhiB proteins ... preparations) A + – + – + + + + – + + + + + + + + + 10X 10X 10X 10X 10X 0.1X WhiB IscS 35S-Cys Samples Atoms of iron per monomer WhiB1 WhiB1 WhiB1 WhiB...
Ngày tải lên: 18/02/2014, 12:20
Tài liệu Báo cáo khoa học: Helix mobility and recognition function of the rat thyroid transcription factor 1 homeodomain – hints from 15N-NMR relaxation studies pdf
... (0.04) (0 .19 ) (0.09) 19 83 2493 14 86 18 85 10 30 16 30 13 45 10 38 19 60 805 514 (406) (13 74) (780) ( 710 ) ( 613 ) (809) (740) (542) (10 47) (752) (277) 19 64 15 61 1008 15 96 905 12 97 11 42 468 14 03 276 206 ... S1 Bar graph of R1, R2 and {1H} 15 N NOE values along the sequence of the TTF1 HD at 11 .7 T and 286 K 448 Fig S2 Plot of J(0.87xN)–J(0) correlati...
Ngày tải lên: 18/02/2014, 16:20
Tài liệu Báo cáo khoa học: Characterization and functional expression of cDNAs encoding thyrotropin-releasing hormone receptor from Xenopus laevis Identification of a novel subtype of thyrotropin-releasing hormone receptor ppt
... second set, A5 2 (5¢AGAGTGAGCAGGTAGCGAGAGGAG-3¢)/TRHR-8 (5¢-GGGGGTGTAGAGGTTTCTGGAGAC-3¢); third set, A5 3 (5¢-CGAGAGGAGCATTAGA-TAGATG Ó FEBS 2002 CAG-3¢)/TRHR-9 (5¢-GCCGAAATGTTGATGCCCA GATAC-3¢) (Fig ... CGTAACTTTTGCTG-3¢)/TRHR1-4 antisense (5¢-TC TGTTAAATGTACCTAAGTAGGCA-3¢) and TRHR2-2 sense (5¢-CAGCAAAATGGAAAATAGTAGC-3¢)/ TRHR2-4 antisense (5¢-CGACACTGTAGTAG-AGAT CACC-3¢), respectively...
Ngày tải lên: 21/02/2014, 03:20
Báo cáo khoa học: Insertion of the plant photosystem I subunit G into the thylakoid membrane In vitro and in vivo studies of wild-type and tagged versions of the protein doc
... amplification with primers 5¢-GCGGAGCTCATGGCCAC AAGCGCATCAGC-3¢ and 5¢-GTGGTGGTGGTGGTGG TGGAAATGGGTTTTTCCGTTCTGC-3¢ (His-tag underlined) or 5¢-TGGAGCCACCCGCAGTTCGAAAAAGAA GCTGGAGATGATCGTGCT-3¢ (Strep-tag ... template Primers were designed as follows: PSAG with a C-terminal hexa-histidine tag (PSI -G- HisTerm), 5¢-GCGGAGCTCAT GGCCACAAGCGCATCAGC-3¢ and 5¢-GCGGCATGCT CAGTGGTGGTGGTGGTGGTGTCCAA...
Ngày tải lên: 07/03/2014, 21:20