Reliable Means of Diagnosis and Serovar Determination of Blood-Borne Salmonella Strains: Quick PCR Amplification of Unique Genomic Loci by Novel Primer Sets

Typhoid fever is becoming an ever increasing threat in the developing countries. We have improved considerably upon the existing PCR-based diagnosis method by designing primers against a region that is unique to Salmonella enterica subsp. enterica serovar Typhi and Salmonella enterica subsp. enterica serovar Paratyphi A, corresponding to the STY0312 gene in S. Typhi and its homolog SPA2476 in S. Paratyphi A. An additional set of primers amplify another region in S. Typhi CT18 and S. Typhi Ty2 corresponding to the region between genes STY0313 to STY0316 but which is absent in S. Paratyphi A. The possibility of a false-negative result arising due to mutation in hypervariable genes has been reduced by targeting a gene unique to typhoidal Salmonella serovars as a diagnostic marker. The amplified region has been tested for genomic stability by amplifying the region from clinical isolates of patients from various geographical locations in India, thereby showing that this region is potentially stable. These set of primers can also differentiate between S. Typhi CT18, S. Typhi Ty2, and S. Paratyphi A, which have stable deletions in this specific locus. The PCR assay designed in this study has a sensitivity of 95% compared to the Widal test which has a sensitivity of only 63%. As observed, in certain cases, the PCR assay was more sensitive than the blood culture test was, as the PCR-based detection could also detect dead bacteria.

Analyzing hysteresis behavior of capacitance-voltage characteristics of IZO/C₆₀/pentacene/Au diodes with a hole-transport electron-blocking polyterpenol layer by electric-field-induced optical second-harmonic generation measurement

By using electric-field-induced optical second-harmonic generation (EFISHG) measurement, we analyzed hysteresis behavior of capacitance-voltage (C-V) characteristics of IZO/polyterpenol (PT)/C₆₀/pentacene/Au diodes, where PT layer is actively working as a hole-transport electron-blocking layer. The EFISHG measurement verified the presence of interface accumulated charges in the diodes, and showed that a space charge electric field from accumulated excess electrons (holes) that remain at the PT/C₆₀ (C₆₀/pentacene) interface is responsible for the hysteresis loop observed in the C-V characteristics.

Electron-blocking hole-transport polyterpenol thin films

The carrier blocking property of polyterpenol thin films derived from non-synthetic precursor is studied using Electric Field Induced Optical Second Harmonic Generation (EFISHG) technique that can directly probe carrier motion in organic materials. A properly biased double-layer MIM device with a structure of indium zinc oxide (IZO)/polyterpenol/C₆₀/Al shows that by incorporating the polyterpenol thin film, the electron transport can be blocked while the hole transport is allowed. The inherent electron blocking hole transport property is verified using Al/C₆₀/Alq3/polyterpenol/IZO and Al/Alq3/polyterpenol/IZO structures. The rectifying property of polyterpenol is very promising and can be utilized in the fabrication of many organic devices.

Investigation of interfacial charging and discharging in double-layer pentacene-based metal-insulator-metal device with polyterpenol blocking layer using electric field induced second harmonic generation

Time-resolved electric field induced second harmonic generation technique was used to probe the carrier transients within double-layer pentacene-based MIM devices. Polyterpenol thin films fabricated from non-synthetic environmentally sustainable source were used as a blocking layer to assist in visualisation of single-species carrier transportation during charging and discharging under different bias conditions. Results demonstrated that carrier transients were comprised of charging on electrodes, followed by carrier injection and charging of the interface. Polyterpenol was demonstrated to be a sound blocking material and can therefore be effectively used for probing of double-layer devices using EFISHG.

Boundedness and convergence of singular integrals on fractal type sets

The topic of this dissertation lies in the intersection of harmonic analysis and fractal geometry. We particulary consider singular integrals in Euclidean spaces with respect to general measures, and we study how the geometric structure of the measures affects certain analytic properties of the operators. The thesis consists of three research articles and an overview. In the first article we construct singular integral operators on lower dimensional Sierpinski gaskets associated with homogeneous Calderón-Zygmund kernels. While these operators are bounded their principal values fail to exist almost everywhere. Conformal iterated function systems generate a broad range of fractal sets. In the second article we prove that many of these limit sets are porous in a very strong sense, by showing that they contain holes spread in every direction. In the following we connect these results with singular integrals. We exploit the fractal structure of these limit sets, in order to establish that singular integrals associated with very general kernels converge weakly. Boundedness questions consist a central topic of investigation in the theory of singular integrals. In the third article we study singular integrals of different measures. We prove a very general boundedness result in the case where the two underlying measures are separated by a Lipshitz graph. As a consequence we show that a certain weak convergence holds for a large class of singular integrals.

On Games on Non-Wellfounded Sets and Stationary Sets

In this thesis we study a few games related to non-wellfounded and stationary sets. Games have turned out to be an important tool in mathematical logic ranging from semantic games defining the truth of a sentence in a given logic to for example games on real numbers whose determinacies have important effects on the consistency of certain large cardinal assumptions. The equality of non-wellfounded sets can be determined by a so called bisimulation game already used to identify processes in theoretical computer science and possible world models for modal logic. Here we present a game to classify non-wellfounded sets according to their branching structure. We also study games on stationary sets moving back to classical wellfounded set theory. We also describe a way to approximate non-wellfounded sets with hereditarily finite wellfounded sets. The framework used to do this is domain theory. In the Banach-Mazur game, also called the ideal game, the players play a descending sequence of stationary sets and the second player tries to keep their intersection stationary. The game is connected to precipitousness of the corresponding ideal. In the pressing down game first player plays regressive functions defined on stationary sets and the second player responds with a stationary set where the function is constant trying to keep the intersection stationary. This game has applications in model theory to the determinacy of the Ehrenfeucht-Fraisse game. We show that it is consistent that these games are not equivalent.

Resistance responses blocking systemic movement of Potato virus A in potato

Peruna kestää A-virusta estämällä sen leviämistä Peruna on maissin ohella maailman kolmanneksi tärkein ravintokasvi vehnän ja riisin jälkeen. Perunaa lisätään kasvullisesti mukuloita istuttamalla, jolloin virukset siirtyvät sairaiden siemenmukuloiden välityksellä kasvukaudesta toiseen. Virustauteja voi torjua ainoastaan terveen siemenperunan ja kestävien lajikkeiden avulla. Kestävyys perustuu usein siihen, että kasvi estää viruksen leviämisen tartuntakohdasta välttyäkseen virustaudilta. Tässä työssä tutkittiin kolmea perunan A-viruksen (PVA) liikkumista estävää kestävyysmekanismia perunassa. Lisäksi työn kokeelliseen osaan oleellisesti kuuluvaa virustartutusta varten kehitettiin uusi paranneltu versio geenipyssystä. Tämä itse rakennettu laite optimoitiin PVA:n tartuttamiseen mahdollisimman helposti ja pienin käyttökustannuksin. Tutkimuksen kohteena olleessa perunan risteytysjälkeläistössä oli PVA:ta kestäviä kasveja (ryhmä nnr), jotka estivät viruksen liikkumisen aiheuttamatta oireita tartutuskohdassa, sekä kasveja, joissa PVA aiheutti kuolioläikkinä näkyvän yliherkkyysvasteen (ryhmä HR). Molemmissa kestävyystyypeissä virus pystyi monistumaan ja leviämään solusta soluun paikallisesti, mutta liikkuminen muihin kasvinosiin nilan kautta estyi. Ryhmän nnr kasveissa PVA-tartunta ei aiheuttanut tilastollisesti merkitsevää muutosta useimpien geenien ilmenemiseen tartuntakohdassa. Ainoastaan geeniperhe, joka ilmentää tiettyä proteinaasi-inhibiittoria (PI), reagoi PVA:han 24 tuntia tartutuksesta. Kun tämän PVA:han reagoivan geeniperheen jäsenet hiljennettiin nnr- perunalinjoissa, ne muuttuivat alttiiksi PVA:lle ja virus levisi tartuntakohdasta muihin kasvinosiin. Tulos osoittaa, että PI on viruskestävyystekijä. Lisäksi muut tutkimuksessa saadut tulokset tukevat mahdollisuutta, että PI estää PVA:n P1-proteinaasin toimintaa. HR-linjoissa todettiin erilaisiin puolustusvasteisiin liittyvien PR-geenien aktivoitumista PVA-tartunnan seurauksena, mutta myös ilman sitä kasvien kasvettua mullassa noin neljä viikkoa. Sen sijaan solukkoviljelyssä tai vasta kaksi viikkoa mullassa kasvaneissa kasveissa vastaavaa ei vielä todettu. Tulos viittaa siihen, että HR-perunat reagoivat herkemmin ympäristöön ja/tai kasvin kehitysasteeseen laukaisten puolustusvasteita, jotka saattavat parantaa kestävyyttä taudinaiheuttajia vastaan. Kolmas tutkittu kestävyystyyppi havaittiin Pito-perunalajikkeessa. Se muistutti nnr-kestävyyttä siten, että myös siinä viruksen liikkuminen nilassa muihin kasvinosiin estyi. PVA:n todettiin pysähtyvän vasta lehtiruodin tyvelle muodostuvaan irtoamisvyöhykkeeseen, mitä havainnollistettiin käyttämällä muunnettua PVA-rotua, joka tuotti UV-valossa fluoresoivaa vihreää valoa. Tulos viittaa siihen, että virus ei pääse kulkemaan vyöhykkeeseen kuuluvan suojaavan kerroksen läpi, jollei sillä ole pääsyä nilaan. Tällainen kestävyys on tarpeen, jotta virus ei voi korvata nilakuljetusta solusta soluun leviämisellä. Tulokset tuovat uusia näkökulmia kasvien viruskestävyyteen ja auttavat selittämään viruksen nilakuljetuksen estymistä sekä solusta soluun leviämisen pysähtymistä kestävissä kasveissa.

Coding for Two-User Gaussian MAC with PSK and PAM Signal Sets

Constellation Constrained (CC) capacity regions of a two-user Gaussian Multiple Access Channel(GMAC) have been recently reported. For such a channel, code pairs based on trellis coded modulation are proposed in this paper with MPSK and M-PAM alphabet pairs, for arbitrary values of M,toachieve sum rates close to the CC sum capacity of the GMAC. In particular, the structure of the sum alphabets of M-PSK and M-PAMmalphabet pairs are exploited to prove that, for certain angles of rotation between the alphabets, Ungerboeck labelling on the trellis of each user maximizes the guaranteed squared Euclidean distance of the sum trellis. Hence, such a labelling scheme can be used systematically,to construct trellis code pairs to achieve sum rates close to the CC sum capacity. More importantly, it is shown for the first time that ML decoding complexity at the destination is significantly reduced when M-PAM alphabet pairs are employed with almost no loss in the sum capacity.

Comparative measurements of HV impulses to evaluate different sets of response parameters

Results are reported of comparative measurements made in 14 HV (high-voltage) laboratories in ten different countries. The theory of the proposed methods of characterizing the dynamic behavior is given, and the parameters to be used are discussed. Comparative measurements made using 95 systems based on 53 dividers are analyzed. This analysis shows that many of the system now in use, even though they fulfil the basic response requirements of the standards, do not meet the accuracy requirements. Because no transfer measurements were made between laboratories, there is no way to detect similar errors in both the system under test and the reference system. Hence, the situation may be worse than reported. This has led to the recommendation that comparative measurements should be the main route for quantifying industrial impulse measuring systems

Playing Games on Sets and Models

The most prominent objective of the thesis is the development of the generalized descriptive set theory, as we call it. There, we study the space of all functions from a fixed uncountable cardinal to itself, or to a finite set of size two. These correspond to generalized notions of the universal Baire space (functions from natural numbers to themselves with the product topology) and the Cantor space (functions from natural numbers to the {0,1}-set) respectively. We generalize the notion of Borel sets in three different ways and study the corresponding Borel structures with the aims of generalizing classical theorems of descriptive set theory or providing counter examples. In particular we are interested in equivalence relations on these spaces and their Borel reducibility to each other. The last chapter shows, using game-theoretic techniques, that the order of Borel equivalence relations under Borel reduciblity has very high complexity. The techniques in the above described set theoretical side of the thesis include forcing, general topological notions such as meager sets and combinatorial games of infinite length. By coding uncountable models to functions, we are able to apply the understanding of the generalized descriptive set theory to the model theory of uncountable models. The links between the theorems of model theory (including Shelah's classification theory) and the theorems in pure set theory are provided using game theoretic techniques from Ehrenfeucht-Fraïssé games in model theory to cub-games in set theory. The bottom line of the research declairs that the descriptive (set theoretic) complexity of an isomorphism relation of a first-order definable model class goes in synch with the stability theoretical complexity of the corresponding first-order theory. The first chapter of the thesis has slightly different focus and is purely concerned with a certain modification of the well known Ehrenfeucht-Fraïssé games. There we (me and my supervisor Tapani Hyttinen) answer some natural questions about that game mainly concerning determinacy and its relation to the standard EF-game

Distributed algorithms for edge dominating sets

An edge dominating set for a graph G is a set D of edges such that each edge of G is in D or adjacent to at least one edge in D. This work studies deterministic distributed approximation algorithms for finding minimum-size edge dominating sets. The focus is on anonymous port-numbered networks: there are no unique identifiers, but a node of degree d can refer to its neighbours by integers 1, 2, ..., d. The present work shows that in the port-numbering model, edge dominating sets can be approximated as follows: in d-regular graphs, to within 4 − 6/(d + 1) for an odd d and to within 4 − 2/d for an even d; and in graphs with maximum degree Δ, to within 4 − 2/(Δ − 1) for an odd Δ and to within 4 − 2/Δ for an even Δ. These approximation ratios are tight for all values of d and Δ: there are matching lower bounds.

Affine Hall-Littlewood Functions for A(1)((1)) And Some Constant Term Identities of Cherednik-Macdonald-Mehta Type

We study t-analogs of string functions for integrable highest weight representations of the affine Kac-Moody algebra A(1)((1)). We obtain closed form formulas for certain t-string functions of levels 2 and 4. As corollaries, we obtain explicit identities for the corresponding affine Hall-Littlewood functions, as well as higher level generalizations of Cherednik's Macdonald and Macdonald-Mehta constant term identities.

Effect of blocking oestrogen synthesis with a new generation aromatase inhibitor CGS 16949A on follicular maturation induced by pregnant mare serum gonadotrophin in the immature rat

While the endocrine role of oestrogen is well established, its function in follicular maturation as an autocrine or paracrine regulator is less well understood. This study was designed to delineate the requirement of oestrogen for follicular development in immature rats. Exogenous gonadotrophin (25 IU pregnant mare serum gonadotrophin (PMSG) per rat) was administered to 21- to 23-day old female rats to induce follicular growth and development. In the experimental animals, synthesis of oestrogen was blocked by implanting an Alzet pump containing the aromatase inhibitor (AI) CGS 16949A (fadrozole hydrochloride; 50 mu g/rat per day). The treatment resulted in blockade of the PMSG induced increase in both serum and intrafollicular oestrogen (>95%), thus leading to an inhibition in uterine weight increment. Compared with the controls, ovarian weight increased markedly in both the PMSG (295%)- and PMSG+AI (216%)-primed animals. There was no significant difference in either the proliferative capabilities of the ovarian granulosa cells or their responsiveness to human chorionic gonadotrophin (hCG; 200 pg/ml) and ovine FSH (20 ng/ml) between the PMSG- and PMSG+AI-treated groups. Histological examination of the ovary, however, indicated a decrease in the number of healthy antral follicles in the Al-treated group compared with the PMSG-primed animals but both the groups showed a percentage increase over the controls (PMSG, 225; PMSG+AI, 158). The responsiveness of the animals to an ovulatory dose of hCG was drastically reduced (>80% inhibition of ovulation) in the oestrogen-deprived animals; this could be overriden by exogenous administration of oestrogen. In conclusion, although blocking oestrogen synthesis in the PMSG-primed rat does not seem to alter the functional properties of the isolated granulosa cells in vitro there appears to be an effect on the number of follicles which complete maturation and are able to ovulate in vivo.