Optimisation problems in wireless sensor networks

This thesis studies optimisation problems related to modern large-scale distributed systems, such as wireless sensor networks and wireless ad-hoc networks. The concrete tasks that we use as motivating examples are the following: (i) maximising the lifetime of a battery-powered wireless sensor network, (ii) maximising the capacity of a wireless communication network, and (iii) minimising the number of sensors in a surveillance application. A sensor node consumes energy both when it is transmitting or forwarding data, and when it is performing measurements. Hence task (i), lifetime maximisation, can be approached from two different perspectives. First, we can seek for optimal data flows that make the most out of the energy resources available in the network; such optimisation problems are examples of so-called max-min linear programs. Second, we can conserve energy by putting redundant sensors into sleep mode; we arrive at the sleep scheduling problem, in which the objective is to find an optimal schedule that determines when each sensor node is asleep and when it is awake. In a wireless network simultaneous radio transmissions may interfere with each other. Task (ii), capacity maximisation, therefore gives rise to another scheduling problem, the activity scheduling problem, in which the objective is to find a minimum-length conflict-free schedule that satisfies the data transmission requirements of all wireless communication links. Task (iii), minimising the number of sensors, is related to the classical graph problem of finding a minimum dominating set. However, if we are not only interested in detecting an intruder but also locating the intruder, it is not sufficient to solve the dominating set problem; formulations such as minimum-size identifying codes and locating–dominating codes are more appropriate. This thesis presents approximation algorithms for each of these optimisation problems, i.e., for max-min linear programs, sleep scheduling, activity scheduling, identifying codes, and locating–dominating codes. Two complementary approaches are taken. The main focus is on local algorithms, which are constant-time distributed algorithms. The contributions include local approximation algorithms for max-min linear programs, sleep scheduling, and activity scheduling. In the case of max-min linear programs, tight upper and lower bounds are proved for the best possible approximation ratio that can be achieved by any local algorithm. The second approach is the study of centralised polynomial-time algorithms in local graphs – these are geometric graphs whose structure exhibits spatial locality. Among other contributions, it is shown that while identifying codes and locating–dominating codes are hard to approximate in general graphs, they admit a polynomial-time approximation scheme in local graphs.

Analysing local algorithms in location-aware quasi-unit-disk graphs

A local algorithm with local horizon r is a distributed algorithm that runs in r synchronous communication rounds; here r is a constant that does not depend on the size of the network. As a consequence, the output of a node in a local algorithm only depends on the input within r hops from the node. We give tight bounds on the local horizon for a class of local algorithms for combinatorial problems on unit-disk graphs (UDGs). Most of our bounds are due to a refined analysis of existing approaches, while others are obtained by suggesting new algorithms. The algorithms we consider are based on network decompositions guided by a rectangular tiling of the plane. The algorithms are applied to matching, independent set, graph colouring, vertex cover, and dominating set. We also study local algorithms on quasi-UDGs, which are a popular generalisation of UDGs, aimed at more realistic modelling of communication between the network nodes. Analysing the local algorithms on quasi-UDGs allows one to assume that the nodes know their coordinates only approximately, up to an additive error. Despite the localisation error, the quality of the solution to problems on quasi-UDGs remains the same as for the case of UDGs with perfect location awareness. We analyse the increase in the local horizon that comes along with moving from UDGs to quasi-UDGs.

Temperature-Sensitive Src-Transformed Mdck Cells nn 3d Cultures as a Model of Malignant Transformation of Epithelial Cells

The equilibrium between cell proliferation, differentiation, and apoptosis is crucial for maintaining homeostasis in epithelial tissues. In order for the epithelium to function properly, individual cells must gain normal structural and functional polarity. The junctional proteins have an important role both in binding the cells together and in taking part in cell signaling. Cadherins form adherens junctions. Cadherins initiate the polarization process by first recognizing and binding the neighboring cells together, and then guiding the formation of tight junctions. Tight junctions form a barrier in dividing the plasma membranes to apical and basolateral membrane domains. In glandular tissues, single layered and polarized epithelium is folded into tubes or spheres, in which the basal side of the epithelial layer faces the outer basal membrane, and the apical side the lumen. In carcinogenesis, the differentiated architecture of an epithelial layer is disrupted. Filling of the luminal space is a hallmark of early epithelial tumors in tubular and glandular structures. In order for the transformed tumor cells to populate the lumen, enhanced proliferation as well as inhibition of apoptosis is required. Most advances in cancer biology have been achieved by using two-dimensional (2D) cell culture models, in which the cells are cultured on flat surfaces as monolayers. However, the 2D cultures are limited in their capacity to recapitulate the structural and functional features of tubular structures and to represent cell growth and differentiation in vivo. The development of three-dimensional (3D) cell culture methods enables the cells to grow and to be studied in a more natural environment. Despite the wide use of 2D cell culture models and the development of novel 3D culture methods, it is not clear how the change of the dimensionality of culture conditions alters the polarization and transformation process and the molecular mechanisms behind them. Src is a well-known oncogene. It is found in focal and adherens junctions of cultured cells. Active src disrupts cell-cell junctions and interferes with cell-matrix binding. It promotes cell motility and survival. Src transformation in 2D disrupts adherens junctions and the fibroblastic phenotype of the cells. In 3D, the adherens junctions are weakened, and in glandular structures, the lumen is filled with nonpolarized vital cells. Madin-Darby canine kidney (MDCK) cells are an epithelial cell type commonly used as a model for cell polarization. Its-src-transformed variants are useful model systems for analyzing the changes in cell morphology, and they play a role in src-induced malignant transformation. This study investigates src-transformed cells in 3D cell cultures as a model for malignant transformation. The following questions were posed. Firstly: What is the role of the composition and stiffness of the extracellular matrix (ECM) on the polarization and transformation of ts v-src MDCK cells in 3D cell cultures? Secondly: How do the culture conditions affect gene expression? What is the effect of v-src transformation in 2D and in 3D cell models? How does the shift from 2D to 3D affect cell polarity and gene expression? Thirdly: What is the role of survivin and its regulator phosphatase and tensin homolog protein (PTEN) in cell polarization and transformation, and in determining cell fate? How does their expression correlate with impaired mitochondrial function in transformed cells? In order to answer the above questions, novel methods of culturing and monitoring cells had to be created: novel 3D methods of culturing epithelial cells were engineered, enabling real time monitoring of a polarization and transformation process, and functional testing of 3D cell cultures. Novel 3D cell culture models and imaging techniques were created for the study. Attention was focused especially on confocal microscopy and live-cell imaging. Src-transformation disturbed the polarization of the epithelium by disrupting cell adhesion, and sensitized the cells to their environment. With active src, the morphology of the cell cluster depended on the composition and stiffness of the matrix. Gene expression studies revealed a broader impact of src transformation than mere continuous activity of src-kinase. In 2D cultures, src transformation altered the expression of immunological, actin cytoskeleton and extracellular matrix (ECM). In 3D, the genes regulating cell division, inhibition of apoptosis, cell metabolism, mitochondrial function, actin cytoskeleton and mechano-sensing proteins were altered. Surprisingly, changing the culture conditions from 2D to 3D affected also gene expression considerably. The microarray hit survivin, an inhibitor of apoptosis, played a crucial role in the survival and proliferation of src-transformed cells.

Yhteisestä toiminnasta yhteiseen kieleen : keskustelunanalyyttinen tutkimus toisen kielen oppimisesta kielikylpypäiväkodin arkitilanteissa

This dissertation examines how Finnish-speaking children learn Swedish in an immersion kindergarten where the method of Canadian immersion is used. Within the framework of conversation analysis, this study explores how second language learning is situated in interaction and evidenced in the participants´ verbal and non-verbal behavior. The database consists of 40 hours of videotaped data collected in naturally occurring situations in a group of 15 four-year-old children during the first two years of their immersion. Due to the immersion method, all the children share the same L1, in this case Finnish, and the teachers understand Finnish. However, they speak only Swedish to the children in all situations and Swedish is learned in interaction without formal teaching. The aim of the study is to discover how the children´s second language competence gradually increases when they participate in interaction with the Swedish-speaking teachers. The study also sheds light on the methodological question of how second language learning can be analyzed with the method of conversation analysis. The focus is on showing how the second language is learned in interaction, especially on how learning is achieved collaboratively. In this study, the emerging second language competence is explored by investigating how the children show understanding of the teachers´ non-verbal and verbal actions during the first and the second semester of the immersion. The children´s use of Swedish is analyzed by investigating how they recycle lexical items and later even syntactic structures from the teachers´ Swedish turns. The results show that the teachers´ actions are largely understood by the children even at the beginning of the immersion. The analyzes of the children´s responsive turns reveal that they interpret the teachers´ turns on the basis of non-verbal cues at first. Especially at the beginning of the immersion, the participants orient to the progress of interaction and not to problems in understanding. Even in situations where the next actions show that the children do not understand what is said, they tend to display understanding rather than non-understanding. This behavior changes, however, when the children´s competence in their second language increases. At the second semester, the children both show understanding of the teachers´ verbal turns and also display their non-understanding by initiating repair when they do not understand. Understanding of the teachers´ verbal turns, including their syntactic structure, is manifested in the ways the children tie their turns to the teachers´ turns. Recycling, on the other hand, proves to be the way by which the children start to speak the second language. In this study, the children´s common L1 is evidenced to be an important resource in interaction. It allows the children to participate in their individual ways and to share their experiences both with each other and with the teachers. It also enables them to co-construct conversations that lead to collaborative learning. Moreover, the uninhibited use of L1 proves to be an important analytic tool that makes the immersion data especially fruitful for conversation analytic research on second language learning, since the children´s interpretations of the second language are in evidence even when they do not speak the second language.

Locally checkable proofs

This work studies decision problems from the perspective of nondeterministic distributed algorithms. For a yes-instance there must exist a proof that can be verified with a distributed algorithm: all nodes must accept a valid proof, and at least one node must reject an invalid proof. We focus on locally checkable proofs that can be verified with a constant-time distributed algorithm. For example, it is easy to prove that a graph is bipartite: the locally checkable proof gives a 2-colouring of the graph, which only takes 1 bit per node. However, it is more difficult to prove that a graph is not bipartite—it turns out that any locally checkable proof requires Ω(log n) bits per node. In this work we classify graph problems according to their local proof complexity, i.e., how many bits per node are needed in a locally checkable proof. We establish tight or near-tight results for classical graph properties such as the chromatic number. We show that the proof complexities form a natural hierarchy of complexity classes: for many classical graph problems, the proof complexity is either 0, Θ(1), Θ(log n), or poly(n) bits per node. Among the most difficult graph properties are symmetric graphs, which require Ω(n2) bits per node, and non-3-colourable graphs, which require Ω(n2/log n) bits per node—any pure graph property admits a trivial proof of size O(n2).

Literature Review: Investigating Drug Transport at the Blood-Brain Barrier and the Effects of P-glycoprotein on the Brain Distribution of Drugs.

The blood-brain barrier (BBB) is a unique barrier that strictly regulates the entry of endogenous substrates and xenobiotics into the brain. This is due to its tight junctions and the array of transporters and metabolic enzymes that are expressed. The determination of brain concentrations in vivo is difficult, laborious and expensive which means that there is interest in developing predictive tools of brain distribution. Predicting brain concentrations is important even in early drug development to ensure efficacy of central nervous system (CNS) targeted drugs and safety of non-CNS drugs. The literature review covers the most common current in vitro, in vivo and in silico methods of studying transport into the brain, concentrating on transporter effects. The consequences of efflux mediated by p-glycoprotein, the most widely characterized transporter expressed at the BBB, is also discussed. The aim of the experimental study was to build a pharmacokinetic (PK) model to describe p-glycoprotein substrate drug concentrations in the brain using commonly measured in vivo parameters of brain distribution. The possibility of replacing in vivo parameter values with their in vitro counterparts was also studied. All data for the study was taken from the literature. A simple 2-compartment PK model was built using the Stella™ software. Brain concentrations of morphine, loperamide and quinidine were simulated and compared with published studies. Correlation of in vitro measured efflux ratio (ER) from different studies was evaluated in addition to studying correlation between in vitro and in vivo measured ER. A Stella™ model was also constructed to simulate an in vitro transcellular monolayer experiment, to study the sensitivity of measured ER to changes in passive permeability and Michaelis-Menten kinetic parameter values. Interspecies differences in rats and mice were investigated with regards to brain permeability and drug binding in brain tissue. Although the PK brain model was able to capture the concentration-time profiles for all 3 compounds in both brain and plasma and performed fairly well for morphine, for quinidine it underestimated and for loperamide it overestimated brain concentrations. Because the ratio of concentrations in brain and blood is dependent on the ER, it is suggested that the variable values cited for this parameter and its inaccuracy could be one explanation for the failure of predictions. Validation of the model with more compounds is needed to draw further conclusions. In vitro ER showed variable correlation between studies, indicating variability due to experimental factors such as test concentration, but overall differences were small. Good correlation between in vitro and in vivo ER at low concentrations supports the possibility of using of in vitro ER in the PK model. The in vitro simulation illustrated that in the simulation setting, efflux is significant only with low passive permeability, which highlights the fact that the cell model used to measure ER must have low enough paracellular permeability to correctly mimic the in vivo situation.

Community-based Ecotourism as a Sustainable Development Option in the Taita Hills, Kenya

This study aims at identifying the existing and potential resources, as well as recognizing the hinderances, for community-based ecotourism development in the Taita Hills in south-eastern Kenya. The indigenous mountain rain forests on the hills are rich in biodiversity, but severely degraded because of encroachment caused by the dynamics of increased population, socio-politics and economics. The research problems are based on the hypothesis that there is no tourism in the Taita Hills generating income for the local economy and high population density combined with poverty creates a need for alternative employment opportunities as well as for sustainable ways of forest resource management. The data for this study was gathered during two field trips in Kenya, in January-February 2004 and 2005, as a part of the Taita Project within the Department of Geography at the University of Helsinki. The qualitative methods used consist of RRA and PRA techniques, in-depth interviews, a structured questionnaire and literature analysis as well as attendance on excursions and a workshop with conservation experts and officials. Four case areas in the Taita Hills are studied. The study concludes that alternative livelihoods are needed among the Taita Hills´ rural population and community-based ecotourism is seen as a way of bringing financial benefits for households as well as reviving the fading cultural traditions and indigenous knowledge about forest use. The governmental policies, district level development plans and some NGOs support ecotourism development. The Forest Act 2005 forms base for local participation in forest management. The unique natural features, the welcoming Taita-culture and the location in the coastal tourism circle favour Taita Hills. However, this kind of development has its risks, such as too rapid change of sorest usage level and the exposure of communities to an ecotourism treadmill process. The costbenefit ration of marketing for hard ecotourists is generally low and the tourism infrastructure needs upgrading in the Taita Hills. More tight collaboration is important between the different level stakeholders working for conservation and development. Community-based ecotourism in Taita Hills, when carefully planned and managed, could be one opportunity for Kenya to diversify its tourism product supply and for forestadjacent communities to gain tangible benefits on a sustainable basis from forests.

'South-South' Remittance - Poverty reduction nexus. The Case of 'Hadiya' immigrants in South Africa, as Agents of 'Constituence development' in Ethiopia, and the policy implications of their 'remittance instrument'

This thesis explores the link between South-South remittance and development. It attempts to establish improved understanding about the role of immigrants as agents of constituency growth and development. By doing so, it illuminates the dark corners of the policy implications that the unconventional development agency of immigrants might have for countries in the Organization ft Economic Cooperation and Development (OECD). The thesis problematises the existence of state-centric international cooperation as providing the recipe for failed Aid in the face of global poverty menace. In the last half a century, the relative shi' of focus to non-state actors brought about the proliferation of NGOs. That, intrun, helped improve international access to crisis situations; however, their long-term remedial impacts on poverty and development have been contested. Major misgivings for non-governmental organizations (NGOs) are, on one hand, low level goal-bound expenditures and lack of independence from influence of the state, on the other. Therefore, the thesis enterprises to empirically verify its fundamental question whether remitting immigrants constitute an alternative development agency to the traditional players: the State and NGOs. Its main arguments are: due to state's failures in bringing sustainable development in many countries of the South, the future of poverty reduction and development also rests in immigrants' remittances. Nonetheless, in the last decade, remittance security-nexus dominated its discourse. Because of that remittance was viewed as something requiring global regime and restrictions. These temptations to tightly regulate remittance flows carry the danger of overlooking its trans-boundary nature and its strong link with livelihood of the poor. Therefore, to avoid unintended consequences of interventions, there need to be clear policy that bases itself on a discursive knowledge on the issues of North-South and South-South remittances The study involved both literature based and empirical research. It employed Discourse Analysis (C as main method for the former and snow-balling as its approach for the latter. For the first part the thesis constructed three conceptual models, these are: metrological model, police model and ecological model on remittance development-nexus. Through this modeling, the thesis achieved better deconstruction on the concepts remittance, immigrants and development agency. The protagonists of each model, the values and interests they represent, and their main arguments along various lines of dichotomies have been discussed. For instance, the main treats of meteorological model include: it sees remittance as transitional economic variable which require constant speculations and global management; it acts as meteorological station for following up or predicting the level, direction, flow and movement of global remittance. It focuses on official lines and considers the state as legitimate recipient of advic and positive consequence of remittance. On the other hand, police model views remittance as beir at best, development neutral or as an illicit activity requiring global regulations and tight control. Both immigrants and remittance viewed as subversive to establishments. It gives primacy to state stable agent of development and a partner for international cooperation. The anti-thesis to the police model is supplied by ecological model, which this thesis is a part. Ecological model on remittance and immigrants argues that, tight global regulations alone cannot be a panacea for possible abuse of informal remittance system. Ecological model, not only links remittance to poverty reduction, the main trust of development, but also considers the development agency of immigrants as critical factor for 21st century north-south development intervention. It sees immigrants as development conscious and their remittance instrument as most stable flow of finance to the developing countries. Besides, it sees remittance as effective poverty solutions than Foreign Direct Investment and international AID. This thesis focuses on the significance of South-South remittance and investigates the South Africa - Ethiopia remittance corridor, as case study; and empirically verifies the role of Ethiopian (Kembata and Hadiya) immigrants in South Africa as agents of local development back home. The study involved techniques of interview, group discussions, observations and investigative study. It also looked into the determinants of their migration to South Africa, and their remittance to Ethiopia. The theoretical models in the first part of the thesis have been operationalised throughout the empirical part to verify if the Kembata and Hadiya immigrants played the crucial role in their household poverty and local development in comparison with the Ethiopian state and the NGOs involved in the system. As evidenced by the research the thesis has made three distinct contributions to the discourse of remittance development-nexus. Fist, it systematized the debate about linkages between remittance, immigrants, development agency and policy of international cooperation by creating three conceptual models (school of thoughts); second, it singled out remitting immigrants as new agents of development in the South; third, it deconstructed concept of remittance and established South¬South remittance as additional sphere of academic investigation. In addition to the above contributions, the thesis finds that Kembata and Hadiya immigrants have engaged in various developmental activities in their locality than usually anticipated. Hence, it concludes that Ethiopian immigrants constitute an alternative development agency to the state and other non-state actors in their country, and the lesson can be applied to poverty reduction strategies in most developing countries.