Locality and order-invariant logics

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

Multi-user resource-sharing problem for the Internet

In this thesis we study a series of multi-user resource-sharing problems for the Internet, which involve distribution of a common resource among participants of multi-user systems (servers or networks). We study concurrently accessible resources, which for end-users may be exclusively accessible or non-exclusively. For all kinds we suggest a separate algorithm or a modification of common reputation scheme. Every algorithm or method is studied from different perspectives: optimality of protocols, selfishness of end users, fairness of the protocol for end users. On the one hand the multifaceted analysis allows us to select the most suited protocols among a set of various available ones based on trade-offs of optima criteria. On the other hand, the future Internet predictions dictate new rules for the optimality we should take into account and new properties of the networks that cannot be neglected anymore. In this thesis we have studied new protocols for such resource-sharing problems as the backoff protocol, defense mechanisms against Denial-of-Service, fairness and confidentiality for users in overlay networks. For backoff protocol we present analysis of a general backoff scheme, where an optimization is applied to a general-view backoff function. It leads to an optimality condition for backoff protocols in both slot times and continuous time models. Additionally we present an extension for the backoff scheme in order to achieve fairness for the participants in an unfair environment, such as wireless signal strengths. Finally, for the backoff algorithm we suggest a reputation scheme that deals with misbehaving nodes. For the next problem -- denial-of-service attacks, we suggest two schemes that deal with the malicious behavior for two conditions: forged identities and unspoofed identities. For the first one we suggest a novel most-knocked-first-served algorithm, while for the latter we apply a reputation mechanism in order to restrict resource access for misbehaving nodes. Finally, we study the reputation scheme for the overlays and peer-to-peer networks, where resource is not placed on a common station, but spread across the network. The theoretical analysis suggests what behavior will be selected by the end station under such a reputation mechanism.

Innate immune system and adiponectin in diabetic nephropathy in type 1 diabetes

Introduction: The pathogenesis of diabetic nephropathy remains a matter of debate, although strong evidence suggests that it results from the interaction between susceptibility genes and the diabetic milieu. The true pathogenetic mechanism remains unknown, but a common denominator of micro- and macrovascular complications may exist. Some have suggested that low-grade inflammation and activation of the innate immune system might play a synergistic role in the pathogenesis of diabetic nephropathy. Aims of the study: The present studies were undertaken to investigate whether low-grade inflammation, mannan-binding lectin (MBL) and α-defensin play a role, together with adiponectin, in patients with type 1 diabetes and diabetic nephropathy. Subjects and methods: This study is part of the ongoing Finnish Diabetic Nephropathy Study (FinnDiane). The first four cross-sectional substudies of this thesis comprised 194 patients with type 1 diabetes divided into three groups (normo-, micro-, and macroalbuminuria) according to their albumin excretion rate (AER). The fifth substudy aimed to determine whether baseline serum adiponectin plays a role in the development and progression of diabetic nephropathy. This follow-up study included 1330 patients with type 1 diabetes and a mean follow-up period of five years. The patients were divided into three groups depending on their AER at baseline. As a measure of low-grade inflammation, highly sensitive CRP (hsCRP) and α-defensin were measured with radio-immunoassay, and interleukin-6 (IL-6) with high- sensitivity enzyme immuno-assay. Mannan-binding lectin and adiponectin were determined with time-resolved immunofluorometric assays. The progression of albuminuria from one stage to the other served as a measure of the progression of diabetic nephropathy. Results: Low-grade inflammatory markers, MBL, adiponectin, and α-defensin were all associated with diabetic nephropathy, whereas MBL, adiponectin, and α-defensin per se were unassociated with low-grade inflammatory markers. AER was the only clinical variable independently associated with hsCRP. AER, HDL-cholesterol and the duration of diabetes were independently associated with IL-6. HbA1c was the only variable independently associated with MBL. The estimated glomerular filtration rate (eGFR), AER, and waist-to-hip ratio were independently associated with adiponectin. Systolic blood pressure, HDL-cholesterol, total cholesterol, age, and eGFR were all independently associated with α-defensin. In patients with macroalbuminuria, progression to end-stage renal disease (ESRD) was associated with higher baseline adiponectin concentrations. Discussion and conclusions: Low-grade inflammation, MBL, adiponectin, and defensin were all associated with diabetic nephropathy in these cross-sectional studies. In contrast however, MBL, adiponectin, and defensin were not associated with low-grade inflammatory markers per se. Nor was defensin associated with MBL, which may suggest that these different players function in a coordinated fashion during the deleterious process of diabetic nephropathy. The question of what causes low-grade inflammation in patients with type 1 diabetes and diabetic nephropathy, however, remains unanswered. We could observe in our study that glycemic control, an atherosclerotic lipid profile, and waist-to-hip ratio (WHR) were associated with low-grade inflammation in the univariate analysis, although in the multivariate analysis, only AER, HDL-cholesterol, and the duration of diabetes, as a measure of glycemic load, proved to be independently associated with inflammation. Notably, all these factors are modifiable with changes in lifestyle and/or with a targeted medication. In the follow-up study, elevated serum adiponectin levels at baseline predicted the progression from macroalbuminuria to ESRD independently of renal function at baseline. This observation does not preclude adiponectin as a favorable factor during the process of diabetic nephropathy, since the rise in serum adiponectin concentrations may remain a mechanism by which the body compensates for the demands created by the diabetic milieu.

Democracy, Participation, and Deliberation in China : The discussion about democratic centralism in the official Chinese press, 1978-1981

This study examines the Chinese press discussion about democratic centralism in 1978-1981 in newspapers, political journals and academic journals distributed nationwide. It is thus a study of intellectual trends during the Hua Guofeng period and of methods, strategies, and techniques of public political discussion of the time. In addition, this study presents democratic centralism as a comprehensive theory of democracy and evaluates this theory. It compares the Chinese theory of democratic centralism with Western traditions of democracy, not only with the standard liberal theory but also with traditions of participatory and deliberative democracy, in order to evaluate whether the Chinese theory of democratic centralism forms a legitimate theory of democracy. It shows that the Chinese theory comes close to participatory types of democracy and shares a conception of democracy as communication with the theory of deliberative democracy. Therefore, the Chinese experience provides some empirical evidence of the practicability of these traditions of democracy. Simultaneously, this study uses experiences of participatory democracies outside of China to explain some earlier findings about the Chinese practices. This dissertation also compares Chinese theory with some common Western theories and models of Chinese society as well as with Western understandings of Chinese political processes. It thus aims at opening more dialogue between Chinese and Western political theories and understandings about Chinese polity. This study belongs to scholarly traditions of the history of ideas, political philosophy, comparative politics, and China studies. The main finding of this study is that the Chinese theory of democratic centralism is essentially a theory about democracy, but whether its scrupulous practicing alone would be sufficient for making a country a democracy depends on which established definition of democracy one applies and on what kind of democratic deficits are seen as being acceptable within a truly democratic system. Nevertheless, since the Chinese theory of democratic centralism fits well with some established definitions of democracy and since democratic deficits are a reality in all actual democracies, the Chinese themselves are talking about democracy in terms acceptable to Western political philosophy as well.

Deus vult: Images of crusader violence c. 1095-1100.

This study sets out to provide new information about the interaction between abstract religious ideas and actual acts of violence in the early crusading movement. The sources are asked, whether such a concept as religious violence can be sorted out as an independent or distinguishable source of aggression at the moment of actual bloodshed. The analysis concentrates on the practitioners of sacred violence, crusaders and their mental processing of the use of violence, the concept of the violent act, and the set of values and attitudes defining this concept. The scope of the study, the early crusade movement, covers the period from late 1080 s to the crusader conquest of Jerusalem in 15 July 1099. The research has been carried out by contextual reading of relevant sources. Eyewitness reports will be compared with texts that were produced by ecclesiastics in Europe. Critical reading of the texts reveals both connecting ideas and interesting differences between them. The sources share a positive attitude towards crusading, and have principally been written to propagate the crusade institution and find new recruits. The emphasis of the study is on the interpretation of images: the sources are not asked what really happened in chronological order, but what the crusader understanding of the reality was like. Fictional material can be even more crucial for the understanding of the crusading mentality. Crusader sources from around the turn of the twelfth century accept violent encounters with non-Christians on the grounds of external hostility directed towards the Christian community. The enemies of Christendom can be identified with either non-Christians living outside the Christian society (Muslims), non-Christians living within the Christian society (Jews) or Christian heretics. Western Christians are described as both victims and avengers of the surrounding forces of diabolical evil. Although the ideal of universal Christianity and gradual eradication of the non-Christian is present, the practical means of achieving a united Christendom are not discussed. The objective of crusader violence was thus entirely Christian: the punishment of the wicked and the restoration of Christian morals and the divine order. Meanwhile, the means used to achieve these objectives were not. Given the scarcity of written regulations concerning the use of force in bello, perceptions concerning the practical use of violence were drawn from a multitude of notions comprising an adaptable network of secular and ecclesiastical, pre-Christian and Christian traditions. Though essentially ideological and often religious in character, the early crusader concept of the practise of violence was not exclusively rooted in Christian thought. The main conclusion of the study is that there existed a definable crusader ideology of the use of force by 1100. The crusader image of violence involved several levels of thought. Predominantly, violence indicates a means of achieving higher spiritual rewards; eternal salvation and immortal glory.

The One and The Many : In the works of Heraclitus, Parmenides and Lao Zi

This paper concentrates on Heraclitus, Parmenides and Lao Zi. The focus is on their ideas on change and whether the world is essentially One or if it is composed of many entities. In the first chapter I go over some general tendences in Greek and Chinese philosophy. The differences in the cultural background have an influence in the ways philosophy is made, but the paper aims to show that two questions can be brought up when comparing the philosophies of Heraclitus, Parmenides and Lao Zi. The questions are; is the world essentially One or Many? Is change real and if it is, what is the nature of it and how does it take place? For Heraclitus change is real, and as will be shown later in the chapter, quite essential for the sustainability of the world-order (kosmos). The key-concept in the case of Heraclitus is Logos. Heraclitus uses Logos in several senses, most well known relating to his element-theory. But another important feature of the Logos, the content of real wisdom, is to be able to regard everything as one. This does not mean that world is essentially one for Heraclitus in the ontological sense, but that we should see the underlying unity of multiple phenomena. Heraclitus regards this as hen panta: All from One, One from All. I characterize Heraclitus as epistemic monist and an ontological pluralist. It is plausible that the views of Heraclitus on change were the focus of Parmenides’ severe criticism. Parmenides held the view that the world is essentially one and that to see it as consisting of many entities was the error of mortals, i.e. the common man and his philosophical predecessors. For Parmenides what-is, can be approached by two routes; The Way of Truth (Aletheia) and The Way of Seeming (Doxa). Aletheia essentially sees the world as one, where even time is an illusion. In Doxa Parmenides is giving an explanation of the world seen as consisting of many entities and this is his contribution to the line of thought of his predecessors. It should be noted that a strong emphasis is given to the Aletheia, whereas the world-view given is in Doxa is only probable. I go on to describe Parmenides as ontological monist, who gives some plausibility to pluralistic views. In the work of Lao Zi world can be seen as One or as consisting of Many entities. In my interpretation, Lao Zi uses Dao in two different senses; Dao is the totality of things or the order in change. The wu-aspect (seeing-without-form) attends the world as one, whereas the you-aspect attends the world of many entities. In wu-aspect, Dao refers to the totality of things, when in you-aspect Dao is the order or law in change. There are two insights in Lao Zi regarding the relationship between wu- and- you-apects; in ch.1 it is stated that they are two separate aspects in seeing the world, the other chapters regarding that you comes from wu. This naturally brings in the question whether the One is the peak of seeing the world as many. In other words, is there a way from pluralism to monism. All these considerations make it probable that the work attributed to Lao Zi has been added new material or is a compilation of oral sayings. In the end of the paper I will go on to give some insights on how Logos and Dao can be compared in a relevant manner. I also compare Parmenides holistic monism to Lao Zi’s Dao as nameless totality (i.e. in its wu-aspect). I briefly touch the issues of Heidegger and the future of comparative philosophy.

"Valehtelu ei auta, mutta kaikkea ei kannata kertoa." : Kertomatta jättäminen parisuhteen vuorovaikutuskontekstissa

Topic avoidance in romantic relationships has not been researched before in Finnish speech communication research, and this study was expected to increase the understanding of a phenomenon that acquires relatively dramatic attributes in everyday conversation. The aim of this study was to describe topic avoidance based on what was told in the interviews, and to describe the beliefs concerning functional or dysfunctional relational communication that can be interpreted from the interviewees' speech when they talk about topic avoidance. The theoretical reference frame of this study consists of the Communication Privacy Management Theory, relational dialectics, and earlier, mostly American research on topic avoidance. Ten Finnish people aged 22-31, who all had previous experience on one or more marital or common-law relationships were interviewed for this study. Additional material for the study was gathered from the interviewees by using the role playing method to describe interactional events where something essential is left unsaid in the context of romantic relationship. The following values were attributed to functional communication in romantic relationships: openness, equality, honesty, trust and positivity. The dialectical nature of the phenomenon being researched is evident in the way that along with openness, the interviewees talked about excessive openness that should occasionally be avoided in the context of relational communication by leaving things unsaid. Topic avoidance was seen both as a conscious strategic communication for managing privacy, and as an uncontrollable force of nature that at its worst destroys the relationship. When topic avoidance is seen as strategic communication, the choice concerning what is left unsaid is made by weighing the following dimensions asgainst each other: risks/ benefits (for self, relationship), protects/ does not protect (self, partner, relationship), burdens/ does not burden (self, partner, relationship), honesty/ dishonesty, responsibility lies with self/ responsibility does not lie with self. Topic avoidance was acceptable if it was used in order to preserve the relationship, as opposed to gaining power in the relationship or causing insecurity for the partner. The acceptability of topic avoidance varied according to whether it differed from lying or not. When the interviewees talk about topic avoidance, their speech can be interpreted to mean that in spite of uncontrollability, communicative choices can be made in relational communication and that skills concerning communication in romantic relationships can be learned.

Women, environmental changes and forestry-related development : Gender-affected roles of rural people in land degradation and environmental rehabilitation in a dry region of Sudan

The purpose of the present study was to increase understanding of the interaction of rural people and, specifically, women with the environment in a dry area in Sudan. The study that included both nomadic pastoralists and farmers aimed at answering two main research questions, namely: What kinds of roles have the local people, and the women in particular, had in land degradation in the study area and what kinds of issues would a gender-sensitive, forestry-related environmental rehabilitation intervention need to consider there? The study adopted the definition of land degradation as proposed by the United Nations Convention to Combat Desertification (UNCCD), which describes land degradation as reduction or loss the biological or economic productivity and complexity of land in arid, semi-arid and dry sub-humid areas. The Convention perceives desertification as land degradation. The dry study area in Sudan, South of the Sahara, has been the subject of land degradation or desertification discussions since the 1970s, and other studies have been also conducted to assess the degradation in the area. Nevertheless, the exact occurrence, scale and local significance of land degradation in the area is still unclear. This study explored how the rural population whose livelihood depended on the area, perceived environmental changes occurring there and compared their conceptions with other sources of information of the area such as research reports. The main fieldwork methods included interviews with open-ended questions and observation of people and the environment. The theoretical framework conceptualised the rural population as land users whose choices of environmental activities are affected by multiple factors in the social and biophysical contexts in which they live. It was emphasised that these factors have their own specific characteristics in different contexts, simultaneously recognising that there are also factors that generally affect environmental practices in various areas such as the land users' environmental literacy (conceptions of the environment), gender and livelihood needs. The people studied described that environmental changes, such as reduced vegetation cover and cropland production, had complicated the maintenance of their livelihoods in the study area. Some degraded sites were also identified through observations during the fieldwork. Whether a large-scale reduction of cropland productivity had occurred in the farmers' croplands remained, however, unclear. The study found that the environmental impact of the rural women's activities varied and was normally limited. The women's most significant environmental impact resulted from their cutting of trees, which was likely to contribute, at least in some places, to land degradation, affecting the environment together with climate and livestock. However, when a wider perspective is taken, it becomes questionable whether the women have really played roles in land degradation, since gender, poverty and the need to maintain livelihood had caused them to conduct environmentally harmful activities. The women have had, however, no power to change the causes of their activities. The findings further suggested that an inadequate availability of food was the most critical problem in the study area. Therefore, an environmental programme in the area was suggested to include technical measures to increase the productivity of croplands, opportunities for income generation and readiness to co-operate with other programmes to improve the local people's abilities to maintain their livelihoods. In order to protect the environment and alleviate the women's work burden, the introduction of fuel-saving stoves was also suggested. Furthermore, it was suggested that increased planting of trees on homesteads would be supported by an easy availability of tree seedlings. Planting trees on common property land was, however, perceived as extremely demanding in the study area, due to scarcity of such land. In addition, it became apparent that the local land users, and women in particular, needed to allocate their labour to maintain the immediate livelihood of their families and were not motivated to allocate their labour solely for environmental rehabilitation. Nonetheless, from the point of view of the existing social structures, women's active participation in a community-based environmental programme would be rather natural, particularly among the farmer women who had already formed a women's group and participated in communal decision making. Forming of a women group or groups was suggested to further support both the farmer women's and pastoral women's active participation within an environmental programme and their general empowerment. An Environmental programme would need to acknowledge that improving rural people's well-being and maintaining their livelihood in the study area requires development and co-operation with various sectors in Sudan.

Properties of intramuscular connective tissue in pork and poultry with reference to weakening of structure

The most common connective tissue research in meat science has been conducted on the properties of intramuscular connective tissue (IMCT) in connection with eating quality of meat. From the chemical and physical properties of meat, researchers have concluded that meat from animals younger than physiological maturity is the most tender. In pork and poultry, different challenges have been raised: the structure of cooked meat has weakened. In extreme cases raw porcine M. semimembranosus (SM) and in most turkey M. pectoralis superficialis (PS) can be peeled off in strips along the perimysium which surrounds the muscle fibre bundles (destructured meat), and when cooked, the slices disintegrate. Raw chicken meat is generally very soft and when cooked, it can even be mushy. The overall aim of this thesis was to study the thermal properties of IMCT in porcine SM in order to see if these properties were in association with destructured meat in pork and to characterise IMCT in poultry PS. First a 'baseline' study to characterise the thermal stability of IMCT in light coloured (SM and M. longissimus dorsi in pigs and PS in poultry) and dark coloured (M. infraspinatus in pigs and a combination of M. quadriceps femoris and M. iliotibialis lateralis in poultry) muscles was necessary. Thereafter, it was investigated whether the properties of muscle fibres differed in destructured and normal porcine muscles. Collagen content and also solubility of dark coloured muscles were higher than in light coloured muscles in pork and poultry. Collagen solubility was especially high in chicken muscles, approx. 30 %, in comparison to porcine and turkey muscles. However, collagen content and solubility were similar in destructured and normal porcine SM muscles. Thermal shrinkage of IMCT occurred at approximately 65 °C in pork and poultry. It occurred at lower temperature in light coloured muscles than in dark coloured muscles, although the difference was not always significant. The onset and peak temperatures of thermal shrinkage of IMCT were lower in destructured than in normal SM muscles, when the IMCT from SM muscles exhibiting ten lowest and ten highest ultimate pH values were investigated (onset: 59.4 °C vs. 60.7 °C, peak: 64.9 °C vs. 65.7 °C). As the destructured meat was paler than normal meat, the PSE (pale, soft, exudative) phenomenon could not be ruled out. The muscle fibre cross sectional area (CSA), the number of capillaries per muscle fibre CSA and per fibre and sarcomere length were similar in destructured and normal SM muscles. Drip loss was clearly higher in destructured than in normal SM muscles. In conclusion, collagen content and solubility and thermal shrinkage temperature vary between porcine and poultry muscles. One feature in the IMCT could not be directly associated with weakening of the meat structure. Poultry breast meat is very homogenous within the species.

Kemian ylioppilaskokeen tehtävät summatiivisen arvioinnin välineenä

The main purpose of the research was to illustrate chemistry matriculation examination questions as a summative assessment tool, and represent how the questions have evolved over the years. Summative assessment and its various test item classifications, Finnish goal-oriented curriculum model, and Bloom’s Revised Taxonomy of Cognitive Objectives formed the theoretical framework for the research. The research data consisted of 257 chemistry questions from 28 matriculation examinations between 1996 and 2009. The analysed test questions were formulated according to the national upper secondary school chemistry curricula 1994, and 2003. Qualitative approach and theory-driven content analysis method were employed in the research. Peer review was used to guarantee the reliability of the results. The research was guided by the following questions: (a) What kinds of test item formats are used in chemistry matriculation examinations? (b) How the fundamentals of chemistry are included in the chemistry matriculation examination questions? (c) What kinds of cognitive knowledge and skills do the chemistry matriculation examination questions require? The research indicates that summative assessment was used diversely in chemistry matriculation examinations. The tests included various test item formats, and their combinations. The majority of the test questions were constructed-response items that were either verbal, quantitative, or experimental questions, symbol questions, or combinations of the aforementioned. The studied chemistry matriculation examinations seldom included selected-response items that can be either multiple-choice, alternate choice, or matching items. The relative emphasis of the test item formats differed slightly depending on whether the test was a part of an extensive general studies battery of tests in sciences and humanities, or a subject-specific test. The classification framework developed in the research can be applied in chemistry and science education, and also in educational research. Chemistry matriculation examinations are based on the goal-oriented curriculum model, and cover relatively well the fundamentals of chemistry included in the national curriculum. Most of the test questions related to the symbolism of chemical equation, inorganic and organic reaction types and applications, the bonding and spatial structure in organic compounds, and stoichiometry problems. Only a few questions related to electrolysis, polymers, or buffer solutions. None of the test questions related to composites. There were not any significant differences in the emphasis between the tests formulated according to the national curriculum 1994 or 2003. Chemistry matriculation examinations are cognitively demanding. The research shows that the majority of the test questions require higher-order cognitive skills. Most of the questions required analysis of procedural knowledge. The questions that only required remembering or processing metacognitive knowledge, were not included in the research data. The required knowledge and skill level varied slightly between the test questions in the extensive general studies battery of tests in sciences and humanities, and subject-specific tests administered since 2006. The proportion of the Finnish chemistry matriculation examination questions requiring higher-order cognitive knowledge and skills is very large compared to what is discussed in the research literature.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Offloading content routing cost from routers

The publish/subscribe paradigm has lately received much attention. In publish/subscribe systems, a specialized event-based middleware delivers notifications of events created by producers (publishers) to consumers (subscribers) interested in that particular event. It is considered a good approach for implementing Internet-wide distributed systems as it provides full decoupling of the communicating parties in time, space and synchronization. One flavor of the paradigm is content-based publish/subscribe which allows the subscribers to express their interests very accurately. In order to implement a content-based publish/subscribe middleware in way suitable for Internet scale, its underlying architecture must be organized as a peer-to-peer network of content-based routers that take care of forwarding the event notifications to all interested subscribers. A communication infrastructure that provides such service is called a content-based network. A content-based network is an application-level overlay network. Unfortunately, the expressiveness of the content-based interaction scheme comes with a price - compiling and maintaining the content-based forwarding and routing tables is very expensive when the amount of nodes in the network is large. The routing tables are usually partially-ordered set (poset) -based data structures. In this work, we present an algorithm that aims to improve scalability in content-based networks by reducing the workload of content-based routers by offloading some of their content routing cost to clients. We also provide experimental results of the performance of the algorithm. Additionally, we give an introduction to the publish/subscribe paradigm and content-based networking and discuss alternative ways of improving scalability in content-based networks. ACM Computing Classification System (CCS): C.2.4 [Computer-Communication Networks]: Distributed Systems - Distributed applications

Participation or further exclusion? : Contestations over forest conservation and control in the East Usambara Mountains, Tanzania

This Ph.D. thesis Participation or Further Exclusion? Contestations over Forest Conservation and Control in the East Usambara Mountains, Tanzania describes and analyses the shift in the prevailing discourse of forest and biodiversity conservation policies and strategies towards more participatory approaches in Tanzania, and the changes in the practises of resource control. I explore the scope for and limits to the different actors and groups who are considered to form the community, to participate in resource control, in a specific historical and socio-economic context. I analyse whether, how and to which extent the targets of such participatory conservation interventions have been able to affect the formal rules and practices of resource control, and explore their different responses and discursive and other strategies in relation to conservation efforts. I approach the problematic through exploring certain participatory conservation interventions and related negotiations between the local farmers, government officials and the external actors in the case of two protected forest reserves in the southern part of the East Usambaras, Tanzania. The study area belongs to the Eastern Arc Mountains that are valued globally and nationally for their high level of biodiversity and number of endemic and near endemic species. The theoretical approach draws from theorising on power, participation and conservation in anthropology of development and post-structuralist political ecology. The material was collected in three stages between 2003 and 2008 by using an ethnographic approach. I interviewed and observed the actors and their resource use and control practices at the local level, including the representatives of the villagers living close to the protected forests and the conservation agency, but also followed the selected processes and engaged with the non-local agencies involved in the conservation efforts in the East Usambaras. In addition, the more recent processes of change and the actors strategies in resource control were contextualised against the social and environmental history of the study area and the evolvement of institutions of natural resource control. My findings indicate that the discourse of participation that has emerged in global conservation policy debate within the past three decades, and is being institutionalised in the national policies in many countries, including Tanzania, has shaped the practices of forest conservation in the East Usambaras, although in a fragmented and uneven way. Instrumental interpretation of participation, in which it is to serve the goals of improving the control of the forest and making it more acceptable and efficient, has prevailed among the governmental actors and conservation organisations. Yet, there is variation between the different projects and actors promoting participatory conservation regarding the goals and means of participation, e.g. to which extent the local people are to be involved in decision-making. The actors representing communities also have their diverse agendas, understandings and experiences regarding the rationality, outcomes and benefits of being involved in forest control, making the practices of control fluid. The elements of the exclusive conservation thinking and practices co-exist with the more recent participatory processes, and continue to shape the understandings and strategies of the actors involved in resource control. The ideas and narratives of the different discourses are reproduced and selectively used by the parties involved. The idea of forest conservation is not resisted as such by most of the actors at local level, quite the opposite. However, the strict regulations and rules governing access to resources, such as valuable timber species, continue to be disputed by many. Furthermore, the history of control, such as past injustices related to conservation and unfulfilled promises, undermines the participation of certain social groups in resource control and benefit sharing. This also creates controversies in the practices of conservation, and fuels conflicts regarding the establishment of new protected areas. In spite of this, the fact that the representatives of the communities have been invited to the arenas where information is shared, and principles and conditions of forest control and benefit sharing are discussed and partly decided upon, has created expectations among the participants, and opened up opportunities for some of the local actors to enhance their own, and sometimes wider interests in relation to resource control and the related benefits. The local actors experiences of the previous government and other interventions strongly affect how they position themselves in relation to conservation interventions, and their responses and strategies. However, my findings also suggest, in a similar way to research conducted in some other protected areas, that the benefits of participation in conservation and resource control tend to accrue unevenly between different groups of local people, e.g. due to unequal access to information and differences in their initial resources and social position.

Hematopoietic Stem Cell Development and Transcriptional Regulation

The continuous production of blood cells, a process termed hematopoiesis, is sustained throughout the lifetime of an individual by a relatively small population of cells known as hematopoietic stem cells (HSCs). HSCs are unique cells characterized by their ability to self-renew and give rise to all types of mature blood cells. Given their high proliferative potential, HSCs need to be tightly regulated on the cellular and molecular levels or could otherwise turn malignant. On the other hand, the tight regulatory control of HSC function also translates into difficulties in culturing and expanding HSCs in vitro. In fact, it is currently not possible to maintain or expand HSCs ex vivo without rapid loss of self-renewal. Increased knowledge of the unique features of important HSC niches and of key transcriptional regulatory programs that govern HSC behavior is thus needed. Additional insight in the mechanisms of stem cell formation could enable us to recapitulate the processes of HSC formation and self-renewal/expansion ex vivo with the ultimate goal of creating an unlimited supply of HSCs from e.g. human embryonic stem cells (hESCs) or induced pluripotent stem cells (iPS) to be used in therapy. We thus asked: How are hematopoietic stem cells formed and in what cellular niches does this happen (Papers I, II)? What are the molecular mechanisms that govern hematopoietic stem cell development and differentiation (Papers III, IV)? Importantly, we could show that placenta is a major fetal hematopoietic niche that harbors a large number of HSCs during midgestation (Paper I)(Gekas et al., 2005). In order to address whether the HSCs found in placenta were formed there we utilized the Runx1-LacZ knock-in and Ncx1 knockout mouse models (Paper II). Importantly, we could show that HSCs emerge de novo in the placental vasculature in the absence of circulation (Rhodes et al., 2008). Furthermore, we could identify defined microenvironmental niches within the placenta with distinct roles in hematopoiesis: the large vessels of the chorioallantoic mesenchyme serve as sites of HSC generation whereas the placental labyrinth is a niche supporting HSC expansion (Rhodes et al., 2008). Overall, these studies illustrate the importance of distinct milieus in the emergence and subsequent maturation of HSCs. To ensure proper function of HSCs several regulatory mechanisms are in place. The microenvironment in which HSCs reside provides soluble factors and cell-cell interactions. In the cell-nucleus, these cell-extrinsic cues are interpreted in the context of cell-intrinsic developmental programs which are governed by transcription factors. An essential transcription factor for initiation of hematopoiesis is Scl/Tal1 (stem cell leukemia gene/T-cell acute leukemia gene 1). Loss of Scl results in early embryonic death and total lack of all blood cells, yet deactivation of Scl in the adult does not affect HSC function (Mikkola et al., 2003b. In order to define the temporal window of Scl requirement during fetal hematopoietic development, we deactivated Scl in all hematopoietic lineages shortly after hematopoietic specification in the embryo . Interestingly, maturation, expansion and function of fetal HSCs was unaffected, and, as in the adult, red blood cell and platelet differentiation was impaired (Paper III)(Schlaeger et al., 2005). These findings highlight that, once specified, the hematopoietic fate is stable even in the absence of Scl and is maintained through mechanisms that are distinct from those required for the initial fate choice. As the critical downstream targets of Scl remain unknown, we sought to identify and characterize target genes of Scl (Paper IV). We could identify transcription factor Mef2C (myocyte enhancer factor 2 C) as a novel direct target gene of Scl specifically in the megakaryocyte lineage which largely explains the megakaryocyte defect observed in Scl deficient mice. In addition, we observed an Scl-independent requirement of Mef2C in the B-cell compartment, as loss of Mef2C leads to accelerated B-cell aging (Gekas et al. Submitted). Taken together, these studies identify key extracellular microenvironments and intracellular transcriptional regulators that dictate different stages of HSC development, from emergence to lineage choice to aging.