883 resultados para crittografia, mixnet, EasyCrypt, game-based proofs,sequence of games, computation-aided proofs


Relevância:

100.00% 100.00%

Publicador:

Resumo:

BACKGROUND: Alzheimer's disease (AD) is the most frequent form of dementia in the elderly and no effective treatment is currently available. The mechanisms triggering AD onset and progression are still imperfectly dissected. We aimed at deciphering the modifications occurring in vivo during the very early stages of AD, before the development of amyloid deposits, neurofibrillary tangles, neuronal death and inflammation. Most current AD models based on Amyloid Precursor Protein (APP) overproduction beginning from in utero, to rapidly reproduce the histological and behavioral features of the disease within a few months, are not appropriate to study the early steps of AD development. As a means to mimic in vivo amyloid APP processing closer to the human situation in AD, we used an adeno-associated virus (AAV)-based transfer of human mutant APP and Presenilin 1 (PS1) genes to the hippocampi of two-month-old C57Bl/6 J mice to express human APP, without significant overexpression and to specifically induce its amyloid processing. RESULTS: The human APP, βCTF and Aβ42/40 ratio were similar to those in hippocampal tissues from AD patients. Three months after injection the murine Tau protein was hyperphosphorylated and rapid synaptic failure occurred characterized by decreased levels of both PSD-95 and metabolites related to neuromodulation, on proton magnetic resonance spectroscopy ((1)H-MRS). Astrocytic GLT-1 transporter levels were lower and the tonic glutamatergic current was stronger on electrophysiological recordings of CA1 hippocampal region, revealing the overstimulation of extrasynaptic N-methyl D-aspartate receptor (NMDAR) which precedes the loss of long-term potentiation (LTP). These modifications were associated with early behavioral impairments in the Open-field, Y-maze and Morris Mater Maze tasks. CONCLUSIONS: Altogether, this demonstrates that an AD-like APP processing, yielding to levels of APP, βCTF and Aβ42/Aβ40 ratio similar to those observed in AD patients, are sufficient to rapidly trigger early steps of the amyloidogenic and Tau pathways in vivo. With this strategy, we identified a sequence of early events likely to account for disease onset and described a model that may facilitate efforts to decipher the factors triggering AD and to evaluate early neuroprotective strategies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We present parallel characterizations of two different values in the framework of restricted cooperation games. The restrictions are introduced as a finite sequence of partitions defined on the player set, each of them being coarser than the previous one, hence forming a structure of different levels of a priori unions. On the one hand, we consider a value first introduced in Ref. [18], which extends the Shapley value to games with different levels of a priori unions. On the other hand, we introduce another solution for the same type of games, which extends the Banzhaf value in the same manner. We characterize these two values using logically comparable properties.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The article describes some concrete problems that were encountered when writing a two-level model of Mari morphology. Mari is an agglutinative Finno-Ugric language spoken in Russia by about 600 000 people. The work was begun in the 1980s on the basis of K. Koskenniemi’s Two-Level Morphology (1983), but in the latest stage R. Beesley’s and L. Karttunen’s Finite State Morphology (2003) was used. Many of the problems described in the article concern the inexplicitness of the rules in Mari grammars and the lack of information about the exact distribution of some suffixes, e.g. enclitics. The Mari grammars usually give complete paradigms for a few unproblematic verb stems, whereas the difficult or unclear forms of certain verbs are only superficially discussed. Another example of phenomena that are poorly described in grammars is the way suffixes with an initial sibilant combine to stems ending in a sibilant. The help of informants and searches from electronic corpora were used to overcome such difficulties in the development of the two-level model of Mari. The variation of the order of plural markers, case suffixes and possessive suffixes is a typical feature of Mari. The morphotactic rules constructed for Mari declensional forms tend to be recursive and their productivity must be limited by some technical device, such as filters. In the present model, certain plural markers were treated like nouns. The positional and functional versatility of the possessive suffixes can be regarded as the most challenging phenomenon in attempts to formalize the Mari morphology. Cyrillic orthography, which was used in the model, also caused problems. For instance, a Cyrillic letter may represent a sequence of two sounds, the first being part of the word stem while the other belongs to a suffix. In some cases, letters for voiced consonants are also generalized to represent voiceless consonants. Such orthographical conventions distance a morphological model based on orthography from the actual (morpho)phonological processes in the language.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Neuropeptide Y (NPY) is a widely expressed neurotransmitter in the central and peripheral nervous systems. Thymidine 1128 to cytocine substitution in the signal sequence of the preproNPY results in a single amino acid change where leucine is changed to proline. This L7P change leads to a conformational change of the signal sequence which can have an effect on the intracellular processing of NPY. The L7P polymorphism was originally associated with higher total and LDL cholesterol levels in obese subjects. It has also been associated with several other physiological and pathophysiological responses such as atherosclerosis and T2 diabetes. However, the changes on the cellular level due to the preproNPY signal sequence L7P polymorphism were not known. The aims of the current thesis were to study the effects of the [p.L7]+[p.L7] and the [p.L7]+[p.P7] genotypes in primary cultured and genotyped human umbilical vein endothelial cells (HUVEC), in neuroblastoma (SK-N-BE(2)) cells and in fibroblast (CHO-K1) cells. Also, the putative effects of the L7P polymorphism on proliferation, apoptosis and LDL and nitric oxide metabolism were investigated. In the course of the studies a fragment of NPY targeted to mitochondria was found. With the putative mitochondrial NPY fragment the aim was to study the translational preferences and the mobility of the protein. The intracellular distribution of NPY between the [p.L7]+[p.L7] and the [p.L7]+[p.P7] genotypes was found to be different. NPY immunoreactivity was prominent in the [p.L7]+[p.P7] cells while the proNPY immunoreactivity was prominent in the [p.L7]+[p.L7] genotype cells. In the proliferation experiments there was a difference in the [p.L7]+[p.L7] genotype cells between early and late passage (aged) cells; the proliferation was raised in the aged cells. NPY increased the growth of the cells with the [p.L7]+[p.P7] genotype. Apoptosis did not seem to differ between the genotypes, but in the aged cells with the [p.L7]+[p.L7] genotype, LDL uptake was found to be elevated. Furthermore, the genotype seemed to have a strong effect on the nitric oxide metabolism. The results indicated that the mobility of NPY protein inside the cells was increased within the P7 containing constructs. The existence of the mitochondria targeted NPY fragment was verified, and translational preferences were proved to be due to the origin of the cells. Cell of neuronal origin preferred the translation of mature NPY (NPY1-36) when compared to the non neuronal cells that translated both, NPY and the mitochondrial fragment of NPY. The mobility of the mitochondrial fragment was found to be minimal. The functionality of the mitochondrial NPY fragment remains to be investigated. L7P polymorphism in the preproNPY causes a series of intracellular changes. These changes may contribute to the state of cellular senescence, vascular tone and lead to endothelial dysfunction and even to increased susceptibility to diseases, like atherosclerosis and T2 diabetes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Cefdinir has broad spectrum of activity and high prescription rates, hence its counterfeiting seems imminent. We have proposed a simple, fast, selective and non-extractive spectrophotometric method for the content assay of cefdinir in formulations. The method is based on complexation of cefdinir and Fe under reducing condition in a buffered medium (pH 11) to form a magenta colored donor-acceptor complex (λ max = 550 nm; apparent molar absorptivity = 3720 L mol-1 cm-1). No other cephalosporins, penicillins and common excipients interfere under the test conditions. The Beer's law is followed in the concentration range 8-160 µg mL-1.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Plants of Senna occidentalis (sin. Cassia occidentalis) with mosaic symptoms were collected near a soybean (Glycine max) field where some plants exhibited symptoms of mosaic and blistering. A preliminary examination of leaf tissue from diseased S. occidentalis by electron microscopy revealed the presence of pinwheel inclusions as well as long flexuous particles, indicating the presence of a potyvirus. Host range, serology, and amino acid sequence from this potyvirus were similar to those from other Brazilian isolates of Soybean mosaic virus (SMV). The 3'- terminal region of the genomic RNA was cloned and a cDNA sequence of 1.9 kb upstream of the poly (A) tract was determined. The sequence contains a single open reading frame and a 3'- non-translated region (NTR) of 259 bp. The nucleotide sequence of the CP gene of SMV-Soc was 98% identical to that of Brazilian isolates SMV-B, SMV-L, and SMV-FT10. The percentage of nucleotide identity of their 3'-NTR's was 91, 98, and 99% in relation to SMV-L, SMV-B, and SMV-FT10, respectively. In contrast to other Brazilian SMV isolates studied, SMV-Soc was able to infect sunflower (Helianthus annuus). Based on these results, the S. occidentalis isolate was identified as a new strain of SMV belonging to the SMV strain, group G5 and was named SMV-Soc. This is the first report of naturaly occurring SMV infecting plants of S. occidentalis in Brazil, adding this weed as a new source of SMV in the field.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Cercospora kikuchii, involved with the defoliation of soybean (Glycine max) plants, is normally associated with Septoria glycines in late season. Seventy-two isolates from different regions in Brazil, obtained mainly from purple stained seeds, showed phenotypic variation. Cercosporin content and rate of colony growth was higly variable among isolates. A strong correlation between cercosporin content and virulence was identified. Genetic variation among and within populations was evaluated based on 86 RAPD loci. The RAPD analysis clustered all isolates into seven groups. No relationship was observed between RAPD groups and geographic origin or cercosporin content. The sequence of the internal spacer regions (ITS1-5.8S-ITS2) from 13 isolates chosen according to the previous RAPD and clustering analysis showed high similarity (97%-100%) to the GenBank sequences of C. kikuchii (AY266160, AY266161, AY152577 and AF291708). It is clear from this work that Brazilian isolates of C. kikuchii from different geographic regions, are variable in relation to virulence, RAPD profiles and cercosporin content. Cercosporin content could be a good parameter for choosing an adequate isolate for screening resistant or tolerant cultivars. Considering that this pathogen is easily seed-borne, findings are expected to show the same haplotypes in different regions. Migration could be favoured by infected seeds as demonstrated by RAPD analysis.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Lipopolysacharide (LPS) present on the outer leaflet of Gram-negative bacteria is important for the adaptation of the bacteria to the environment. Structurally, LPS can be divided into three parts: lipid A, core and O-polysaccharide (OPS). OPS is the outermost and also the most diverse moiety. When OPS is composed of identical sugar residues it is called homopolymeric and when it is composed of repeating units of oligosaccharides it is called heteropolymeric. Bacteria synthesize LPS at the inner membrane via two separate pathways, Lipid A-core via one and OPS via the other. These are ligated together in the periplasmic space and the completed LPS molecule is translocated to the surface of the bacteria. The genes directing the OPS biosynthesis are often clustered and the clusters directing the biosynthesis of heteropolymeric OPS often contain genes for i) the biosynthesis of required NDP-sugar precursors, ii) glycosyltransferases needed to build up the repeating unit, iii) translocation of the completed O-unit to the periplasmic side of the inner membrane (flippase) and iv) polymerization of the repeating units to complete OPS. The aim of this thesis was to characterize the biosynthesis of the outer core (OC) of Yersinia enterocolitica serotype O:3 (YeO3). Y. enterocolitica is a member of the Gram-negative Yersinia genus and it causes diarrhea followed sometimes by reactive arthritis. The chemical structure of the OC and the nucleotide sequence of the gene cluster directing its biosynthesis were already known; however, no experimental evidence had been provided for the predicted functions of the gene products. The hypothesis was that the OC biosynthesis would follow the pathway described for heteropolymeric OPS, i.e. a Wzy-dependent pathway. In this work the biochemical activities of two enzymes involved in the NDP-sugar biosynthesis was established. Gne was determined to be a UDP-N-acetylglucosamine-4-epimerase catalyzing the conversion of UDP-GlcNAc to UDP-GalNAc and WbcP was shown to be a UDP-GlcNAc- 4,6-dehydratase catalyzing the reaction that converts UDP-GlcNAc to a rare UDP-2-acetamido- 2,6-dideoxy-d-xylo-hex-4-ulopyranose (UDP-Sugp). In this work, the linkage specificities and the order in which the different glycosyltransferases build up the OC onto the lipid carrier were also investigated. In addition, by using a site-directed mutagenesis approach the catalytically important amino acids of Gne and two of the characterized glycosyltranferases were identified. Also evidence to show the enzymes involved in the ligations of OC and OPS to the lipid A inner core was provided. The importance of the OC to the physiology of Y. enterocolitica O:3 was defined by determining the minimum requirements for the OC to be recognized by a bacteriophage, bacteriocin and monoclonal antibody. The biological importance of the rare keto sugar (Sugp) was also shown. As a conclusion this work provides an extensive overview of the biosynthesis of YeO3 OC as it provides a substantial amount of information of the stepwise and coordinated synthesis of the Ye O:3 OC hexasaccharide and detailed information of its properties as a receptor.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In order to develop a molecular method for detection and identification of Xanthomonas campestris pv. viticola (Xcv) the causal agent of grapevine bacterial canker, primers were designed based on the partial sequence of the hrpB gene. Primer pairs Xcv1F/Xcv3R and RST2/Xcv3R, which amplified 243- and 340-bp fragments, respectively, were tested for specificity and sensitivity in detecting DNA from Xcv. Amplification was positive with DNA from 44 Xcv strains and with DNA from four strains of X. campestris pv. mangiferaeindicae and five strains of X. axonopodis pv. passiflorae, with both primer pairs. However, the enzymatic digestion of PCR products could differentiate Xcv strains from the others. None of the primer pairs amplified DNA from grapevine, from 20 strains of nonpathogenic bacteria from grape leaves and 10 strains from six representative genera of plant pathogenic bacteria. Sensitivity of primers Xcv1F/Xcv3R and RST2/Xcv3R was 10 pg and 1 pg of purified Xcv DNA, respectively. Detection limit of primers RST2/Xcv3R was 10(4) CFU/ml, but this limit could be lowered to 10² CFU/ml with a second round of amplification using the internal primer Xcv1F. Presence of Xcv in tissues of grapevine petioles previously inoculated with Xcv could not be detected by PCR using macerated extract added directly in the reaction. However, amplification was positive with the introduction of an agar plating step prior to PCR. Xcv could be detected in 1 µl of the plate wash and from a cell suspension obtained from a single colony. Bacterium identity was confirmed by RFLP analysis of the RST2/Xcv3R amplification products digested with Hae III.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Streptococcus suis is an important pig pathogen but it is also zoonotic, i.e. capable of causing diseases in humans. Human S. suis infections are quite uncommon but potentially life-threatening and the pathogen is an emerging public health concern. This Gram-positive bacterium possesses a galabiose-specific (Galalpha1−4Gal) adhesion activity, which has been studied for over 20 years. P-fimbriated Escherichia coli−bacteria also possess a similar adhesin activity targeting the same disaccharide. The galabiose-specific adhesin of S. suis was identified by an affinity proteomics method. No function of the protein identified was formerly known and it was designated streptococcal adhesin P (SadP). The peptide sequence of SadP contains an LPXTG-motif and the protein was proven to be cell wall−anchored. SadP may be multimeric since in SDS-PAGE gel it formed a protein ladder starting from about 200 kDa. The identification was confirmed by producing knockout strains lacking functional adhesin, which had lost their ability to bind to galabiose. The adhesin gene was cloned in a bacterial expression host and properties of the recombinant adhesin were studied. The galabiose-binding properties of the recombinant protein were found to be consistent with previous results obtained studying whole bacterial cells. A live-bacteria application of surface plasmon resonance was set up, and various carbohydrate inhibitors of the galabiose-specific adhesins were studied with this assay. The potencies of the inhibitors were highly dependent on multivalency. Compared with P-fimbriated E. coli, lower concentrations of galabiose derivatives were needed to inhibit the adhesion of S. suis. Multivalent inhibitors of S. suis adhesion were found to be effective at low nanomolar concentrations. To specifically detect galabiose adhesin−expressing S. suis bacteria, a technique utilising magnetic glycoparticles and an ATP bioluminescence bacterial detection system was also developed. The identification and characterisation of the SadP adhesin give valuable information on the adhesion mechanisms of S. suis, and the results of this study may be helpful for the development of novel inhibitors and specific detection methods of this pathogen.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Both atom localization and Raman cooling, considered in the thesis, reflect recent progress in the area of all-optical methods. We focus on twodimensional (2D) case, using a four-level tripod-type atomic scheme for atom localization within the optical half-wavelength as well as for efficient subrecoil Raman cooling. In the first part, we discuss the principles of 1D atom localization, accompanying by an example of the measurement of a spontaneously-emitted photon. Modifying this example, one archives sub-wavelength localization of a three-level -type atom, measuring the population in its upper state. We go further and obtain 2D sub-wavelength localization for a four-level tripod-type atom. The upper-state population is classified according to the spatial distribution, which in turn forms such structures as spikes, craters and waves. The second part of the thesis is devoted to Raman cooling. The cooling process is controlled by a sequence of velocity-selective transfers from one to another ground state. So far, 1D deep subrecoil cooling has been carried out with the sequence of square or Blackman pulses, applied to -type atoms. In turn, we discuss the transfer of atoms by stimulated Raman adiabatic passage (STIRAP), which provides robustness against the pulse duration if the cooling time is not in any critical role. A tripod-type atomic scheme is used for the purpose of 2D Raman cooling, allowing one to increase the efficiency and simplify the realization of the cooling.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this work, image based estimation methods, also known as direct methods, are studied which avoid feature extraction and matching completely. Cost functions use raw pixels as measurements and the goal is to produce precise 3D pose and structure estimates. The cost functions presented minimize the sensor error, because measurements are not transformed or modified. In photometric camera pose estimation, 3D rotation and translation parameters are estimated by minimizing a sequence of image based cost functions, which are non-linear due to perspective projection and lens distortion. In image based structure refinement, on the other hand, 3D structure is refined using a number of additional views and an image based cost metric. Image based estimation methods are particularly useful in conditions where the Lambertian assumption holds, and the 3D points have constant color despite viewing angle. The goal is to improve image based estimation methods, and to produce computationally efficient methods which can be accomodated into real-time applications. The developed image-based 3D pose and structure estimation methods are finally demonstrated in practise in indoor 3D reconstruction use, and in a live augmented reality application.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Despite the suggestions of its pectic composition, no clear evidence for this has been presented. Here we show the occurrence of such a structure in walls of cells from cotyledons of Hymenaea courbariI L. These cells are known to accumulate large amounts of storage xyloglucan in the wall and, in this case, the protuberances seem to contain this storage polysaccharide rather than pectin. A hypothetical sequence of events leading from wall strands to protuberances was assembled based on scanning electron microscopy observations. On this basis, a tentative model for how polysaccharides are distributed into the wall, near the regions where protuberances are found, is proposed to explain the presence of storage xyloglucan in their composition.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The a-globin major genes from diploid and tetraploid Odontophrynus americanus were studied using PCR-based technology. The cloned and sequenced amplified fragments were shown to contain most of the exon II sequences as well as the whole exon III sequence of the a-globin gene. Unexpectedly, intron 2 was entirely absent in the amplified fragments of both 2n and 4n origin. High conservation was observed among the obtained sequences when compared to corresponding sequences from human and Xenopus laevis origin. The possibility that these sequences might be pseudogenes is raised