42 resultados para Formal Verification Methods

em Helda - Digital Repository of University of Helsinki


Relevância:

80.00% 80.00%

Publicador:

Resumo:

Several orthopoxviruses (OPV) and Borna disease virus (BDV) are enveloped, zoonotic viruses with a wide geographical distribution. OPV antibodies cross-react, and former smallpox vaccination has therefore protected human populations from another OPV infection, rodent-borne cowpox virus (CPXV). Cowpox in humans and cats usually manifests as a mild, self-limiting dermatitis and constitutional symptoms, but it can be severe and even life-threatening in the immunocompromised. Classical Borna disease is a progressive meningoencephalomyelitis in horses and sheep known in central Europe for centuries. Nowadays the virus or its close relative infects humans and also several other species in central Europe and elsewhere, but the existence of human Borna disease with its suspected neuropsychiatric symptoms is controversial. The epidemiology of BDV is largely unknown, and the present situation is even more intriguing following the recent detection of several-million-year-old, endogenized BDV genes in primate and various other vertebrate genomes. The aims of this study were to elucidate the importance of CPXV and BDV in Finland and in possible host species, and particularly to 1) establish relevant methods for the detection of CPXV and other OPVs as well as BDV in Finland, 2) determine whether CPXV and BDV exist in Finland, 3) discover how common OPV immunity is in different age groups in Finland, 4) characterize possible disease cases and clarify their epidemiological context, 5) establish the hosts and possible reservoir species of these viruses and their geographical distribution in wild rodents, and 6) elucidate the infection kinetics of BDV in the bank vole. An indirect immunofluorescence assay and avidity measurement were established for the detection, timing and verification of OPV or BDV antibodies in thousands of blood samples from humans, horses, ruminants, lynxes, gallinaceous birds, dogs, cats and rodents. The mostly vaccine-derived OPV seroprevalence was found to decrease gradually according to the year of birth of the sampled human subjects from 100% to 10% in those born after 1977. On the other hand, OPV antibodies indicating natural contact with CPXV or other OPVs were commonly found in domestic and wild animals: the horse, cow, lynx, dog, cat and, with a prevalence occasionally even as high as 92%, in wild rodents, including some previously undetected species and new regions. Antibodies to BDV were detected in humans, horses, a dog, cats, and for the first time in wild rodents, such as bank voles (Myodes glareolus). Because of the controversy within the human Borna disease field, extra verification methods were established for BDV antibody findings: recombinant nucleocapsid and phosphoproteins were produced in Escherichia coli and in a baculovirus system, and peptide arrays were additionally applied. With these verification assays, Finnish human, equine, feline and rodent BDV infections were confirmed. Taken together, wide host spectra were evident for both OPV and BDV infections based on the antibody findings, and OPV infections were found to be geographically broadly distributed. PCR amplification methods were utilised for hundreds of blood and tissue samples. The methods included conventional, nested and real-time PCRs with or without the reverse transcription step and detecting four or two genes of OPVs and BDV, respectively. OPV DNA could be amplified from two human patients and three bank voles, whereas no BDV RNA was detected in naturally infected individuals. Based on the phylogenetic analyses, the Finnish OPV sequences were closely related although not identical to a Russian CPXV isolate, and clearly different from other CPXV strains. Moreover, the Finnish sequences only equalled each other, but the short amplicons obtained from German rodents were identical to monkeypox virus, in addition to German CPXV variants. This reflects the close relationship of all OPVs. In summary, RNA of the Finnish BDV variant could not be detected with the available PCR methods, but OPV DNA infrequently could. The OPV species infecting the patients of this study was proven to be CPXV, which is most probably also responsible for the rodent infections. Multiple cell lines and some newborn rodents were utilised in the isolation of CPXV and BDV from patient and wildlife samples. CPXV could be isolated from a child with severe, generalised cowpox. BDV isolation attempts from rodents were unsuccessful in this study. However, in parallel studies, a transient BDV infection of cells inoculated with equine brain material was detected, and BDV antigens discovered in archival animal brains using established immunohistology. Thus, based on several independent methods, both CPXV and BDV (or a closely related agent) were shown to be present in Finland. Bank voles could be productively infected with BDV. This experimental infection did not result in notable pathological findings or symptoms, despite the intense spread of the virus in the central and peripheral nervous system. Infected voles commonly excreted the virus in urine and faeces, which emphasises their possible role as a BDV reservoir. Moreover, BDV RNA was regularly reverse transcribed into DNA in bank voles, which was detected by amplifying DNA by PCR without reverse transcription, and verified with nuclease treatments. This finding indicates that BDV genes could be endogenized during an acute infection. Although further transmission studies are needed, this experimental infection demonstrated that the bank vole can function as a potential BDV reservoir. In summary, multiple methods were established and applied in large panels to detect two zoonoses novel to Finland: cowpox virus and Borna disease virus. Moreover, new information was obtained on their geographical distribution, host spectrum, epidemiology and infection kinetics.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

In recent years, concern has arisen over the effects of increasing carbon dioxide (CO2) in the earth's atmosphere due to the burning of fossil fuels. One way to mitigate increase in atmospheric CO2 concentration and climate change is carbon sequestration to forest vegeta-tion through photosynthesis. Comparable regional scale estimates for the carbon balance of forests are therefore needed for scientific and political purposes. The aim of the present dissertation was to improve methods for quantifying and verifying inventory-based carbon pool estimates of the boreal forests in the mineral soils. Ongoing forest inventories provide a data based on statistically sounded sampling for estimating the level of carbon stocks and stock changes, but improved modelling tools and comparison of methods are still needed. In this dissertation, the entire inventory-based large-scale forest carbon stock assessment method was presented together with some separate methods for enhancing and comparing it. The enhancement methods presented here include ways to quantify the biomass of understorey vegetation as well as to estimate the litter production of needles and branches. In addition, the optical remote sensing method illustrated in this dis-sertation can be used to compare with independent data. The forest inventory-based large-scale carbon stock assessment method demonstrated here provided reliable carbon estimates when compared with independent data. Future ac-tivity to improve the accuracy of this method could consist of reducing the uncertainties regarding belowground biomass and litter production as well as the soil compartment. The methods developed will serve the needs for UNFCCC reporting and the reporting under the Kyoto Protocol. This method is principally intended for analysts or planners interested in quantifying carbon over extensive forest areas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The feasibility of different modern analytical techniques for the mass spectrometric detection of anabolic androgenic steroids (AAS) in human urine was examined in order to enhance the prevalent analytics and to find reasonable strategies for effective sports drug testing. A comparative study of the sensitivity and specificity between gas chromatography (GC) combined with low (LRMS) and high resolution mass spectrometry (HRMS) in screening of AAS was carried out with four metabolites of methandienone. Measurements were done in selected ion monitoring mode with HRMS using a mass resolution of 5000. With HRMS the detection limits were considerably lower than with LRMS, enabling detection of steroids at low 0.2-0.5 ng/ml levels. However, also with HRMS, the biological background hampered the detection of some steroids. The applicability of liquid-phase microextraction (LPME) was studied with metabolites of fluoxymesterone, 4-chlorodehydromethyltestosterone, stanozolol and danazol. Factors affecting the extraction process were studied and a novel LPME method with in-fiber silylation was developed and validated for GC/MS analysis of the danazol metabolite. The method allowed precise, selective and sensitive analysis of the metabolite and enabled simultaneous filtration, extraction, enrichment and derivatization of the analyte from urine without any other steps in sample preparation. Liquid chromatographic/tandem mass spectrometric (LC/MS/MS) methods utilizing electrospray ionization (ESI), atmospheric pressure chemical ionization (APCI) and atmospheric pressure photoionization (APPI) were developed and applied for detection of oxandrolone and metabolites of stanozolol and 4-chlorodehydromethyltestosterone in urine. All methods exhibited high sensitivity and specificity. ESI showed, however, the best applicability, and a LC/ESI-MS/MS method for routine screening of nine 17-alkyl-substituted AAS was thus developed enabling fast and precise measurement of all analytes with detection limits below 2 ng/ml. The potential of chemometrics to resolve complex GC/MS data was demonstrated with samples prepared for AAS screening. Acquired full scan spectral data (m/z 40-700) were processed by the OSCAR algorithm (Optimization by Stepwise Constraints of Alternating Regression). The deconvolution process was able to dig out from a GC/MS run more than the double number of components as compared with the number of visible chromatographic peaks. Severely overlapping components, as well as components hidden in the chromatographic background could be isolated successfully. All studied techniques proved to be useful analytical tools to improve detection of AAS in urine. Superiority of different procedures is, however, compound-dependent and different techniques complement each other.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this dissertation, I present an overall methodological framework for studying linguistic alternations, focusing specifically on lexical variation in denoting a single meaning, that is, synonymy. As the practical example, I employ the synonymous set of the four most common Finnish verbs denoting THINK, namely ajatella, miettiä, pohtia and harkita ‘think, reflect, ponder, consider’. As a continuation to previous work, I describe in considerable detail the extension of statistical methods from dichotomous linguistic settings (e.g., Gries 2003; Bresnan et al. 2007) to polytomous ones, that is, concerning more than two possible alternative outcomes. The applied statistical methods are arranged into a succession of stages with increasing complexity, proceeding from univariate via bivariate to multivariate techniques in the end. As the central multivariate method, I argue for the use of polytomous logistic regression and demonstrate its practical implementation to the studied phenomenon, thus extending the work by Bresnan et al. (2007), who applied simple (binary) logistic regression to a dichotomous structural alternation in English. The results of the various statistical analyses confirm that a wide range of contextual features across different categories are indeed associated with the use and selection of the selected think lexemes; however, a substantial part of these features are not exemplified in current Finnish lexicographical descriptions. The multivariate analysis results indicate that the semantic classifications of syntactic argument types are on the average the most distinctive feature category, followed by overall semantic characterizations of the verb chains, and then syntactic argument types alone, with morphological features pertaining to the verb chain and extra-linguistic features relegated to the last position. In terms of overall performance of the multivariate analysis and modeling, the prediction accuracy seems to reach a ceiling at a Recall rate of roughly two-thirds of the sentences in the research corpus. The analysis of these results suggests a limit to what can be explained and determined within the immediate sentential context and applying the conventional descriptive and analytical apparatus based on currently available linguistic theories and models. The results also support Bresnan’s (2007) and others’ (e.g., Bod et al. 2003) probabilistic view of the relationship between linguistic usage and the underlying linguistic system, in which only a minority of linguistic choices are categorical, given the known context – represented as a feature cluster – that can be analytically grasped and identified. Instead, most contexts exhibit degrees of variation as to their outcomes, resulting in proportionate choices over longer stretches of usage in texts or speech.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Approximately 125 prehistoric rock paintings have been found in the modern territory of Finland. The paintings were done with red ochre and are almost without exception located on steep lakeshore cliffs associated with ancient water routes. Most of the sites are found in the central and eastern parts of the country, especially on the shores of Lakes Päijänne and Saimaa. Using shore displacement chronology, the art has been dated to ca. 5000 – 1500 BC. It was thus created mainly during the Stone Age and can be associated with the so-called ‘Comb Ware’ cultures of the Subneolithic period. The range of motifs is rather limited, consisting mainly of schematic depictions of stick-figure humans, elks, boats, handprints and geometric signs. Few paintings include any evidence of narrative scenes, making their interpretation a rather difficult task. In Finnish archaeological literature, the paintings have traditionally been associated with ’sympathetic’ hunting magic, or the belief that the ritual shooting of the painted animals would increase hunting luck. Some writers have also suggested totemistic and shamanistic readings of the art. This dissertation is a critical review of the interpretations offered of Finnish rock art and an exploration of the potentials of archaeological and ethnographic research in increasing our knowledge of its meaning. Methods used include ’formal’ approaches such as archaeological excavation, landscape analysis and the application of neuropsychological research to the study of rock art, as well as ethnographically ’informed’ approaches that make use of Saami and Baltic Finnish ethnohistorical sources in interpretation. In conclusion, it is argued that although North European hunter-gatherer rock art is often thought to lie beyond the reach of ‘informed’ knowledge, the exceptional continuity of prehistoric settlement in Finland validates the informed approach in the interpretation of Finnish rock paintings. The art can be confidently associated with shamanism of the kind still practiced by the Saami of Northern Fennoscandia in the historical period. Evidence of similar shamanistic practices, concepts and cosmology are also found in traditional Finnish-Karelian epic poetry. Previous readings of the art based on ‘hunting magic’ and totemism are rejected. Most of the paintings appear to depict experiences of falling into a trance, of shamanic metamorphosis and trance journeys, and of ‘spirit helper’ beings comparable to those employed by the Saami shaman (noaidi). As demonstrated by the results of an excavation at the rock painting of Valkeisaari, the painted cliffs themselves find a close parallel in the Saami cult of the 'sieidi', or sacred cliffs and boulders worshipped as expressing a supernatural power. Like the Saami, the prehistoric inhabitants of the Finnish Lake Region seem to have believed that certain cliffs were ’alive’ and inhabited by the spirit helpers of the shaman. The rock paintings can thus be associated with shamanic vision quests, and the making of ‘art’ with an effort to socialize the other members of the community, especially the ritual specialists, with trance visions. However, the paintings were not merely to be looked at. The red ochre handprints pressed on images of elks, as well as the fact that many paintings appear ’smeared’, indicate that they were also to be touched – perhaps in order to tap into the supernatural potency inherent in the cliff and in the paintings of spirit animals.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objectives. The sentence span task is a complex working memory span task used for estimating total working memory capacity for both processing (sentence comprehension) and storage (remembering a set of words). Several traditional models of working memory suggest that performance on these tasks relies on phonological short-term storage. However, long-term memory effects as well as the effects of expertise and strategies have challenged this view. This study uses a working memory task that aids the creation of retrieval structures in the form of stories, which have been shown to form integrated structures in longterm memory. The research question is whether sentence and story contexts boost memory performance in a complex working memory task. The hypothesis is that storage of the words in the task takes place in long-term memory. Evidence of this would be better recall for words as parts of sentences than for separate words, and, particularly, a beneficial effect for words as part of an organized story. Methods. Twenty stories consisting of five sentences each were constructed, and the stimuli in all experimental conditions were based on these sentences and sentence-final words, reordered and recombined for the other conditions. Participants read aloud sets of five sentences that either formed a story or not. In one condition they had to report all the last words at the end of the set, in another, they memorised an additional separate word with each sentence. The sentences were presented on the screen one word at a time (500 ms). After the presentation of each sentence, the participant verified a statement about the sentence. After five sentences, the participant repeated back the words in correct positions. Experiment 1 (n=16) used immediate recall, experiment 2 (n=21) both immediate recall and recall after a distraction interval (the operation span task). In experiment 2 a distracting mental arithmetic task was presented instead of recall in half of the trials, and an individual word was added before each sentence in the two experimental conditions when the participants were to memorize the sentence final words. Subjects also performed a listening span task (in exp.1) or an operation span task (exp.2) to allow comparison of the estimated span and performance in the story task. Results were analysed using correlations, repeated measures ANOVA and a chi-square goodness of fit test on the distribution of errors. Results and discussion. Both the relatedness of the sentences (the story condition) and the inclusion of the words into sentences helped memory. An interaction showed that the story condition had a greater effect on last words than separate words. The beneficial effect of the story was shown in all serial positions. The effects remained in delayed recall. When the sentences formed stories, performance in verification of the statements about sentence context was better. This, as well as the differing distributions of errors in different experimental conditions, suggest different levels of representation are in use in the different conditions. In the story condition, the nature of these representations could be in the form of an organized memory structure, a situation model. The other working memory tasks had only few week correlations to the story task. This could indicate that different processes are in use in the tasks. The results do not support short-term phonological storage, but instead are compatible with the words being encoded to LTM during the task.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective and background. Tobacco smoking, pancreatitis and diabetes mellitus are the only known causes of pancreatic cancer, leaving ample room for yet unidentified determinants. This is an empirical study on a Finnish data on occupational exposures and pancreatic cancer risk, and a non-Bayesian and a hierarchical Bayesian meta-analysis of data on occupational factors and pancreatic cancer. Methods. The case-control study analyzed 595 incident cases of pancreatic cancer and 1,622 controls of stomach, colon, and rectum cancer, diagnosed 1984-1987 and known to be dead by 1990 in Finland. The next-of-kin responded to a mail questionnaire on job and medical histories and lifestyles. Meta-analysis of occupational risk factors of pancreatic cancer started off with 1,903 identified studies. The analyses were based on different subsets of that database. Five epidemiologists examined the reports and extracted the pertinent data using a standardized extraction form that covered 20 study descriptors and the relevant relative risk estimates. Random effects meta-analyses were applied for 23 chemical agents. In addition, hierarchical Bayesian models for meta-analysis were applied to the occupational data of 27 job titles using job exposure matrix as a link matrix and estimating the relative risks of pancreatic cancer associated with nine occupational agents. Results. In the case-control study, logistic regressions revealed excess risks of pancreatic cancer associated with occupational exposures to ionizing radiation, nonchlorinated solvents, and pesticides. Chlorinated hydrocarbon solvents and related compounds, used mainly in metal degreasing and dry cleaning, are emerging as likely risk factors of pancreatic cancer in the non-Bayesian and the hierarchical Bayesian meta-analysis. Consistent excess risk was found for insecticides, and a high excess for nickel and nickel compounds in the random effects meta-analysis but not in the hierarchical Bayesian meta-analysis. Conclusions. In this study occupational exposure to chlorinated hydrocarbon solvents and related compounds and insecticides increase risk of pancreatic cancer. Hierarchical Bayesian meta-analysis is applicable when studies addressing the agent(s) under study are lacking or very few, but several studies address job titles with potential exposure to these agents. A job-exposure matrix or a formal expert assessment system is necessary in this situation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this thesis, two separate single nucleotide polymorphism (SNP) genotyping techniques were set up at the Finnish Genome Center, pooled genotyping was evaluated as a screening method for large-scale association studies, and finally, the former approaches were used to identify genetic factors predisposing to two distinct complex diseases by utilizing large epidemiological cohorts and also taking environmental factors into account. The first genotyping platform was based on traditional but improved restriction-fragment-length-polymorphism (RFLP) utilizing 384-microtiter well plates, multiplexing, small reaction volumes (5 µl), and automated genotype calling. We participated in the development of the second genotyping method, based on single nucleotide primer extension (SNuPeTM by Amersham Biosciences), by carrying out the alpha- and beta tests for the chemistry and the allele-calling software. Both techniques proved to be accurate, reliable, and suitable for projects with thousands of samples and tens of markers. Pooled genotyping (genotyping of pooled instead of individual DNA samples) was evaluated with Sequenom s MassArray MALDI-TOF, in addition to SNuPeTM and PCR-RFLP techniques. We used MassArray mainly as a point of comparison, because it is known to be well suited for pooled genotyping. All three methods were shown to be accurate, the standard deviations between measurements being 0.017 for the MassArray, 0.022 for the PCR-RFLP, and 0.026 for the SNuPeTM. The largest source of error in the process of pooled genotyping was shown to be the volumetric error, i.e., the preparation of pools. We also demonstrated that it would have been possible to narrow down the genetic locus underlying congenital chloride diarrhea (CLD), an autosomal recessive disorder, by using the pooling technique instead of genotyping individual samples. Although the approach seems to be well suited for traditional case-control studies, it is difficult to apply if any kind of stratification based on environmental factors is needed. Therefore we chose to continue with individual genotyping in the following association studies. Samples in the two separate large epidemiological cohorts were genotyped with the PCR-RFLP and SNuPeTM techniques. The first of these association studies concerned various pregnancy complications among 100,000 consecutive pregnancies in Finland, of which we genotyped 2292 patients and controls, in addition to a population sample of 644 blood donors, with 7 polymorphisms in the potentially thrombotic genes. In this thesis, the analysis of a sub-study of pregnancy-related venous thromboses was included. We showed that the impact of factor V Leiden polymorphism on pregnancy-related venous thrombosis, but not the other tested polymorphisms, was fairly large (odds ratio 11.6; 95% CI 3.6-33.6), and increased multiplicatively when combined with other risk factors such as obesity or advanced age. Owing to our study design, we were also able to estimate the risks at the population level. The second epidemiological cohort was the Helsinki Birth Cohort of men and women who were born during 1924-1933 in Helsinki. The aim was to identify genetic factors that might modify the well known link between small birth size and adult metabolic diseases, such as type 2 diabetes and impaired glucose tolerance. Among ~500 individuals with detailed birth measurements and current metabolic profile, we found that an insertion/deletion polymorphism of the angiotensin converting enzyme (ACE) gene was associated with the duration of gestation, and weight and length at birth. Interestingly, the ACE insertion allele was also associated with higher indices of insulin secretion (p=0.0004) in adult life, but only among individuals who were born small (those among the lowest third of birth weight). Likewise, low birth weight was associated with higher indices of insulin secretion (p=0.003), but only among carriers of the ACE insertion allele. The association with birth measurements was also found with a common haplotype of the glucocorticoid receptor (GR) gene. Furthermore, the association between short length at birth and adult impaired glucose tolerance was confined to carriers of this haplotype (p=0.007). These associations exemplify the interaction between environmental factors and genotype, which, possibly due to altered gene expression, predisposes to complex metabolic diseases. Indeed, we showed that the common GR gene haplotype associated with reduced mRNA expression in thymus of three individuals (p=0.0002).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Printing papers have been the main product of the Finnish paper industry. To improve properties and economy of printing papers, controlling of tracheid cross-sectional dimensions and wood viscoelasticity are examined in this study. Controlling is understood as any procedure which yields raw material classes with distinct properties and small internal variation. Tracheid cross-sectional dimensions, i.e., cell wall thickness and radial and tangential diameters can be controlled with methods such as sorting wood into pulpwood and sawmill chips, sorting of logs according to tree social status and fractionation of fibres. These control methods were analysed in this study with simulations, which were based on measured tracheid cross-sectional dimensions. A SilviScan device was used to measure the data set from five Norway spruce (Picea abies) and five Scots pine (Pinus sylvestris) trunks. The simulation results indicate that the sawmill chips and top pulpwood assortments have quite similar cross-sectional dimensions. Norway spruce and Scots pine are on average also relatively similar in their cross-sectional dimensions. The distributions of these species are somewhat different, but from a practical point of view, the differences are probably of minor importance. The controlling of tracheid cross-sectional dimensions can be done most efficiently with methods that can separate fibres into earlywood and latewood. Sorting of logs or partitioning of logs into juvenile and mature wood were markedly less efficient control methods than fractionation of fibres. Wood viscoelasticity affects energy consumption in mechanical pulping, and is thus an interesting control target when improving energy efficiency of the process. A literature study was made to evaluate the possibility of using viscoelasticity in controlling. The study indicates that there is considerable variation in viscoelastic properties within tree species, but unfortunately, the viscoelastic properties of important raw material lots such as top pulpwood or sawmill chips are not known. Viscoelastic properties of wood depend mainly on lignin, but also on microfibrillar angle, width of cellulose crystals and tracheid cross-sectional dimensions.