Hardness of approximation results for the problem of finding the stopping distance in Tanner graphs

Tanner Graph representation of linear block codes is widely used by iterative decoding algorithms for recovering data transmitted across a noisy communication channel from errors and erasures introduced by the channel. The stopping distance of a Tanner graph T for a binary linear block code C determines the number of erasures correctable using iterative decoding on the Tanner graph T when data is transmitted across a binary erasure channel using the code C. We show that the problem of finding the stopping distance of a Tanner graph is hard to approximate within any positive constant approximation ratio in polynomial time unless P = NP. It is also shown as a consequence that there can be no approximation algorithm for the problem achieving an approximation ratio of 2(log n)(1-epsilon) for any epsilon > 0 unless NP subset of DTIME(n(poly(log n))).

From One Segment to a Segment of One - The Evolution of Market Segmentation Theory

The purpose of this study was to deepen the understanding of market segmentation theory by studying the evolution of the concept and by identifying the antecedents and consequences of the theory. The research method was influenced by content analysis and meta-analysis. The evolution of market segmentation theory was studied as a reflection of evolution of marketing theory. According to this study, the theory of market segmentation has its roots in microeconomics and it has been influenced by different disciplines, such as motivation research and buyer behaviour theory. Furthermore, this study suggests that the evolution of market segmentation theory can be divided into four major eras: the era of foundations, development and blossoming, stillness and stagnation, and the era of re-emergence. Market segmentation theory emerged in the mid-1950’s and flourished during the period between mid-1950’s and the late 1970’s. During the 1980’s the theory lost its interest in the scientific community and no significant contributions were made. Now, towards the dawn of the new millennium, new approaches have emerged and market segmentation has gained new attention.

A study of geotechnical properties of Cochin Marine Clays

Most of the Greater Cochin area, which is undergoing rapid industrialisation, consists of extremely soft marine clay calling for expensive deep foundations. This paper presents a study on the physical properties and engeering characteristics of Cochin marine clays. These marine clays are characterised by high Atterberg limits and natural water contents. They are moderately sensitive with liquidity indices ranging over 0.46 to 0.87.The grain size distribution shows almost equal fractions of clay and silt size with sand content varying around 20%. Use of a dispersing agent in carrying out grain size distribution test plays an important role. The fabric of these clays had been identified as flocculant. The pore water has low salinity which results in marginal changes in properties on washing.Consolidation test results showed a preconsolidation pressure of up to about 0.5 kg/cm2 with high compression indices. Compression index vs liquid limit yielded a correlation comparable to that of published data. The undisturbed samples have a much larger coefficient of secondary consolidation as a result of flocculant fabric. These clays have very low undrained shear strength.

A Possible and Necessary Consistency Proof

After Gödel's incompleteness theorems and the collapse of Hilbert's programme Gerhard Gentzen continued the quest for consistency proofs of Peano arithmetic. He considered a finitistic or constructive proof still possible and necessary for the foundations of mathematics. For a proof to be meaningful, the principles relied on should be considered more reliable than the doubtful elements of the theory concerned. He worked out a total of four proofs between 1934 and 1939. This thesis examines the consistency proofs for arithmetic by Gentzen from different angles. The consistency of Heyting arithmetic is shown both in a sequent calculus notation and in natural deduction. The former proof includes a cut elimination theorem for the calculus and a syntactical study of the purely arithmetical part of the system. The latter consistency proof in standard natural deduction has been an open problem since the publication of Gentzen's proofs. The solution to this problem for an intuitionistic calculus is based on a normalization proof by Howard. The proof is performed in the manner of Gentzen, by giving a reduction procedure for derivations of falsity. In contrast to Gentzen's proof, the procedure contains a vector assignment. The reduction reduces the first component of the vector and this component can be interpreted as an ordinal less than epsilon_0, thus ordering the derivations by complexity and proving termination of the process.

The superfluid as a source of all interactions

The superfluid state of fermion-antifermion fields developed in our previous papers is generalized to include higher orbital and spin states. In addition to single-particle excitations, the system is capable of having real and virtual bound or quasibound composite excitations which are akin to bosons of spinJ P equal to0 �, 1�, 2+, etc. These pseudoscalar, vector, and tensor bosons can be massive or massless and provide the vehicles for strong, electromagnetic, weak, and gravitational interactions. The concept that the basic (unmanifest) fermion-antifermion interaction can lead to a multiplicity of manifest interactions seems to provide a basis for a unified field theory.

Moraaliuskomusten kontekstualistinen oikeuttaminen

Tutkielmani aihealue on kognitivistisen metaetiikan alaan lukeutuva moraaliepistemologia, jossa käsitellään moraaliin liittyviä tietoteoreettisia kysymyksiä. Olen keskittynyt Mark Timmonsin kontekstualistiseen moraaliepistemologiaan, joka on tuore moraaliuskomusten oikeuttamisen teoria. Tarkoituksenani on esittää arvio tämän teorian uskottavuudesta tarkastelemalla sitä kohtaan esitettyjä kriittisiä näkemyksiä. Tutkielman keskeisin lähde on Timmonsin Morality without Foundations: A Defense of Ethical Contextualism (1999). Friderik Klampfer, Karen Jones ja Walter Sinnott-Armstrong toimivat käsittelemäni kritiikin lähteinä. Timmonsin lähtökohtana moraaliepistemologiansa kehittämisessä on antiskeptisistinen oletus, jonka mukaan tavalliset moraaliuskomuksemme ovat oikeutettuja. Perinteiset uskomusten oikeuttamisen teoriat, kuten fundamentalismi ja koherentismi, asettavat hänen mukaansa tyypillisesti liian suuria vaatimuksia ollakseen yhteensopivia tämän oletuksen kanssa. Timmons hyödyntää teoriassaan kontekstiherkkyyden ajatusta esittäessään, että uskomusten oikeutuksen arvioinnissa käyttämämme episteemiset normit voivat olla eri vahvuisia erilaisissa konteksteissa. Näin ollen voimme pitää tavallisia moraaliuskomuksiamme oikeutettuina tavallisessa arkikontekstissa, mutta kuitenkin ottaa uskomusten oikeutusta kohtaan esitetyt skeptisistiset haasteet vakavasti, kun olemme filosofisen keskustelun kontekstissa. Keskeinen haaste oikeutusteorialle on oikeuttamisen regression ongelma, eli kysymys siitä, miten toisiaan oikeuttavien uskomusten muodostama ketju voi rakentua niin, että oikeuttaminen on mahdollista. Timmonsin malli, jota hän kutsuu rakenteelliseksi kontekstualismiksi, esittää, että oikeutuksen ketju voi päättyä kontekstuaalisiin perususkomuksiin. Perususkomukset eivät tarvitse arkikonteksteissa erillistä oikeutusta, mutta ne voivat oikeuttaa toisia uskomuksia. Perususkomusten hyväksyttävyyden arviointiin Timmons ehdottaa episteemisen vastuullisuuden normia, joka edellyttää kaikkien relevanttien vastamahdollisuuksien tarkistamista. Moraalidiskurssissa perususkomuksina toimivat yleistävät moraaliperiaatteet. Kontekstualistinen moraaliepistemologia ei tarkasteluni perusteella kestä esille ottamaani kritiikkiä. Teorian kohtaamille ongelmille on laajasti ilmaistuna kaksi perustavaa syytä. Ensinnäkin se, että teorian tarkoituksena on olla uskottava sekä moraaliepistemologisten käytäntöjemme kuvauksena että normina, johtaa vaikeasti ratkaistavaan jännitteeseen. Arkikontekstissa hyödynnettävät heikot ja yhteisön roolia korostavat standardit sallivat yleisesti vastustettavina pidettäviä uskomuksia ja käytäntöjä. Tämän vuoksi teoriaa ei voi pitää uskottavasti normatiivisena. Toinen ongelmien lähde on episteemisen arvioinnin epämääräinen luonne. Kontekstualistin on annettava perusteet kulloinkin relevanttien vastamahdollisuuksien ja näkökulman määrittämiselle, jotta hän voisi arvioida uskomusten oikeutettuutta. Aidosti relevanttien tekijöiden määrittäminen vaikuttaa kuitenkin mahdottomalta ilman mielivaltaisia rajanvetoja. Näin ollen kontekstualistinen moraaliepistemologia ei toimi uskomusten oikeutettuuden arvioinnissa.

On the fundamentals of coherence theory

In the thesis I study various quantum coherence phenomena and create some of the foundations for a systematic coherence theory. So far, the approach to quantum coherence in science has been purely phenomenological. In my thesis I try to answer the question what quantum coherence is and how it should be approached within the framework of physics, the metatheory of physics and the terminology related to them. It is worth noticing that quantum coherence is a conserved quantity that can be exactly defined. I propose a way to define quantum coherence mathematically from the density matrix of the system. Degenerate quantum gases, i.e., Bose condensates and ultracold Fermi systems, form a good laboratory to study coherence, since their entropy is small and coherence is large, and thus they possess strong coherence phenomena. Concerning coherence phenomena in degenerate quantum gases, I concentrate in my thesis mainly on collective association from atoms to molecules, Rabi oscillations and decoherence. It appears that collective association and oscillations do not depend on the spin-statistics of particles. Moreover, I study the logical features of decoherence in closed systems via a simple spin-model. I argue that decoherence is a valid concept also in systems with a possibility to experience recoherence, i.e., Poincaré recurrences. Metatheoretically this is a remarkable result, since it justifies quantum cosmology: to study the whole universe (i.e., physical reality) purely quantum physically is meaningful and valid science, in which decoherence explains why the quantum physical universe appears to cosmologists and other scientists very classical-like. The study of the logical structure of closed systems also reveals that complex enough closed (physical) systems obey a principle that is similar to Gödel's incompleteness theorem of logic. According to the theorem it is impossible to describe completely a closed system within the system, and the inside and outside descriptions of the system can be remarkably different. Via understanding this feature it may be possible to comprehend coarse-graining better and to define uniquely the mutual entanglement of quantum systems.

Cosmic Clowns : Convention, Invention, and Inversion in the Yaqui Easter Ritual

Cosmic Clowns: Convention, Invention, and Inversion in the Yaqui Easter Ritual is an ethnographic study of masked clown figures called Chapayekas. They represent Judas and the Roman soldiers in the Passion play that forms the narrative core of the Easter ritual of the Yaquis, an indigenous group in Sonora, Mexico. The study looks at how the Chapayeka is created as a ritual figure, how their performance is constructed, and what the part of the clown is in the dynamics of the ritual. The material was gathered over three periods of anthropological fieldwork in Cócorit, Sonora during Easter in 2004, 2006 and 2007. The Chapayeka masks portray foreigners, animals, mythological figures, and even figures from television and movies. They combine two kinds of performance: they perform set, conventional actions, and improvise and invent new ones. This creates dialectics of invention and convention that allow the figure to mediate between the ritual and its context and different kinds of beings within the Yaqui cosmology. The conventional side of their performance is a cycle of death and rebirth that is an inversion of the cycle of Jesus. Through invention, they separate themselves from the other performers and make themselves powerful. Alternation between the two modes enhances that power and brings it into the conventions of the ritual; ultimately the Chapayekas revitalize the entire ritual. The study finds that the clowns are extremely important to the continuity of both ritual and culture, as the combination of continuity and change, convention and invention, is what makes it possible to recreate the conventions of Yaqui culture as powerful and compelling in various contexts. Another factor is the prevalence of dialectical mediation, which relates concepts by defining them against each other as opposites, and makes it possible to cross a boundary while keeping it intact. Clowns embody and create dialectics to mediate boundaries while guarding against relativization, the disappearance of distinctions. The Chapayekas create and constitute boundaries between the self and other, microcosm and macrocosm, sacred and profane. The study argues that all clown and trickster figures are characterized by constantly alternating between invention and convention; this is what connects them to the collective and moral aspect of culture and, at the same time, makes them unpredictable and powerful. It is possible to do justice to the opposed aspects of these ambiguous and paradoxical figures by taking into account the different foundations and contextual effects of the different modes of symbolization.

The Enlightenment Idea of History as a Legitimation Tool of Kemalism in Turkey

The study analyzes the effort to build political legitimacy in the Republic of Turkey by ex-ploring a group of influential texts produced by Kemalist writers. The study explores how the Kemalist regime reproduced certain long-lasting enlightenment meta-narrative in its effort to build political legitimacy. Central in this process was a hegemonic representation of history, namely the interpretation of the Anatolian Resistance Struggle of 1919 1922 as a Turkish Revolution executing the enlightenment in the Turkish nation-state. The method employed in the study is contextualizing narratological analysis. The Kemalist texts are analyzed with a repertoire of concepts originally developed in the theory of narra-tive. By bringing these concepts together with epistemological foundations of historical sciences, the study creates a theoretical frame inside of which it is possible to highlight how initially very controversial historical representations in the end manage to construct long-lasting, emotionally and intellectually convincing bases of national identity for the secular middle classes in Turkey. The two most important explanatory concepts in this sense are di-egesis and implied reader. The diegesis refers to the ability of narrative representation to create an inherently credible story-world that works as the basis of national community. The implied reader refers to the process where a certain hegemonic narrative creates a formula of identification and a position through which any individual real-world reader of a story can step inside the narrative story-world and identify oneself as one of us of the national narra-tive. The study demonstrates that the Kemalist enlightenment meta-narrative created a group of narrative accruals which enabled generations of secular middle classes to internalize Kemalist ideology. In this sense, the narrative in question has not only worked as a tool utilized by the so-called Kemalist state-elite to justify its leadership, but has been internalized by various groups in Turkey, working as their genuine world-view. It is shown in the study that secular-ism must be seen as the core ingredient of these groups national identity. The study proposes that the enlightenment narrative reproduced in the Kemalist ideology had its origin in a simi-lar totalizing cultural narrative created in and for Europe. Currently this enlightenment project is challenged in Turkey by those who are in an attempt to give religion a greater role in Turkish society. The study argues that the enduring practice of legitimizing political power through the enlightenment meta-narrative has not only become a major factor contributing to social polarization in Turkey, but has also, in contradiction to the very real potentials for crit-ical approaches inherent in the Enlightenment tradition, crucially restricted the development of critical and rational modes of thinking in the Republic of Turkey.

Rauhan atomi, sodan koodi : Suomalaisen atomivoimaratkaisun teknopolitiikka 1955-1970

This dissertation investigates the atomic power solution in Finland between 1955 - 1970. During these years a national arrangement for atomic energy technology evolved. The foundations of the Finnish atomic energy policy; the creation of basic legislation and the first governmental bodies, were laid between 1955 - 1965. In the late 1960's, the necessary technological and political decisions were made in order to purchase the first commercial nuclear reactor. A historical narration of this process is seen in the international context of "atoms for peace" policies and Cold War history in general. The geopolitical position of Finland made it necessary to become involved in the balanced participation in international scientific-technical exchange and assistive nuclear programs. The Paris Peace Treaty of 1947 categorically denied Finland acquisition of nuclear weapons. Accordingly, from the "Geneva year" of 1955, the emphasis was placed on peaceful purposes for atomic energy as well as on the education of national professionals in Finland. An initiative for the governmental atomic energy commission came from academia but the ultimate motive behind it was an anticipated structural change in the supply of national energy. Economically exploitable hydro power resources were expected to be built within ten years and atomic power was seen as a promising and complementing new energy technology. While importing fuels like coal was out of the question, because of scarce foreign currency, domestic uranium mineral deposits were considered as a potential source of nuclear fuel. Nevertheless, even then nuclear energy was regarded as just one of the possible future energy options. In the mid-1960 s a bandwagon effect of light water reactor orders was witnessed in the United States and soon elsewhere in the world. In Finland, two separate invitations for bids for nuclear reactors were initiated. This study explores at length both their preceding grounds and later phases. An explanation is given that the parallel, independent and nearly identical tenders reflected a post-war ideological rivalry between the state-owned utility Imatran Voima and private energy utilities. A private sector nuclear power association Voimayhdistys Ydin represented energy intensive paper and pulp industries and wanted to have free choice instead of being associated themselves with "the state monopoly" in energy pricing. As a background to this, a decisive change had started to happen within Finnish energy policy: private and municipal big thermal power plants became incorporated into the national hydro power production system. A characteristic phenomenon in the later history is the Soviet Union s effort to bid for the tender of Imatran Voima. A nuclear superpower was willing to take part in competition but not on a turnkey basis as Imatran Voima had presumed. As a result of many political turns and four years of negotiations the first Finnish commercial light water reactor was ordered from the East. Soon after this the private nuclear power group ordered its reactors from Sweden. This work interprets this as a reasonable geopolitical balance in choosing politically sensitive technology. Conceptually, social and political dimensions of new technology are emphasised. Negotiations on the Finnish atomic energy program are viewed as a cooperation and a struggle, where state-oriented and private-oriented regimes pose their own macro level views and goals (technopolitical imaginaries) and defend and advance their plans and practical modes of action (schemata). Here, not only technologists but even political actors are seen to contribute to technopolitical realisations.

Proofs, Paradoxes, and Probabilities : The Logical Turn of Philosophy in Finland

This monograph describes the emergence of independent research on logic in Finland. The emphasis is placed on three well-known students of Eino Kaila: Georg Henrik von Wright (1916-2003), Erik Stenius (1911-1990), and Oiva Ketonen (1913-2000), and their research between the early 1930s and the early 1950s. The early academic work of these scholars laid the foundations for today's strong tradition in logic in Finland and also became internationally recognized. However, due attention has not been given to these works later, nor have they been comprehensively presented together. Each chapter of the book focuses on the life and work of one of Kaila's aforementioned students, with a fourth chapter discussing works on logic by authors who would later become known within other disciplines. Through an extensive use of correspondence and other archived material, some insight has been gained into the persons behind the academic personae. Unique and unpublished biographical material has been available for this task. The chapter on Oiva Ketonen focuses primarily on his work on what is today known as proof theory, especially on his proof theoretical system with invertible rules that permits a terminating root-first proof search. The independency of the parallel postulate is proved as an example of the strength of root-first proof search. Ketonen was to our knowledge Gerhard Gentzen's (the 'father' of proof theory) only student. Correspondence and a hitherto unavailable autobiographic manuscript, in addition to an unpublished article on the relationship between logic and epistemology, is presented. The chapter on Erik Stenius discusses his work on paradoxes and set theory, more specifically on how a rigid theory of definitions is employed to avoid these paradoxes. A presentation by Paul Bernays on Stenius' attempt at a proof of the consistency of arithmetic is reconstructed based on Bernays' lecture notes. Stenius correspondence with Paul Bernays, Evert Beth, and Georg Kreisel is discussed. The chapter on Georg Henrik von Wright presents his early work on probability and epistemology, along with his later work on modal logic that made him internationally famous. Correspondence from various archives (especially with Kaila and Charlie Dunbar Broad) further discusses his academic achievements and his experiences during the challenging circumstances of the 1940s.

The Biopolitics of Gender

This dissertation inquires into the relationship between gender and biopolitics. Biopolitics, according to Michel Foucault, is the mode of politics that is situated and exercised at the level of life. The dissertation claims that gender is a technology of biopower specific to the optimisation of the sexual reproduction of human life, deployed through the scientific and governmental problematisation of declining fertility rates in the mid-twentieth century. Just as Michel Foucault claimed that sexuality became a scientific and political discourse in the nineteenth century, gender has also since emerged in these fields. In this dissertation, gender is treated as neither a representation of sex nor a cultural construct or category of identity. Rather, a genealogy of gender as an apparatus of biopower in conducted. It demonstrates how scientific and theoretical developments in the twentieth century marshalled gender into the sex/sexuality apparatus as a new technology of liberal biopower. Gender, I argue, has become necessary for the Western liberal order to recapture and re-optimise the life-producing functions of sex that reproduce the very object of biopolitics: life. The concept of the life function is introduced to analyse the life-producing violence of the sex/sexuality/gender apparatus. To do this, the thesis rereads the work of Michel Foucault through Gilles Deleuze for a deeper grasp of the material strategies of biopower and how it produces categories of difference and divides population according to them. The work of Judith Butler, in turn, is used as a foil against which to rearticulate the question of how to examine gender genealogically and biopolitically. The dissertation then executes a genealogy of gender, tracing the changing rationalities of sex/sexuality/gender from early feminist thought, through mid-twentieth century sexological, feminist, and demographic research, to current EU policy. According to this genealogy, in the mid-twentieth century demographers perceived that sexuality/sex, which Foucault observed as the life-producing biopolitical apparatus, was no longer sufficiently disciplining human bodies to reproduce. The life function was escaping the grasp of biopower. The analysis demonstrates how gender theory was taken up as a means of reterritorialising the life function: nature would be disciplined to reproduce by controlling culture. The crucial theoretical and genealogical argument of the thesis, that gender is a discourse with biopolitical foundations and a technology of biopower, radically challenges the premises of gender theory and feminist politics, as well as the emancipatory potential often granted to the gender concept. The project asks what gender means, what biopolitical function it performs, and what is at stake for feminist politics when it engages with it. In so doing, it identifies biopolitics and the problem of life as possibly the most urgent arena for feminist politics today.

Stiffness Coefficients of Layered Soil Systems

One of the most important dynamic properties required in the design of machine foundations is the stiffness or spring constant of the supporting soil. For a layered soil system, the stiffness obtained from an idealization of soils underneath as springs in series gives the same value of stiffness regardless of the location and extent of individual soil layers with respect to the base of the foundation. This paper aims to develop the importance of the relative positioning of soil layers and their thickness beneath the foundation. A simple and approximate procedure called the weighted average method has been proposed to obtain the equivalent stiffness of a layered soil system knowing the individual values of the layers, their relative position with respect to foundation base, and their thicknesses. The theoretically estimated values from the weighted average method are compared with those obtained by conducting field vibration tests using a square footing over different two- and three-layered systems and are found to be very good. The tests were conducted over a range of static and dynamic loads using three different materials. The results are also compared with the existing methods available in the literature.

A Circuit-Based Proof of Toda′s Theorem

We present a simple proof of Toda′s result (Toda (1989), in "Proceedings, 30th Annual IEEE Symposium on Foundations of Computer Science," pp. 514-519), which states that circled plus P is hard for the Polynomial Hierarchy under randomized reductions. Our approach is circuit-based in the sense that we start with uniform circuit definitions of the Polynomial Hierarchy and apply the Valiant-Vazirani lemma on these circuits (Valiant and Vazirani (1986), Thoeret. Comput. Sci.47, 85-93).

Työntekijän näkökulmat ja oppiminen ulkoistusprojektissa : "Aluks pelkää muutosta ja sit pelkää, ettei mikään muutukaan."

The aim of this master s thesis was to clarify employees views on outsourcing. The main questions of the study were 1) How the employees dealt with the change created by outsourcing and what things they felt important when implementing the change? 2) What kind of organizational questions the employees paid attention to when moving from one organization to another? 3) What kind of management issues the employees brought up in the outsourcing process? and 4) How the employees reflected change while experienced outsourcing? The theoretical foundations of the study were Jack Mezirow s theory of transformational learning and Yrjö Engeström s theory of expansive learning. The management of outsourcing was viewed by John P. Kotter s change management model. Research casted light on transformation and learning on four levels of analysis: on individual, organizational and management levels and on the level of reflection. The target of the study were the outsourced employees, who were moved from a Finnish public corporation to a private ITC organization along with the services they produce. The study material was eleven interviews from the outsourced employees. The study was implemented by fenomenographical theme analysis. The analysis revealed results in all four levels. On the individual level the main results were the importance of systematic and open information, meaning of social and technical integration and the feeling of employee s own control. On the organizational level the move from the public sector to private and all the changes in organizational culture and in fringe benefitswere fundamental. Organizational learning was analyzed with expansive learning theory. Expanding was perceived in four dimensions: temporal dimension, spatial dimension, responsibility-moral dimension and developmental dimension. On the management level the actions of one s closest manager was vital, as was the upper management s clear engagement and a shared view of the necessity of a change. In the data was found employees reflective talking, which was indicating the meaning of the change and which was interpreted from the learning point of view. According to this study, it is possible to identify and analyze reflective talk and that way have information about employees learning in an organizational change. It was prominent to notice how reflection in the process of outsourcing is extremely versatile and extensive.