883 resultados para crittografia, mixnet, EasyCrypt, game-based proofs,sequence of games, computation-aided proofs
Resumo:
Doctoral Program in Computer Science
Resumo:
In this article, we develop a specification technique for building multiplicative time-varying GARCH models of Amado and Teräsvirta (2008, 2013). The variance is decomposed into an unconditional and a conditional component such that the unconditional variance component is allowed to evolve smoothly over time. This nonstationary component is defined as a linear combination of logistic transition functions with time as the transition variable. The appropriate number of transition functions is determined by a sequence of specification tests. For that purpose, a coherent modelling strategy based on statistical inference is presented. It is heavily dependent on Lagrange multiplier type misspecification tests. The tests are easily implemented as they are entirely based on auxiliary regressions. Finite-sample properties of the strategy and tests are examined by simulation. The modelling strategy is illustrated in practice with two real examples: an empirical application to daily exchange rate returns and another one to daily coffee futures returns.
Resumo:
Surgical site infections (SSI) often occur after invasive surgery, which is as a serious health problem, making it important to develop new biomaterials to prevent infections. Spider silk is a natural biomaterial with excellent biocompatibility, low immunogenicity and controllable biodegradability. Through recombinant DNA technology, spider silk-based materials can be bioengineered and functionalized with antimicrobial (AM) peptides 1. The aim of this study is to develop new materials by combining spider silk chimeric proteins with AM properties and silk fibroin extracted from Bombyx mori cocoons to prevent microbial infection. Here, spider silk domains derived from the dragline sequence of the spider Nephila clavipes (6 mer and 15 mer) were fused with the AM peptides Hepcidin and Human Neutrophil peptide 1 (HNP1). The spider silk domain maintained its self-assembly features allowing the formation of beta-sheets to lock in structures without any chemical cross-linking. The AM properties of the developed chimeric proteins showed that 6 mer + HNP1 protein had a broad microbicidal activity against pathogens. The 6 mer + HNP-1 protein was then assembled with different percentages of silk fibroin into multifunctional films. In vitro cell studies with a human fibroblasts cell line (MRC5) showed nontoxic and cytocompatible behavior of the films. The positive cellular response, together with structural properties, suggests that this new fusion protein plus silk fibroin may be good candidates as multifunctional materials to prevent SSI.
Resumo:
v.37:no.1(1955)
Resumo:
We prove the non-emptiness of the core of an NTU game satisfying a condition of payoff-dependent balancedness, based on transfer rate mappings. We also define a new equilibrium condition on transfer rates and we prove the existence of core payoff vectors satisfying this condition. The additional requirement of transfer rate equilibrium refines the core concept and allows the selection of specific core payoff vectors. Lastly, the class of parametrized cooperative games is introduced. This new setting and its associated equilibrium-core solution extend the usual cooperative game framework and core solution to situations depending on an exogenous environment. A non-emptiness result for the equilibrium-core is also provided in the context of a parametrized cooperative game. Our proofs borrow mathematical tools and geometric constructions from general equilibrium theory with non convexities. Applications to extant results taken from game theory and economic theory are given.
Resumo:
We have used massively parallel signature sequencing (MPSS) to sample the transcriptomes of 32 normal human tissues to an unprecedented depth, thus documenting the patterns of expression of almost 20,000 genes with high sensitivity and specificity. The data confirm the widely held belief that differences in gene expression between cell and tissue types are largely determined by transcripts derived from a limited number of tissue-specific genes, rather than by combinations of more promiscuously expressed genes. Expression of a little more than half of all known human genes seems to account for both the common requirements and the specific functions of the tissues sampled. A classification of tissues based on patterns of gene expression largely reproduces classifications based on anatomical and biochemical properties. The unbiased sampling of the human transcriptome achieved by MPSS supports the idea that most human genes have been mapped, if not functionally characterized. This data set should prove useful for the identification of tissue-specific genes, for the study of global changes induced by pathological conditions, and for the definition of a minimal set of genes necessary for basic cell maintenance. The data are available on the Web at http://mpss.licr.org and http://sgb.lynxgen.com.
Resumo:
In this paper, we consider an exchange economy µa la Shitovitz (1973), with atoms and an atomless set. We associate with it a strategic market game of the kind first proposed by Lloyd S. Shapley and known as the Shapley window model. We analyze the relationship between the set of the Cournot-Nash equilibrium allocations of the strategic market game and the Walras equilibrium allocations of the exchange economy with which it is associated. We show, with an example, that even when atoms are countably in¯nite, any Cournot-Nash equilibrium allocation of the game is not a Walras equilibrium of the underlying exchange economy. Accordingly, in the original spirit of Cournot (1838), we par- tially replicate the mixed exchange economy by increasing the number of atoms, without a®ecting the atomless part, and ensuring that the measure space of agents remains finite. We show that any sequence of Cournot-Nash equilibrium allocations of the strategic market games associated with the partially replicated exchange economies approximates a Walras equilibrium allocation of the original exchange economy.
Resumo:
Cytotoxic T cells (CTL) recognize short peptides that are derived from the proteolysis of endogenous cellular proteins and presented on the cell surface as a complex with MHC class I molecules. CTL can recognize single amino acid substitutions in proteins, including those involved in malignant transformation. The mutated sequence of an oncogene may be presented on the cell surface as a peptide, and thus represents a potential target antigen for tumour therapy. The p21ras gene is mutated in a wide variety of tumours and since the transforming mutations result in amino acid substitutions at positions 12, 13 and 61 of the protein, a limited number of ras peptides could potentially be used in the treatment of a wide variety of malignancies. A common substitution is Val for Gly at position 12 of p21ras. In this study, we show that the peptide sequence from position 5 to position 14 with Val at position 12-ras p5-14 (Val-12)-has a motif which allows it to bind to HLA-A2.1. HLA-A2.1-restricted ras p5-14 (Val-12)-specific CTL were induced in mice transgenic for both HLA-A2.1 and human beta2-microglobulin after in vivo priming with the peptide. The murine CTL could recognize the ras p5-14 (Val-12) peptide when they were presented on both murine and human target cells bearing HLA-A2.1. No cross-reactivity was observed with the native peptide ras p5-14 (Gly-12), and this peptide was not immunogenic in HLA-A2.1 transgenic mice. This represents an interesting model for the study of an HLA-restricted CD8 cytotoxic T cell response to a defined tumour antigen in vivo.
Resumo:
SUMMARY : Eukaryotic DNA interacts with the nuclear proteins using non-covalent ionic interactions. Proteins can recognize specific nucleotide sequences based on the sterical interactions with the DNA and these specific protein-DNA interactions are the basis for many nuclear processes, e.g. gene transcription, chromosomal replication, and recombination. New technology termed ChIP-Seq has been recently developed for the analysis of protein-DNA interactions on a whole genome scale and it is based on immunoprecipitation of chromatin and high-throughput DNA sequencing procedure. ChIP-Seq is a novel technique with a great potential to replace older techniques for mapping of protein-DNA interactions. In this thesis, we bring some new insights into the ChIP-Seq data analysis. First, we point out to some common and so far unknown artifacts of the method. Sequence tag distribution in the genome does not follow uniform distribution and we have found extreme hot-spots of tag accumulation over specific loci in the human and mouse genomes. These artifactual sequence tags accumulations will create false peaks in every ChIP-Seq dataset and we propose different filtering methods to reduce the number of false positives. Next, we propose random sampling as a powerful analytical tool in the ChIP-Seq data analysis that could be used to infer biological knowledge from the massive ChIP-Seq datasets. We created unbiased random sampling algorithm and we used this methodology to reveal some of the important biological properties of Nuclear Factor I DNA binding proteins. Finally, by analyzing the ChIP-Seq data in detail, we revealed that Nuclear Factor I transcription factors mainly act as activators of transcription, and that they are associated with specific chromatin modifications that are markers of open chromatin. We speculate that NFI factors only interact with the DNA wrapped around the nucleosome. We also found multiple loci that indicate possible chromatin barrier activity of NFI proteins, which could suggest the use of NFI binding sequences as chromatin insulators in biotechnology applications. RESUME : L'ADN des eucaryotes interagit avec les protéines nucléaires par des interactions noncovalentes ioniques. Les protéines peuvent reconnaître les séquences nucléotidiques spécifiques basées sur l'interaction stérique avec l'ADN, et des interactions spécifiques contrôlent de nombreux processus nucléaire, p.ex. transcription du gène, la réplication chromosomique, et la recombinaison. Une nouvelle technologie appelée ChIP-Seq a été récemment développée pour l'analyse des interactions protéine-ADN à l'échelle du génome entier et cette approche est basée sur l'immuno-précipitation de la chromatine et sur la procédure de séquençage de l'ADN à haut débit. La nouvelle approche ChIP-Seq a donc un fort potentiel pour remplacer les anciennes techniques de cartographie des interactions protéine-ADN. Dans cette thèse, nous apportons de nouvelles perspectives dans l'analyse des données ChIP-Seq. Tout d'abord, nous avons identifié des artefacts très communs associés à cette méthode qui étaient jusqu'à présent insoupçonnés. La distribution des séquences dans le génome ne suit pas une distribution uniforme et nous avons constaté des positions extrêmes d'accumulation de séquence à des régions spécifiques, des génomes humains et de la souris. Ces accumulations des séquences artéfactuelles créera de faux pics dans toutes les données ChIP-Seq, et nous proposons différentes méthodes de filtrage pour réduire le nombre de faux positifs. Ensuite, nous proposons un nouvel échantillonnage aléatoire comme un outil puissant d'analyse des données ChIP-Seq, ce qui pourraient augmenter l'acquisition de connaissances biologiques à partir des données ChIP-Seq. Nous avons créé un algorithme d'échantillonnage aléatoire et nous avons utilisé cette méthode pour révéler certaines des propriétés biologiques importantes de protéines liant à l'ADN nommés Facteur Nucléaire I (NFI). Enfin, en analysant en détail les données de ChIP-Seq pour la famille de facteurs de transcription nommés Facteur Nucléaire I, nous avons révélé que ces protéines agissent principalement comme des activateurs de transcription, et qu'elles sont associées à des modifications de la chromatine spécifiques qui sont des marqueurs de la chromatine ouverte. Nous pensons que lés facteurs NFI interagir uniquement avec l'ADN enroulé autour du nucléosome. Nous avons également constaté plusieurs régions génomiques qui indiquent une éventuelle activité de barrière chromatinienne des protéines NFI, ce qui pourrait suggérer l'utilisation de séquences de liaison NFI comme séquences isolatrices dans des applications de la biotechnologie.
Resumo:
Sixteen patients with essential hypertension were treated for 2 consecutive 6-week periods with either the angiotensin-converting enzyme (ACE) inhibitor enalapril (20 mg once daily) or the calcium antagonist diltiazem (120 mg twice daily). The sequence of the treatment phases was randomly allocated. Blood pressure decreased from 154/102 +/- 5/2 mm Hg (mean +/- SEM) to 135/96 +/- 4/2 and 140/98 +/- 3/2 mm Hg during treatment with enalapril and diltiazem, respectively. It was impossible in the individual hypertensive patient to predict the long-term blood pressure response to one of the agents studied based on the long-term blood pressure response to the other agent.
Resumo:
The genus Aotus spp. (owl monkey) is one of the WHO recommended experimental models for Plasmodium falciparum blood stage infection, especially relevant for vaccination studies with asexual blood stage antigens of this parasite. For several immunization trials with purified recombinant merozoite/schizont antigens, the susceptible Aouts kenotypes II, III, IV and VI were immunized with Escherichia coli derived fusion proteins containg partial sequences of the proteins MSAI (merozoite surface antigen I), SERP (serine-strech protein) and HRPII (histidine alanine rich protein II) as well as with a group of recombinant antigens obtained by an antiserum raised against a protective 41 kD protein band. The subcutaneous application (3x) of the antigen preparations was carried out in intact animals followed by splenectomy prior to challange, in order to increase the susceptibility of the experimental hosts to the parasite. A partial sequence of HRPII, the combination of three different fusion proteins of the 41 kD group and mixture of two sequences of SERP in the presence of the modified Al(OH)3 adjuvant conferred significant protection against a challange infection with P. falciparum blood stages (2-5 x 10 (elevado a sexta potência) i. RBC). Monkey immunized with the MS2-fusion protein carrying the N-terminal part of the 195 kD precursor of the major merozoite surface antigens induced only marginal protection showing some correlation between antibody titer and degree of parasitaemia. Based on the protective capacity of these recombinant antigens we have expressed two hybrid proteins (MS2/SERP/HRPII and SERP/MSAI/HRPII) in E. coli containing selected partial sequences of SERP, HRPII and MSAI. Antibodies raised against both hybrid proteins in rabbits and Aotus monkeys recognize the corresponding schizont polypeptides. In two independent immunization trials using 13 animals (age 7 months to 3 years) we could show that immunization of Aotus monkeys with either of the two hybrid proteins administered in an oil-based well tolerated formulation protected the animals frm a severe experimental P. falciparum (strain Palo Alto) infection.
Resumo:
Colorectal cancer (CRC) is one of the most intensively studied cancer types, partly because of its high prevalence but also because of the existence of its precursor lesions, tubular or villous adenomas, and more recently (sessile) serrated adenomas, which can be detected endoscopically and removed. The morphological steps in the adenoma-carcinoma sequence have been elucidated at a molecular level, which has been facilitated by identification of the genes responsible for familial intestinal cancer. However, apart from early detection of familial forms of CRC and its use in genetic counseling, until recently such detailed molecular knowledge has had little impact on clinical management of the disease. This has dramatically changed in the last decade. With drugs specifically targeting the epidermal growth factor receptor (EGFR) having been shown effective in CRC, mechanisms responsible for resistance have been explored. The finding that KRAS mutated cancers do not respond to anti-EGFR treatment has had a profound impact on clinical management and on molecular diagnostics of CRC. Additional genetic tests for mutations in NRAS, BRAF and PIK3CA contribute to determining who to treat, and others will follow. New therapies effective in patients with advanced CRC are under investigation. Remaining burning questions for optimal management are which patients will relapse after resection of the primary tumor and which patients will respond to the standard 5FU-oxaliplatin adjuvant treatment regimen. Predictive tests to address these issues are eagerly awaited. New classifications of CRC, based on molecular parameters, are emerging, and we will be confronted with new subtypes of CRC, for which the definition is based on combinations of gene expression patterns, chromosomal alterations, gene mutations and epigenetic characteristics. This will be instrumental in designing new approaches for therapy but will also be translated into molecular diagnostics. Both will contribute to improved clinical management of CRC.
Resumo:
Polyomavirus JC (JCV) is ubiquitous in humans and causes a chronic demyelinating disease of the central nervous system , progressive multifocal leukoencephalopathy which is common in AIDS. JCV is excreted in urine of 30-70% of adults worldwide. Based on sequence analysis of JCV complete genomes or fragments thereof, JCV can be classified into geographically derived genotypes. Types 1 and 2 are of European and Asian origin respectively while Types 3 and 6 are African in origin. Type 4, a possible recombinant of European and African genotypes (1 and 3) is common in the USA. To delineate the JCV genotypes in an aboriginal African population, random urine samples were collected from the Biaka Pygmies and Bantu from the Central African Republic. There were 43 males and 25 females aged 4-55 years, with an average age of 26 years. After PCR amplification of JCV in urine, products were directly cycle sequenced. Five of 23 Pygmy adults (22%) and four of 20 Bantu adults (20%) were positive for JC viruria. DNA sequence analysis revealed JCV Type 3 (two), Type 6 (two) and one Type 1 variant in Biaka Pygmies. All the Bantu strains were Type 6. Type 3 and 6 strains of JCV are the predominant strains in central Africa. The presence of multiple subtypes of JCV in Biaka Pygmies may be a result of extensive interactions of Pygmies with their African tribal neighbors during their itinerant movements in the equatorial forest.
Resumo:
BACKGROUND: Synthetic contiguous overlapping peptides (COPs) may represent an alternative to allergen extracts or recombinant allergens for allergen specific immunotherapy. In combination, COPs encompass the entire allergen sequence, providing all potential T cell epitopes, while preventing IgE conformational epitopes of the native allergen. METHODS: Individual COPs were derived from the sequence of Bet v 1, the major allergen of birch pollen, and its known crystal structure, and designed to avoid IgE binding. Three sets of COPs were tested in vitro in competition ELISA and basophil degranulation assays. Their in vivo reactivity was determined by intraperitoneal challenge in rBet v 1 sensitized mice as well as by skin prick tests in volunteers with allergic rhinoconjunctivitis to birch pollen. RESULTS: The combination, named AllerT, of three COPs selected for undetectable IgE binding in competition assays and for the absence of basophil activation in vitro was unable to induce anaphylaxis in sensitized mice in contrast to rBet v 1. In addition no positive reactivity to AllerT was observed in skin prick tests in human volunteers allergic to birch pollen. In contrast, a second set of COPs, AllerT4-T5 displayed some residual IgE binding in competition ELISA and a weak subliminal reactivity to skin prick testing. CONCLUSIONS: The hypoallergenicity of contiguous overlapping peptides was confirmed by low, if any, IgE binding activity in vitro, by the absence of basophil activation and the absence of in vivo induction of allergic reactions in mouse and human. TRIAL REGISTRATION: ClinicalTrials.gov NCT01719133.
Resumo:
BACKGROUND: In high-quality cancer registration systems, about one in eight incident cancers are second primary cancers. This is due to a combination of careful diagnostic ascertainment, shared genetic determinants, shared exposure to environmental factors and consequences of treatment for first cancer. METHODS: We used data derived from the Swiss population-based cancer Registries of Vaud and Neuchâtel, including 885,000 inhabitants. RESULTS: Among 107,238 (52% males) first cancers occurring between 1976 and 2010, a total of 126 second sarcomas were observed through active and passive follow-up versus 68.2 expected, corresponding to a standardized incidence ratio (SIR) of 1.85 (95 % CI 1.5-2.2). Significant excess sarcoma risks were observed after skin melanoma (SIR = 3.0), breast cancer (2.2), corpus uteri (2.7), testicular (7.5), thyroid cancer (4.2), Hodgkin lymphoma (5.7) and leukemias (4.0). For breast cancer, the SIR was 3.4 ≥5 years after sarcoma diagnosis. CONCLUSIONS: The common denominator of these neoplasms is the utilization of radiotherapy in their management. Some sarcomas following breast cancer may be due to shared genetic components (i.e., in the Li-Fraumeni syndrome), as well as possibly to shared environmental factors, with sarcomas, including overweight, selected dietary and reproductive factors which are, however, too little defined for any quantitative risk assessment.