Contributions to the Theory of Finite-State Based Grammars

This dissertation is a theoretical study of finite-state based grammars used in natural language processing. The study is concerned with certain varieties of finite-state intersection grammars (FSIG) whose parsers define regular relations between surface strings and annotated surface strings. The study focuses on the following three aspects of FSIGs: (i) Computational complexity of grammars under limiting parameters In the study, the computational complexity in practical natural language processing is approached through performance-motivated parameters on structural complexity. Each parameter splits some grammars in the Chomsky hierarchy into an infinite set of subset approximations. When the approximations are regular, they seem to fall into the logarithmic-time hierarchyand the dot-depth hierarchy of star-free regular languages. This theoretical result is important and possibly relevant to grammar induction. (ii) Linguistically applicable structural representations Related to the linguistically applicable representations of syntactic entities, the study contains new bracketing schemes that cope with dependency links, left- and right branching, crossing dependencies and spurious ambiguity. New grammar representations that resemble the Chomsky-Schützenberger representation of context-free languages are presented in the study, and they include, in particular, representations for mildly context-sensitive non-projective dependency grammars whose performance-motivated approximations are linear time parseable. (iii) Compilation and simplification of linguistic constraints Efficient compilation methods for certain regular operations such as generalized restriction are presented. These include an elegant algorithm that has already been adopted as the approach in a proprietary finite-state tool. In addition to the compilation methods, an approach to on-the-fly simplifications of finite-state representations for parse forests is sketched. These findings are tightly coupled with each other under the theme of locality. I argue that the findings help us to develop better, linguistically oriented formalisms for finite-state parsing and to develop more efficient parsers for natural language processing. Avainsanat: syntactic parsing, finite-state automata, dependency grammar, first-order logic, linguistic performance, star-free regular approximations, mildly context-sensitive grammars

Microbial quality of hemp (Cannabis sativa L.) and flax (Linum usitatissimum L.) from plants to thermal insulation

Flax and hemp have traditionally been used mainly for textiles, but recently interest has also been focused on non-textile applications. Microbial quality throughout the whole processing chain of bast fibres has not previously been studied. This study concentrates on the microbial quality and possible microbial risks in the production chain of hemp and flax fibres and fibrous thermal insulations. In order to be able to utilize hemp and flax fibres, the bast fibres must be separated from the rest of the plant. Non-cellulosic components can be removed with various pretreatment processes, which are associated with a certain risk of microbial contamination. In this study enzymatic retting and steam explosion (STEX) were examined as pretreatment processes. On the basis of the results obtained in this study, the microbial contents on stalks of both plants studied increased at the end of the growing season and during the winter. However, by processing and mechanical separation it is possible to produce fibres containing less moulds and bacteria than the whole stem. Enzymatic treatment encouraged the growth of moulds in fibres. Steam explosion reduced the amount of moulds in fibres. Dry thermal treatment used in this study did not markedly reduce the amount of microbes. In this project an emission measurement chamber was developed which was suitable for measurements of emissions from both mat type and loose fill type insulations, and capable of interdisciplinary sampling. In this study, the highest amounts of fungal emissions were in the range of 10^3 10^5 cfu/m^3 from the flax and hemp insulations at 90% RH of air. The fungal emissions from stone wool, glass wool and recycled paper insulations were below 10^2 cfu/m^3 even at 90% RH. Equally low values were obtained from bast fibrous materials in lower humidities (at 30% and 80% RH of air). After drying of moulded insulations at 30% RH, the amounts of emitted moulds were in all cases higher compared to the emissions at 90% RH before drying. The most common fungi in bast fibres were Penicillium and Rhizopus. The widest variety of different fungi was in the untreated hemp and linseed fibres and in the commercial loose-fill flax insulation. Penicillium, Rhizopus and Paecilomyces were the most tolerant to steam explosion. According to the literature, the most common fungi in building materials and indoor air are Penicillium, Aspergillus and Cladosporium, which were all found in some of the bast fibre materials in this study. As organic materials, hemp and flax fibres contain high levels of nutrients for microbial growth. The amount of microbes can be controlled and somewhat decreased by the processing methods presented.

Neutrinos and Thermal Leptogenesis

One of the unanswered questions of modern cosmology is the issue of baryogenesis. Why does the universe contain a huge amount of baryons but no antibaryons? What kind of a mechanism can produce this kind of an asymmetry? One theory to explain this problem is leptogenesis. In the theory right-handed neutrinos with heavy Majorana masses are added to the standard model. This addition introduces explicit lepton number violation to the theory. Instead of producing the baryon asymmetry directly, these heavy neutrinos decay in the early universe. If these decays are CP-violating, then they produce lepton number. This lepton number is then partially converted to baryon number by the electroweak sphaleron process. In this work we start by reviewing the current observational data on the amount of baryons in the universe. We also introduce Sakharov's conditions, which are the necessary criteria for any theory of baryogenesis. We review the current data on neutrino oscillation, and explain why this requires the existence of neutrino mass. We introduce the different kinds of mass terms which can be added for neutrinos, and explain how the see-saw mechanism naturally explains the observed mass scales for neutrinos motivating the addition of the Majorana mass term. After introducing leptogenesis qualitatively, we derive the Boltzmann equations governing leptogenesis, and give analytical approximations for them. Finally we review the numerical solutions for these equations, demonstrating the capability of leptogenesis to explain the observed baryon asymmetry. In the appendix simple Feynman rules are given for theories with interactions between both Dirac- and Majorana-fermions and these are applied at the tree level to calculate the parameters relevant for the theory.

Spatial variation of climate and the impact of disturbances on local climate and forest recovery in northern Finland

The structure and function of northern ecosystems are strongly influenced by climate change and variability and by human-induced disturbances. The projected global change is likely to have a pronounced effect on the distribution and productivity of different species, generating large changes in the equilibrium at the tree-line. In turn, movement of the tree-line and the redistribution of species produce feedback to both the local and the regional climate. This research was initiated with the objective of examining the influence of natural conditions on the small-scale spatial variation of climate in Finnish Lapland, and to study the interaction and feedback mechanisms in the climate-disturbances-vegetation system near the climatological border of boreal forest. The high (1 km) resolution spatial variation of climate parameters over northern Finland was determined by applying the Kriging interpolation method that takes into account the effect of external forcing variables, i.e., geographical coordinates, elevation, sea and lake coverage. Of all the natural factors shaping the climate, the geographical position, local topography and altitude proved to be the determining ones. Spatial analyses of temperature- and precipitation-derived parameters based on a 30-year dataset (1971-2000) provide a detailed description of the local climate. Maps of the mean, maximum and minimum temperatures, the frost-free period and the growing season indicate that the most favourable thermal conditions exist in the south-western part of Lapland, around large water bodies and in the Kemijoki basin, while the coldest regions are in highland and fell Lapland. The distribution of precipitation is predominantly longitudinally dependent but with the definite influence of local features. The impact of human-induced disturbances, i.e., forest fires, on local climate and its implication for forest recovery near the northern timberline was evaluated in the Tuntsa area of eastern Lapland, damaged by a widespread forest fire in 1960 and suffering repeatedly-failed vegetation recovery since that. Direct measurements of the local climate and simulated heat and water fluxes indicated the development of a more severe climate and physical conditions on the fire-disturbed site. Removal of the original, predominantly Norway spruce and downy birch vegetation and its substitution by tundra vegetation has generated increased wind velocity and reduced snow accumulation, associated with a large variation in soil temperature and moisture and deep soil frost. The changed structural parameters of the canopy have determined changes in energy fluxes by reducing the latter over the tundra vegetation. The altered surface and soil conditions, as well as the evolved severe local climate, have negatively affected seedling growth and survival, leading to more unfavourable conditions for the reproduction of boreal vegetation and thereby causing deviations in the regional position of the timberline. However it should be noted that other factors, such as an inadequate seed source or seedbed, the poor quality of the soil and the intensive logging of damaged trees could also exacerbate the poor tree regeneration. In spite of the failed forest recovery at Tunsta, the position and composition of the timberline and tree-line in Finnish Lapland may also benefit from present and future changes in climate. The already-observed and the projected increase in temperature, the prolonged growing season, as well as changes in the precipitation regime foster tree growth and new regeneration, resulting in an advance of the timberline and tree-line northward and upward. This shift in the distribution of vegetation might be decelerated or even halted by local topoclimatic conditions and by the expected increase in the frequency of disturbances.

A Soul for Europe? : Contributions of European Churches to the Forum of the Convention on the Future of Europe

The aim of this research was to study how European churches contributed to the shaping of the Constitutional Treaty during the work of the Convention on the future of Europe through the public discussion forum, established by the Convention for this specific purpose in the years 2002 2003. In particular, this study sought to uncover the areas of interest brought up by the churches in their contributions, the objectives they pursued, and the approaches and arguments they employed to reach those objectives. The data for this study comprised all official submissions by European churches and church alliances to the Forum, totalling 21 contributions. A central criterion for inclusion of the data was that the organization can reasonably be assumed to represent the official position of one or more Christian churches within the European Union before the 2004 expansion. The contributing churches and organizations represent the vast majority of Christians in Europe. The data was analyzed using primarily qualitative content analysis. The research approach was a combination of abductive and inductive inference. Based on the analysis a two-fold theoretical framework was adopted, focusing on theories of public religion, secularization and deprivatization of religion, and of legitimation and collective identity. The main areas of interest found in the contributions of the churches were the value foundation of the European Union, which is demanded to coherently permeate all policies and actions of the EU, and the social dimension of Europe, which must be given equal status to the political and economic dimensions. In both areas the churches claim significant experience and expertise, which they want to see recognized in the Constituional Treaty through a formally guaranteed status for churches and religious communities in the EU. In their contributions the churches show a strong determination to secure a significant role for both religion and religious communities in the public life of Europe. As for the role of religion, they point out to its potential as a motivating and cohesive force in society and as a building block for a collective European identity, which is still missing. Churches also pursue a substantial public role for themselves beyond the spiritual dimension, permeating the secular areas of the social, political and economic dimensions. The arguments in suppport of such role are embedded in their interest and expertise in spiritual and other fundamental values and their broad involvement in providing social services. In this context churches use expressions inclusive of all religions and convictions, albeit clearly advocating the primacy of Europe's Christian heritage. Based on their historical role, their social involvement and their spiritual mission they use the public debate on the Constitutional Treaty to gain formal legitimacy for the public status of religion and religious communities, both nationally and on a European level, through appropriate provisions in the constitutional text. In return they offer the European Union ways of improving its own legitimacy by reducing the democratic and ideological deficit of the EU and advancing the development a collective European identity.

Role of Temperature in the Biological Activity of a Boreal Forest

In northern latitudes, temperature is the key factor driving the temporal scales of biological activity, namely the length of the growing season and the seasonal efficiency of photosynthesis. The formation of atmospheric concentrations of biogenic volatile organic compounds (BVOCs) are linked to the intensity of biological activity. However, interdisciplinary knowledge of the role of temperature in the biological processes related to the annual cycle and photosynthesis and atmospheric chemistry is not fully understood. The aim of this study was to improve understanding of the role of temperature in these three interlinked areas: 1) onset of growing season, 2) photosynthetic efficiency and 3) BVOC air concentrations in a boreal forest. The results present a cross-section of the role of temperature on different spatial (southern northern boreal), structural (tree forest stand - forest) and temporal (day-season- year) scales. The fundamental status of the Thermal Time model in predicting the onset of spring recovery was confirmed. However, it was recommended that sequential models would be more appropriate tools when the onset of the growing season is estimated under a warmer climate. A similar type of relationship between photosynthetic efficiency and temperature history was found in both southern and northern boreal forest stands. This result draws attention to the critical question of the seasonal efficiency of coniferous species to emit organic compounds under a warmer climate. New knowledge about the temperature dependence of the concentrations of biogenic volatile organic compounds in a boreal forest stand was obtained. The seasonal progress and the inter-correlation of BVOC concentrations in ambient air indicated a link to biological activity. Temperature was found to be the main driving factor for the concentrations. However, in addition to temperature, other factors may play a significant role here, especially when the peak concentrations are studied. There is strong evidence that the spring recovery and phenological events of many plant species have already advanced in Europe. This study does not fully support this observation. In a boreal forest, changes in the annual cycle, especially the temperature requirement in winter, would have an impact on the atmospheric BVOC composition. According to this study, more joint phenological and BVOC field observations and laboratory experiments are still needed to improve these scenarios.

Environmental effects of thermal and radioactive discharges from nuclear power plants in the boreal brackish-water conditions of the northern Baltic Sea

During recent decades, thermal and radioactive discharges from nuclear power plants into the aquatic environment have become the subject of lively debate as an ecological concern. The target of this thesis was to summarize the large quantity of results obtained in extensive monitoring programmes and studies carried out in recipient sea areas off the Finnish nuclear power plants at Loviisa and Olkiluoto during more than four decades. The Loviisa NPP is located on the coast of the Gulf of Finland and Olkiluoto NPP on that of the Bothnian Sea. The state of the Gulf of Finland is clearly more eutrophic; the nutrient concentrations in the surface water are about 1½ 2 times higher at Loviisa than at Olkiluoto, and the total phosphorus concentrations still increased in both areas (even doubled at Loviisa) between the early 1970s and 2000. Thus, it is a challenge to distinguish the local effects of thermal discharges from the general eutrophication process of the Gulf of Finland. The salinity is generally low in the brackish-water conditions of the northern Baltic Sea, being however about 1 higher at Olkiluoto than at Loviisa (the salinity of surface water varying at the latter from near to 0 in early spring to 4 6 in late autumn). Thus, many marine and fresh-water organisms live in the Loviisa area close to their limit of existence, which makes the biota sensitive to any additional stress. The characteristics of the discharge areas of the two sites differ from each other in many respects: the discharge area at Loviisa is a semi-enclosed bay in the inner archipelago, where the exchange of water is limited, while the discharge area at Olkiluoto is more open, and the exchange of water with the open Bothnian Sea is more effective. The effects of the cooling water discharged from the power plants on the temperatures in the sea were most obvious in winter. The formation of a permanent ice cover in the discharge areas has been delayed in early winter, and the break-up of the ice occurs earlier in spring. The prolonging of the growing season and the disturbance of the overwintering time, in conditions where the biota has adjusted to a distinct rest period in winter, have been the most significant biological effects of the thermal pollution. The soft-bottom macrofauna at Loviisa has deteriorated to the point of almost total extinction at many sampling stations during the past 40 years. A similar decline has been reported for the whole eastern Gulf of Finland. However, the local eutrophication process seems to have contributed into the decline of the zoobenthos in the discharge area at Loviisa. Thermal discharges have increased the production of organic matter, which again has led to more organic bottom deposits. These have in turn increased the tendency of the isolated deeps to a depletion of oxygen, and this has further caused strong remobilization of phosphorus from the bottom sediments. Phytoplankton primary production and primary production capacity doubled in the whole area between the late 1960s and the late 1990s, but started to decrease a little at the beginning of this century. The focus of the production shifted from spring to mid- and late summer. The general rise in the level of primary production was mainly due to the increase in nutrient concentrations over the whole Gulf of Finland, but the thermal discharge contributed to a stronger increase of production in the discharge area compared to that in the intake area. The eutrophication of littoral vegetation in the discharge area has been the most obvious, unambiguous and significant biological effect of the heated water. Myriophyllum spicatum, Potamogeton perfoliatus and Potamogeton pectinatus, and vigorous growths of numerous filamentous algae as their epiphytes have strongly increased in the vicinity of the cooling water outlet, where they have formed dense populations in the littoral zone in late summer. However, the strongest increase of phytobenthos has extended only to a distance of about 1 km from the outlet, i.e., the changes in vegetation have been largest in those areas that remain ice-free in winter. Similar trends were also discernible at Olkiluoto, but to a clearly smaller extent, which was due to the definitely weaker level of background eutrophy and nutrient concentrations in the Bothnian Sea, and the differing local hydrographical and biological factors prevailing in the Olkiluoto area. The level of primary production has also increased at Olkiluoto, but has remained at a clearly lower level than at Loviisa. In spite of the analogous changes observed in the macrozoobenthos, the benthic fauna has remained strong and diversified in the Olkiluoto area. Small amounts of local discharge nuclides were regularly detected in environmental samples taken from the discharge areas: tritium in seawater samples, and activation products, such as 60Co, 58Co, 54Mn, 110mAg, 51Cr, in suspended particulate matter, bottom sediments and in several indicator organisms (e.g., periphyton and Fucus vesiculosus) that effectively accumulate radioactive substances from the medium. The tritium discharges and the consequent detection frequency and concentrations of tritium in seawater were higher at Loviisa, but the concentrations of the activation products were higher at Olkiluoto, where traces of local discharge nuclides were also observed over a clearly wider area, due to the better exchange of water than at Loviisa, where local discharge nuclides were only detected outside Hästholmsfjärden Bay quite rarely and in smaller amounts. At the farthest, an insignificant trace amount (0.2 Bq kg-1 d.w.) of 60Co originating from Olkiluoto was detected in Fucus at a distance of 137 km from the power plant. Discharge nuclides from the local nuclear power plants were almost exclusively detected at the lower trophic levels of the ecosystems. Traces of local discharge nuclides were very seldom detected in fish, and even then only in very low quantities. As a consequence of the reduced discharges, the concentrations of local discharge nuclides in the environment have decreased noticeably in recent years at both Loviisa and Olkiluoto. Although the concentrations in environmental samples, and above all, the discharge data, are presented as seemingly large numbers, the radiation doses caused by them to the population and to the biota are very low, practically insignificant. The effects of the thermal discharges have been more significant, at least to the wildlife in the discharge areas of the cooling water, although the area of impact has been relatively small. The results show that the nutrient level and the exchange of water in the discharge area of a nuclear power plant are of crucial importance.

Recovery of Yeast Saccharomyces cerevisiae after Thermal Insult

All organisms have evolved mechanisms to acquire thermotolerance. A moderately high temperature activates heat shock genes and triggers thermotolerance towards otherwise lethal high temperature. The focus of this work is the recovery mechanisms ensuring survival of Saccharomyces cerevisiae yeast cells after thermal insult. Yeast cells, first preconditioned at 37˚C, can survive a short thermal insult at 48-50˚C and are able to refold heat-denatured proteins when allowed to recover at physiological temperature 24˚C. The cytoplasmic chaperone Hsp104 is required for the acquisition of thermotolerance and dissolving protein aggregates in the cytosol with the assistance of disaccharide trehalose. In the present study, Hsp104 and trehalose were shown to be required for conformational repair of heat-denatured secretory proteins in the endoplasmic reticulum. A reporter protein was first accumulated in the lumen of endoplasmic reticulum and heat-denatured by thermal insult, and then failed to be repaired to enzymatically active and secretion-competent conformation in the absence of Hsp104 or trehalose. The efficient transport of a glycoprotein CPY, accumulated in the endoplasmic reticulum, to the vacuole after thermal insult also needed the presence of Hsp104 and trehalose. However, proteins synthesized after thermal insult at physiological temperature were secreted with similar kinetics both in the absence and in the presence of Hsp104 or trehalose, demonstrating that the secretion machinery itself was functional. As both Hsp104 and trehalose are cytosolic, a cross-talk between cytosolic and luminal chaperone machineries across the endoplasmic reticulum membrane appears to take place. Global expression profiles, obtained with the DNA microarray technique, revealed that the gene expression was shut down during thermal insult and the majority of transcripts were destroyed. However, the transcripts of small cytosolic chaperones Hsp12 and Hsp26 survived. The first genes induced during recovery were related to refolding of denatured proteins and resumption of de novo protein synthesis. Transcription factors Spt3p and Med3p appeared to be essential for acquisition of full thermotolerance. The transcription factor Hac1p was found to be subject to delayed up-regulation at mRNA level and this up-regulation was diminished or delayed in the absence of Spt3p or Med3p. Consequently, production of the chaperone BiP/Kar2p, a target gene of Hac1p, was diminished and delayed in Δspt3 and Δmed3 deletion strains. The refolding of heat-denatured secretory protein CPY to a transport-competent conformation was retarded, and a heat-denatured reporter enzyme failed to be effectively reactivated in the cytoplasm of the deletion strains.

Two views on interstellar dust: near-infrared scattering and polarized thermal dust emission

Interstellar clouds are not featureless, but show quite complex internal structures of filaments and clumps when observed with high enough resolution. These structures have been generated by 1) turbulent motions driven mainly by supernovae, 2) magnetic fields working on the ions and, through neutral-ion collisions, on neutral gas as well, and 3) self-gravity pulling a dense clump together to form a new star. The study of the cloud structure gives us information on the relative importance of each of these mechanisms, and helps us to gain a better understanding of the details of the star formation process. Interstellar dust is often used as a tracer for the interstellar gas which forms the bulk of the interstellar matter. Some of the methods that are used to derive the column density are summarized in this thesis. A new method, which uses the scattered light to map the column density in large fields with high spatial resolution, is introduced. This thesis also takes a look at the grain alignment with respect to the magnetic fields. The aligned grains give rise to the polarization of starlight and dust emission, thus revealing the magnetic field. The alignment mechanisms have been debated for the last half century. The strongest candidate at present is the radiative torques mechanism. In the first four papers included in this thesis, the scattered light method of column density estimation is formulated, tested in simulations, and finally used to obtain a column density map from observations. They demonstrate that the scattered light method is a very useful and reliable tool in column density estimation, and is able to provide higher resolution than the near-infrared color excess method. These two methods are complementary. The derived column density maps are also used to gain information on the dust emissivity within the observed cloud. The two final papers present simulations of polarized thermal dust emission assuming that the alignment happens by the radiative torques mechanism. We show that the radiative torques can explain the observed decline of the polarization degree towards dense cores. Furthermore, the results indicate that the dense cores themselves might not contribute significantly to the polarized signal, and hence one needs to be careful when interpreting the observations and deriving the magnetic field.

Gravitino phenomenology and cosmological implications of supergravity

In this thesis we consider the phenomenology of supergravity, and in particular the particle called "gravitino". We begin with an introductory part, where we discuss the theories of inflation, supersymmetry and supergravity. Gravitino production is then investigated into details, by considering the research papers here included. First we study the scattering of massive W bosons in the thermal bath of particles, during the period of reheating. We show that the process generates in the cross section non trivial contributions, which eventually lead to unitarity breaking above a certain scale. This happens because, in the annihilation diagram, the longitudinal degrees of freedom in the propagator of the gauge bosons disappear from the amplitude, by virtue of the supergravity vertex. Accordingly, the longitudinal polarizations of the on-shell W become strongly interacting in the high energy limit. By studying the process with both gauge and mass eigenstates, it is shown that the inclusion of diagrams with off-shell scalars of the MSSM does not cancel the divergences. Next, we approach cosmology more closely, and study the decay of a scalar field S into gravitinos at the end of inflation. Once its mass is comparable to the Hubble rate, the field starts coherent oscillations about the minimum of its potential and decays pertubatively. We embed S in a model of gauge mediation with metastable vacua, where the hidden sector is of the O'Raifeartaigh type. First we discuss the dynamics of the field in the expanding background, then radiative corrections to the scalar potential V(S) and to the Kähler potential are calculated. Constraints on the reheating temperature are accordingly obtained, by demanding that the gravitinos thus produced provide with the observed Dark Matter density. We modify consistently former results in the literature, and find that the gravitino number density and T_R are extremely sensitive to the parameters of the model. This means that it is easy to account for gravitino Dark Matter with an arbitrarily low reheating temperature.

Detection of clinical mastitis with the help of a thermal camera

Increasing dairy farm size and increase in automation in livestock production require that new methods are used to monitor animal health. In this study, a thermal camera was tested for its capacity to detect clinical mastitis. Mastitis was experimentally induced in 6 cows with 10 mu g of Escherichia coli lipopolysaccharide (LPS). The LPS was infused into the left forequarter of each cow, and the right forequarters served as controls. Clinical examination for systemic and local signs and sampling for indicators of inflammation in milk were carried out before morning and evening milking throughout the 5-d experimental period and more frequently on the challenge day. Thermal images of experimental and control quarters were taken at each sampling time from lateral and medial angles. The first signs of clinical mastitis were noted in all cows 2 h postchallenge and included changes in general appearance of the cows and local clinical signs in the affected udder quarter. Rectal temperature, milk somatic cell count, and electrical conductivity were increased 4 h postchallenge and milk N-acetyl-beta-D-glucosaminidase activity 8 h postchallenge. The thermal camera was successful in detecting the 1 to 1.5 degrees C temperature change on udder skin associated with clinical mastitis in all cows because temperature of the udder skin of the experimental and control quarters increased in line with the rectal temperature. Yet, local signs on the udder were seen before the rise in udder skin and body temperature. The udder represents a sensitive site for detection of any febrile disease using a noninvasive method. A thermal camera mounted in a milking or feeding parlor could detect temperature changes associated with clinical mastitis or other diseases in a dairy herd.

Thunderstorm climatology and lightning location applications in northern Europe

Thunderstorm is a dangerous electrical phenomena in the atmosphere. Thundercloud is formed when thermal energy is transported rapidly upwards in convective updraughts. Electrification occurs in the collisions of cloud particles in the strong updraught. When the amount of charge in the cloud is large enough, electrical breakdown, better known as a flash, occurs. Lightning location is nowadays an essential tool for the detection of severe weather. Located flashes indicate in real time the movement of hazardous areas and the intensity of lightning activity. Also, an estimate for the flash peak current can be determined. The observations can be used in damage surveys. The most simple way to represent lightning data is to plot the locations on a map, but the data can be processed in more complex end-products and exploited in data fusion. Lightning data serves as an important tool also in the research of lightning-related phenomena, such as Transient Luminous Events. Most of the global thunderstorms occur in areas with plenty of heat, moisture and tropospheric instability, for example in the tropical land areas. In higher latitudes like in Finland, the thunderstorm season is practically restricted to the summer season. Particular feature of the high-latitude climatology is the large annual variation, which regards also thunderstorms. Knowing the performance of any measuring device is important because it affects the accuracy of the end-products. In lightning location systems, the detection efficiency means the ratio between located and actually occurred flashes. Because in practice it is impossible to know the true number of actually occurred flashes, the detection efficiency has to be esimated with theoretical methods.