Aurinkotuulen dynaamisen paineen muutosten vaikutus ionosfäärin dynamiikkaan

Monissa viimeaikaisissa tutkimuksissa on tutkittu aurinkotuulen dynaamisen paineen vaikutusta revontulialueen hiukkaspresipitaatioon. Tutkimukset ovat kuitenkin perustuneet muutamaan yksittäiseen tapaukseen ja laskevan dynaamisen paineen vaikutuksia ei juuri ole tarkasteltu. Tämän opinnäytetyön tavoitteena oli selvittää suuremmasta statistiikasta aurinkotuulen dynaamisen paineen nousujen ja laskujen vaikutusta ionosfäärin dynamiikkaan. Paineen muutoksia etsittiin ACE:n mittausdatasta vuosilta 1998 2004 ja ionosfäärin vastetta näihin muutoksiin tutkittiin käyttäen IMAGE-magnetometriverkon tuottamaa magneettisen aktiivisuuden indeksiä (IE-indeksi). Tutkimuksen kohteeksi valittiin 286 painepulssia, joita edelsi ja seurasi tasaisen paineen jakso, sekä 171 vastaavaa paineen laskua (negatiivista painepulssia). Näiden paineen muutosten ionosfäärivastetta tutkittaessa käytettiin tilastollista superposed epoch -menetelmää. Tutkimuksen tulokseksi saatiin selvä positiivinen korrelaatio IE-indeksin ja aurinkotuulen dynaamisen paineen välillä. Korrelaatio on vähemmän selkeää paineen laskujen kuin nousujen yhteydessä. Tälle on useita mahdollisia selityksia: Tutkimusaineisto paineen laskuista oli suppeampi. Toisin kuin painepulsseihin, paineen laskuihin ei liittynyt aurinkotuulen nopeuden muutosta. Lisäksi IMF:n magnitudi kasvoi lähes kaikkien paineen laskujen aikana, joten magnitudin ja IE:n välinen positiivinen korrelaatio voisi peittää paineen laskun vaikutusta. Eteläisen IMF:n painepulssien aikana IE:n muutokset aiheutuivat enimmäkseen läntisen elektrojetin vahvistumisesta ja pohjoisen IMF:n aikana havaitut IE:n muutokset liittyivät enemmän itäiseen elektrojettiin. Aurinkotuulen dynaamisen paineen ja elektrojettien korrelaation selitykseksi tarjotaan ionosfääriin saapuvien kentänsuuntaisten virtojen välityksellä tapahtuvaa kytkentää aurinkotuuleen. IMF:n z-komponentin suunnalla oli odotetun merkittävä vaikutus IE:n yleiseen tasoon, mutta IE:n korrelaatio paineen muutosten kanssa oli samaa tasoa z-komponentin etumerkistä riippumatta. Myös IMF:n y-komponentti osoittautui merkittäväksi pohjoisen IMF:n aikana, sillä tällöin IE:n yleinen taso oli korkeampi ja paineen muutosten vaikutus paljon selkeämpi IMF:n y-komponentin ollessa positiivinen kuin negatiivinen.

Havaintojärjestelmäkokeet numeerisessa sään ennustamisessa

Sään ennustamisessa tärkeä työväline on numeerinen säämalli, jossa ilmakehän tilan kuvaaminen perustuu niin sanottujen perusyhtälöiden ratkaisemiseen. Niiden avulla lasketaan tuulen nopeuden, ilmanpaineen, lämpötilan ja kosteuden muutokset pienin aika-askelin eteenpäin. Numeerinen säämalli tarvitsee lähtötiedokseen laadultaan hyviä havaintoja ilmakehän todellisesta tilasta. Joka vuorokausi kymmenet in-situ- ja kaukohavaintojärjestelmät tekevät havaintoja ilmakehästä sen pintakerroksesta ylärajaan asti. Pelkät havainnot eivät kuitenkaan riitä antamaan tarpeeksi tarkkoja lähtötietoja säämallille. Ongelman ratkaisu on data-assimilaatiojärjestelmä. Se yhdistää laatukontrollin läpikäyneen havaintotiedon ja mallitiedon, jota kutsutaan ennakkokentäksi, ja luo niiden avulla analyysin ilmakehän todellisesta tilasta. Havaintojärjestelmäkokeiden (OSE) avulla testataan havaintojärjestelmien vaikutuksia data-assimilaatiojärjestelmän tuottamien analyysien ja niistä tuotettujen sääennusteiden laatuun. OSE:n avulla selvitetään, kuinka hyvin saatavilla olevia havaintoja käytetään hyväksi, tai kannattaako jokin uusi havaintojärjestelmä ottaa mukaan operatiiviseen ennustusjärjestelmään. Tämän tutkielman aluksi tutustutaan lyhyesti numeerisiin säämalleihin, havaintojärjestelmiin ja dataassimilaatiojärjestelmiin, minkä jälkeen tehdään yleinen kirjallisuuskatsaus havaintojärjestelmäkokeiden suorittamisesta. Sen jälkeen keskitytään Doppler-säätutkan tuottamien tutkasäteen suuntaisten tuulen nopeushavaintojen hyödyntämiseen rajoitetun alueen HIRLAM-säämallissa, mitä on tutkittu viime vuosina Ilmatieteen laitoksessa (IL). Kaukohavaintojärjestelmien käyttö on lisääntynyt viime vuosien aikana kehittyneiden analyysimenetelmien ansiosta. Tavanomaisten in-situ- havaintojärjestelmien raju vähentäminen dataassimilaatiossa ei näytä kuitenkaan vielä olevan mahdollista. Kaukohavainnot ovat useiden OSE-kokeiden perusteella parantaneet analyysiä ja ennusteita erityisesti alueilla, joissa tavanomainen havaintoverkosto on harva. Tutkatuulihavaintojen on ajateltu tuovan parannuksia rajoitetun alueen säämalleihin, sillä niiden avulla saadaan tärkeää lisätietoa tuulen ageostrofisista ominaisuuksista. Sen johdosta pienen mittakaavan sääilmiöiden kuten meri- ja rinnetuulien ennustettavuuden toivotaan paranevan. IL:ssa on kehitetty tutkatuulihavaintojen käsittely- ja mallintamismenetelmiä, minkä jälkeen on suoritettu OSE Suomen tutkaverkoston tuulihavainnoilla aikavälille 1.-29.2.2008 HIRLAMin operatiiviselle 3D-VAR dataassimilaatiojärjestelmälle. Kyseisen OSE:n aineisto on saatu käyttöön tähän tutkielmaan. Kontrolliassimilaatiossa CON ovat mukana kaikki operatiiviset havaintojärjestelmät ja koeassimilaatioon RAD_ALL on syötetty myös tutkatuulihavainnot. Tässä tutkielmassa OSE:n tulokset todennetaan TEMP-tuulihavaintojen avulla tutkimalla ennakkokentän ja analyysin harhaa sekä satunnaisvirhettä. Tulosten perusteella tutkatuulihavainnot parantavat ennakkokenttää ja analyysiä erityisesti keskitroposfäärissä, mutta alatroposfäärissä vaikutus analyysiin on lähes neutraali. Koska tutkatuulihavainnot ulottuvat n. 4-6 km korkeuteen, ne eivät vaikuta ylätroposfäärin analyysiin. Tulokset eivät kuitenkaan ole tilastollisen testin perusteella tilastollisesti merkitseviä. Parhaimmillaan RAD_ALLassimilaation voidaan osoittaa olevan CON-assimilaatiota parempi 20% merkitsevyystasolla. Lopuksi suoritettu tapaustutkimus osoittaa, että tutkatuulihavaintojen vaikutus näkyy tuulen nopeuden analyysi-inkrementtikentässä sekä jossain määrin myös lyhyessä 12h pintapaine-ennusteessa Suomen alueella. Tapaustutkimuksen perusteella tutkatuulihavaintojen vaikutus analyysiin ja ennusteeseen näyttäisi olevan lähes neutraali. OSE:n toistaminen kesäkuukaudelle voisi olla hyödyllistä, koska talvella ei esiinny esimerkiksi merituulia. Tämän tutkielman tulosten perusteella tutkatuulihavaintojen käyttäminen HIRLAMin 3D-VAR assimilaatiojärjestelmässä on hyödyllistä. Avainsanat – Nyckelord – Keywords Havaintojärjestelmäkoe, data-assimilaatio, Doppler-tutkatuulihavainto Säilytyspaikka – Förvaringställe – Where deposited Kumpulan tiedekirjasto

Ionic Liquids and Microwaves in Promotion of Organic Synthesis : Friedel-Crafts reaction, deuterolabelling and O-Demethylation

The use of ionic liquids in chemical research has gained considerable interest and activity in recent years. Due to their unique and varied physicochemical properties, in comparison to molecular solvents, the potential applications for ionic liquids are enormous. The use of microwave irradiation, as a powerful dielectric heating technique, in synthetic organic chemistry has been known since 1986. Since then, it has gained significant recognition for its research and application in both academia and industry. The use of either ionic liquids or microwave irradiation in synthetic organic chemistry has been known to afford improved, alternative or complimentary selectivities, in comparison to traditional processes. In this study, the use of ionic liquids as solvents, co-solvents and catalytic media was explored in Friedel-Crafts, deuterolabelling and O-demethylation reactions. Alternative methods for the production of a variety of aromatic ketones using the Friedel-Crafts acylation methodology were investigated using ionic liquid catalyst or ionic liquid acidic additive systems. The disclosed methods, i.e. metal bistriflamides and chloroindate ionic liquids systems, possessed good catalytic activity in the synthesis of typical benzophenones. These catalytic systems were also recyclable. Microwave irradiation was found to be useful in the synthesis of various polyhydroxydeoxybenzoins and arylpropanones as synthetic precursors to naturally occurring or potentially bioactive compounds. Under optimized condition, the reaction occurred in only four minutes using systems such as [bmim][NTf2]/HNTf2 and [bmim][BF4]/BF3·OEt2. Naturally occurring polyphenols, such as isoflavones, can possess various types of biological or pharmacological activity. In particular, some are noted for their beneficial effects on human health. Isotopically labelled analogues of polyphenols are valuable as analytical standards in the quantification of these compounds from biological matrices. A new strategy for deuterolabelling of polyphenols was developed using ionic liquids as co-solvents and 35% DCl/D2O, as a cheap deuterium source, under microwave irradiation. Under these conditions, perdeuterated compounds were achieved in short reaction times, in high isotopic purity and in excellent yields. An O-demethylation reaction was developed, using an ionic liquid reaction medium with BBr3 for the deprotection of a variety methyl protected polyphenolic compounds, such as isoflavons and lignans. This deprotection procedure was found to be very practical as the reaction occurred under mild reaction conditions and in short reaction times. The isolation and purification steps were particularly straightforward and high yielding, in comparison to traditional methods.

Alueellinen imago ja identiteetti liikkeessä

Regions are considered to be in competition for investments, industries, inhabitants and skilled labour nationally as well as internationally. In the context of tightening competition, more and more attention has been paid to regional attractors. A positive image is an important attractor in regional competition. In Finland, many towns and regions have either implemented or are planning to implement various image-enhancing campaigns or other measures aimed at improving their image. The role of identity is very important in developing a regional image. Good regional image should be based on a strong regional identity and awareness. Related to this is the perception of one's own region as separate from others and the familiarity of the region. If a region has no place in the awareness of its residents or if the inhabitants do not identify with it, its very existence as a social construct can be questioned. This means that building the regional image, which in this context is seen as social constructivism, is extremely difficult if the degree of regional awareness and identification is low. On the other hand, regional identity is being built also by developing the regional image. In a way, regional discourses have become more marketing-oriented in that instead of trying to create a regional esprit de corps there is now more image-oriented speech aimed at striving to improve the attractivity to outsiders of the region. Even though the goal is to bring the region to the attention of non-residents, a measure of construction of regional identity for the local population is automatically effected at the same time. Regional image and identity are consequences of linguistic producing and understanding of a region. It means that both image and identity are seen as language-created social constructions. The regional image is created through various discourses, but also the construction of a regional identity as regional consciousness and identification is largely a linguistic process. Essential in this context is perceiving the region as a discursive project characterized by its representation as texts, images and symbols. The linguistic production of a region is not a neutral description of "reality", but a representation based on interpretations, experiences and different motivations. Production and perceiving vary in time, so regional image and identity are on the move. This research is driven by the ongoing change of the regional system. The municipal and service structure reform is in progress and the number of municipalities seems to be on the decrease. At the same time, European Union s regional policy and regionalism on the whole are changing the status of sub-regions. At municipal level the crucial question is how the municipal structure reform will affect regional identity. This study points out that strong sense of municipal identity is a source of opposition to changes in municipal structure, but on the other hand the deinstitutionalization of the old municipality in municipal merger does not in itself mean the weakening of municipal identity.

Host Rock Classification (HRC) system for nuclear waste disposal in crystalline bedrock

A new rock mass classification scheme, the Host Rock Classification system (HRC-system) has been developed for evaluating the suitability of volumes of rock mass for the disposal of high-level nuclear waste in Precambrian crystalline bedrock. To support the development of the system, the requirements of host rock to be used for disposal have been studied in detail and the significance of the various rock mass properties have been examined. The HRC-system considers both the long-term safety of the repository and the constructability in the rock mass. The system is specific to the KBS-3V disposal concept and can be used only at sites that have been evaluated to be suitable at the site scale. By using the HRC-system, it is possible to identify potentially suitable volumes within the site at several different scales (repository, tunnel and canister scales). The selection of the classification parameters to be included in the HRC-system is based on an extensive study on the rock mass properties and their various influences on the long-term safety, the constructability and the layout and location of the repository. The parameters proposed for the classification at the repository scale include fracture zones, strength/stress ratio, hydraulic conductivity and the Groundwater Chemistry Index. The parameters proposed for the classification at the tunnel scale include hydraulic conductivity, Q´ and fracture zones and the parameters proposed for the classification at the canister scale include hydraulic conductivity, Q´, fracture zones, fracture width (aperture + filling) and fracture trace length. The parameter values will be used to determine the suitability classes for the volumes of rock to be classified. The HRC-system includes four suitability classes at the repository and tunnel scales and three suitability classes at the canister scale and the classification process is linked to several important decisions regarding the location and acceptability of many components of the repository at all three scales. The HRC-system is, thereby, one possible design tool that aids in locating the different repository components into volumes of host rock that are more suitable than others and that are considered to fulfil the fundamental requirements set for the repository host rock. The generic HRC-system, which is the main result of this work, is also adjusted to the site-specific properties of the Olkiluoto site in Finland and the classification procedure is demonstrated by a test classification using data from Olkiluoto. Keywords: host rock, classification, HRC-system, nuclear waste disposal, long-term safety, constructability, KBS-3V, crystalline bedrock, Olkiluoto

Composition operators, Aleksandrov measures and value distribution of analytic maps in the unit disc

A composition operator is a linear operator that precomposes any given function with another function, which is held fixed and called the symbol of the composition operator. This dissertation studies such operators and questions related to their theory in the case when the functions to be composed are analytic in the unit disc of the complex plane. Thus the subject of the dissertation lies at the intersection of analytic function theory and operator theory. The work contains three research articles. The first article is concerned with the value distribution of analytic functions. In the literature there are two different conditions which characterize when a composition operator is compact on the Hardy spaces of the unit disc. One condition is in terms of the classical Nevanlinna counting function, defined inside the disc, and the other condition involves a family of certain measures called the Aleksandrov (or Clark) measures and supported on the boundary of the disc. The article explains the connection between these two approaches from a function-theoretic point of view. It is shown that the Aleksandrov measures can be interpreted as kinds of boundary limits of the Nevanlinna counting function as one approaches the boundary from within the disc. The other two articles investigate the compactness properties of the difference of two composition operators, which is beneficial for understanding the structure of the set of all composition operators. The second article considers this question on the Hardy and related spaces of the disc, and employs Aleksandrov measures as its main tool. The results obtained generalize those existing for the case of a single composition operator. However, there are some peculiarities which do not occur in the theory of a single operator. The third article studies the compactness of the difference operator on the Bloch and Lipschitz spaces, improving and extending results given in the previous literature. Moreover, in this connection one obtains a general result which characterizes the compactness and weak compactness of the difference of two weighted composition operators on certain weighted Hardy-type spaces.

Finitary Abstract Elementary Classes

The research in model theory has extended from the study of elementary classes to non-elementary classes, i.e. to classes which are not completely axiomatizable in elementary logic. The main theme has been the attempt to generalize tools from elementary stability theory to cover more applications arising in other branches of mathematics. In this doctoral thesis we introduce finitary abstract elementary classes, a non-elementary framework of model theory. These classes are a special case of abstract elementary classes (AEC), introduced by Saharon Shelah in the 1980's. We have collected a set of properties for classes of structures, which enable us to develop a 'geometric' approach to stability theory, including an independence calculus, in a very general framework. The thesis studies AEC's with amalgamation, joint embedding, arbitrarily large models, countable Löwenheim-Skolem number and finite character. The novel idea is the property of finite character, which enables the use of a notion of a weak type instead of the usual Galois type. Notions of simplicity, superstability, Lascar strong type, primary model and U-rank are inroduced for finitary classes. A categoricity transfer result is proved for simple, tame finitary classes: categoricity in any uncountable cardinal transfers upwards and to all cardinals above the Hanf number. Unlike the previous categoricity transfer results of equal generality the theorem does not assume the categoricity cardinal being a successor. The thesis consists of three independent papers. All three papers are joint work with Tapani Hyttinen.

Yhteistoiminnallinen opetuspaketti lukion pitkän matematiikan Polynomifunktiot-kurssilla käytettäväksi

Tutkielmassa tarkastellaan yhteistoiminnallisen oppimisen soveltamismahdollisuuksia lukion pitkän matematiikan opettamiseen. Tutkielmassa on suunniteltu yhteistoiminnallinen opetuspaketti lukion pitkän matematiikan Polynomifunktiot-kurssille. Tutkielman ensimmäisessä teoriaosassa tarkastellaan yhteistoiminnallisen oppimisen periaatteita ja esitellään neljä yhteistoiminnallisen oppimisen menetelmää: rakenteellinen lähestymistapa, tiimioppiminen ryhmässä, ryhmäavusteinen yksilöllistäminen ja palapeli. Lisäksi teoriaosassa tuodaan esille niitä tekijöitä, jotka opettajan täytyy huomioida soveltaessaan esiteltyjä menetelmiä omaan opetukseensa sekä suunnitellessaan tehtäväkokonaisuuksia. Lopuksi tarkastellaan aiemmin tehtyjä tutkimuksia yhteistoiminnallisen oppimisen soveltamisesta matematiikan opetukseen. Tutkielman toisessa teoriaosassa esitellään klassisen algebran historiaa ja polynomifunktioihin liittyviä määritelmiä, lauseita ja niiden todistuksia sekä esimerkkejä. Opetuspaketti koostuu neljästä tehtäväkokonaisuudesta: epäyhtälön ratkaiseminen, polynomilaskennan kertaus, toisen asteen polynomifunktio ja -yhtälö sekä korkeamman asteen polynomifunktioiden tutkiminen. Lisäksi opetuspaketissa on yleinen esimerkki yhteistoiminnallisen oppitunnin rakenteesta. Opetuspaketin lopussa on raportti eräässä lukiossa suoritetusta testauksesta sekä sen tuloksista. Aiempien tutkimusten sekä tämän tutkielman yhteydessä tehdyn testauksen perusteella voidaan sanoa, että yhteistoiminnallinen oppiminen soveltuu lukion matematiikan opetukseen.

Efficient Content-based Routing, Mobility-aware Topologies, and Temporal Subspace Matching

Event-based systems are seen as good candidates for supporting distributed applications in dynamic and ubiquitous environments because they support decoupled and asynchronous many-to-many information dissemination. Event systems are widely used, because asynchronous messaging provides a flexible alternative to RPC (Remote Procedure Call). They are typically implemented using an overlay network of routers. A content-based router forwards event messages based on filters that are installed by subscribers and other routers. The filters are organized into a routing table in order to forward incoming events to proper subscribers and neighbouring routers. This thesis addresses the optimization of content-based routing tables organized using the covering relation and presents novel data structures and configurations for improving local and distributed operation. Data structures are needed for organizing filters into a routing table that supports efficient matching and runtime operation. We present novel results on dynamic filter merging and the integration of filter merging with content-based routing tables. In addition, the thesis examines the cost of client mobility using different protocols and routing topologies. We also present a new matching technique called temporal subspace matching. The technique combines two new features. The first feature, temporal operation, supports notifications, or content profiles, that persist in time. The second feature, subspace matching, allows more expressive semantics, because notifications may contain intervals and be defined as subspaces of the content space. We also present an application of temporal subspace matching pertaining to metadata-based continuous collection and object tracking.

Indexing Heterogeneous XML for Full-Text Search

XML documents are becoming more and more common in various environments. In particular, enterprise-scale document management is commonly centred around XML, and desktop applications as well as online document collections are soon to follow. The growing number of XML documents increases the importance of appropriate indexing methods and search tools in keeping the information accessible. Therefore, we focus on content that is stored in XML format as we develop such indexing methods. Because XML is used for different kinds of content ranging all the way from records of data fields to narrative full-texts, the methods for Information Retrieval are facing a new challenge in identifying which content is subject to data queries and which should be indexed for full-text search. In response to this challenge, we analyse the relation of character content and XML tags in XML documents in order to separate the full-text from data. As a result, we are able to both reduce the size of the index by 5-6\% and improve the retrieval precision as we select the XML fragments to be indexed. Besides being challenging, XML comes with many unexplored opportunities which are not paid much attention in the literature. For example, authors often tag the content they want to emphasise by using a typeface that stands out. The tagged content constitutes phrases that are descriptive of the content and useful for full-text search. They are simple to detect in XML documents, but also possible to confuse with other inline-level text. Nonetheless, the search results seem to improve when the detected phrases are given additional weight in the index. Similar improvements are reported when related content is associated with the indexed full-text including titles, captions, and references. Experimental results show that for certain types of document collections, at least, the proposed methods help us find the relevant answers. Even when we know nothing about the document structure but the XML syntax, we are able to take advantage of the XML structure when the content is indexed for full-text search.

Computational Techniques for Haplotype Inference and for Local Alignment Significance

This thesis which consists of an introduction and four peer-reviewed original publications studies the problems of haplotype inference (haplotyping) and local alignment significance. The problems studied here belong to the broad area of bioinformatics and computational biology. The presented solutions are computationally fast and accurate, which makes them practical in high-throughput sequence data analysis. Haplotype inference is a computational problem where the goal is to estimate haplotypes from a sample of genotypes as accurately as possible. This problem is important as the direct measurement of haplotypes is difficult, whereas the genotypes are easier to quantify. Haplotypes are the key-players when studying for example the genetic causes of diseases. In this thesis, three methods are presented for the haplotype inference problem referred to as HaploParser, HIT, and BACH. HaploParser is based on a combinatorial mosaic model and hierarchical parsing that together mimic recombinations and point-mutations in a biologically plausible way. In this mosaic model, the current population is assumed to be evolved from a small founder population. Thus, the haplotypes of the current population are recombinations of the (implicit) founder haplotypes with some point--mutations. HIT (Haplotype Inference Technique) uses a hidden Markov model for haplotypes and efficient algorithms are presented to learn this model from genotype data. The model structure of HIT is analogous to the mosaic model of HaploParser with founder haplotypes. Therefore, it can be seen as a probabilistic model of recombinations and point-mutations. BACH (Bayesian Context-based Haplotyping) utilizes a context tree weighting algorithm to efficiently sum over all variable-length Markov chains to evaluate the posterior probability of a haplotype configuration. Algorithms are presented that find haplotype configurations with high posterior probability. BACH is the most accurate method presented in this thesis and has comparable performance to the best available software for haplotype inference. Local alignment significance is a computational problem where one is interested in whether the local similarities in two sequences are due to the fact that the sequences are related or just by chance. Similarity of sequences is measured by their best local alignment score and from that, a p-value is computed. This p-value is the probability of picking two sequences from the null model that have as good or better best local alignment score. Local alignment significance is used routinely for example in homology searches. In this thesis, a general framework is sketched that allows one to compute a tight upper bound for the p-value of a local pairwise alignment score. Unlike the previous methods, the presented framework is not affeced by so-called edge-effects and can handle gaps (deletions and insertions) without troublesome sampling and curve fitting.

Computationally Efficient Methods for MDL-Optimal Density Estimation and Data Clustering

The Minimum Description Length (MDL) principle is a general, well-founded theoretical formalization of statistical modeling. The most important notion of MDL is the stochastic complexity, which can be interpreted as the shortest description length of a given sample of data relative to a model class. The exact definition of the stochastic complexity has gone through several evolutionary steps. The latest instantation is based on the so-called Normalized Maximum Likelihood (NML) distribution which has been shown to possess several important theoretical properties. However, the applications of this modern version of the MDL have been quite rare because of computational complexity problems, i.e., for discrete data, the definition of NML involves an exponential sum, and in the case of continuous data, a multi-dimensional integral usually infeasible to evaluate or even approximate accurately. In this doctoral dissertation, we present mathematical techniques for computing NML efficiently for some model families involving discrete data. We also show how these techniques can be used to apply MDL in two practical applications: histogram density estimation and clustering of multi-dimensional data.

The Mediated Immediacy : João Batista Libanio and the Question of Latin American Liberation Theology

This study is a systematic analysis of mediated immediacy in the production of the Brazilian professor of theology João Batista Libanio. He stresses both ethical mediation and the immediate character of the faith. Libanio has sought an answer to the problem of science and faith. He makes use of the neo-scholastic distinction between matter and form. According to St. Thomas Aquinas, God cannot be known as a scientific object, but it is possible to predicate a formal theological content of other subject matter with the help of revelation. This viewpoint was emphasized in neo-Thomism and supported by the liberation theologians. For them, the material starting point was social science. It becomes a theologizable or revealable (revelabile) reality. This social science has its roots in Latin American Marxism which was influenced by the school of Louis Althusser and considered Marxism a science of history . The synthesis of Thomism and Marxism is a challenge Libanio faced, especially in his Teologia da libertação from 1987. He emphasized the need for a genuinely spiritual and ethical discernment, and was particularly critical of the ethical implications of class struggle. Libanio s thinking has a strong hermeneutic flavor. It is more important to understand than to explain. He does not deny the need for social scientific data, but that they cannot be the exclusive starting point of theology. There are different readings of the world, both scientific and theological. A holistic understanding of the nature of religious experience is needed. Libanio follows the interpretation given by H. C. de Lima Vaz, according to whom the Hegelian dialectic is a rational circulation between the totality and its parts. He also recalls Oscar Cullmann s idea of God s Kingdom that is already and not yet . In other words, there is a continuous mediation of grace into the natural world. This dialectic is reflected in ethics. Faith must be verified in good works. Libanio uses the Thomist fides caritate formata principle and the modern orthopraxis thinking represented by Edward Schillebeeckx. One needs both the ortho of good faith and the praxis of the right action. The mediation of praxis is the mediation of human and divine love. Libanio s theology has strong roots in the Jesuit spirituality that places the emphasis on contemplation in action.

Mikä on ihme ja mitä ihmeistä voidaan tietää? : Keskustelu ihmeistä uusimmassa englanninkielisessä uskonnonfilosofiassa

What is a miracle and what can we know about miracles? A discussion of miracles in anglophone philosophy of religion literature since the late 1960s. The aim of this study is to systematically describe and philosophically examine the anglophone discussion on the subject of miracles since the latter half of the 1960s. The study focuses on two salient questions: firstly, what I will term the conceptual-ontological question of the extent to which we can understand miracles and, secondly, the epistemological question of what we can know about miracles. My main purpose in this study is to examine the various viewpoints that have been submitted in relation to these questions, how they have been argued and on what presuppositions these arguments have been based. In conducting the study, the most salient dimension of the various discussions was found to relate to epistemological questions. In this regard, there was a notable confrontation between those scholars who accept miracles and those who are sceptical of them. On the conceptual-ontological side I recognised several different ways of expressing the concept of miracle . I systematised the discussion by demonstrating the philosophical boundaries between these various opinions. The first and main boundary was related to ontological knowledge. On one side of this boundary I placed the views which were based on realism and objectivism. The proponents of this view assumed that miraculousness is a real property of a miraculous event regardless of how we can perceive it. On the other side I put the views which tried to define miraculousness in terms of subjectivity, contextuality and epistemicity. Another essential boundary which shed light on the conceptual-ontological discussion was drawn in relation to two main views of nature. The realistic-particularistic view regards nature as a certain part of reality. The adherents of this presupposition postulate a supernatural sphere alongside nature. Alternatively, the nominalist-universalist view understands nature without this kind of division. Nature is understood as the entire and infinite universe; the whole of reality. Other, less important boundaries which shed light on the conceptual-ontological discussion were noted in relation to views regarding the laws of nature, for example. I recognised that the most important differences between the epistemological approaches were in the different views of justification, rationality, truth and science. The epistemological discussion was divided into two sides, distinguished by their differing assumptions in relation to the need for evidence. Adherents of the first (and noticeably smaller) group did not see any epistemological need to reach a universal and common opinion about miracles. I discovered that these kinds of views, which I called non-objectivist, had subjectivist and so-called collectivist views of justification and a contextualist view of rationality. The second (and larger) group was mainly interested in discerning the grounds upon which to establish an objective and conclusive common view in relation to the epistemology of miracles. I called this kind of discussion an objectivist discussion and this kind of approach an evidentialist approach. Most of the evidentialists tried to defend miracles and the others attempted to offer evidence against miracles. Amongst both sides, there were many different variations according to emphasis and assumption over how they saw the possibilities to prove their own view. The common characteristic in all forms of evidentialism was a commitment to an objectivist notion of rationality and a universalistic notion of justification. Most evidentialists put their confidence in science in one way or another. Only a couple of philosophers represented the most moderate version of evidentialism; they tried to remove themselves from the apparent controversy and contextualised the different opinions in order to make some critical comments on them. I called this kind of approach a contextualising form of evidentialism. In the final part of the epistemological chapter, I examined the discussion about the evidential value of miracles, but nothing substantially new was discovered concerning the epistemological views of the authors.

Kirkon vai valtion kirjat? : Uskontokuntasidonnaisuuden ongelma Suomen väestökirjanpidossa 1839-1904

The Population Register – run by the Church or the state? The problem posed by the obligation to belong to a religious community in the registration of births and deaths in Finland between 1839 and 1904 The Lutheran Church of Finland is the nation’s largest church; approximately 82 per cent of Finns were members in 2007. The Church ran an official register of its members until 1999, when the state then undertook this task. The registration of births and deaths by the Church has a long history dating back to the 17th century, when Bishop Johannes Gezelius Sr. decreed that all parish members would have to be recorded in parish registers. These registers were used to control how well parish members knew the Christian doctrine and, gradually, also if they were literate. Additionally, the Church attempted to ensure by means of the parish registers that parish members went to Holy Communion annually. Since everyone was a member of the Lutheran Church, the state also took advantage of the parish registers and used them for the purposes of tax collection and conscription. The main research theme of “The Population Register – run by the Church or the state?” goes back to these times. The actual research period covers the years of 1839–1904. At that time Finland was under Russian rule, although autonomous. In the late 19th century the press and different associations in Finland began to engage in public debate, and the country started moving from a submissive society to a civic one. The identity of the Lutheran Church also became more prominent when the Church Act and the General Synod were realised in 1869. A few years earlier, municipal and parish administrations had been separated, but the general registration of births and deaths was left to the Church to see to. In compliance with the constitution of the country, all the inhabitants in principle still had to be Lutheran. In practice, the situation was different. The religious and ideological realms diversified, and the Lutheran concept of religion was no longer acceptable to everyone. The conflict was reflected in the registration of births and deaths, which was linked to the Lutheran Church and its parish registers. Nobody was allowed to leave the Church, there was no civil register, and the Lutheran Church did not consent to record unbaptized children in the parish registers. Therefore such children were left without civil rights. Thus the obligation to belong to a religious community had become a problem in the registration of births and deaths. The Lutheran clergy also appealed to the 1723 privileges, according to which they had been exempted from the drawing up of additional population registers. In 1889 Finland passed the Dissenters Act. By virtue of this act the Baptists and the Methodists left the state Church, but this was not the case with the members of the free churches. The freethinkers had to retain their church membership, as the law did not apply to them. This meant that the unbaptized children of the members of the free churches or those of freethinkers were still not entered in any registers. The children were not able to go to school, work for the state or legally marry. Neither were they able to inherit property, as they did not legally exist. The system of parish registers was created when everyone was required to be a member of the Lutheran Church, but it did not work when liberal attitudes eventually penetrated the sphere of religion, too. The government´s measures to solve the problem were slow and cautious, partly because Finland was part of Russia, partly because there were only about 100 unbaptized children. As the problem group was small and the state´s resources were limited, no general civil register was established. The state accepted the fact that in spite of the problems, the Evangelical Lutheran Church and the congregations of dissenters were the only official establishments to run populations registers in the country, and for social purposes, too. In 1900 the Diet of Finland finally approved a limited civil register, which unbaptized children and unregistered foreigners would be recorded in. Due to political reasons the civil register did not come into existence until 1917, after the actual research period.