Metsänomistajakunnan rakenteen ennustaminen

The general change in the population structure and its impacts on the forest ownership structure were investigated in the thesis. The research assumed that the structural change in society has an effect on the outlook of the non-industrial private forest ownership. The changes in the structure of society were mainly restricted to population, education and occupation structures. The migration of the rural population into cities was also taken into consideration. The structural changes both in society and the non-industrial private forest ownership were examined as phenomena and their development directions were investigated since the middle of the 1970s. It could be established that the changes in the structures were mainly of the same kind in society as in forest owner structure. The clearest similarities between the changes in population and forest owner structure could be found in an increased mean age, a decrease in the 18 to 39 age bracket, those without a degree and in the farmers' shares. Furthermore it could be stated that migration into cities had taken place among both the forest owners and the general population. The main part of the research was concentrated on estimating regression models that explain the non-industrial private forest ownership change by the structural change in the population. A panel data was gathered from population statistics and previous forest ownership research information. The panel contained the years 1990 and 1999. With the assistance of the panel data it was possible to estimate regression and fixed effects' models that explained the structural changes in the non-industrial private forest ownership by evolution in the whole population. In the use of the estimated models authorities' forecasts considering the population were exploited. Only a few of the estimated models were statistically significant. This could be explained due to lack of a larger panel data. In addition the structural change of the non-industrial forest ownership was forecasted by trends.

Use of biomass fuels in the brick-making industries of Sudan: Implications for deforestation and greenhouse gas emission

The study focuses on the potential roles of the brick making industries in Sudan in deforestation and greenhouse gas emission due to the consumption of biofuels. The results were based on the observation of 25 brick making industries from three administrative regions in Sudan namely, Khartoum, Kassala and Gezira. The methodological approach followed the procedures outlined by the Intergovernmental Panel on Climate Change (IPCC). For predicting a serious deforestation scenario, it was also assumed that all of wood use for this particular purpose is from unsustainable sources. The study revealed that the total annual quantity of fuelwood consumed by the surveyed brick making industries (25) was 2,381 t dm. Accordingly, the observed total potential deforested wood was 10,624 m3, in which the total deforested round wood was 3,664 m3 and deforested branches was 6,961 m3. The study observed that a total of 2,990 t biomass fuels (fuelwood and dung cake) consumed annually by the surveyed brick making industries for brick burning. Consequently, estimated total annual emissions of greenhouse gases were 4,832 t CO2, 21 t CH4, 184 t CO, 0.15 t N20, 5 t NOX and 3.5 t NO while the total carbon released in the atmosphere was 1,318 t. Altogether, the total annual greenhouse gases emissions from biomass fuels burning was 5,046 t; of which 4,104 t from fuelwood and 943 t from dung cake burning. According to the results, due to the consumption of fuelwood in the brick making industries (3,450 units) of Sudan, the amount of wood lost from the total growing stock of wood in forests and trees in Sudan annually would be 1,466,000 m3 encompassing 505,000 m3 round wood and 961,000 m3 branches annually. By considering all categories of biofuels (fuelwood and dung cake), it was estimated that, the total emissions from all the brick making industries of Sudan would be 663,000 t CO2, 2,900 t CH4, 25,300 t CO, 20 t N2O, 720 t NOX and 470 t NO per annum, while the total carbon released in the atmosphere would be 181,000 t annually.

Modern techniques in detection, identification and quantification of bacteria and peptides from foods

Standards have been placed to regulate the microbial and preservative contents to assure that foods are safe to the consumer. In a case of a food-related disease outbreak, it is crucial to be able to detect and identify quickly and accurately the cause of the disease. In addition, for every day control of food microbial and preservative contents, the detection methods must be easily performed for numerous food samples. In this present study, quicker alternative methods were studied for identification of bacteria by DNA fingerprinting. A flow cytometry method was developed as an alternative to pulsed-field gel electrophoresis, the golden method . DNA fragment sizing by an ultrasensitive flow cytometer was able to discriminate species and strains in a reproducible and comparable manner to pulsed-field gel electrophoresis. This new method was hundreds times faster and 200,000 times more sensitive. Additionally, another DNA fingerprinting identification method was developed based on single-enzyme amplified fragment length polymorphism (SE-AFLP). This method allowed the differentiation of genera, species, and strains of pathogenic bacteria of Bacilli, Staphylococci, Yersinia, and Escherichia coli. These fingerprinting patterns obtained by SE-AFLP were simpler and easier to analyze than those by the traditional amplified fragment length polymorphism by double enzyme digestion. Nisin (E234) is added as a preservative to different types of foods, especially dairy products, around the world. Various detection methods exist for nisin, but they lack in sensitivity, speed or specificity. In this present study, a sensitive nisin-induced green fluorescent protein (GFPuv) bioassay was developed using the Lactococcus lactis two-component signal system NisRK and the nisin-inducible nisA promoter. The bioassay was extremely sensitive with detection limit of 10 pg/ml in culture supernatant. In addition, it was compatible for quantification from various food matrices, such as milk, salad dressings, processed cheese, liquid eggs, and canned tomatoes. Wine has good antimicrobial properties due to its alcohol concentration, low pH, and organic content and therefore often assumed to be microbially safe to consume. Another aim of this thesis was to study the microbiota of wines returned by customers complaining of food-poisoning symptoms. By partial 16S rRNA gene sequence analysis, ribotyping, and boar spermatozoa motility assay, it was identified that one of the wines contained a Bacillus simplex BAC91, which produced a heat-stable substance toxic to the mitochondria of sperm cells. The antibacterial activity of wine was tested on the vegetative cells and spores of B. simplex BAC91, B. cereus type strain ATCC 14579 and cereulide-producing B. cereus F4810/72. Although the vegetative cells and spores of B. simplex BAC91 were sensitive to the antimicrobial effects of wine, the spores of B. cereus strains ATCC 14579 and F4810/72 stayed viable for at least 4 months. According to these results, Bacillus spp., more specifically spores, can be a possible risk to the wine consumer.

Cereulide producing B. cereus and amylosin producing B. subtilis and B. mojavensis : characterization of strains and toxigenicities

B. cereus is one of the most frequent occurring bacteria in foods . It produces several heat-labile enterotoxins and one stable non-protein toxin, cereulide (emetic), which may be pre-formed in food. Cereulide is a heat stable peptide whose structure and mechanism of action were in the past decade elucidated. Until this work, the detection of cereulide was done by biological assays. With my mentors, I developed the first quantitative chemical assay for cereulide. The assay is based on liquid chromatography (HPLC) combined with ion trap mass spectrometry and the calibration is done with valinomycin and purified cereulide. To detect and quantitate valinomycin and cereulide, their [NH4+] adducts, m/z 1128.9 and m/z 1171 respectively, were used. This was a breakthrough in the cereulide research and became a very powerful tool of investigation. This tool made it possible to prove for the first time that the toxin produced by B. cereus in heat-treated food caused human illness. Until this thesis work (Paper II), cereulide producing B. cereus strains were believed to represent a homogenous group of clonal strains. The cereulide producing strains investigated in those studies originated mostly from food poisoning incidents. We used strains of many origins and analyzed them using a polyphasic approach. We found that the cereulide producing B. cereus strains are genetically and biologically more diverse than assumed in earlier studies. The strains diverge in the adenylate kinase (adk) gene (two sequence types), in ribopatterns obtained with EcoRI and PvuII (three patterns), tyrosin decomposition, haemolysis and lecithine hydrolysis (two phenotypes). Our study was the first demonstration of diversity within the cereulide producing strains of B. cereus. To manage the risk for cereulide production in food, understanding is needed on factors that may upregulate cereulide production in a given food matrix and the environmental factors affecting it. As a contribution towards this direction, we adjusted the growth environment and measured the cereulide production by strains selected for diversity. The temperature range where cereulide is produced was narrower than that for growth for most of the producer strains. Most cereulide was by most strains produced at room temperature (20 - 23ºC). Exceptions to this were two faecal isolates which produced the same amount of cereulide from 23 ºC up until 39ºC. We also found that at 37º C the choice of growth media for cereulide production differed from that at the room temperature. The food composition and temperature may thus be a key for understanding cereulide production in foods as well as in the gut. We investigated the contents of [K+], [Na+] and amino acids of six growth media. Statistical evaluation indicated a significant positive correlation between the ratio [K+]:[Na+] and the production of cereulide, but only when the concentrations of glycine and [Na+] were constant. Of the amino acids only glycine correlated positively with high cereulide production. Glycine is used worldwide as food additive (E 640), flavor modifier, humectant, acidity regulator, and is permitted in the European Union countries, with no regulatory quantitative limitation, in most types of foods. B. subtilis group members are endospore-forming bacteria ubiquitous in the environment, similar to B. cereus in this respect. Bacillus species other than B. cereus have only sporadically been identified as causative agents of food-borne illnesses. We found (Paper IV) that food-borne isolates of B. subtilis and B. mojavensis produced amylosin. It is possible that amylosin was the agent responsible for the food-borne illness, since no other toxic substance was found in the strains. This is the first report on amylosin production by strains isolated from food. We found that the temperature requirement for amylosin production was higher for the B. subtilis strain F 2564/96, a mesophilic producer, than for B. mojavensis strains eela 2293 and B 31, psychrotolerant producers. We also found that an atmosphere with low oxygen did not prevent the production of amylosin. Ready-to-eat foods packaged in micro-aerophilic atmosphere and/or stored at temperatures above 10 °C, may thus pose a risk when toxigenic strains of B. subtilis or B. mojavensis are present.

Wind drift of snowfall between the radar volume and ground

This study evaluates how the advection of precipitation, or wind drift, between the radar volume and ground affects radar measurements of precipitation. Normally precipitation is assumed to fall vertically to the ground from the contributing volume, and thus the radar measurement represents the geographical location immediately below. In this study radar measurements are corrected using hydrometeor trajectories calculated from measured and forecasted winds, and the effect of trajectory-correction on the radar measurements is evaluated. Wind drift statistics for Finland are compiled using sounding data from two weather stations spanning two years. For each sounding, the hydrometeor phase at ground level is estimated and drift distance calculated using different originating level heights. This way the drift statistics are constructed as a function of range from radar and elevation angle. On average, wind drift of 1 km was exceeded at approximately 60 km distance, while drift of 10 km was exceeded at 100 km distance. Trajectories were calculated using model winds in order to produce a trajectory-corrected ground field from radar PPI images. It was found that at the upwind side from the radar the effective measuring area was reduced as some trajectories exited the radar volume scan. In the downwind side areas near the edge of the radar measuring area experience improved precipitation detection. The effect of trajectory-correction is most prominent in instant measurements and diminishes when accumulating over longer time periods. Furthermore, measurements of intensive and small scale precipitation patterns benefit most from wind drift correction. The contribution of wind drift on the uncertainty of estimated Ze (S) - relationship was studied by simulating the effect of different error sources to the uncertainty in the relationship coefficients a and b. The overall uncertainty was assumed to consist of systematic errors of both the radar and the gauge, as well as errors by turbulence at the gauge orifice and by wind drift of precipitation. The focus of the analysis is error associated with wind drift, which was determined by describing the spatial structure of the reflectivity field using spatial autocovariance (or variogram). This spatial structure was then used with calculated drift distances to estimate the variance in radar measurement produced by precipitation drift, relative to the other error sources. It was found that error by wind drift was of similar magnitude with error by turbulence at gauge orifice at all ranges from radar, with systematic errors of the instruments being a minor issue. The correction method presented in the study could be used in radar nowcasting products to improve the estimation of visibility and local precipitation intensities. The method however only considers pure snow, and for operational purposes some improvements are desirable, such as melting layer detection, VPR correction and taking solid state hydrometeor type into account, which would improve the estimation of vertical velocities of the hydrometeors.

Properties of Ammonium Nitrate based fertilisers

The text is divided into three parts; Properties, Application and Safety of Ammonium Nitrate (AN) based fertilisers. In Properties, the structures and phase transitions of ammonium and potassium nitrate are reviewed. The consequences of phase transitions affect the proper use of fertilisers. Therefore the products must be stabilised against the volume changes and consequent loss of bulk density and hardness, formation of dust and finally caking of fertilisers. The effect of different stabilisers is discussed. Magnesium nitrate, ammonium sulphate and potassium nitrate are presented as a good compromise. In the Application part, the solid solutions in the systems (K+,NH4+)NO3- and (NH4+,K+)(Cl-,NO3-) are presented based on studies made with DSC and XRD. As there are clear limits for solute content in the solvent lattice, a number of disproportionation transitions exist in these process phases, e.g., N3 (solid solution isomorphous to NH4NO3-III) disproportionates to phases K3 (solid solution isomorphous to KNO3-III) and K2 (solid solution isomorphous to KNO3-II). In the crystallisation experiments, the formation of K3 depends upon temperature and the ratio K/(K+NH4). The formation of phases K3, N3, and K2 was modelled as a function of temperature and the mole ratios. In introducing chlorides, two distinct maxima for K3 were found. Confirmed with commercial potash samples, the variables affecting the reaction of potassium chloride with AN are the particle size, time, temperature, moisture content and amount of organic coating. The phase diagrams obtained by crystallisation studies were compared with a number of commercial fertilisers and, with regard to phase composition, the temperature and moisture content are critical when the formation and stability of solid solutions are considered. The temperature where the AN-based fertiliser is solidified affects the amount of compounds crystallised at that point. In addition, the temperature where the final moisture is evaporated affects the amount and type of solid solution formed at this temperature. The amount of remaining moisture affects the stability of the K3 phase. The K3 phase is dissolved by the moisture and recrystallised into the quantities of K3, which is stable at the temperature where the sample is kept. The remaining moisture should not be free; it should be bound as water in the final product. The temperatures during storage also affect the quantity of K3 phase. As presented in the figures, K3 phase is not stable at temperatu¬res below 30 °C. If the temperature is about 40 °C, the K3 phase can be formed due to the remaining moisture. In the Safety part, self-sustaining decomposition (SSD), oxidising and energetic properties of fertilisers are discussed. Based on the consequence analysis of SSD, early detection of decomposition in warehouses and proper temperature control in the manufacturing process is important. SSD and oxidising properties were found in compositions where K3 exists. It is assumed that potassium nitrate forms a solid matrix in which AN can decompose. The oxidising properties can be affected by the form of the product. Granular products are inherently less oxidising. Finally energetic properties are reviewed. The composition of the fertiliser has an importance based on theoretical calculations supported by experimental studies. Materials such as carbonates and sulphates act as diluents. An excess of ammonium ions acts as a fuel although this is debatable. Based on the experimental work, the physical properties have a major importance over the composition. A high bulk density is of key importance for detonation resistance.

Contested Lands: Land Disputes in Semi-Arid Parts of Northern Tanzania : Case Studies of the Loliondo and Sale Divisions

This study Contested Lands: Land disputes in semi-arid parts of northern Tanzania. Case Studies of the Loliondo and Sale Division in the Ngorongoro District concentrates on describing the specific land disputes which took place in the 1990s in the Loliondo and Sale Divisions of the Ngorongoro District in northern Tanzania. The study shows the territorial and historical transformation of territories and property and their relation to the land disputes of the 1990s'. It was assumed that land disputes have been firstly linked to changing spatiality due to the zoning policies of the State territoriality and, secondly, they can be related to the State control of property where the ownership of land property has been redefined through statutory laws. In the analysis of the land disputes issues such as use of territoriality, boundary construction and property claims, in geographical space, are highlighted. Generally, from the 1980s onwards, increases in human population within both Divisions have put pressure on land/resources. This has led to the increased control of land/resource, to the construction of boundaries and finally to formalized land rights on village lands of the Loliondo Division. The land disputes have thus been linked to the use of legal power and to the re-creation of the boundary (informal or formal) either by the Maasai or the Sonjo on the Loliondo and Sale village lands. In Loliondo Division land disputes have been resource-based and related to multiple allocations of land or game resource concessions. Land disputes became clearly political and legal struggles with an ecological reference.Land disputes were stimulated when the common land/resource rights on village lands of the Maasai pastoralists became regulated and insecure. The analysis of past land disputes showed that space-place tensions on village lands can be presented as a platform on which spatial and property issues with complex power relations have been debated. The reduction of future land disputes will succeed only when/if local property rights to land and resources are acknowledged, especially in rural lands of the Tanzanian State.

Renormalization methods in KAM theory

It is well known that an integrable (in the sense of Arnold-Jost) Hamiltonian system gives rise to quasi-periodic motion with trajectories running on invariant tori. These tori foliate the whole phase space. If we perturb an integrable system, the Kolmogorow-Arnold-Moser (KAM) theorem states that, provided some non-degeneracy condition and that the perturbation is sufficiently small, most of the invariant tori carrying quasi-periodic motion persist, getting only slightly deformed. The measure of the persisting invariant tori is large together with the inverse of the size of the perturbation. In the first part of the thesis we shall use a Renormalization Group (RG) scheme in order to prove the classical KAM result in the case of a non analytic perturbation (the latter will only be assumed to have continuous derivatives up to a sufficiently large order). We shall proceed by solving a sequence of problems in which theperturbations are analytic approximations of the original one. We will finally show that the approximate solutions will converge to a differentiable solution of our original problem. In the second part we will use an RG scheme using continuous scales, so that instead of solving an iterative equation as in the classical RG KAM, we will end up solving a partial differential equation. This will allow us to reduce the complications of treating a sequence of iterative equations to the use of the Banach fixed point theorem in a suitable Banach space.

Joint Regression and Association Models for Repeated Categorical Responses

The focus of this study is on statistical analysis of categorical responses, where the response values are dependent of each other. The most typical example of this kind of dependence is when repeated responses have been obtained from the same study unit. For example, in Paper I, the response of interest is the pneumococcal nasopharengyal carriage (yes/no) on 329 children. For each child, the carriage is measured nine times during the first 18 months of life, and thus repeated respones on each child cannot be assumed independent of each other. In the case of the above example, the interest typically lies in the carriage prevalence, and whether different risk factors affect the prevalence. Regression analysis is the established method for studying the effects of risk factors. In order to make correct inferences from the regression model, the associations between repeated responses need to be taken into account. The analysis of repeated categorical responses typically focus on regression modelling. However, further insights can also be gained by investigating the structure of the association. The central theme in this study is on the development of joint regression and association models. The analysis of repeated, or otherwise clustered, categorical responses is computationally difficult. Likelihood-based inference is often feasible only when the number of repeated responses for each study unit is small. In Paper IV, an algorithm is presented, which substantially facilitates maximum likelihood fitting, especially when the number of repeated responses increase. In addition, a notable result arising from this work is the freely available software for likelihood-based estimation of clustered categorical responses.

Methods to improve gene signal: Application to cDNA microarrays

Microarrays are high throughput biological assays that allow the screening of thousands of genes for their expression. The main idea behind microarrays is to compute for each gene a unique signal that is directly proportional to the quantity of mRNA that was hybridized on the chip. A large number of steps and errors associated with each step make the generated expression signal noisy. As a result, microarray data need to be carefully pre-processed before their analysis can be assumed to lead to reliable and biologically relevant conclusions. This thesis focuses on developing methods for improving gene signal and further utilizing this improved signal for higher level analysis. To achieve this, first, approaches for designing microarray experiments using various optimality criteria, considering both biological and technical replicates, are described. A carefully designed experiment leads to signal with low noise, as the effect of unwanted variations is minimized and the precision of the estimates of the parameters of interest are maximized. Second, a system for improving the gene signal by using three scans at varying scanner sensitivities is developed. A novel Bayesian latent intensity model is then applied on these three sets of expression values, corresponding to the three scans, to estimate the suitably calibrated true signal of genes. Third, a novel image segmentation approach that segregates the fluorescent signal from the undesired noise is developed using an additional dye, SYBR green RNA II. This technique helped in identifying signal only with respect to the hybridized DNA, and signal corresponding to dust, scratch, spilling of dye, and other noises, are avoided. Fourth, an integrated statistical model is developed, where signal correction, systematic array effects, dye effects, and differential expression, are modelled jointly as opposed to a sequential application of several methods of analysis. The methods described in here have been tested only for cDNA microarrays, but can also, with some modifications, be applied to other high-throughput technologies. Keywords: High-throughput technology, microarray, cDNA, multiple scans, Bayesian hierarchical models, image analysis, experimental design, MCMC, WinBUGS.

On Orlicz-Sobolev capacities

This thesis consists of three articles on Orlicz-Sobolev capacities. Capacity is a set function which gives information of the size of sets. Capacity is useful concept in the study of partial differential equations, and generalizations of exponential-type inequalities and Lebesgue point theory, and other topics related to weakly differentiable functions such as functions belonging to some Sobolev space or Orlicz-Sobolev space. In this thesis it is assumed that the defining function of the Orlicz-Sobolev space, the Young function, satisfies certain growth conditions. In the first article, the null sets of two different versions of Orlicz-Sobolev capacity are studied. Sufficient conditions are given so that these two versions of capacity have the same null sets. The importance of having information about null sets lies in the fact that the sets of capacity zero play similar role in the Orlicz-Sobolev space setting as the sets of measure zero do in the Lebesgue space and Orlicz space setting. The second article continues the work of the first article. In this article, it is shown that if a Young function satisfies certain conditions, then two versions of Orlicz-Sobolev capacity have the same null sets for its complementary Young function. In the third article the metric properties of Orlicz-Sobolev capacities are studied. It is usually difficult or impossible to calculate a capacity of a set. In applications it is often useful to have estimates for the Orlicz-Sobolev capacities of balls. Such estimates are obtained in this paper, when the Young function satisfies some growth conditions.

Passive vector turbulence

This thesis consists of three articles on passive vector fields in turbulence. The vector fields interact with a turbulent velocity field, which is described by the Kraichnan model. The effect of the Kraichnan model on the passive vectors is studied via an equation for the pair correlation function and its solutions. The first paper is concerned with the passive magnetohydrodynamic equations. Emphasis is placed on the so called "dynamo effect", which in the present context is understood as an unbounded growth of the pair correlation function. The exact analytical conditions for such growth are found in the cases of zero and infinite Prandtl numbers. The second paper contains an extensive study of a number of passive vector models. Emphasis is now on the properties of the (assumed) steady state, namely anomalous scaling, anisotropy and small and large scale behavior with different types of forcing or stirring. The third paper is in many ways a completion to the previous one in its study of the steady state existence problem. Conditions for the existence of the steady state are found in terms of the spatial roughness parameter of the turbulent velocity field.

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.

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.

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.