Deadlock analysis of asynchronous sequential processes

In this thesis we present ad study an object-oriented language, characterized by two different types of objects, passive and active objects, of which we define the operational syntax and semantics. For this language we also define the type system, that will be used for the type checking and for the extraction of behavioral types, which are an abstract description of the behavior of the methods, used in deadlock analysis. Programs can manifest deadlock due to the errors of the programmer. To statically identify possible unintended behaviors we studied and implemented a technique for the analysis of deadlock based on behavioral types.

Development of replication-defective lymphocytic choriomeningitis virus vectors for the induction of potent CD8+ T cell immunity

Lymphocytic choriomeningitis virus (LCMV) exhibits natural tropism for dendritic cells and represents the prototypic infection that elicits protective CD8(+) T cell (cytotoxic T lymphocyte (CTL)) immunity. Here we have harnessed the immunobiology of this arenavirus for vaccine delivery. By using producer cells constitutively synthesizing the viral glycoprotein (GP), it was possible to replace the gene encoding LCMV GP with vaccine antigens to create replication-defective vaccine vectors. These rLCMV vaccines elicited CTL responses that were equivalent to or greater than those elicited by recombinant adenovirus 5 or recombinant vaccinia virus in their magnitude and cytokine profiles, and they exhibited more effective protection in several models. In contrast to recombinant adenovirus 5, rLCMV failed to elicit vector-specific antibody immunity, which facilitated re-administration of the same vector for booster vaccination. In addition, rLCMV elicited T helper type 1 CD4+ T cell responses and protective neutralizing antibodies to vaccine antigens. These features, together with low seroprevalence in humans, suggest that rLCMV may show utility as a vaccine platform against infectious diseases and cancer.

Infrequent replication of parvovirus B19 and erythrovirus genotypes 2 and 3 among HIV-infected patients with chronic anemia

We investigated the role that erythroviruses (parvovirus B19 and erythrovirus genotypes 2 and 3) play in the lives of immunosuppressed HIV-infected patients with chronic anemia. We screened the serum samples of 428 patients by specific ultrasensitive real-time polymerase chain reaction assay. Sixteen patients had circulating DNA, with no apparent clinical impact. Erythrovirus-associated anemia is an extremely rare event in HIV-infected patients.

Sex Differences in Hookup Behavior: a Replication and Examination of Parent-Child Relationship Quality

In the current research, we assessed the impact of parent-child relationships on attitudes toward, and engagement in, hookup behaviors using a sample of 407 college students. Based on prior research, it was hypothesized that heterosexual participants, especially women, who do not perceive themselves as having a strong, close, positive relationship with their opposite-sex parent would be more likely to engage in or attempt to engage in casual sexual behavior (hookups). Also, men were expected to be more satisfied with, and more in agreement with, hookup behavior than women. The results were partially consistent with the hypotheses. Men were more satisfied with and more in agreement with hookup behavior than women. But, opposite sex parent-child relationship quality only affected men’s agreement with the hookup behavior of their peers. Men with lower relationship quality with their mothers agreed more with the hookup behavior of their peers. These results are discussed in relation to prior research on hooking up and prior research on parent-child relationships.

Sex Differences in Hookup Behavior: A Replication and Examination of Parent-Child Relationship Quality

In the current research, we assessed the impact of parent-child relationships on attitudes toward, and engagement in, hookup behaviors using a sample of 407 college students. Based on prior research, it was hypothesized that heterosexual participants, especially women, who do not perceive themselves as having a strong, close, positive relationship with their opposite-sex parent would be more likely to engage in or attempt to engage in casual sexual behavior (hookups). Also, men were expected to be more satisfied with, and more in agreement with, hookup behavior than women. The results were partially consistent with the hypotheses. Men were more satisfied with and more in agreement with hookup behavior than women. But, opposite sex parent-child relationship quality only affected men’s agreement with the hookup behavior of their peers. Men with lower relationship quality with their mothers agreed more with the hookup behavior of their peers. These results are discussed in relation to prior research on hooking up and prior research on parent-child relationships.

How HIV takes advantage of the cytoskeleton in entry and replication

The host cell cytoskeleton plays a key role in the life cycle of viral pathogens whose propagation depends on mandatory intracellular steps. Accordingly, also the human immunodeficiency virus type 1 (HIV-1) has evolved strategies to exploit and modulate in particular the actin cytoskeleton for its purposes. This review will recapitulate recent findings on how HIV-1 hijacks the cytoskeleton to facilitate entry into, transport within and egress from host cells as well as to commandeer communication of infected with uninfected bystander cells.

HLA-Bw4 identifies a population of HIV-infected patients with an increased capacity to control viral replication after structured treatment interruption

After structured treatment interruption (STI) of treatment for HIV-1, a fraction of patients maintain suppressed viral loads. Prospective identification of such patients might improve HIV-1 treatment, if selected patients are offered STI.

SiRNA inhibits replication of Langat virus, a member of the tick-borne encephalitis virus complex in organotypic rat brain slices

Tick-borne encephalitis virus is the causative agent of tick-borne encephalitis, a potentially fatal neurological infection. Tick-borne encephalitis virus belongs to the family of flaviviruses and is transmitted by infected ticks. Despite the availability of vaccines, approximately 2000-3000 cases of tick-borne encephalitis occur annually in Europe for which no curative therapy is available. The antiviral effects of RNA mediated interference by small interfering RNA (siRNA) was evaluated in cell culture and organotypic hippocampal cultures. Langat virus, a flavivirus highly related to Tick-borne encephalitis virus exhibits low pathogenicity for humans but retains neurovirulence for rodents. Langat virus was used for the establishment of an in vitro model of tick-borne encephalitis. We analyzed the efficacy of 19 siRNA sequences targeting different regions of the Langat genome to inhibit virus replication in the two in vitro systems. The most efficient suppression of virus replication was achieved by siRNA sequences targeting structural genes and the 3' untranslated region. When siRNA was administered to HeLa cells before the infection with Langat virus, a 96.5% reduction of viral RNA and more than 98% reduction of infectious virus particles was observed on day 6 post infection, while treatment after infection decreased the viral replication by more than 98%. In organotypic hippocampal cultures the replication of Langat virus was reduced by 99.7% by siRNA sequence D3. Organotypic hippocampal cultures represent a suitable in vitro model to investigate neuronal infection mechanisms and treatment strategies in a preserved three-dimensional tissue architecture. Our results demonstrate that siRNA is an efficient approach to limit Langat virus replication in vitro.

Interferon-inducible expression of APOBEC3 editing enzymes in human hepatocytes and inhibition of hepatitis B virus replication

Hypermutations in hepatitis B virus (HBV) DNA by APOBEC3 cytidine deaminases have been detected in vitro and in vivo, and APOBEC3G (A3G) and APOBEC3F (A3F) have been shown to inhibit the replication of HBV in vitro, but the presumably low or even absent hepatic expression of these enzymes has raised the question as to their physiological impact on HBV replication. We show that normal human liver expresses the mRNAs of APOBEC3B (A3B), APOBEC3C (A3C), A3F, and A3G. In primary human hepatocytes, interferon alpha (IFN-alpha) stimulated the expression of these cytidine deaminases up to 14-fold, and the mRNAs of A3G, A3F, and A3B reached expression levels of 10%, 3%, and 3%, respectively, relative to GAPDH mRNA abundance. On transfection, the full-length protein A3B(L) inhibited HBV replication in vitro as efficiently as A3G or A3F, whereas the truncated splice variant A3B(S) and A3C had no effect. A3B(L) and A3B(S) were detected predominantly in the nucleus of uninfected cells; however, in HBV-expressing cells both proteins were found also in the cytoplasm and were associated with HBV viral particles, similarly to A3G and A3F. Moreover, A3G, A3F, and A3B(L), but not A3B(S), induced extensive G-to-A hypermutations in a fraction of the replicated HBV genomes. In conclusion, the editing enzymes A3B(L), A3F, and most markedly A3G, which are expressed in liver and up-regulated by IFN-alpha in hepatocytes, are candidates to contribute to the noncytolytic clearance of HBV.

Vaccination with a T-cell-priming Gag peptide of caprine arthritis encephalitis virus enhances virus replication transiently in vivo

CD4+ T cells are involved in several immune response pathways used to control viral infections. In this study, a group of genetically defined goats was immunized with a synthetic peptide known to encompass an immunodominant helper T-cell epitope of caprine arthritis encephalitis virus (CAEV). Fifty-five days after challenge with the molecularly cloned CAEV strain CO, the vaccinated animals had a higher proviral load than the controls. The measurement of gamma interferon and interleukin-4 gene expression showed that these cytokines were reliable markers of an ongoing immune response but their balance did not account for more or less efficient control of CAEV replication. In contrast, granulocyte-macrophage colony-stimulating factor appeared to be a key cytokine that might support virus replication in the early phase of infection. The observation of a potential T-cell-mediated enhancement of virus replication supports other recent findings showing that lentivirus-specific T cells can be detrimental to the host, suggesting caution in designing vaccine candidates.

The feeling of fluent perception: A single experience from multiple asynchronous sources

Zeki and co-workers recently proposed that perception can best be described as locally distributed, asynchronous processes that each create a kind of microconsciousness, which condense into an experienced percept. The present article is aimed at extending this theory to metacognitive feelings. We present evidence that perceptual fluency-the subjective feeling of ease during perceptual processing-is based on speed of processing at different stages of the perceptual process. Specifically, detection of briefly presented stimuli was influenced by figure-ground contrast, but not by symmetry (Experiment 1) or the font (Experiment 2) of the stimuli. Conversely, discrimination of these stimuli was influenced by whether they were symmetric (Experiment 1) and by the font they were presented in (Experiment 2), but not by figure-ground contrast. Both tasks however were related with the subjective experience of fluency (Experiments 1 and 2). We conclude that subjective fluency is the conscious phenomenal correlate of different processing stages in visual perception.