909 resultados para nonstationary subshift of finite type


Relevância:

100.00% 100.00%

Publicador:

Resumo:

In invertebrates, C-type lectins play crucial roles in innate immunity responses by mediating the recognition of host cells to pathogens and clearing microinvaders, which interact with carbohydrates and function as pattern recognition receptors (PRRs). A novel C-type lectin gene (LvLec) cDNA was cloned from hemocytes of Litopenaeus vannamei by expressed sequence tag (EST) and rapid amplification of cDNA ends (RACE) PCR. The full-length cDNA of LvLec was of 618 bp, consisting of a 5'-terminal untranslated region (UTR) of 60 bp and a 3'-UTR of 87 bp with a poly (A) tail. The deduced amino acid sequence of LvLec possessed all conserved features critical for the fundamental structure, such as the four cysteine residues (Cys(53), Cys(128), Cys(144), Cys(152)) involved in the formation of disulfides bridges and the potential Ca2+/carbohydrate-binding sites. The high similarity and the close phylogenetic relationship of LvLec shared with C-type lectins from vertebrates and invertebrates. The structural features of LvLec indicated that it was an invertebrate counterpart of the C-type lectin family. The cDNA fragment encoding the mature peptide of LvLec was recombined and expressed in Escherichia coli BL21(DE3)-pLysS. The recombinant protein (rLvLec) could agglutinate bacteria E. coli JM109 depending on Ca2+, and the agglutination could be inhibited by mannose and EDTA. These results indicated that LvLec was a new member of C-type lectin family and involved in the immune defence response to Gram negative bacteria in Litopenaeus vannamei. (C) 2008 Elsevier Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Lectin is regarded as a potential molecule involved in immune recognition and phagocytosis through opsonization in crustacean. Knowledge on lectin at molecular level would help us to understand its regulation mechanism in crustacean immune system. A novel C-type lectin gene (Fclectin) was cloned from hemocytes of Chinese shrimp Fenneropenaeus chinensis by 3' and 5' rapid amplification of cDNA ends (RACE) PCR. The full-length cDNA consists of 1482 bp with an 861 bp open reading frame, encoding 287 amino acids. The deduced amino acid sequence contains a putative signal peptide of 19 amino acids. It also contains two carbohydrate recognition domains/C-type lectin-like domains (CRD1 and CRD2), which share 78% identity with each other. CRD1 and CRD2 showed 34% and 30% identity with that of mannose-binding lectin from Japanese lamprey (Lethenteron japonicum), respectively. Both CRD1 and CRD2 of Fclectin have I I amino acids residues, which are relatively invariant in animals' C-type lectin CRDs. Five residues at Ca2+ binding site I are conserved in Fclectin. The potential Ca2+/carbohydrate-binding (site 2) motif QPD, E, NP (Gln-Pro-Asp, Glu, Asn-Pro) presented in the two CRDs of Fclectin may support its ability to bind galactose-type sugars. It could be deduced that Fclectin is a member of C-type lectin superfamily. Transcripts of Fclectin were found only in hemocytes by Northern blotting and RNA in situ hybridization. The variation of mRNA transcription level in hemocytes during artificial infection with bacteria and white spot syndrome virus (WSSV) was quantitated by capillary electrophoresis after RT-PCR. An exploration of mRNA expression variation after LPS stimulation was carried out in primarily cultured hemocytes in vitro. Expression profiles of Fclectin gene were greatly modified after bacteria, LPS or WSSV challenge. The above-stated data can provide us clues to understand the probable role of C-type lectin in innate immunity of shrimp and would be helpful to shrimp disease control. (c) 2006 Elsevier Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Lysozyme is a widely distributed hydrolase possessing lytic activity against bacterial peptidoglycan, which enables it to protect the host against pathogenic infection. In the present study, the cDNA of an invertebrate goose-type lysozyme (designated CFLysG) was cloned from Zhikong scallop Chlamys farreri by expressed sequence tag (EST) and rapid amplification of cDNA ends (RACE) techniques. The full-length cDNA of CFLysG consisted of 829 nucleotides with a canonical polyadenylation signal sequence AATAAA and a poly(A) tail, and an open reading frame (ORF) of 603 bp encoding a polypeptide of 200 amino acid residues with a predicted molecular weight of 21.92 kDa and theoretical isoelectric point of 7.76. The high similarity of CFLysG with goose-type (g-type) lysozymes in vertebrate indicated that CFLysG should be an invertebrate counterpart of g-type lysozyme family, which suggested that the origin of g-type lysozyme preceded the emergence of urochordates and even preceded the emergence of deuterostomes. Similar to most g-type lysozymes, CFLysG possessed all conserved features critical for the fundamental structure and function of g-type lysozymes, such as three catalytic residues (Glu 82, Asp 97, Asp 108). By Northern blot analysis, mRNA transcript of CFLysG was found to be most abundantly expressed in the tissues of gills, hepatopancreas and gonad, weakly expressed in the tissues of haemocytes and mantle, while undetectable in the adductor muscle. These results suggested that CFLysG could possess combined features of both the immune and digestive adaptive lysozymes. To gain insight into the in vitro lytic activities of CFLysG, the mature peptide coding region was cloned into Pichia pastoris for heterogeneous expression. Recombinant CFLysG showed inhibitive effect on the growth of both Gram-positive and Gram-negative bacteria with more potent activities against Gram-positive bacteria, which indicated the involvement of CFLysG in the innate immunity of C. farreri. (c) 2006 Elsevier Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

C-type lectins are Ca2+-dependent carbohydrate-recognition proteins that play crucial roles in innate immunity. The cDNA of C-type lectin (AiCTL1) in the bay scallop Argopecten irradians was cloned by expressed sequence tag (EST) and RACE techniques. The full-length cDNA of AiCTL1 was 660 bp, consisting of a T-terminal. untranslated region (UTR) of 30 bp and a 3' UTR of 132 bp with a polyadenylation signal sequence AATAAA and a poly(A) tail. The AiCTL1 cDNA encoded a polypeptide of 166 amino acids with a putative signal peptide of 20 amino acid residues and a mature protein of 146 amino acids. The deduced amino acid sequence of AiCTL1 was highly similar to those of the C-type lectins from other animals and contained a typical carbohydrate-recognition domain (CRD) of 121 residues, which has four conserved disulfide-bonded cysteine residues that define the CRD and two additional cysteine residues at the amino terminus. AiCTL1 mRNA was dominantly expressed in the hemocytes of the bay scallop. The temporal expression of AiCTL1 mRNA in hemocytes was increased by 5.7-and 4.9-fold at 6 h after injury and 8 h after injection of bacteria, respectively. The structural features, high similarity and expression pattern of AiCTL1 indicate that the gene may be involved in injury heating and the immune response in A. irradians. (c) 2008 Elsevier Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We study the problem of type inference for a family of polymorphic type disciplines containing the power of Core-ML. This family comprises all levels of the stratification of the second-order lambda-calculus by "rank" of types. We show that typability is an undecidable problem at every rank k ≥ 3 of this stratification. While it was already known that typability is decidable at rank ≤ 2, no direct and easy-to-implement algorithm was available. To design such an algorithm, we develop a new notion of reduction and show how to use it to reduce the problem of typability at rank 2 to the problem of acyclic semi-unification. A by-product of our analysis is the publication of a simple solution procedure for acyclic semi-unification.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is required for soundness of static typing in the presence of method overrides, but it is often in the way of the expressive power of the type system. Flexibility of static typing can be recovered in different ways: in first-order systems, by the adoption of object types with variance annotations, in second-order systems by resorting to Self types. Type inference is known to be P-complete for first-order systems of finite and recursive object types, and NP-complete for a restricted version of Self types. The complexity of type inference for systems with variance annotations is yet unknown. This paper presents a new object type system based on the notion of Split types, a form of object types where every method is assigned two types, namely, an update type and a select type. The subtyping relation that arises for Split types is variant and, as a result, subtyping can be performed both in width and in depth. The new type system generalizes all the existing first-order type systems for objects, including systems based on variance annotations. Interestingly, the additional expressive power does not affect the complexity of the type inference problem, as we show by presenting an O(n^3) inference algorithm.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work is a critical introduction to Alfred Schutz’s sociology of the multiple reality and an enterprise that seeks to reassess and reconstruct the Schutzian project. In the first part of the study, I inquire into Schutz’s biographical context that surrounds the germination of this conception and I analyse the main texts of Schutz where he has dealt directly with ‘finite provinces of meaning.’ On the basis of this analysis, I suggest and discuss, in Part II, several solutions to the shortcomings of the theoretical system that Schutz drew upon the sociological problem of multiple reality. Specifically, I discuss problems related to the structure, the dynamics, and the interrelationing of finite provinces of meaning as well as the way they relate to the questions of narrativity, experience, space, time, and identity.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The array of human immunodeficiency virus (HIV) subtypes encountered in East London, an area long associated with migration, is unusually heterogeneous, reflecting the diverse geographical origins of the population. In this study it was shown that viral subtypes or clades infecting a sample of HIV type 1 (HIV-1)-positive individuals in East London reflect the global pandemic. The authors studied the humoral response in 210 treatment-naïve chronically HIV-1-infected (>1 year) adult subjects against a panel of 12 viruses from six different clades. Plasmas from individuals infected with clade C, but also plasmas from clade A, and to a lesser degree clade CRF02_AG and CRF01_AE, were significantly more potent at neutralizing the tested viruses compared with plasmas from individuals infected with clade B. The difference in humoral robustness between clade C- and B-infected patients was confirmed in titration studies with an extended panel of clade B and C viruses. These results support the approach to develop an HIV-1 vaccine that includes clade C or A envelope protein (Env) immunogens for the induction of a potent neutralizing humoral response.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Physarum polycephalum is a well-studied microbial eukaryote with unique experimental attributes relative to other experimental model organisms. It has a sophisticated life cycle with several distinct stages including amoebal, flagellated, and plasmodial cells. It is unusual in switching between open and closed mitosis according to specific life-cycle stages. Here we present the analysis of the genome of this enigmatic and important model organism and compare it with closely related species. The genome is littered with simple and complex repeats and the coding regions are frequently interrupted by introns with a mean size of 100 bases. Complemented with extensive transcriptome data, we define approximately 31,000 gene loci, providing unexpected insights into early eukaryote evolution. We describe extensive use of histidine kinase-based two-component systems and tyrosine kinase signaling, the presence of bacterial and plant type photoreceptors (phytochromes, cryptochrome, and phototropin) and of plant-type pentatricopeptide repeat proteins, as well as metabolic pathways, and a cell cycle control system typically found in more complex eukaryotes. Our analysis characterizes P. polycephalum as a prototypical eukaryote with features attributed to the last common ancestor of Amorphea, that is, the Amoebozoa and Opisthokonts. Specifically, the presence of tyrosine kinases in Acanthamoeba and Physarum as representatives of two distantly related subdivisions of Amoebozoa argues against the later emergence of tyrosine kinase signaling in the opisthokont lineage and also against the acquisition by horizontal gene transfer.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The parallelization of existing/industrial electromagnetic software using the bulk synchronous parallel (BSP) computation model is presented. The software employs the finite element method with a preconditioned conjugate gradient-type solution for the resulting linear systems of equations. A geometric mesh-partitioning approach is applied within the BSP framework for the assembly and solution phases of the finite element computation. This is combined with a nongeometric, data-driven parallel quadrature procedure for the evaluation of right-hand-side terms in applications involving coil fields. A similar parallel decomposition is applied to the parallel calculation of electron beam trajectories required for the design of tube devices. The BSP parallelization approach adopted is fully portable, conceptually simple, and cost-effective, and it can be applied to a wide range of finite element applications not necessarily related to electromagnetics.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this paper the use of free-surface techniques, within the framework of a finite volume methodology, are investigated for the simulation of metal forming processes. In such processes, for example extrusion and forging, a workpiece is subjected to large scale deformation to create the product's shape. The use of Eulerian free-surface techniques to predict this final shape offers the advantage, over the traditionally used Lagrangian finite element method, of not requiring remmeshing. Two free-surface techniques to predict this final shape offers the advantage, over the traditionally used Lagrangian finite element method, of not requiring remesingh. Two free-surface techniques are compared by modelling a typical example of this type of process - non-Newtonian extrusion of an aluminium workpiece through a conical die.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper details the computational methodology for analysis of the structural behaviour of historic composite structures. The modelling approach is based on finite element analysis and has been developed to aid the efficient and inexpensive computational mechanics of complex composite structures. The discussion is primarily focussed on the modelling methodology and analysis of structural designs that comprise of structural beam components acting as stiffeners to a wider shell part of the structure. A computational strategy for analysis of this type of composite structures that exploits their representation through smeared shell models is detailed in the paper.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Aims/hypothesis: We investigated the association between the incidence of type 1 diabetes mellitus and remoteness (a proxy measure for exposure to infections) using recently developed techniques for statistical analysis of small-area data.

Subjects, materials and methods: New cases in children aged 0 to 14 years in Northern Ireland were prospectively registered from 1989 to 2003. Ecological analysis was conducted using small geographical units (582 electoral wards) and area characteristics including remoteness, deprivation and child population density. Analysis was conducted using Poisson regression models and Bayesian
hierarchical models to allow for spatially correlated risks that were potentially caused by unmeasured explanatory variables.

Results: In Northern Ireland between 1989 and 2003, there were 1,433 new cases of type 1 diabetes, giving a directly standardised incidence rate of 24.7 per 100,000 personyears. Areas in the most remote fifth of all areas had a significantly (p=0.0006) higher incidence of type 1 diabetes mellitus (incidence rate ratio=1.27 [95% CI 1.07, 1.50]) than those in the most accessible fifth of all areas. There was also a higher incidence rate in areas that were less deprived (p<0.0001) and less densely populated (p=0.002). After adjustment for deprivation and additional adjustment for child population density the association between diabetes and remoteness remained significant (p=0.01 and p=0.03, respectively).

Conclusions/interpretation: In Northern Ireland, there is evidence that remote areas experience higher rates of type 1 diabetes mellitus. This could reflect a reduced or delayed exposure to infections, particularly early in life, in these areas.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

High-resolution UCLES/AAT spectra are presented for nine B-type supergiants in the SMC, chosen on the basis that they may show varying amounts of nuclear-synthetically processed material mixed to their surface. These spectra have been analysed using a new grid of approximately 12 000 non-LTE line blanketed tlusty model atmospheres to estimate atmospheric parameters and chemical composition. The abundance estimates for O, Mg and Si are in excellent agreement with those deduced from other studies, whilst the low estimate for C may reflect the use of the C II doublet at 4267 Å. The N estimates are approximately an order of magnitude greater than those found in unevolved B-type stars or H II regions but are consistent with the other estimates in AB-type supergiants. These results have been combined with results from a unified model atmosphere analysis of UVES/VLT spectra of B-type supergiants (Trundle et al. 2004, A&A, 417, 217) to discuss the evolutionary status of these objects. For two stars that are in common with those discussed by Trundle et al., we have undertaken a careful comparison in order to try to understand the relative importance of the different uncertainties present in such analyses, including observational errors and the use of static or unified models. We find that even for these relatively luminous supergiants, tlusty models yield atmospheric parameters and chemical compositions similar to those deduced from the unified code fastwind.