Partial replication in distributed software transactional memory

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

Virtual milgram : empathic concern or personal distress? Evidence from functional MRI and dispositional measures

One motive for behaving as the agent of another"s aggression appears to be anchored in as yet unelucidated mechanisms of obedience to authority. In a recent partial replication of Milgram"s obedience paradigm within an immersive virtual environment, participants administered pain to a female virtual human and observed her suffering. Whether the participants" response to the latter was more akin to other-oriented empathic concern for her well-being or to a self-oriented aversive state of personal distress in response to her distress is unclear. Using the stimuli from that study, this event-related fMRI-based study analysed brain activity during observation of the victim in pain versus not in pain. This contrast revealed activation in pre-defi ned brain areas known to be involved in affective processing but not in those commonly associated with affect sharing (e.g., ACC and insula). We then examined whether different dimensions of dispositional empathy predict activity within the same pre-defi ned brain regions: While personal distress and fantasy (i.e., tendency to transpose oneself into fi ctional situations and characters) predicted brain activity, empathic concern and perspective taking predicted no change in neuronal response associated with pain observation. These exploratory fi ndings suggest that there is a distinct pattern of brain activity associated with observing the pain-related behaviour of the victim within the context of this social dilemma, that this observation evoked a self-oriented aversive state of personal distress, and that the objective"reality" of pain is of secondary importance for this response. These fi ndings provide a starting point for experimentally more rigorous investigation of obedience.

The Role of Preannouncing In Innovation Launch Strategy

The objective of this master’s thesis was to examine the role of preannouncing in innovation launch strategy. Preannouncing was studied from three different angles that were preannouncement usage, preannouncement timing and preannouncement goals and from two different perspectives that were the firm’s internal strategy and the external circumstances. The firm’s internal strategy encompassed the product strategy the firm had chosen. The external circumstances consisted of the industry, the nature of competition and the nature of market. Additionally, the product’s performance in the short term was studied in order to be able to speak out whether it is advantageous to preannounce. The empirical study was conducted as a partial replication study. The data for the empirical part was collected with a wide mailing and Internet enquiry in October 2008 – June 2009. Sample (N = 713) consisted of Finnish firms representing different industries and innovation activities. The data collection produced 272 answers and thus, the final response rate of the study was 38.15 %. The data was analyzed by using Microsoft Excel and statistical analysis program SAS Enterprise Guide. As a conclusion, the major results indicate that even if the firms use preannouncing quite often (54.8 % of the respondents), preannouncing behavior cannot be explained by industry. However, out of other external circumstances, the customer related turbulence affects on preannouncing usage. It was also revealed that the product type has an effect on preannouncing behavior. Additionally, preannouncement timing was noticed to differ according to audiences (distributors and end users).

Genes related to sex steroids, neural growth, and social-emotional behavior are associated with autistic traits, empathy, and Asperger syndrome

Genetic studies of autism spectrum conditions (ASC) have mostly focused on the "low functioning" severe clinical subgroup, treating it as a rare disorder. However, ASC is now thought to be relatively common ( approximately 1%), and representing one end of a quasi-normal distribution of autistic traits in the general population. Here we report a study of common genetic variation in candidate genes associated with autistic traits and Asperger syndrome (AS). We tested single nucleotide polymorphisms in 68 candidate genes in three functional groups (sex steroid synthesis/transport, neural connectivity, and social-emotional responsivity) in two experiments. These were (a) an association study of relevant behavioral traits (the Empathy Quotient (EQ), the Autism Spectrum Quotient (AQ)) in a population sample (n=349); and (b) a case-control association study on a sample of people with AS, a "high-functioning" subgroup of ASC (n=174). 27 genes showed a nominally significant association with autistic traits and/or ASC diagnosis. Of these, 19 genes showed nominally significant association with AQ/EQ. In the sex steroid group, this included ESR2 and CYP11B1. In the neural connectivity group, this included HOXA1, NTRK1, and NLGN4X. In the socio-responsivity behavior group, this included MAOB, AVPR1B, and WFS1. Fourteen genes showed nominally significant association with AS. In the sex steroid group, this included CYP17A1 and CYP19A1. In the socio-emotional behavior group, this included OXT. Six genes were nominally associated in both experiments, providing a partial replication. Eleven genes survived family wise error rate (FWER) correction using permutations across both experiments, which is greater than would be expected by chance. CYP11B1 and NTRK1 emerged as significantly associated genes in both experiments, after FWER correction (P<0.05). This is the first candidate-gene association study of AS and of autistic traits. The most promising candidate genes require independent replication and fine mapping.

The intention-superiority effect for naturally occurring activities: the role of intention accessibility in everyday prospective remembering in young and older adults

This study examined age differences in the accessibility of a single pool of naturally occurring intentions both before and after completion. Following Maylor, Darby, and Della Sala (2000), accessibility was measured in terms of the number of activities generated in a 4-minute activity fluency task. Each participant undertook two such tasks. A prospective task in which they generated activities intended for completion during the following week and a retrospective task, I week later, in which they generated activities carried out over the previous week. In a partial replication of Maylor et al.'s findings, young, but not healthy older, adults generated more to-be-completed intentions than completed ones, demonstrating an intention-superiority effect (ISE) for everyday activities. The absence of an ISE for older adults appeared to reflect the reduced accessibility of intentions prior to completion, rather than the impaired inhibition of fulfilled intentions. Moreover, both groups showed greater inaccessibility of completed than intended activities, thus demonstrating an intentioncompletion effect for naturally occurring intentions that is preserved in healthy ageing (cf. Marsh, Hicks, & Bink, 1998). Despite showing a reduced accessibility of intended activities, older adults reported having completed a greater proportion of their intentions during the week than young adults. Moreover, there was a correlation between the ability to access intentions and the proportion of intentions completed only for young adults. These observations suggest that older adults' everyday prospective memory performance may be relatively less dependent on intention accessibility and more dependent on other factors. While there was no age difference in the reported use and effectiveness of external retrieval aids, older adults demonstrated a greater level of temporal organization in the production of their intentions in the fluency task. This is consistent with the possibility that older adults may have more structured daily lives and may be able to use information about the sequence of ongoing events to support superior everyday prospective remembering.

O poder social

o presente trabalho teve por objetivo investigar o relacionamento entre locus externo de causalidade e aquiescência de detentores de poder e a so1icitações de subordinados. Pesquisas anteriores realizadas nos Estado Unidos demonstraram das condições que afetam os indivíduos em situação de poder levando-os a atender as solicitações de dependentes. Esse estudo constitui uma réplica parcial do experimento de Schopler e Mathew B (1965) para o teste da mesma hipótese - o detentor de poder que percebe a dependência de seu parceiro motivada por fatores externos dar-lhe-á mais ajuda que quando percebe a dependência do parceiro motivada por auto escolha (fatores internos) - com sujeitos brasileiros. O mesmo “design” serviu para o teste de duas hipóteses adicionais: a) o detentor de poder ajuda mais sem parceiro dependente quando o custo da ajuda é baixo (hipótese de Thibaut e Kelly, 1967); b) o detentor de poder ajuda menos o parceiro, percebido como dependente por força de circunstâncias externas, quando conhece antecipadamente qual a sua solicitação (hipótese original deste trabalho). Os resultados confirmaram as hipóteses ao nível de 0,05. A discussão dos resultados obtidos foi desenvolvida em termos das teorias da troca e da reatância. Com base nos resu1tados conclui-se que: (1) as relações de poder não parecem ser influenciadas pela cultura em que os agentes estão inseridos; (2) a oposição à liberdade perdida pode explicar o menor atendimento a solicitações pré-conhecidas.

With friends like these... The role of prejudice and situational norms on discriminatory helping behavior

An experiment was conducted to examine the impact of homophobic attitudes and situational norms for helping on discriminatory behavior against a gay male. In a partial replication of Frey and Gaertner (1986), participants were asked to provide help to a confederate portrayed to be either gay or heterosexual who either requested help for himself (ambiguous situational norm) or for whom a third party requested help (unambiguous situational norm). Participants' levels of homophobia were assessed either before or after the main helping task. The results indicated that when norms for helping were ambiguous those participants higher in homophobia discriminated against the gay male, but only on subtle indicators of discrimination. In the unambiguous norm condition, participants higher in homophobia discriminated against the heterosexual male. Those lower in homophobia did not discriminate under either norm condition. The results show that it may be sufficient for those with prejudiced attitudes just to believe that it is not the wrong thing to do for their attitudes to be translated into some form of discriminatory behavior.

Cohesion decay: quantitative analysis of partial sister chromatid cohesion

Cell division is a highly dynamic process where sister chromatids remain associated with each other from the moment of DNA replication until the later stages of mitosis, giving rise to two daughter cells with equal genomes. The “molecular glue” that links sister DNA molecules is called cohesin, a tripartite ring-like protein complex composed of two Structural Maintenance of Chromosome proteins (Smc1 and Smc3) bridged by a kleisin subunit Rad21/Scc1, that together prevent precocious sister chromatid separation. Accumulating evidence has suggested that cohesion decay may be the cause of segregation errors that underlie certain human pathologies. However it remains to be determined how much cohesin loss abolishes functional sister chromatid cohesion. To answer these questions, we have developed different experimental conditions aiming to titrate the levels of cohesin on mitotic chromosomes in a precise manner. Using these tools, we will determine the minimal amount of cohesin needed to confer functional cohesion. The approaches described here take advantage of a system in Drosophila melanogaster where the Tobacco Etch Virus (TEV) protease can cleave the Rad21 subunit of cohesin leading to precocious sister chromatid separation. Firstly, we tried to express different levels of TEV protease to obtain partial loss of cohesion. However, this approach has failed to produce systematic different levels of sister chromatid separation. Most of the work was therefore focused on a second strategy, for which we established strains with different levels of cohesin sensitive/cohesin resistant to TEV protease. Strains containing different amounts of functional cohesin (TEV resistant) were tested by in vitro cleavage and by in vivo injections in embryos for their ability to promote sister chromatid cohesion. Our results reveal that removal of half of the cohesin complexes does not impair chromosome segregation, implying that chromosome cohesion is less sensitive to cohesin amounts than previously anticipated.

Intrinsic bent DNA sites in the chromosomal replication origin of Xylella fastidiosa 9a5c

The features of the nucleotide sequences in both replication and promoter regions have been investigated in many organisms. Intrinsically bent DNA sites associated with transcription have been described in several prokaryotic organisms. The aim of the present study was to investigate intrinsic bent DNA sites in the segment that holds the chromosomal replication origin, oriC, of Xylella fastidiosa 9a5c. Electrophoretic behavior analyses, as well as in silico analyses of both the 2-D projection and helical parameters, were performed. The chromosomal segment analyzed contains the initial sequence of the rpmH gene, an intergenic region, the dnaA gene, the oriC sequence, and the 5' partial sequence of the dnaN gene. The analysis revealed fragments with reduced electrophoretic mobility, which indicates the presence of curved DNA segments. The analysis of the helical parameter ENDS ratio revealed three bent DNA sites (b1, b2, and b3) located in the rpmH-dnaA intergenic region, the dnaA gene, and the oriC 5' end, respectively. The chromosomal segment of X. fastidiosa analyzed here is rich in phased AT tracts and in CAnT motifs. The 2-D projection indicated a segment whose structure was determined by the cumulative effect of all bent DNA sites. Further, the in silico analysis of the three different bacterial oriC sequences indicated similar negative roll and twist >34.00° values. The DnaA box sequences, and other motifs in them, may be associated with the intrinsic DNA curvature.

Leishmania amazonensis: Partial purification and study of the biochemical properties of the telomerase reverse transcriptase activity from promastigote-stage

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A conserved motif at the 3$\sp\prime$ end of genomic RNA of mouse hepatitis virus required for host protein binding and viral RNA replication

The initial step in coronavirus-mouse hepatitis virus (MHV) replication is the synthesis of negative strand RNA from a positive strand genomic RNA template. Our approach to studying MHV RNA replication is to identify the cis-acting signals for RNA synthesis and the protein(s) which recognizes these signals at the 3$\sp\prime$ end of genomic RNA of MHV. To determine whether host cellular and/or virus-specific proteins interact with the 3$\sp\prime$ end of the coronavirus genome, an RNase T$\sb1$ protection/gel mobility shift electrophoresis assay was used to examine cytoplasmic extracts from either mock- or MHV-JHM-infected 17Cl-1 murine cells for the ability to form complexes with defined regions of the genomic RNA. A conserved 11 nucleotide sequence UGAAUGAAGUU at nucleotide positions 36 to 26 from the 3$\sp\prime$ end of genomic RNA was identified to be responsible for the specific binding of host proteins, by using a series of RNA probes with deletions and mutations in this region. The RNA probe containing the 11 nucleotide sequence bound approximately four host cellular proteins with a highly labeled 120 kDa and three minor species with sizes of 103, 81 and 55 kDa, assayed by UV-induced covalent cross-linking. Mutation of the 11 nucleotide motif strongly inhibited cellular protein binding, and decreased the amount of the 103 and 81 kDa proteins in the complex to undetectable levels and strongly reduced the binding of the 120 kDa protein. Less extensive mutations within this 11 nucleotide motif resulted in variable decreases in RNA-protein complex formation depending on each probe tested. The RNA-protein complexes observed with cytoplasmic extracts from MHV-JHM-infected cells in both RNase protection/gel mobility shift and UV cross-linking assays were indistinguishable to those observed with extracts from uninfected cells.^ To investigate the possible role of this 3$\sp\prime$ protein binding element in viral RNA replication in vivo, defective interfering RNA molecules with complete or partial mutations of the 11 nucleotide conserved sequence were transcribed in vitro, transfected to host 17Cl-1 cells in the presence of helper virus MHV-JHM and analyzed by agarose gel electrophoresis, competitive RT-PCR and direct sequencing of the RT-PCR products. Both negative strand synthesis and positive strand replication of DI RNA were affected by mutation that disrupts RNA-protein complex formation, even though the 11 mutated nucleotides were converted to wild type sequence, presumably by recombination with helper virus. Kinetic analysis indicated that recombination between DI RNA and helper virus occurred 5.5 to 7.5 hours post infection when replication of positive strand DI RNA was barely observed. Replication of positive strand DI RNAs carrying partial mutations within the 11 nucleotide motif was dependent upon recombination events after transfection. Replication was strongly inhibited when reversion to wild type sequence did not occur, and after recombination, reached similar levels as wild type DI RNA. A DI RNA with mutation upstream of the protein binding motif replicated as efficiently as wild type without undergoing recombination. Thus the conserved 11 nucleotide host protein binding motif appears to play an important role in viral RNA replication. ^

Polydnavirus of the parasitic wasp Chelonus inanitus (Braconidae): characterization, genome organization and time point of replication

Ultrastructural analysis of the polydnavirus of the braconid wasp Chelonus inanitus revealed that virions consist of one cylindrical nucleocapsid enveloped by a single unit membrane. Nucleocapsids have a constant diameter of 33.7 +/- 1.4 nm and a variable length of between 8 and 46 nm. Spreading of viral DNA showed that the genome consists of circular dsDNA molecules of variable sizes and measurement of the contour lengths indicated sizes of between 7 and 31 kbp. When virions were exposed to osmotic shock conditions to release the DNA, only one circular molecule was released per particle suggesting that the various DNA molecules are singly encapsidated in this bracovirus. The viral genome was seen to consist of at least 10 different segments and the aggregate genome size is in the order of 200 kbp. By partial digestion of viral DNA with HindIII or EcoRI in the presence of ethidium bromide and subsequent ligation with HindIII-cut pSP65 or EcoRI-cut pSP64 and transfection into Escherichia coli, libraries of 103 HindIII and 23 EcoRI clones were obtained. Southern blots revealed that complete and unrearranged segments were cloned with this approach, and restriction maps for five segments were obtained. Part of a 16.8 kbp segment was sequenced, found to be AT-rich (73%) and to contain six copies of a 17 bp repeated sequence. The development of the female reproductive tract in the course of pupal-adult development of the wasp was investigated and seen to be strictly correlated with the pigmentation pattern. By the use of a semiquantitative PCR, replication of viral DNA was observed to initiate at a specific stage of pupal-adult development.

Replication-dependent early meiotic requirement for Spo11 and Rad50

Spo11 and the Rad50-Mre11 complex have been indirectly implicated in processes associated with DNA replication. These proteins also have been shown to have early meiotic roles essential for the formation of a programmed DNA double-strand break known in Saccharomyces cerevisiae to initiate meiotic recombination. In both S. cerevisiae and the basidiomycete Coprinus cinereus, spo11 and rad50 mutants are defective in chromosome synapsis during meiosis. Here we demonstrate that a partial restoration of synapsis occurs in C. cinereus spo11 and rad50 mutants if premeiotic DNA replication is prevented. Double mutants were constructed with spo11–1 or rad50–4 and another mutant, spo22–1, which does not undergo premeiotic DNA replication. In both cases, we observed an increase in the percentage of nuclei containing synaptonemal complex (SC) structures, with concomitant decreases in the percentage of nuclei containing axial elements (AE) only or no structures. Both types of double mutants demonstrated significant increases in the average numbers of AE and SC, although SC-containing nuclei did not on average contain more AE than did nuclei showing no synapsis. Our results show that Spo11-induced recombination is not absolutely required for synapsis in C. cinereus, and that the early meiotic role of both Spo11 and Rad50 in SC formation partially depends on premeiotic S phase. This dependency likely reflects either a requirement for these proteins imposed by the premeiotic replication process itself or a requirement for these proteins in synapsis when a sister chromatid (the outcome of DNA replication) is present.

Muscle-specific mutations accumulate with aging in critical human mtDNA control sites for replication

The recently discovered aging-dependent large accumulation of point mutations in the human fibroblast mtDNA control region raised the question of their occurrence in postmitotic tissues. In the present work, analysis of biopsied or autopsied human skeletal muscle revealed the absence or only minimal presence of those mutations. By contrast, surprisingly, most of 26 individuals 53 to 92 years old, without a known history of neuromuscular disease, exhibited at mtDNA replication control sites in muscle an accumulation of two new point mutations, i.e., A189G and T408A, which were absent or marginally present in 19 individuals younger than 34 years. These two mutations were not found in fibroblasts from 22 subjects 64 to 101 years of age (T408A), or were present only in three subjects in very low amounts (A189G). Furthermore, in several older individuals exhibiting an accumulation in muscle of one or both of these mutations, they were nearly absent in other tissues, whereas the most frequent fibroblast-specific mutation (T414G) was present in skin, but not in muscle. Among eight additional individuals exhibiting partial denervation of their biopsied muscle, four subjects >80 years old had accumulated the two muscle-specific point mutations, which were, conversely, present at only very low levels in four subjects ≤40 years old. The striking tissue specificity of the muscle mtDNA mutations detected here and their mapping at critical sites for mtDNA replication strongly point to the involvement of a specific mutagenic machinery and to the functional relevance of these mutations.