Middleware for Mobile Sensing Applications in Urban Environments

Sensor networks represent an attractive tool to observe the physical world. Networks of tiny sensors can be used to detect a fire in a forest, to monitor the level of pollution in a river, or to check on the structural integrity of a bridge. Application-specific deployments of static-sensor networks have been widely investigated. Commonly, these networks involve a centralized data-collection point and no sharing of data outside the organization that owns it. Although this approach can accommodate many application scenarios, it significantly deviates from the pervasive computing vision of ubiquitous sensing where user applications seamlessly access anytime, anywhere data produced by sensors embedded in the surroundings. With the ubiquity and ever-increasing capabilities of mobile devices, urban environments can help give substance to the ubiquitous sensing vision through Urbanets, spontaneously created urban networks. Urbanets consist of mobile multi-sensor devices, such as smart phones and vehicular systems, public sensor networks deployed by municipalities, and individual sensors incorporated in buildings, roads, or daily artifacts. My thesis is that "multi-sensor mobile devices can be successfully programmed to become the underpinning elements of an open, infrastructure-less, distributed sensing platform that can bring sensor data out of their traditional close-loop networks into everyday urban applications". Urbanets can support a variety of services ranging from emergency and surveillance to tourist guidance and entertainment. For instance, cars can be used to provide traffic information services to alert drivers to upcoming traffic jams, and phones to provide shopping recommender services to inform users of special offers at the mall. Urbanets cannot be programmed using traditional distributed computing models, which assume underlying networks with functionally homogeneous nodes, stable configurations, and known delays. Conversely, Urbanets have functionally heterogeneous nodes, volatile configurations, and unknown delays. Instead, solutions developed for sensor networks and mobile ad hoc networks can be leveraged to provide novel architectures that address Urbanet-specific requirements, while providing useful abstractions that hide the network complexity from the programmer. This dissertation presents two middleware architectures that can support mobile sensing applications in Urbanets. Contory offers a declarative programming model that views Urbanets as a distributed sensor database and exposes an SQL-like interface to developers. Context-aware Migratory Services provides a client-server paradigm, where services are capable of migrating to different nodes in the network in order to maintain a continuous and semantically correct interaction with clients. Compared to previous approaches to supporting mobile sensing urban applications, our architectures are entirely distributed and do not assume constant availability of Internet connectivity. In addition, they allow on-demand collection of sensor data with the accuracy and at the frequency required by every application. These architectures have been implemented in Java and tested on smart phones. They have proved successful in supporting several prototype applications and experimental results obtained in ad hoc networks of phones have demonstrated their feasibility with reasonable performance in terms of latency, memory, and energy consumption.

Computing the Stochastic Complexity of Simple Probabilistic Graphical Models

Minimum Description Length (MDL) is an information-theoretic principle that can be used for model selection and other statistical inference tasks. There are various ways to use the principle in practice. One theoretically valid way is to use the normalized maximum likelihood (NML) criterion. Due to computational difficulties, this approach has not been used very often. This thesis presents efficient floating-point algorithms that make it possible to compute the NML for multinomial, Naive Bayes and Bayesian forest models. None of the presented algorithms rely on asymptotic analysis and with the first two model classes we also discuss how to compute exact rational number solutions.

Matrix Decomposition Methods for Data Mining : Computational Complexity and Algorithms

Matrix decompositions, where a given matrix is represented as a product of two other matrices, are regularly used in data mining. Most matrix decompositions have their roots in linear algebra, but the needs of data mining are not always those of linear algebra. In data mining one needs to have results that are interpretable -- and what is considered interpretable in data mining can be very different to what is considered interpretable in linear algebra. --- The purpose of this thesis is to study matrix decompositions that directly address the issue of interpretability. An example is a decomposition of binary matrices where the factor matrices are assumed to be binary and the matrix multiplication is Boolean. The restriction to binary factor matrices increases interpretability -- factor matrices are of the same type as the original matrix -- and allows the use of Boolean matrix multiplication, which is often more intuitive than normal matrix multiplication with binary matrices. Also several other decomposition methods are described, and the computational complexity of computing them is studied together with the hardness of approximating the related optimization problems. Based on these studies, algorithms for constructing the decompositions are proposed. Constructing the decompositions turns out to be computationally hard, and the proposed algorithms are mostly based on various heuristics. Nevertheless, the algorithms are shown to be capable of finding good results in empirical experiments conducted with both synthetic and real-world data.

Political transition and structural politicisation : The long shadow of Taiwan's one-party legacy

Väitöskirjatutkimuksessa tarkastellaan Taiwanin politiikkaa ensimmäisen vaalien kautta tapahtuneen vallanvaihdon jälkeen (2000) yhteiskunnan rakenteellisen politisoitumisen näkökulmasta. Koska Taiwanilla siirryttiin verettömästi autoritaarisesta yksipuoluejärjestelmästä monipuoluejärjestelmään sitä on pidetty poliittisen muodonmuutoksen mallioppilaana. Aiempi optimismi Taiwanin demokratisoitumisen suhteen on sittemmin vaihtunut pessimismiin, pitkälti yhteiskunnan voimakkaasta politisoitumisesta johtuen. Tutkimuksessa haetaan selitystä tälle politisoitumiselle. Yhteiskunnan rakenteellisella politisoitumisella tarkoitetaan tilannetta, jossa ”poliittisen” alue kasvaa varsinaisia poliittisia instituutioita laajemmaksi. Rakenteellinen politisoituminen muuttuu helposti yhteiskunnalliseksi ongelmaksi, koska siitä usein seuraa normaalin poliittisen toiminnan (esim. lainsäädännän) jähmettyminen, yhteiskunnan jyrkkä jakautuminen, alhainen kynnys poliittisille konflikteille ja yleisen yhteiskunnallisen luottamuksen alentuminen. Toisin kuin esimerkiksi Itä-Euroopassa, Taiwanissa entinen valtapuolue ei romahtanut poliittisen avautumisen myötä vaan säilytti vahvan rakenteellisen asemansa. Kun valta vaihtui ensimmäisen kerran vaalien kautta, vanha valtapuolue ei ollut valmis luovuttamaan poliittisen järjestelmän ohjaksia käsistään. Alkoi vuosia kestänyt taistelu järjestelmän hallinnasta vanhan ja uuden valtapuolueen välillä, jossa yhteiskunta politisoitui voimakkaasti. Tutkimuksessa Taiwanin yhteiskunnan politisoituminen selitetään useiden rakenteellisten piirteiden yhteisvaikutuksen tuloksena. Tällaisia politisoitumista edistäviä rakentellisia piirteitä ovat hidas poliittinen muutos, joka säilytti vanhat poliittiset jakolinjat ja niihin liittyvät vahvat edut ja intressit; sopimaton perustuslaki; Taiwanin epäselvä kansainvälinen asema ja jakautunut identiteetti; sekä sosiaalinen rakenne, joka helpottaa ihmisten nopeaa mobilisointia poliittiisiin mielenilmauksiin. Tutkimuksessa kiinnitetään huomiota toistaiseksi vähän tutkittuun poliittiseen ilmiöön, joidenkin demokratisoituvien yhteiskuntien voimakkaaseen rakenteelliseen politisoitumiseen. Tutkimuksen pääasiallinen havainto on, että yksipuoluejärjestelmän demokratisoituminen kantaa sisällään rakenteellisen politisoitumisen siemenen, jos entinen valtapuolue ei romahda demokratisoitumisen myötä.

Structural and functional roles of KCC2 in developing cortex

Cation chloride cotransporters (CCCs) are critical for controlling intracellular chloride homeostasis. The CCC family is composed of four isoforms of K-Cl cotransporters (KCC1-4), two isoforms of Na-K-2Cl cotransporters (NKCC1-2), one Na-Cl cotransporter (NCC) and two the structurally related proteins with unknown function, CCC8 also known as cation-chloride cotransporter interaction protein, CIP, and CCC9. KCC2 is a neuron-specific isoform, which plays a prominent role in controlling the intracellular Cl- concentration in neurons and is responsible for producing the negative shift of GABAA responses from depolarizing to hyperpolarizing during neuronal maturation. In the present studies we first used in situ hybridization to examine the developmental expression patterns of the cation-chloride cotransporters KCC1-4 and NKCC1. We found that they display complementary expression patterns during embryonic brain development. Most interestingly, KCC2 expression in the embryonic central nervous system strictly follows neuronal maturation. In vitro data obtained from primary and organotypic neuronal cultures support this finding and revealed a temporal correlation between the expression of KCC2 and synaptogenesis. We found that KCC2 is highly expressed in filopodia and mature spines as well as dendritic shaft and investigated the role of KCC2 in spine formation by analyzing KCC2-/- neurons in vitro. Our studies revealed that KCC2 is a key factor in the maturation of dendritic spines. Interestingly, the effect of KCC2 in spine formation is not due to Cl- transport activity, but mediated through the interaction between KCC2 C-terminal and intracellular protein associated with cytoskeleton. The interacting protein we found is protein 4.1N by immunoprecipitation. Our results indicate a structural role for KCC2 in the development of functional glutamatergic synapses and suggest KCC2 as a synchronizer for the functional development of glutamatergic and GABAergic synapses in neuronal network. Studies on the regulatory mechanisms of KCC2 expression during development and plasticity revealed that synaptic activity of both the glutamatergic and GABAergic system is not required for up-regulation of KCC2 during development, whereas in acute mature hippocampal slices which undergo continuous synchronous activity induced by the absence of Mg2+ solution, KCC2 mRNA and protein expression were down-regulated in CA1 pyramidal neurons subsequently leading to a reduced capacity for neuronal Cl- extrusion. This effect is mediated by endogenous BDNF-TrkB down-stream cascades involving both Shc/FRS-2 and PLCγ-CREB signaling. BDNF mediated changes in KCC2 expression indicate that KCC2 is significantly involved in the complex mechanisms of neuronal plasticity during development and pathophysiological conditions.

Structural and Functional Studies on Trimeric Autotransporters

Trimeric autotransporters are a family of secreted outer membrane proteins in Gram-negative bacteria. These obligate homotrimeric proteins share a conserved C-terminal region, termed the translocation unit. This domain consists of an integral membrane β-barrel anchor and associated α-helices which pass through the pore of the barrel. The α-helices link to the extracellular portion of the protein, the passenger domain. Autotransportation refers to the way in which the passenger domain is secreted into the extracellular space. It appears that the translocation unit mediates the transport of the passenger domain across the outer membrane, and no external factors, such as ATP, ion gradients nor other proteins, are required. The passenger domain of autotransporters contains the specific activities of each protein. These are usually related to virulence. In trimeric autotransporters, the main function of the proteins is to act as adhesins. One such protein is the Yersinia adhesin YadA, found in enteropathogenic species of Yersinia. The main activity of YadA from Y. enterocolitica is to bind collagen, and it also mediates adhesion to other molecules of the extracellular matrix. In addition, YadA is involved in serum resistance, phagocytosis resistance, binding to epithelial cells and autoagglutination. YadA is an essential virulence factor of Y. enterocolitica, and removal of this protein from the bacteria leads to avirulence. In this study, I investigated the YadA-collagen interaction by studying the binding of YadA to collagen-mimicking peptides by several biochemical and biophysical methods. YadA bound as tightly to the triple-helical model peptide (Pro-Hyp-Gly)10 as to native collagen type I. However, YadA failed to bind a similar peptide that does not form a collagenous triple helix. As (Pro-Hyp-Gly)10 does not contain a specific sequence, we concluded that a triple-helical conformation is necessary for YadA binding, but no specific sequence is required. To further investigate binding determinants for YadA in collagens, I examined the binding of YadA to a library of collagen-mimicking peptides that span the entire triple-helical sequences of human collagens type II and type III. YadA bound promiscuously to many but not all peptides, indicating that a triple-helical conformation alone is not sufficient for binding. The high-binding peptides did not share a clear binding motif, but these peptides were rich in hydroxyproline residues and contained a low number of charged residues. YadA thus binds collagens without sequence specificity. This strategy of promiscuous binding may be advantageous for pathogenic bacteria. The Eib proteins from Escherichia coli are immunoglobulin (Ig)-binding homologues of YadA. I showed conclusively that recombinant EibA, EibC, EibD and EibF bind to IgG Fc. I crystallised a fragment of the passenger domain of EibD, which binds IgA in addition to IgG. The structure has a YadA-like head domain and an extended coiled-coil stalk. The top half of the coiled-coil is right-handed with hendecad periodicity, whereas the lower half is a canonical left-handed coiled-coil. At the transition from right- to left-handedness, a small β-sheet protrudes from each monomer. I was able to map the binding regions for IgG and IgA using truncations and site-directed mutagenesis to the coiled-coil stalk and identified residues critical for Ig binding.

Structural basis of cytoskeletal regulation by twinfilin

The actin cytoskeleton is required, in all eukaryotic organisms, for several key cellular functions such as cell motility, cytokinesis, and endocytosis. In cells, actin exists either in a monomeric state (G-actin) or in a filamentous form (F-actin). F-actin is the functional form, which can assemble into various structures and produce direct pushing forces that are required for different motile processes. The assembly of actin monomers into complicated three-dimensional structures is tightly regulated by a large number of actin regulating proteins. One central actin regulating protein is twinfilin. Twinfilin consists of two actin depolymerizing-factor homology (ADF-H) domains, which are capable of binding actin, and is conserved from yeast to mammals. Previously it has been shown that twinfilin binds to and sequesters G-actin, and interacts with the heterodimeric capping protein. More recently it has been found that twinfilin also binds to the fast growing actin filament ends and prevents their growth. However, the cellular role of twinfilin and the molecular mechanisms of these interactions have remained unclear. In this study we characterized the molecular mechanisms behind the functions of twinfilin. We demonstrated that twinfilin forms a high-affinity complex with ADP-bound actin monomers (ADP-G-actin). Both ADF-H domains are capable of binding G-actin, but the C-terminal domain contains the high-affinity binding site. Our biochemical analyses identified twinfilin s C-terminal tail region as the interaction site for capping protein. Contrary to G-actin binding, both ADF-H domains of twinfilin are required for the actin filament barbed end capping activity. The C-terminal domain is structurally homologous to ADF/cofilin and binds to filament sides in a similar manner, providing the main affinity for F-actin during barbed end capping. The structure of the N-terminal domain is more distant from ADF/cofilin, and thus it can only associate with G-actin or the terminal actin monomer at the filament barbed end, where it regulates twinfilin s affinity for barbed ends. These data suggest that the mechanism of barbed end capping is similar for twinfilin and gelsolin family proteins. Taken together, these studies revealed how twinfilin interacts with G-actin, filament barbed ends, and capping protein, and also provide a model for how these activities evolved through a duplication of an ancient ADF/cofilin-like domain.

Multifunctional RNA silencing pathway polymerase QDE-1 of Neurospora crassa

Double-stranded RNA and associated proteins are known to regulate the gene expression of most eukaryotic organisms. These regulation pathways have different components, outcomes and distinct nomenclature depending on the model system, and often they are referred to collectively as RNA silencing. In many cases, RNA-dependent RNA polymerases (RdRPs) are found to be involved in the RNA silencing, but their targets, activities, interaction partners and reaction products remain enigmatic. In the filamentous fungus Neurospora crassa, the RdRP QDE-1 is critical for silencing of transgenes a phenomenon known as quelling. In this thesis the structure, biochemical activities and biological functions of QDE-1 were extensively studied. This dimeric RdRP was shown to possess five distinct catalytic in vitro activities that could be dissected by mutagenesis and by altering reaction conditions. The biochemical characterization implied that QDE-1 is actually an active DNA-dependent RNA polymerase that has additional RdRP activity. It also provided a structural explanation for the dimerization and suggested a biological framework for the functions of QDE-1 in vivo. (I) QDE-1 was also studied in a broader context along with the other components of the quelling pathway. It was shown that DNA damage in Neurospora causes a dramatic increase in the expression level of the Argonaute protein QDE-2 as well as the synthesis of a novel class of small RNAs known as qiRNAs. The accumulation of qiRNAs was shown to be dependent on several quelling components, and particularly to be derived from an aberrant ssRNA (aRNA) molecule that is synthesized by QDE-1 in the nucleus. The genomic distribution of qiRNA targets was analyzed and the possible biological significance of qiRNAs was studied. Importantly, qiRNAs are the first class of small RNAs that are induced by DNA damage. (II) After establishing that QDE-1 is a multifunctional RNA polymerase with several activities, template specificities and subcellular locations, the focus was turned onto its interaction partners. It had been previously known that QDE-1 associates with Replication Protein A (RPA), but the RecQ helicase QDE-3 was now shown to regulate this interaction. RPA was also observed to promote QDE-1 dependent dsRNA synthesis in vitro. By characterizing the interplay between QDE-1, QDE-3 and RPA, a working model of quelling and qiRNA pathways in Neurospora was presented. (III) This work sheds light on the complexity of the various RNA silencing pathways of a fungal model system. It shows how an RdRP can regulate gene expression on many levels, and suggests novel lines of research in other eukaryotic organisms.

Structural studies on members of the picornavirus superfamily

The pathogenic members of the picornavirus superfamily have adverse effects on humans, their crops and their livestock. As structure is related to function, detailed structural studies on these viruses are important not only for fundamental understanding of the viral life cycle, but also for the rational design of vaccines and inhibitors for disease control. These viruses have positive sense, single-stranded RNA genomes enclosed in a protein capsid. X-ray crystallography and cryo-electron microscopy studies have revealed that the isometric members of this group have icosahedrally-symmetric capsids made up of 60 copies of each of the structural proteins. The members that infect animal cells often employ one or more cellular receptors to facilitate cell entry which in some cases is known to initiate the uncoating sequence of the genome. The nature of the interactions between individual viruses and alternative cellular receptors has rarely been probed. The capsid assembly of the members of the picornavirus superfamily is considered to be cooperative and the interactions of RNA and capsid proteins are thought to play an important role in orchestrating virus assembly. The major aims of this thesis were to solve the structures of blackcurrant reversion virus (BRV), human parechovirus 1 (HPEV1) and coxsackievirus A7 (CAV7), as well as the structure of HPEV1 complexed with two of its cellular receptors using cryo-electron microscopy, three-dimensional image reconstruction and homology modeling. Each of the selected viruses represents a taxonomic group where little or no structural data was previously available. The results enabled the detailed comparison of the new structures to those of known picornaviruses, the identification of surface-exposed epitopes potentially important for host interaction, the mapping of RNA-capsid protein interactions and the elucidation of the basis for the specificity of two different receptor molecules for the same capsid. This work will form the basis for further studies on the influence of RNA on parechovirus assembly as a potential target for drug design.