Upconverting diagnostics: Multiplex assays utilizing upconversion luminescence technology

Conventional diagnostics tests and technologies typically allow only a single analysis and result per test. The aim of this study was to propose robust and multiplex array-inwell test platforms based on oligonucleotide and protein arrays combining the advantages of simple instrumentation and upconverting phosphor (UCP) reporter technology. The UCPs are luminescent lanthanide-doped crystals that have a unique capability to convert infrared radiation into visible light. No autofluorescence is produced from the sample under infrared excitation enabling the development of highly sensitive assays. In this study, an oligonucleotide array-in-well hybridization assay was developed for the detection and genotyping of human adenoviruses. The study provided a verification of the advantages and potential of the UCP-based reporter technology in multiplex assays as well as anti-Stokes photoluminescence detection with a new anti- Stokes photoluminescence imager. The developed assay was technically improved and used to detect and genotype adenovirus types from clinical specimens. Based on the results of the epidemiological study, an outbreak of adenovirus type B03 was observed in the autumn of 2010. A quantitative array-in-well immunoassay was developed for three target analytes (prostate specific antigen, thyroid stimulating hormone, and luteinizing hormone). In this study, quantitative results were obtained for each analyte and the analytical sensitivities in buffer were in clinically relevant range. Another protein-based array-inwell assay was developed for multiplex serodiagnostics. The developed assay was able to detect parvovirus B19 IgG and adenovirus IgG antibodies simultaneously from serum samples according to reference assays. The study demonstrated that the UCPtechnology is a robust detection method for diverse multiplex imaging-based array-inwell assays.

Subshifts with Simple Cellular Automata

A subshift is a set of in nite one- or two-way sequences over a xed nite set, de ned by a set of forbidden patterns. In this thesis, we study subshifts in the topological setting, where the natural morphisms between them are ones de ned by a (spatially uniform) local rule. Endomorphisms of subshifts are called cellular automata, and we call the set of cellular automata on a subshift its endomorphism monoid. It is known that the set of all sequences (the full shift) allows cellular automata with complex dynamical and computational properties. We are interested in subshifts that do not support such cellular automata. In particular, we study countable subshifts, minimal subshifts and subshifts with additional universal algebraic structure that cellular automata need to respect, and investigate certain criteria of `simplicity' of the endomorphism monoid, for each of them. In the case of countable subshifts, we concentrate on countable so c shifts, that is, countable subshifts de ned by a nite state automaton. We develop some general tools for studying cellular automata on such subshifts, and show that nilpotency and periodicity of cellular automata are decidable properties, and positive expansivity is impossible. Nevertheless, we also prove various undecidability results, by simulating counter machines with cellular automata. We prove that minimal subshifts generated by primitive Pisot substitutions only support virtually cyclic automorphism groups, and give an example of a Toeplitz subshift whose automorphism group is not nitely generated. In the algebraic setting, we study the centralizers of CA, and group and lattice homomorphic CA. In particular, we obtain results about centralizers of symbol permutations and bipermutive CA, and their connections with group structures.

From Molecular Blocks To Bioanalytical Assays: Combining Lanthanide Luminescence and Bioaffinity Binders for Protein Detection

Measuring protein biomarkers from sample matrix, such as plasma, is one of the basic tasks in clinical diagnostics. Bioanalytical assays used for the measuring should be able to measure proteins with high sensitivity and specificity. Furthermore, multiplexing capability would also be advantageous. To ensure the utility of the diagnostic test in point-of-care setting, additional requirements such as short turn-around times, ease-ofuse and low costs need to be met. On the other hand, enhancement of assay sensitivity could enable exploiting novel biomarkers, which are present in very low concentrations and which the current immunoassays are unable to measure. Furthermore, highly sensitive assays could enable the use of minimally invasive sampling. In the development of high-sensitivity assays the label technology and affinity binders are in pivotal role. Additionally, innovative assay designs contribute to the obtained sensitivity and other characteristics of the assay as well as its applicability. The aim of this thesis was to study the impact of assay components on the performance of both homogeneous and heterogeneous assays. Applicability of two different lanthanide-based label technologies, upconverting nanoparticles and switchable lanthanide luminescence, to protein detection was explored. Moreover, the potential of recombinant antibodies and aptamers as alternative affinity binders were evaluated. Additionally, alternative conjugation chemistries for production of the labeled binders were studied. Different assay concepts were also evaluated with respect to their applicability to point-of-care testing, which requires simple yet sensitive methods. The applicability of upconverting nanoparticles to the simultaneous quantitative measurement of multiple analytes using imaging-based detection was demonstrated. Additionally, the required instrumentation was relatively simple and inexpensive compared to other luminescent lanthanide-based labels requiring time-resolved measurement. The developed homogeneous assays exploiting switchable lanthanide luminescence were rapid and simple to perform and thus applicable even to point-ofcare testing. The sensitivities of the homogeneous assays were in the picomolar range, which are still inadequate for some analytes, such as cardiac troponins, requiring ultralow limits of detection. For most analytes, however, the obtained limits of detection were sufficient. The use of recombinant antibody fragments and aptamers as binders allowed site-specific and controlled covalent conjugation to construct labeled binders reproducibly either by using chemical modification or recombinant technology. Luminescent lanthanide labels were shown to be widely applicable for protein detection in various assay setups and to contribute assay sensitivity.

Computational models for and from biology : simple gene assembly and reaction systems

The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention overtime. An excellent example of this type of research is natural computing which stands on the borderline between biology and computer science. The contribution of research done in natural computing is twofold: on one hand, it sheds light into how nature works and how it processes information and, on the other hand, it provides some guidelines on how to design bio-inspired technologies. The first direction in this thesis focuses on a nature-inspired process called gene assembly in ciliates. The second one studies reaction systems, as a modeling framework with its rationale built upon the biochemical interactions happening within a cell. The process of gene assembly in ciliates has attracted a lot of attention as a research topic in the past 15 years. Two main modelling frameworks have been initially proposed in the end of 1990s to capture ciliates’ gene assembly process, namely the intermolecular model and the intramolecular model. They were followed by other model proposals such as templatebased assembly and DNA rearrangement pathways recombination models. In this thesis we are interested in a variation of the intramolecular model called simple gene assembly model, which focuses on the simplest possible folds in the assembly process. We propose a new framework called directed overlap-inclusion (DOI) graphs to overcome the limitations that previously introduced models faced in capturing all the combinatorial details of the simple gene assembly process. We investigate a number of combinatorial properties of these graphs, including a necessary property in terms of forbidden induced subgraphs. We also introduce DOI graph-based rewriting rules that capture all the operations of the simple gene assembly model and prove that they are equivalent to the string-based formalization of the model. Reaction systems (RS) is another nature-inspired modeling framework that is studied in this thesis. Reaction systems’ rationale is based upon two main regulation mechanisms, facilitation and inhibition, which control the interactions between biochemical reactions. Reaction systems is a complementary modeling framework to traditional quantitative frameworks, focusing on explicit cause-effect relationships between reactions. The explicit formulation of facilitation and inhibition mechanisms behind reactions, as well as the focus on interactions between reactions (rather than dynamics of concentrations) makes their applicability potentially wide and useful beyond biological case studies. In this thesis, we construct a reaction system model corresponding to the heat shock response mechanism based on a novel concept of dominance graph that captures the competition on resources in the ODE model. We also introduce for RS various concepts inspired by biology, e.g., mass conservation, steady state, periodicity, etc., to do model checking of the reaction systems based models. We prove that the complexity of the decision problems related to these properties varies from P to NP- and coNP-complete to PSPACE-complete. We further focus on the mass conservation relation in an RS and introduce the conservation dependency graph to capture the relation between the species and also propose an algorithm to list the conserved sets of a given reaction system.