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.

On Random Planar Curves and Their Scaling Limits

Planar curves arise naturally as interfaces between two regions of the plane. An important part of statistical physics is the study of lattice models. This thesis is about the interfaces of 2D lattice models. The scaling limit is an infinite system limit which is taken by letting the lattice mesh decrease to zero. At criticality, the scaling limit of an interface is one of the SLE curves (Schramm-Loewner evolution), introduced by Oded Schramm. This family of random curves is parametrized by a real variable, which determines the universality class of the model. The first and the second paper of this thesis study properties of SLEs. They contain two different methods to study the whole SLE curve, which is, in fact, the most interesting object from the statistical physics point of view. These methods are applied to study two symmetries of SLE: reversibility and duality. The first paper uses an algebraic method and a representation of the Virasoro algebra to find common martingales to different processes, and that way, to confirm the symmetries for polynomial expected values of natural SLE data. In the second paper, a recursion is obtained for the same kind of expected values. The recursion is based on stationarity of the law of the whole SLE curve under a SLE induced flow. The third paper deals with one of the most central questions of the field and provides a framework of estimates for describing 2D scaling limits by SLE curves. In particular, it is shown that a weak estimate on the probability of an annulus crossing implies that a random curve arising from a statistical physics model will have scaling limits and those will be well-described by Loewner evolutions with random driving forces.

On the Geometry of Infinite-Dimensional Grassmannian Manifolds and Gauge Theory

This PhD Thesis is about certain infinite-dimensional Grassmannian manifolds that arise naturally in geometry, representation theory and mathematical physics. From the physics point of view one encounters these infinite-dimensional manifolds when trying to understand the second quantization of fermions. The many particle Hilbert space of the second quantized fermions is called the fermionic Fock space. A typical element of the fermionic Fock space can be thought to be a linear combination of the configurations m particles and n anti-particles . Geometrically the fermionic Fock space can be constructed as holomorphic sections of a certain (dual)determinant line bundle lying over the so called restricted Grassmannian manifold, which is a typical example of an infinite-dimensional Grassmannian manifold one encounters in QFT. The construction should be compared with its well-known finite-dimensional analogue, where one realizes an exterior power of a finite-dimensional vector space as the space of holomorphic sections of a determinant line bundle lying over a finite-dimensional Grassmannian manifold. The connection with infinite-dimensional representation theory stems from the fact that the restricted Grassmannian manifold is an infinite-dimensional homogeneous (Kähler) manifold, i.e. it is of the form G/H where G is a certain infinite-dimensional Lie group and H its subgroup. A central extension of G acts on the total space of the dual determinant line bundle and also on the space its holomorphic sections; thus G admits a (projective) representation on the fermionic Fock space. This construction also induces the so called basic representation for loop groups (of compact groups), which in turn are vitally important in string theory / conformal field theory. The Thesis consists of three chapters: the first chapter is an introduction to the backround material and the other two chapters are individually written research articles. The first article deals in a new way with the well-known question in Yang-Mills theory, when can one lift the action of the gauge transformation group on the space of connection one forms to the total space of the Fock bundle in a compatible way with the second quantized Dirac operator. In general there is an obstruction to this (called the Mickelsson-Faddeev anomaly) and various geometric interpretations for this anomaly, using such things as group extensions and bundle gerbes, have been given earlier. In this work we give a new geometric interpretation for the Faddeev-Mickelsson anomaly in terms of differentiable gerbes (certain sheaves of categories) and central extensions of Lie groupoids. The second research article deals with the question how to define a Dirac-like operator on the restricted Grassmannian manifold, which is an infinite-dimensional space and hence not in the landscape of standard Dirac operator theory. The construction relies heavily on infinite-dimensional representation theory and one of the most technically demanding challenges is to be able to introduce proper normal orderings for certain infinite sums of operators in such a way that all divergences will disappear and the infinite sum will make sense as a well-defined operator acting on a suitable Hilbert space of spinors. This research article was motivated by a more extensive ongoing project to construct twisted K-theory classes in Yang-Mills theory via a Dirac-like operator on the restricted Grassmannian manifold.

Topological stability through tame retractions

A smooth map is said to be stable if small perturbations of the map only differ from the original one by a smooth change of coordinates. Smoothly stable maps are generic among the proper maps between given source and target manifolds when the source and target dimensions belong to the so-called nice dimensions, but outside this range of dimensions, smooth maps cannot generally be approximated by stable maps. This leads to the definition of topologically stable maps, where the smooth coordinate changes are replaced with homeomorphisms. The topologically stable maps are generic among proper maps for any dimensions of source and target. The purpose of this thesis is to investigate methods for proving topological stability by constructing extremely tame (E-tame) retractions onto the map in question from one of its smoothly stable unfoldings. In particular, we investigate how to use E-tame retractions from stable unfoldings to find topologically ministable unfoldings for certain weighted homogeneous maps or germs. Our first results are concerned with the construction of E-tame retractions and their relation to topological stability. We study how to construct the E-tame retractions from partial or local information, and these results form our toolbox for the main constructions. In the next chapter we study the group of right-left equivalences leaving a given multigerm f invariant, and show that when the multigerm is finitely determined, the group has a maximal compact subgroup and that the corresponding quotient is contractible. This means, essentially, that the group can be replaced with a compact Lie group of symmetries without much loss of information. We also show how to split the group into a product whose components only depend on the monogerm components of f. In the final chapter we investigate representatives of the E- and Z-series of singularities, discuss their instability and use our tools to construct E-tame retractions for some of them. The construction is based on describing the geometry of the set of points where the map is not smoothly stable, discovering that by using induction and our constructional tools, we already know how to construct local E-tame retractions along the set. The local solutions can then be glued together using our knowledge about the symmetry group of the local germs. We also discuss how to generalize our method to the whole E- and Z- series.

Matrix Decomposition Methods for Data Mining : Computational Complexity and Algorithms

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

Algorithms for 13C metabolic flux analysis

The metabolism of an organism consists of a network of biochemical reactions that transform small molecules, or metabolites, into others in order to produce energy and building blocks for essential macromolecules. The goal of metabolic flux analysis is to uncover the rates, or the fluxes, of those biochemical reactions. In a steady state, the sum of the fluxes that produce an internal metabolite is equal to the sum of the fluxes that consume the same molecule. Thus the steady state imposes linear balance constraints to the fluxes. In general, the balance constraints imposed by the steady state are not sufficient to uncover all the fluxes of a metabolic network. The fluxes through cycles and alternative pathways between the same source and target metabolites remain unknown. More information about the fluxes can be obtained from isotopic labelling experiments, where a cell population is fed with labelled nutrients, such as glucose that contains 13C atoms. Labels are then transferred by biochemical reactions to other metabolites. The relative abundances of different labelling patterns in internal metabolites depend on the fluxes of pathways producing them. Thus, the relative abundances of different labelling patterns contain information about the fluxes that cannot be uncovered from the balance constraints derived from the steady state. The field of research that estimates the fluxes utilizing the measured constraints to the relative abundances of different labelling patterns induced by 13C labelled nutrients is called 13C metabolic flux analysis. There exist two approaches of 13C metabolic flux analysis. In the optimization approach, a non-linear optimization task, where candidate fluxes are iteratively generated until they fit to the measured abundances of different labelling patterns, is constructed. In the direct approach, linear balance constraints given by the steady state are augmented with linear constraints derived from the abundances of different labelling patterns of metabolites. Thus, mathematically involved non-linear optimization methods that can get stuck to the local optima can be avoided. On the other hand, the direct approach may require more measurement data than the optimization approach to obtain the same flux information. Furthermore, the optimization framework can easily be applied regardless of the labelling measurement technology and with all network topologies. In this thesis we present a formal computational framework for direct 13C metabolic flux analysis. The aim of our study is to construct as many linear constraints to the fluxes from the 13C labelling measurements using only computational methods that avoid non-linear techniques and are independent from the type of measurement data, the labelling of external nutrients and the topology of the metabolic network. The presented framework is the first representative of the direct approach for 13C metabolic flux analysis that is free from restricting assumptions made about these parameters.In our framework, measurement data is first propagated from the measured metabolites to other metabolites. The propagation is facilitated by the flow analysis of metabolite fragments in the network. Then new linear constraints to the fluxes are derived from the propagated data by applying the techniques of linear algebra.Based on the results of the fragment flow analysis, we also present an experiment planning method that selects sets of metabolites whose relative abundances of different labelling patterns are most useful for 13C metabolic flux analysis. Furthermore, we give computational tools to process raw 13C labelling data produced by tandem mass spectrometry to a form suitable for 13C metabolic flux analysis.

Holistic Spirituality in the Thinking of Ellen White

Spiritualiteetti viittaa syvälliseen, inhimilliseen ulottuvuuteen ja ominaisuuteen, jonka tarkka määritteleminen on haasteellista, ellei mahdotonta. Sitä vastaa yhtäältä uskonnollisuuden kautta toteutuva, elämän tarkoitukseen ja syvemmän olemuksen etsintään liittyvä hengellisyys, mutta toisaalta myös kaikkea muuta hengen viljelyä ja mielekkään olemisen tavoittelua tarkoittava henkisyys. John Swintonin mukaan hengen ulottuvuus on se inhimilliseen olemukseen kuuluva, dynaaminen elinvoima, joka virkistää ja elävöittää ihmistä ja motivoi häntä etsimään Jumalaa, arvoja, merkitystä, tarkoitusta ja toivoa. Tämä tutkimus nostaa tarkastelun kohteeksi kokonaisvaltaisen hengellisyyden, jolloin huomio kiinnitetään niihin sidoksiin, joiden kautta hengen ulottuvuus liittyy muihin inhimillisen elämän olennaisiin toimintoihin ja näkökulmiin. Tällaisia ovat 1) ajattelu 2) teot ja käytännön toiminta 3) suhteet ja vuorovaikutusverkostot 4) tunteet ja kanssakäymistä ohjaavat asenteet 5) olemassaolon ja olemisen ulottuvuudet. Kokemusten merkitys, arvo ja mielekkyys hahmottuvat juuri hengen alueella, toisin sanoen sisäisesti, hengellisenä ja henkisenä asiana. Tutkimusmateriaalina tässä tutkimuksessa on amerikkalaisen vuosina 1827 1915 eläneen Ellen Whiten kuusi myöhäiskauden teosta vuosilta 1892 1905 ja tutkimusmenetelmänä on käytetty systemaattista analyysiä. Olennaista Whiten tavassa käsitellä uskonnon harjoitukseen liittyviä aiheita on hänen käytännöllinen ja elämän arkeen kiinteästi niveltyvä otteensa. Tutkimus paljastaa, että Martti Lutherin käsitykset ovat merkittävästi vaikuttaneet Whiten ajatteluun. Lähteistä paljastuu samankaltaisuutta hänen näkemystensä ja uusimman suomalaisen Luther-tutkimuksen Martti Lutherin tuotannosta esiin nostaman ajattelutavan välillä. Vaikka teologisen oppineisuuden kannalta White ja Luther ovat eri tasoilla, kummankin käsitys ihmisen ja Jumalan välisen suhteen perusolemuksesta on samankaltainen: Lähtökohtana sille on Jumalan rakkaus ja hänen armostaan lähtenyt toiminta. Toiseksi, ihmisen ja Kristuksen välinen, olemuksellinen yhteys, unio , on perustana sille, että Jumala hyväksyy ihmisen ja huolehtii hänestä nyt ja ikuisesti. Kolmanneksi, tämä ihmisen ja Kristuksen liittoutuminen ja yhdistyminen ilmenee yhteistoimintana ja kumppanuutena yhteisten tavoitteiden saavuttamiseksi maailmassa. White korostaa ihmisen ja Kristuksen välisen hengellisen suhteen vuorovaikutteista ja toiminnallista luonnetta, joka tulee ilmi epäitsekkyytenä, toisten ihmisten ja heidän tarpeittensa huomioimisena sekä myötätuntona ja kykynä asettua toisen asemaan. Terveellistä elämäntapaa ja kasvatusta koskevat ajatuksensa White liittää siihen laaja-alaiseen näkemykseen hengellisyydestä, jonka tavoitteena on ihmisen kokonaisvaltainen hyvinvointi. Hän ei näe spiritualiteettia elämän arjesta irrallisena tai erillisenä saarekkeena, vaan ihmistä kaikessa ohjaavana, voimaannuttavana ja mielekkyyttä tuottavana, ensisijaisena ulottuvuutena. Tutkimuksen kuluessa myös Whiten usein käyttämät Jumalalle antautumisen ja luonteen käsitteet nousevat tarkastelun kohteiksi. Hänen mukaansa ihminen ei tahdonponnistuksillaan yksin pysty tavoittamaan Jumalaa vaan hänen on lakattava Jumalan rakastavan kutsun edessä itse tahtomasta ja suostuttava liittymään Jumalan tahtoon ja tarkoitukseen. Tämä liittyy siihen sisäiseen muutokseen, jota White kuvaa luonteen käsitteen avulla. Jumalan armon vaikuttama tahdon uudelleen suuntaaminen muuttaa ihmisen olemusta, arvoja, asennoitumisen tapaa ja myötätuntoisen vuorovaikutuksen kykyä niin ettei ihminen ole enää aivan sama kuin ennen. Kysymys on toisaalta yhtäkkisestä ja kertakaikkisesta olemuksellisesta muuttumisesta, mutta samalla myös hiljaisesta, elämänmittaisesta kasvusta ja kypsymisestä. Juuri luonteen käsitteen avulla White kuvaa hengellisyyttä ja siihen kuuluvaa sisästä matkaa. Tässä tutkimuksessa spiritualiteettia lähestytään yleisinhimillisenä piirteenä ja ominaisuutena, jolloin huomio ei ole ensisijaisesti yksittäisissä opillisissa käsityksissä tai uskonnollisuuden harjoittamisen muodoissa. Tarkoituksena on luoda kokoava rakenne, jonka puitteissa holistinen spiritualiteetti voidaan selkeämmin hahmottaa ja yksilöidymmin ymmärtää.

Heavy-light mesons on a lattice

Several excited states of Ds and Bs mesons have been discovered in the last six years: BaBar, Cleo and Belle discovered the very narrow states D(s0)*(2317)+- and D(s1)(2460)+- in 2003, and CDF and DO Collaborations reported the observation of two narrow Bs resonances, B(s1)(5830)0 and B*(s2)(5840)0 in 2007. To keep up with experiment, meson excited states should be studied from the theoretical aspect as well. The theory that describes the interaction between quarks and gluons is quantum chromodynamics (QCD). In this thesis the properties of the meson states are studied using the discretized version of the theory - lattice QCD. This allows us to perform QCD calculations from first principles, and "measure" not just energies but also the radial distributions of the states on the lattice. This gives valuable theoretical information on the excited states, as we can extract the energy spectrum of a static-light meson up to D wave states (states with orbital angular momentum L=2). We are thus able to predict where some of the excited meson states should lie. We also pay special attention to the order of the states, to detect possible inverted spin multiplets in the meson spectrum, as predicted by H. Schnitzer in 1978. This inversion is connected to the confining potential of the strong interaction. The lattice simulations can also help us understand the strong interaction better, as the lattice data can be treated as "experimental" data and used in testing potential models. In this thesis an attempt is made to explain the energies and radial distributions in terms of a potential model based on a one-body Dirac equation. The aim is to get more information about the nature of the confining potential, as well as to test how well the one-gluon exchange potential explains the short range part of the interaction.

Conformal Field Theory Methods for Variants of Schramm-Loewner Evolutions

This thesis consists of an introduction, four research articles and an appendix. The thesis studies relations between two different approaches to continuum limit of models of two dimensional statistical mechanics at criticality. The approach of conformal field theory (CFT) could be thought of as the algebraic classification of some basic objects in these models. It has been succesfully used by physicists since 1980's. The other approach, Schramm-Loewner evolutions (SLEs), is a recently introduced set of mathematical methods to study random curves or interfaces occurring in the continuum limit of the models. The first and second included articles argue on basis of statistical mechanics what would be a plausible relation between SLEs and conformal field theory. The first article studies multiple SLEs, several random curves simultaneously in a domain. The proposed definition is compatible with a natural commutation requirement suggested by Dubédat. The curves of multiple SLE may form different topological configurations, ``pure geometries''. We conjecture a relation between the topological configurations and CFT concepts of conformal blocks and operator product expansions. Example applications of multiple SLEs include crossing probabilities for percolation and Ising model. The second article studies SLE variants that represent models with boundary conditions implemented by primary fields. The most well known of these, SLE(kappa, rho), is shown to be simple in terms of the Coulomb gas formalism of CFT. In the third article the space of local martingales for variants of SLE is shown to carry a representation of Virasoro algebra. Finding this structure is guided by the relation of SLEs and CFTs in general, but the result is established in a straightforward fashion. This article, too, emphasizes multiple SLEs and proposes a possible way of treating pure geometries in terms of Coulomb gas. The fourth article states results of applications of the Virasoro structure to the open questions of SLE reversibility and duality. Proofs of the stated results are provided in the appendix. The objective is an indirect computation of certain polynomial expected values. Provided that these expected values exist, in generic cases they are shown to possess the desired properties, thus giving support for both reversibility and duality.

The effects of stall surfaces and milk yield on the lying behavior of dairy cow

The importance of lying behavior to dairy cows and the feasible definition of lying has attracted many studies on the subject. Cattle show both behavioral and physiological stress responses when subjected to thwarting of their lying behavior. If cows are unable to lie down they later compensate for lost lying time when possible. Environmental factors such as housing and bedding systems have been noted to affect the time spent lying, but there is usually large variation in lying time between individuals. Internal factors such as the reproductive stage, age and health of cows affect their lying time and can cause variation. However, the effect of higher milk production on behavior has not previously been illuminated. The objective of this study was to provide data applicable for the improvement of resting conditions of cows. The preference of stall surface material, differences in normal behavior per unit time and various health measures were observed. The aim was to evaluate lying behavior and cow comfort on different stall bedding materials. In addition, the effect of milk yield on behavior was examined in a tie stall experiment. The preferences for surface materials were investigated in 5 experiments using 3 surface materials with bedding manipulations. According to the results, the cows preferred abundant straw bedding and soft rubber mats. However, they showed an aversion to sand bedding. Some individuals even refused to use stalls with sand when no organic bedding material was present. However, this study was unable to determine the reason for the avoidance, as neither the sand particle size nor thermal properties appeared critical. However, previous exposure to particular surface materials increased the preference for them. The amount of straw bedding was found to be an important factor affecting the preferences for stalls, and the lying time in stalls increased when the flooring softness was improved by applying straw or by installing elastic mats. Despite sand being the least preferred flooring material in preference tests, the health of legs improved during exposure to sand-floored stalls. Moreover cows using sand were cleaner than those that used straw stalls. Thus, sand bedding entailed some health benefits despite the contradictory results of preference tests, which more strongly reflected the perceptions of individual animals. Milk yield was observed to affect behavior by reducing the lying time, possibly due to factors other than longer duration of eating. High yielding cows seemed to intensify their lying bouts, as they were observed to lie with the neck muscles relaxed sooner after lying down than lower yielding cows. In conclusion, cows were found to prefer softer stall surface materials and organic bedding material. In addition, the lying time was reduced by a high milk yield, although the lying time seemed to be important for resting. Cows might differ in the needs for their lying environment. The management of dairy cows should eliminate any unnecessary prevention of lying, as even in tie-stalls high yielding cows seem to be affected by time constraints. Adding fresh bedding material to stalls increases the comfort of any stall flooring material.

Roman Ingarden’s Objectivity vs. Subjectivity as a problem of Translatability

Ingarden (1962, 1964) postulates that artworks exist in an “Objective purely intentional” way. According to this view, objectivity and subjectivity are opposed forms of existence, parallel to the opposition between realism and idealism. Using arguments of cognitive science, experimental psychology, and semiotics, this lecture proposes that, particularly in the aesthetic phenomena, realism and idealism are not pure oppositions; rather they are aspects of a single process of cognition in different strata. Furthermore, the concept of realism can be conceived as an empirical extreme of idealism, and the concept of idealism can be conceived as a pre-operative extreme of realism. Both kind of systems of knowledge are mutually associated by a synecdoche, performing major tasks of mental order and categorisation. This contribution suggests that the supposed opposition between objectivity and subjectivity, raises, first of all, a problem of translatability, more than a problem of existential categories. Synecdoche seems to be a very basic transaction of the mind, establishing ontologies (in the more Ingardean way of the term). Wegrzecki (1994, 220) defines ontology as “the central domain of philosophy to which other its parts directly or indirectly refer”. Thus, ontology operates within philosophy as the synecdoche does within language, pointing the sense of the general into the particular and/or viceversa. The many affinities and similarities between different sign systems, like those found across the interrelationships of the arts, are embedded into a transversal, synecdochic intersemiosis. An important question, from this view, is whether Ingardean’s pure objectivities lie basically on the impossibility of translation, therefore being absolute self-referential constructions. In such a case, it would be impossible to translate pure intentionality into something else, like acts or products.

Sensemaking in the Third Space - Essays on French-Finnish Bicultural Experiences in Organizations and Their Narratives (summary section only)

Research on cross-cultural and intercultural aspects in organizations has been traditionally conducted from an objectivist, functionalist perspective, with culture treated as an independent variable, and often the key explanatory factor. In order to do justice to the ontological relativity of the phenomena studied, more subjectivist research on intercultural interactions, and especially on their relationships with the dynamics of cultural identity construction, is needed. The present research seeks to address this gap by focusing on bicultural interactions in organizations, as they are experienced by the involved individuals. It is argued that such bicultural situations see the emergence of a space of hybridity, which is here called a ‘third space’, and which can be understood as providing ‘occasions for sensemaking’: it is this individual sensemaking that is of particular interest in the empirical narrative study. A first overall aim of the study is to reach an understanding of the dynamics of bicultural interactions in organizations; an understanding not only of the potential for learning and emancipatory sensemaking, but also of the possibility of conflict and alienatory ordering (this is mainly addressed in the theoretical essays 1 and 2). Further, a second overall aim of the study is to analyze the reflexive identity construction of four young French expatriates involved in such bicultural interactions in organizations in Finland, in order to examine the extent to which their expatriation experiences have allowed for an emancipatory opportunity in their cases (in essays 3 and 4). The primary theoretical contribution in this study lies in its new articulation of the dynamics of bicultural interactions in organizations. The ways in which the empirical material is analyzed bring about methodological contributions: since the expatriates’ accounts are bound to be some kind of construction, the analysis is made from angles that point to how the self-narratives construct reality. There are two such angles here: a ‘performative’ one and a ‘spatial’ one. The most important empirical contributions lie in the analysis of, on the one hand, the alternative uses that the young expatriates made of the notion of ‘national culture’ in their self-narratives, and, on the other hand, their ‘narrative practices of the third space’: their politics of escape or stabilization, their exploration of space or search for place, their emancipation from their origin or return to home as only horizon.

Appropriate Institutions and Economic Growth - one size fits no-one

Modern-day economics is increasingly biased towards believing that institutions matter for growth, an argument that has been further enforced by the recent economic crisis. There is also a wide consensus on what these growth-promoting institutions should look like, and countries are periodically ranked depending on how their institutional structure compares with the best-practice institutions, mostly in place in the developing world. In this paper, it is argued that ”non-desirable” or “second-best” institutions can be beneficial for fostering investment and thus providing a starting point for sustained growth, and that what matters is the appropriateness of institutions to the economy’s distance to the frontier or current phase of development. Anecdotal evidence from Japan and South-Korea is used as a motivation for studying the subject and a model is presented to describe this phenomenon. In the model, the rigidity or non-rigidity of the institutions is described by entrepreneurial selection. It is assumed that entrepreneurs are the ones taking part in the imitation and innovation of technologies, and that decisions on whether or not their projects are refinanced comes from capitalists. The capitalists in turn have no entrepreneurial skills and act merely as financers of projects. The model has two periods, and two kinds of entrepreneurs: those with high skills and those with low skills. The society’s choice of whether an imitation or innovation – based strategy is chosen is modeled as the trade-off between refinancing a low-skill entrepreneur or investing in the selection of the entrepreneurs resulting in a larger fraction of high-skill entrepreneurs with the ability to innovate but less total investment. Finally, a real-world example from India is presented as an initial attempt to test the theory. The data from the example is not included in this paper. It is noted that the model may be lacking explanatory power due to difficulties in testing the predictions, but that this should not be seen as a reason to disregard the theory – the solution might lie in developing better tools, not better just better theories. The conclusion presented is that institutions do matter. There is no one-size-fits-all-solution when it comes to institutional arrangements in different countries, and developing countries should be given space to develop their own institutional structures that cater to their specific needs.

Genetic polymorphisms and laboratory variables as predictors of blood pressure response to antihypertensive drugs

Hypertension is one of the major risk factors for cardiovascular morbidity. The advantages of antihypertensive therapy have been clearly demonstrated, but only about 30% of hypertensive patients have their blood pressure (BP) controlled by such treatment. One of the reasons for this poor BP control may lie in the difficulty in predicting BP response to antihypertensive treatment. The average BP reduction achieved is similar for each drug in the main classes of antihypertensive agents, but there is a marked individual variation in BP responses to any given drug. The purpose of the present study was to examine BP response to four different antihypertensive monotherapies with regard to demographic characteristics, laboratory test results and common genetic polymorphisms. The subjects of the present study are participants in the pharmacogenetic GENRES Study. A total of 208 subjects completed the whole study protocol including four drug treatment periods of four weeks, separated by four-week placebo periods. The study drugs were amlodipine, bisoprolol, hydrochlorothiazide and losartan. Both office (OBP) and 24-hour ambulatory blood pressure (ABP) measurements were carried out. BP response to study drugs were related to basic clinical characteristics, pretreatment laboratory test results and common polymorphisms in genes coding for components of the renin-angiotensin system, alpha-adducin (ADD1), beta1-adrenergic receptor (ADRB1) and beta2-adrenergic receptor (ADRB2). Age was positively correlated with BP responses to amlodipine and with OBP and systolic ABP responses to hydrochlorothiazide, while body mass index was negatively correlated with ABP responses to amlodipine. Of the laboratory test results, plasma renin activity (PRA) correlated positively with BP responses to losartan, with ABP responses to bisoprolol, and negatively with ABP responses to hydrochlorothiazide. Uniquely to this study, it was found that serum total calcium level was negatively correlated with BP responses to amlodipine, whilst serum total cholesterol level was negatively correlated with ABP responses to amlodipine. There were no significant associations of angiotensin II type I receptor 1166A/C, angiotensin converting enzyme I/D, angiotensinogen Met235Thr, ADD1 Gly460Trp, ADRB1 Ser49Gly and Gly389Arg and ADRB2 Arg16Gly and Gln27Glu polymorphisms with BP responses to the study drugs. In conclusion, this study confirmed the relationship between pretreatment PRA levels and response to three classes of antihypertensive drugs. This study is the first to note a significant inverse relation between serum calcium level and responsiveness to a calcium channel blocker. However, this study could not replicate the observations that common polymorphisms in angiotensin II type I receptor, angiotensin converting enzyme, angiotensinogen, ADD1, ADRB1, or ADRB2 genes can predict BP response to antihypertensive drugs.

Inverse problem for the wave equation : partial data and novel boundary sources

An inverse problem for the wave equation is a mathematical formulation of the problem to convert measurements of sound waves to information about the wave speed governing the propagation of the waves. This doctoral thesis extends the theory on the inverse problems for the wave equation in cases with partial measurement data and also considers detection of discontinuous interfaces in the wave speed. A possible application of the theory is obstetric sonography in which ultrasound measurements are transformed into an image of the fetus in its mother's uterus. The wave speed inside the body can not be directly observed but sound waves can be produced outside the body and their echoes from the body can be recorded. The present work contains five research articles. In the first and the fifth articles we show that it is possible to determine the wave speed uniquely by using far apart sound sources and receivers. This extends a previously known result which requires the sound waves to be produced and recorded in the same place. Our result is motivated by a possible application to reflection seismology which seeks to create an image of the Earth s crust from recording of echoes stimulated for example by explosions. For this purpose, the receivers can not typically lie near the powerful sound sources. In the second article we present a sound source that allows us to recover many essential features of the wave speed from the echo produced by the source. Moreover, these features are known to determine the wave speed under certain geometric assumptions. Previously known results permitted the same features to be recovered only by sequential measurement of echoes produced by multiple different sources. The reduced number of measurements could increase the number possible applications of acoustic probing. In the third and fourth articles we develop an acoustic probing method to locate discontinuous interfaces in the wave speed. These interfaces typically correspond to interfaces between different materials and their locations are of interest in many applications. There are many previous approaches to this problem but none of them exploits sound sources varying freely in time. Our use of more variable sources could allow more robust implementation of the probing.