Das Humane Immundefizienzvirus (HIV) ist der Erreger von AIDS und als Zoonose von den Schimpansen (HIV-1) bzw. den Rauchmangaben (HIV-2) auf die menschliche Population übergesprungen. Diese Primatenspezies sind die natürlichen Wirte für die simianen verwand-ten Viren SIVcpz bzw. SIVsm. Die nicht-natürlichen Virus-Wirt-Beziehungen der Immundefizienzviren resultieren in einem pathogenen Verlauf, wie HIV im Menschen und SIVmac in Rhesusmakaken. Die natürlichen Wirte Rauchmangaben, Schimpansen, Afrikanische Grüne Meerkatzen (AGM) und viele mehr entwickeln hingegen kein simianes AIDS. Dies erfolgt trotz lebenslanger Infektion mit SIV und einer zur HIV-Infektion im Menschen äquivalenten Viruslast. Die natürlichen Wirte weisen darüber hinaus keine Immunantwort gegen das virale Kernprotein Gag (gruppen-spezifisches Antigen) auf, was ein früh und zahlreich gebildetes Protein während der Virusreplikation ist. Die fehlende humorale Immunantwort könnte die natürlichen Wirte vor Aktivierung des Immunsystems und dadurch auch vor sAIDS bewahren. Frühere Versuche in AGM mit injiziertem SIVagmGag-Protein zeigten zwar, dass die Induktion einer humoralen Immunantwort gegen SIVagmGag möglich ist, diese aber schon nach kurzer Zeit wieder absinkt. Des Weiteren bildete sich durch Infektion mit SIVagm in den Tieren keine anamnestische Immunantwort heraus, die für die Erkennung von gleichen Epitopen maßgeblich ist. Es scheint ein Unterschied in der Erkennung von exogenem injiziertem SIVagmGag-Protein zu endogenem, durch das Virus selbst gebildetem, Protein in den AGM zu bestehen. Folglich wurde die Hypothese aufgestellt, dass eine Immunisierung mit SIVagmGag-DNA unter Umgehung des Unterschieds in der Proteinprozessierung eine anamnestische Immunantwort in den AGM induziert. Um diese Hypothese zu testen und die Gag-Immunreaktion in Abwesenheit anderer viraler Gene bezüglich der Pathogenität zu evaluieren, wurden codonoptimierte SIVagmGag- und SIVmacGag-DNA Immunisierungsvektoren generiert. Die Proteinexpression wurde in vitro und die Immunogenität in Balb/c und C57Bl/6 Mäusen getestet. Jeweils eine Gruppe von vier AGM erhielt bioballistisch SIVagmGag-DNA bzw. SIVmacGag-DNA. Als Kontrollen dienten mit codonoptimierter DNA immunisierte Rhesusmakaken sowie mit Leervektor immunisierte Primaten beider Spezies. Als Kostimulanz wurde zusätzlich jeweils speziesspezifische gmcsf DNA verwendet. Im Gegensatz zu den Rhesusmakaken konnte in den AGM durch DNA-Immunisierung keine zelluläre und nur eine schwache, transiente humorale anamnestische Immunantwort nach Infektion induziert werden, obwohl beide Gag-Proteine endogen produziert wurden. Daher kann die fehlende anamnestische Immunantwort der AGM nach Immunisierung mit Gag-Protein vermutlich nicht auf Unterschiede in der Proteinprozessierung und -erkennung (endogen versus exogen) zurückgeführt werden. Die Ergebnisse dieser Studie deuten an, dass während der Infektion dieses natürlichen Wirtes eine aktive Unterdrückung der anti-Gag-Antikörperantwort stattfindet, möglicherweise induziert durch eine Anergie in Gag-spezifischen T-Helferzellen. / The causative agents of AIDS, the human immunodeficiency viruses (HIV-1 and HIV-2), were transmitted zoonotically to the human population from the natural hosts of the related simian immunodeficiency viruses SIVcpz (chimpanzees) and SIVsm (sooty mangabeys), respectively. In contrast to the outcome of infections in non-natural hosts (e.g. HIV in humans, SIVmac in rhesus macaques), the natural hosts of SIV do not develop simian AIDS-like symptoms despite life-long infection with virus loads matching those seen in HIV-infected humans. Many such natural host primates infected with SIV, such as SIVagm-infected African green monkeys (AGMs), fail to mount an antibody response to the intact viral core protein Gag (group-specific antigen), a protein produced extensively during infection. It has been postulated that this lack of an immune response to Gag could protect the natural hosts from immunopathological effects and therefore from simian AIDS. Previous studies in AGMs indicated that Gag protein produced endogenously during infection is ''seen'' by the immune system differently than that introduced exogenously by protein immunisation, possibly through differences in processing or through specific tolerance at the T-cell level. To address these possibilities, primate studies were performed in which the responses in the natural and non-natural hosts to endogenously produced Gag protein in the absence of other viral genes were compared and the influence of such endogenous priming on the immune response to infection was evaluated. This was achieved by bioballistic immunisation of AGMs and rhesus macaques with codon-optimised DNA coding for SIVagm or SIVmac Gag protein delivered together with DNA coding for the species-specific GM-CSF cytokine. Prior to the primate studies, the DNA constructs were evaluated in BALB/c and C57Bl/6 mice for immunogenicity and protein expression. In contrast to the rhesus macaques, SIVagmGag DNA immunisation of African green mon-keys generally failed to prime for an anamnestic cellular immune response and primed for only a weak, transient anamnestic humoral response to the protein upon infection, despite the proteins resulting from both immunisation and infection being produced endogenously. Differences in protein processing and recognition (endogenous versus exogenous) do not therefore appear to account for the lack of priming for an anamnestic immune response seen using a protein immunogen. Rather, the results seem to indicate that an active suppression of the anti-Gag immune response may occur during infection of this natural host of SIV, possibly by the induction of anergy in Gag-specific Th cells.

<p>Southern Africa is facing one of the most serious HIV epidemics. This project contributes to the HIVNET, Network for Prevention Trials cohort for vaccine development. HIV’s biology and rapid mutation rate have made vaccine design difficult. We examined HIV-1 subtype C diversity and how it relates to CTL epitope location along viral gag sequences. We found a negative correlation between codon sites under positive selection and epitope regions / suggesting epitope regions are evolutionarily conserved. It is possible that epitopes exist in non-conserved regions, yet fail to be detected due to the reference strain diverging from the circulating viral population. To test if CTL clustering is an artifact of the reference strain, we calculated differences between the gag codons and the reference strain. We found a weak negative correlation, suggesting epitopes in less conserved regions maybe evading detection. Locating conserved and optimal epitopes that can be recognized by CTLs is essential for the design of vaccine reagents.</p>

<p>This thesis describes an optimising compiler for translating from SMV to CLP(B). The optimisation is aimed at reducing the number of required variables in order to decrease the size of the resulting BDDs. Also a partitioning of the transition relation is performed. The compiler uses an internal representation of a FSM that is built up from the SMV description. A number of rewrite steps are performed on the problem description such as encoding to a Boolean domain and performing the optimisations. </p><p>The variable reduction heuristic is based on finding sub-circuits that are suitable for reduction and a state space search is performed on those groups. An evaluation of the results shows that in some cases the compiler is able to greatly reduce the size of the resulting BDDs.</p>

More than 50 percent of the land area of the Nordic countries Finland, Norway, and Sweden are covered by dense forests and they are among the most important producers of forest products in the world. Forestry in these countries is based on sustainable management principles – reforestation follows harvesting. Furthermore, increasing demands for more gentle techniques and technologies with less negative impact on the environment ask for development and implementation of new processes and new machine solutions. The increasing interest in developing forest management approaches that are based on gentleness to the environment requires better understanding of the interaction between the forestry machines and the terrain in the harvesting process. / <p>QC 20150827</p> / Gentle Forest Machines

HIV-1 genetic diversity is a major obstacle for developing an effective vaccine. My hypothesis is that HIV-1 genetic diversity can be characterized and that cross-clade immunogens can be predicted at the population level. I systematically investigated positive selection (PS) pressures on HIV-1 Env and Gag proteins based on the analysis of the sequences collected from the Los Alamos Sequence Database. I identified PS sites, investigated PS patterns, correlated PS with the known functional sites of the two proteins, calculated frequencies of HLA alleles targeting CTL epitopes, and compared PS patterns among major subtypes. The results showed that PS pressure was widely dispersed across the entire regions of both HIV-1 Env and Gag proteins, suggesting the conserved regions are under host immune response pressure. The neutralizing antibody, non-neutralizing antibody, and CTL responses were found to be the major forces driving genetic diversity of HIV-1 env and gag genes at population level. However, PS pressures on both Env and Gag proteins remain stable over time, suggesting genetic diversity of HIV-1 driven by host immune responses changed very little over the last 29 years. Furthermore, the results also demonstrated that up to 70% PS sites were shared among the major HIV-1 clades, implying the existence of cross-clade immunogenicity. A number of potential cross-clades immunogens were predicted to elicit CTL or neutralizing antibody responses from Env and Gag proteins. I also detected a significant correlation between HLA allele frequencies and host CTL responses elicited by Accessory/Regulator’s proteins at population level. Moreover, I detected an association between the frequency of HLA-B7 supertype and the number of identified optimal CTL epitopes. The results suggest HLA class I allele frequencies in a population influence the evolution of HIV-1. I also systematically evaluated the utility of ultra-deep pyrosequencing to characterize genetic diversity of HIV-1 gag genes within quasispecies. The results showed that ultra-deep pyrosequencing of amplified HIV genes is a better method than the traditional Sanger-clone-based method in the comprehensive characterization of genetic diversity of HIV-1 quasispecies, especially in detecting low frequency variations. In conclusion, my thesis provides important information for rational design of an effective HIV-1 vaccine.

La diversité génétique du virus de l'immunodéficience humaine, le VIH-1 responsable de la pandémie du SIDA, représente un challenge dans le développement d'un vaccin qui doit conférer une protection contre différentes formes du virus pour être efficace. L'identification de populations de lymphocytes T CD8+ (CTL) capables de reconnaître des variants peptidiques d'un épitope est donc une étape importante. Dans le modèle singes rhésus, j'ai montré en utilisant des tétramères spécifiques de 9 variants peptidiques d'un épitope qu'une même population de CTL générés par la vaccination, peut reconnaître l'épitope relatif à l'immunogène et un certain nombre de ses variants provenant de diverses formes du VIH-1. Ces études ont également permis de caractériser les populations de CTL spécifiques de chaque variant de cet épitope en analysant l'expression des différents gènes codant pour la chaîne variable β du TCR (Vβ répertoire) et par un large séquençage des régions complémentaires déterminantes 3 (CDR3) du TCRβ. Ces travaux ont montré qu'une vaccination utilisant la séquence du clade C de l'enveloppe du VIH-1 conduit à des réponses divergentes chez 2 singes rhésus Mamu-A*01+. De plus, ces résultats ont mis en évidence que l'usage de certainβes nVe permet pas de déterminer le potentiel cross-réactif des CTL. Par ailleurs, une immunisation utilisant des séquences de l'enveloppe du clade B du VIH-1 peut générer des CTL capables de reconnaître un large nombre de variants de l'épitope testé. L'analyse de 8112 séquences CDR3 du TCRβ a permis de les caractériser. Cependant, les tests fonctionnels ont démontré que bon nombre de ces variants peptidiques stimulent une production suboptimale de cytokines par les CTL générés après vaccination. Ces résultats démontrent que la reconnaissance de variant peptidiques d'un épitope est nécessaire mais pas suffisante pour protéger contre différentes formes du VIH-1 exprimant ces séquences. L'identification de variants peptidiques capables d'induire une réponse fonctionnelle des CTL pourrait contribuer au développement d'un vaccin efficace contre le VIH-1.

Due to the constantly growing environmental concerns about global warming, there is immense pressure on the coal-to-liquids (CTL) industry to lower carbon dioxide emissions. This study evaluates the cogeneration of electricity and process steam, using coal and nuclear heat obtained from a High Temperature Gas Cooled Reactor (HTGR) such as a Pebble Bed Modular Reactor (PBMR), for the use in a CTL plant. Three different cogeneration processes were investigated to resolve what influence nuclear cogenerated electricity and process steam would have on the carbon dioxide emissions and the unit production cost of electricity and process steam. The first process investigated utilises coal as combustion medium and an extraction/condensing steam turbine, together with the thermodynamic Rankine cycle, for the cogeneration of electricity and process steam. This process was used as a basis of comparison for the nuclearbased cogeneration processes. The second process investigated utilises nuclear heat generated by a HTGR and the same power conversion system as the coal-based cogeneration system. Utilising a HTGR as a heat source can decrease the carbon dioxide emissions to approximately zero, with a 91.6% increase in electricity production cost. The last process investigated is the nuclear-based closed cycle gas turbine system where a gas turbine and Brayton cycle is coupled with a HTGR for the cogeneration of electricity and process steam. It was found on technical grounds that this process would not be viable for the cogeneration of electricity and process steam. The unit production cost of electricity and process steam generated by each process were determined through an economic analysis performed on each process. Overall it was found that the CTL industry could benefit a great deal from utilising nuclear heat as a heat source. / Thesis (M.Ing. (Nuclear Engineering))--North-West University, Potchefstroom Campus, 2012.

HIV-1 genetic diversity is a major obstacle for developing an effective vaccine. My hypothesis is that HIV-1 genetic diversity can be characterized and that cross-clade immunogens can be predicted at the population level. I systematically investigated positive selection (PS) pressures on HIV-1 Env and Gag proteins based on the analysis of the sequences collected from the Los Alamos Sequence Database. I identified PS sites, investigated PS patterns, correlated PS with the known functional sites of the two proteins, calculated frequencies of HLA alleles targeting CTL epitopes, and compared PS patterns among major subtypes. The results showed that PS pressure was widely dispersed across the entire regions of both HIV-1 Env and Gag proteins, suggesting the conserved regions are under host immune response pressure. The neutralizing antibody, non-neutralizing antibody, and CTL responses were found to be the major forces driving genetic diversity of HIV-1 env and gag genes at population level. However, PS pressures on both Env and Gag proteins remain stable over time, suggesting genetic diversity of HIV-1 driven by host immune responses changed very little over the last 29 years. Furthermore, the results also demonstrated that up to 70% PS sites were shared among the major HIV-1 clades, implying the existence of cross-clade immunogenicity. A number of potential cross-clades immunogens were predicted to elicit CTL or neutralizing antibody responses from Env and Gag proteins. I also detected a significant correlation between HLA allele frequencies and host CTL responses elicited by Accessory/Regulator’s proteins at population level. Moreover, I detected an association between the frequency of HLA-B7 supertype and the number of identified optimal CTL epitopes. The results suggest HLA class I allele frequencies in a population influence the evolution of HIV-1. I also systematically evaluated the utility of ultra-deep pyrosequencing to characterize genetic diversity of HIV-1 gag genes within quasispecies. The results showed that ultra-deep pyrosequencing of amplified HIV genes is a better method than the traditional Sanger-clone-based method in the comprehensive characterization of genetic diversity of HIV-1 quasispecies, especially in detecting low frequency variations. In conclusion, my thesis provides important information for rational design of an effective HIV-1 vaccine.

Due to the constantly growing environmental concerns about global warming, there is immense pressure on the coal-to-liquids (CTL) industry to lower carbon dioxide emissions. This study evaluates the cogeneration of electricity and process steam, using coal and nuclear heat obtained from a High Temperature Gas Cooled Reactor (HTGR) such as a Pebble Bed Modular Reactor (PBMR), for the use in a CTL plant. Three different cogeneration processes were investigated to resolve what influence nuclear cogenerated electricity and process steam would have on the carbon dioxide emissions and the unit production cost of electricity and process steam. The first process investigated utilises coal as combustion medium and an extraction/condensing steam turbine, together with the thermodynamic Rankine cycle, for the cogeneration of electricity and process steam. This process was used as a basis of comparison for the nuclearbased cogeneration processes. The second process investigated utilises nuclear heat generated by a HTGR and the same power conversion system as the coal-based cogeneration system. Utilising a HTGR as a heat source can decrease the carbon dioxide emissions to approximately zero, with a 91.6% increase in electricity production cost. The last process investigated is the nuclear-based closed cycle gas turbine system where a gas turbine and Brayton cycle is coupled with a HTGR for the cogeneration of electricity and process steam. It was found on technical grounds that this process would not be viable for the cogeneration of electricity and process steam. The unit production cost of electricity and process steam generated by each process were determined through an economic analysis performed on each process. Overall it was found that the CTL industry could benefit a great deal from utilising nuclear heat as a heat source. / Thesis (M.Ing. (Nuclear Engineering))--North-West University, Potchefstroom Campus, 2012.

<p>Southern Africa is facing one of the most serious HIV epidemics. This project contributes to the HIVNET, Network for Prevention Trials cohort for vaccine development. HIV’s biology and rapid mutation rate have made vaccine design difficult. We examined HIV-1 subtype C diversity and how it relates to CTL epitope location along viral gag sequences. We found a negative correlation between codon sites under positive selection and epitope regions / suggesting epitope regions are evolutionarily conserved. It is possible that epitopes exist in non-conserved regions, yet fail to be detected due to the reference strain diverging from the circulating viral population. To test if CTL clustering is an artifact of the reference strain, we calculated differences between the gag codons and the reference strain. We found a weak negative correlation, suggesting epitopes in less conserved regions maybe evading detection. Locating conserved and optimal epitopes that can be recognized by CTLs is essential for the design of vaccine reagents.</p>