33 resultados para Recursive real numbers
Resumo:
In this thesis we study a few games related to non-wellfounded and stationary sets. Games have turned out to be an important tool in mathematical logic ranging from semantic games defining the truth of a sentence in a given logic to for example games on real numbers whose determinacies have important effects on the consistency of certain large cardinal assumptions. The equality of non-wellfounded sets can be determined by a so called bisimulation game already used to identify processes in theoretical computer science and possible world models for modal logic. Here we present a game to classify non-wellfounded sets according to their branching structure. We also study games on stationary sets moving back to classical wellfounded set theory. We also describe a way to approximate non-wellfounded sets with hereditarily finite wellfounded sets. The framework used to do this is domain theory. In the Banach-Mazur game, also called the ideal game, the players play a descending sequence of stationary sets and the second player tries to keep their intersection stationary. The game is connected to precipitousness of the corresponding ideal. In the pressing down game first player plays regressive functions defined on stationary sets and the second player responds with a stationary set where the function is constant trying to keep the intersection stationary. This game has applications in model theory to the determinacy of the Ehrenfeucht-Fraisse game. We show that it is consistent that these games are not equivalent.
Resumo:
Maan törmäyskraaterien ikäjakauman mahdollinen ajallinen jaksollisuus on herättänyt laajaa keskustelua sen jälkeen, kun ilmiö ensimmäistä kertaa raportoitiin joukossa arvostettuja tieteellisiä artikkeleita vuonna 1984. Vaikka nykytiedon valossa on kyseenalaista perustuuko havaittu jaksollisuus todelliseen fysikaaliseen ilmiöön, on kuitenkin mahdollista, että jaksollisuus on todella olemassa ja se voitaisiin havaita laajemmalla ja tarkemmalla törmäyskraateriaineistolla. Tutkimuksessa luotiin simuloidut kraaterien ajalliset tiheys- ja kertymäfunktiot tapauksille, jossa kraaterit syntyvät joko täysin jaksollisella tai satunnaisella prosessilla. Näiden kahden ääritapauksen lisäksi luotiin jakaumat myös kahdelle niiden yhdistelmälle. Nämä mallit mahdollistavat myös erilaisten kraaterien iänmäärityksen epätarkkuuksien huomioonottamisen. Näistä jakaumista luotiin eri pituisia simuloituja kraaterien ikien aikasarjoja. Lopulta simuloiduista aikasarjoista pyrittiin Rayleigh'n menetelmän avulla etsimään jakaumassa ollutta jaksollisuutta. Tutkimuksemme perusteella ajallisen jaksollisuuden havaitseminen kraateriaikasarjoista on lähes mahdotonta mikäli vain yksi kolmasosa kraatereista on jaksollisen ilmiön aiheuttamia, vaikka nykyistä kraateriaineistoa laajempi ja tarkempi aineisto olisi tulevaisuudessa saatavilla. Mikäli kaksi kolmasosaa meteoriittitörmäyksistä on jaksollisia, sen havaitseminen on mahdollista, mutta vaatii huomattavasti tämän hetkistä kattavamman kraateriaineiston. Tutkimuksen perusteella on syytä epäillä, että havaittu kraaterien ajallinen jaksollisuus ei ole todellinen ilmiö.
Resumo:
Mika KT Pajusen väitös "Towards 'a real reunion'?" – Archbishop Aleksi Lehtonen's efforts for closer relations with the Church of England 1945–1951 on yleiseen kirkkohistoriaan lukeutuva tutkimus Englannin kirkon ja Suomen evankelis-luterilaisen kirkon välisistä suhteista Aleksi Lehtosen arkkipiispakaudella 1945–1951. Suhteita on tutkittu kolmesta näkökulmasta: ekumeenisesta, poliittisesta ja kirkkopoliittisesta. Tutkimuskausi alkaa pastori H.M. Waddamsin joulukuussa 1944 Suomeen tekemän vierailun jälkimainingeista ja päättyy arkkipiispa Lehtosen kuolemaan pääsiäisenä 1951. Kirkollisten suhteiden kehitystä rytmittivät lukuisat vierailut, jotka osoittivat Englannin kirkon asenteen muuttumisen sodan aikaisesta neuvostomyönteisyydestä kylmän sodan aikaiseen täysin vastakkaiseen kantaan. Englantilaiset vieraat kohtasivat Suomessa sekä kirkon että yhteiskunnan ylimmän johdon. Molemmat maat olivat valmiita tukemaan hyviä kirkollisia suhteita tilanteen niin salliessa, joskaan eivät kovin suunnitelmallisesti. Suomen evankelis-luterilainen kirkko käytti hyviä suhteita Englannin kirkkoon saadakseen tukea ja ymmärrystä omalle kirkolleen ja yhteiskunnalleen kokemaansa Neuvostoliiton uhkaa vastaan erityisesti vaaran vuosina 1944–1948. Englannin kirkko halusi tukea suomalaista sisarkirkkoaan, mutta varoi, ettei tuottaisi tuellaan enemmän haittaa kuin hyötyä suhteessa Neuvostoliittoon. Sodan jälkeinen ekumeeninen jälleenrakentaminen lähensi kirkkoja toisiinsa. Lehtonen pyrki jatkamaan 1930-luvun kirkkojen välisiä, ehtoollisvieraanvaraisuuden saavuttaneita neuvotteluita kohti täyttä kirkollista yhteyttä. Häntä motivoi sekä evankelis-katolinen teologia että pyrkimys tukea oman maan ja kirkon läntisiä yhteyksiä. Tämä haastoi Englannin kirkon ekumeenisen linjan, joka Suomen kirkon sijasta pyrki jatkamaan neuvotteluja Tanskan, Norjan ja Islannin luterilaisten kirkkojen kanssa, joilla ei vielä ollut virallista ekumeenista sopimusta Englannin kirkon kanssa. Lehtosen pyrkimyksistä huolimatta Englannin kirkko päätyi jättämään Suomen tilanteen hautumaan. Sillä se tarkoitti suhteiden koetinkivenä olleen historiallisen piispuuden leviämistä läpi Suomen kirkon ennen kuin katsoi olevansa valmis jatkamaan kohti täyttä kirkollista yhteyttä. Molemmissa kirkoissa vaikutti pieni, innokkaiden, lähempiä suhteita toivoneiden kirkollisten vaikuttajien ydinjoukko. Englantilaisia Suomen-ystäviä motivoi tarve auttaa Suomea hankalassa poliittisessa tilanteessa. Suomessa arkkipiispa Lehtonen tuki korkeakirkollista liturgista liikettä, jolla oli läheinen yhteys anglikaanisuuteen, mutta joka sai vastaansa vanhoilliset pietistit. Suomen kirkon yleinen mielipide asettui etupäässä pietistiselle kannalle, jolle anglikaanisuus näyttäytyi teologisesti sekä liian katolisena että liian reformoituna. Kirkolliset suhteet tasaantuivat vuoden 1948 Lambeth-konferenssin jälkeen, joka rohkaisi anglikaanisia kirkkoja hyväksymään 1930-luvun neuvottelujen lähempiin kirkollisiin suhteisiin tähtäävät suositukset. Lehtonen näytti tyytyvän tähän. Samaan aikaan lähempää kirkollista kanssakäymistä tukenut ekumeeninen jälleenrakennus tuli tiensä päähän. Lehtonen jatkoi läheisempien suhteiden edistämistä, mutta hänen intonsa hiipui yhdessä heikkenevän terveydentilan kanssa. Osoituksena Lehtosen linjan kapeudesta Suomen evankelis-luterilaisen kirkon piispoista ei löytynyt hänen kuoltuaan ketään, joka olisi jatkanut hänen aktiivista anglikaanimyönteistä linjaansa.
Resumo:
There is a need for better understanding of the processes and new ideas to develop traditional pharmaceutical powder manufacturing procedures. Process analytical technology (PAT) has been developed to improve understanding of the processes and establish methods to monitor and control processes. The interest is in maintaining and even improving the whole manufacturing process and the final products at real-time. Process understanding can be a foundation for innovation and continuous improvement in pharmaceutical development and manufacturing. New methods are craved for to increase the quality and safety of the final products faster and more efficiently than ever before. The real-time process monitoring demands tools, which enable fast and noninvasive measurements with sufficient accuracy. Traditional quality control methods have been laborious and time consuming and they are performed off line i.e. the analysis has been removed from process area. Vibrational spectroscopic methods are responding this challenge and their utilisation have increased a lot during the past few years. In addition, other methods such as colour analysis can be utilised in noninvasive real-time process monitoring. In this study three pharmaceutical processes were investigated: drying, mixing and tabletting. In addition tablet properties were evaluated. Real-time monitoring was performed with NIR and Raman spectroscopies, colour analysis, particle size analysis and compression data during tabletting was evaluated using mathematical modelling. These methods were suitable for real-time monitoring of pharmaceutical unit operations and increase the knowledge of the critical parameters in the processes and the phenomena occurring during operations. They can improve our process understanding and therefore, finally, enhance the quality of final products.
Resumo:
The aim of this dissertation is to provide conceptual tools for the social scientist for clarifying, evaluating and comparing explanations of social phenomena based on formal mathematical models. The focus is on relatively simple theoretical models and simulations, not statistical models. These studies apply a theory of explanation according to which explanation is about tracing objective relations of dependence, knowledge of which enables answers to contrastive why and how-questions. This theory is developed further by delineating criteria for evaluating competing explanations and by applying the theory to social scientific modelling practices and to the key concepts of equilibrium and mechanism. The dissertation is comprised of an introductory essay and six published original research articles. The main theses about model-based explanations in the social sciences argued for in the articles are the following. 1) The concept of explanatory power, often used to argue for the superiority of one explanation over another, compasses five dimensions which are partially independent and involve some systematic trade-offs. 2) All equilibrium explanations do not causally explain the obtaining of the end equilibrium state with the multiple possible initial states. Instead, they often constitutively explain the macro property of the system with the micro properties of the parts (together with their organization). 3) There is an important ambivalence in the concept mechanism used in many model-based explanations and this difference corresponds to a difference between two alternative research heuristics. 4) Whether unrealistic assumptions in a model (such as a rational choice model) are detrimental to an explanation provided by the model depends on whether the representation of the explanatory dependency in the model is itself dependent on the particular unrealistic assumptions. Thus evaluating whether a literally false assumption in a model is problematic requires specifying exactly what is supposed to be explained and by what. 5) The question of whether an explanatory relationship depends on particular false assumptions can be explored with the process of derivational robustness analysis and the importance of robustness analysis accounts for some of the puzzling features of the tradition of model-building in economics. 6) The fact that economists have been relatively reluctant to use true agent-based simulations to formulate explanations can partially be explained by the specific ideal of scientific understanding implicit in the practise of orthodox economics.
Resumo:
The aim of the present study was to determine relationships between insurance status and utilization of oral health care and its characteristics and to identify factors related to insured patients’ selection of dental clinic or dentist. The study was based on cross-sectional data obtained through phone interviews. The target population included adults in the city of Tehran. Using a two-stage stratified random technique, 3,200 seven-digit numbers resembling real phone numbers were drawn; when calling, 1,669 numbers were unavailable (busy, no answer, fax, line blocked). Of the 1,531 subjects who answered the phone call, 224 were outside the target age (under 18), and 221 refused to respond, leaving 1,086 subjects in the final sample. The interviews were carried out using a structured questionnaire and covered characteristics of dental visits, the respondent’s reason for selecting a particular dentist or clinic and demographic and socio-economic background (gender, age, level of education, income, and insurance status). Data analysis included the Chi-square test, ANOVA, and logistic regression and the corresponding odds ratios (OR). Of all the 1,086 respondents, 57% were women, 62% were under age 35, 46% had a medium and 34% a high level of education, 13% were under the poverty line, and 70% had insurance coverage; 64% with the public, and 6% with a commercial insurance. Having insurance coverage was more likely for women (OR=1.5), for those in the oldest age group (OR=2.0), and for those with a high level of education (OR=2.5). Of those with dental insurance, 54% reported having had a dental visit within the past 12 months ; more often by those with commercial insurance in comparison with public (65% vs. 53% p<0.001). Check-up as the reason for the most recent visit occurred most frequently among those with commercial insurance (28%) compared with those having public insurance (16%) or being non-insured (13%) (p<0.001). Having had two or more dental visits within the past 12 months was most common among insured respondents, when compared with the non-insured (31% vs. 22% p=0.01). The non-insured respondents reported tooth extractions almost twice as frequently as did the insured ones (p<0.001). Of the 726 insured subjects, 60% selected fully out-of-pocket-paid services (FOP), and 53% were unaware of their insurance benefits. Of those who selected FOP, good interpersonal aspects (OR=4.6), being unaware of dental insurance benefits (OR=4.6), and good technical aspects (OR=2.3) as a reason had greater odds of selecting FOP. The present study revealed that dental insurance was positively related to demand for oral health care as well as to utilization of services, but to the latter with a minor extent. Among insured respondents, despite their opportunity to use fully or highly subsidized oral health care services, good interpersonal relationship and high quality of services were the most important factors when an insured patient selected a dentist or a clinic. The present findings indicate a clear need to modify dental insurance systems in Iran to facilitate optimal use of oral health care services to maximize the oral health of the population. A special emphasis in the insurance schemes should be focused on preventive care.
Resumo:
Infection by Epstein-Barr virus (EBV) occurs in approximately 95% of the world s population. EBV was the first human virus implicated in oncogenesis. Characteristic for EBV primary infection are detectable IgM and IgG antibodies against viral capsid antigen (VCA). During convalescence the VCA IgM disappears while the VCA IgG persists for life. Reactivations of EBV occur both among immunocompromised and immunocompetent individuals. In serological diagnosis, measurement of avidity of VCA IgG separates primary from secondary infections. However, in serodiagnosis of mononucleosis it is quite common to encounter, paradoxically, VCA IgM together with high-avidity VCA IgG, indicating past immunity. We determined the etiology of this phenomenon and found that, among patients with cytomegalovirus (CMV) primary infection a large proportion (23%) showed antibody profiles of EBV reactivation. In contrast, EBV primary infection did not appear to induce immunoreactivation of CMV. EBV-associated post-transplant lymphoproliferative disease (PTLD) is a life threatening complication of allogeneic stem cell or solid organ transplantation. PTLD may present with a diverse spectrum of clinical symptoms and signs. Due to rapidity of PTLD progression especially after stem cell transplantation, the diagnosis must be obtained quickly. Pending timely detection, the evolution of the fatal disease may be halted by reduction of immunosuppression. A promising new PTLD treatment (also in Finland) is based on anti-CD-20 monoclonal antibodies. Diagnosis of PTLD has been demanding because of immunosuppression, blood transfusions and the latent nature of the virus. We set up in 1999 to our knowledge first in Finland for any microbial pathogen a real-time quantitative PCR (qPCR) for detection of EBV DNA in blood serum/plasma. In addition, we set up an in situ hybridisation assay for EBV RNA in tissue sections. In collaboration with a group of haematologists at Helsinki University Central Hospital we retrospectively determined the incidence of PTLD among 257 allogenic stem cell transplantations (SCT) performed during 1994-1999. Post-mortem analysis revealed 18 cases of PTLD. From a subset of PTLD cases (12/18) and a series of corresponding controls (36), consecutive samples of serum were studied by the new EBV-qPCR. All the PTLD patients were positive for EBV-DNA with progressively rising copy numbers. In most PTLD patients EBV DNA became detectable within 70 days of SCT. Of note, the appearance of EBV DNA preceded the PTLD symptoms (fever, lymphadenopathy, atypical lymphocytes). Among the SCT controls, EBV DNA occurred only sporadically, and the EBV-DNA levels remained relatively low. We concluded that EBV qPCR is a highly sensitive (100%) and specific (96%) new diagnostic approach. We also looked for and found risk factors for the development of PTLD. Together with a liver transplantation group at the Transplantation and Liver Surgery Clinic we wanted to clarify how often and how severely do EBV infections occur after liver transplantation. We studied by the EBV qPCR 1284 plasma samples obtained from 105 adult liver transplant recipients. EBV DNA was detected in 14 patients (13%) during the first 12 months. The peak viral loads of 13 asymptomatic patients were relatively low (<6600/ml), and EBV DNA subsided quickly from circulation. Fatal PTLD was diagnosed in one patient. Finally, we wanted to determine the number and clinical significance of EBV infections of various types occurring among a large, retrospective, nonselected cohort of allogenic SCT recipients. We analysed by EBV qPCR 5479 serum samples of 406 SCT recipients obtained during 1988-1999. EBV DNA was seen in 57 (14%) patients, of whom 22 (5%) showed progressively rising and ultimately high levels of EBV DNA (median 54 million /ml). Among the SCT survivors, EBV DNA was transiently detectable in 19 (5%) asymptomatic patients. Thereby, low-level EBV-DNA positivity in serum occurs relatively often after SCT and may subside without specific treatment. However, high molecular copy numbers (>50 000) are diagnostic for life-threatening EBV infection. We furthermore developed a mathematical algorithm for the prediction of development of life-threatening EBV infection.
Resumo:
Climate change is the single biggest environmental problem in the world at the moment. Although the effects are still not fully understood and there is considerable amount of uncertainty, many na-tions have decided to mitigate the change. On the societal level, a planner who tries to find an eco-nomically optimal solution to an environmental pollution problem seeks to reduce pollution from the sources where reductions are most cost-effective. This study aims to find out how effective the instruments of the agricultural policy are in the case of climate change mitigation in Finland. The theoretical base of this study is the neoclassical economic theory that is based on the assumption of a rational economic agent who maximizes his own utility. This theoretical base has been widened towards the direction clearly essential to the matter: the theory of environmental eco-nomics. Deeply relevant to this problem and central in the theory of environmental economics are the concepts of externalities and public goods. What are also relevant are the problems of global pollution and non-point-source pollution. Econometric modelling was the method that was applied to this study. The Finnish part of the AGMEMOD-model, covering the whole EU, was used for the estimation of the development of pollution. This model is a seemingly recursive, partially dynamic partial-equilibrium model that was constructed to predict the development of Finnish agricultural production of the most important products. For the study, I personally updated the model and also widened its scope in some relevant matters. Also, I devised a table that can calculate the emissions of greenhouse gases according to the rules set by the IPCC. With the model I investigated five alternative scenarios in comparison to the base-line scenario of Agenda 2000 agricultural policy. The alternative scenarios were: 1) the CAP reform of 2003, 2) free trade on agricultural commodities, 3) technological change, 4) banning the cultivation of organic soils and 5) the combination of the last three scenarios as the maximal achievement in reduction. The maximal achievement in the alternative scenario 5 was 1/3 of the level achieved on the base-line scenario. CAP reform caused only a minor reduction when com-pared to the base-line scenario. Instead, the free trade scenario and the scenario of technological change alone caused a significant reduction. The biggest single reduction was achieved by banning the cultivation of organic land. However, this was also the most questionable scenario to be real-ized, the reasons for this are further elaborated in the paper. The maximal reduction that can be achieved in the Finnish agricultural sector is about 11 % of the emission reduction that is needed to comply with the Kyoto protocol.
Resumo:
This thesis integrates real-time feedback control into an optical tweezers instrument. The goal is to reduce the variance in the trapped bead s position, -effectively increasing the trap stiffness of the optical tweezers. Trap steering is done with acousto-optic deflectors and control algorithms are implemented with a field-programmable gate array card. When position clamp feedback control is on, the effective trap stiffness increases 12.1-times compared to the stiffness without control. This allows improved spatial control over trapped particles without increasing the trapping laser power.
Resumo:
Let X be a topological space and K the real algebra of the reals, the complex numbers, the quaternions, or the octonions. The functions form X to K form an algebra T(X,K) with pointwise addition and multiplication.
We study first-order definability of the constant function set N' corresponding to the set of the naturals in certain subalgebras of T(X,K).
In the vocabulary the symbols Constant, +, *, 0', and 1' are used, where Constant denotes the predicate defining the constants, and 0' and 1' denote the constant functions with values 0 and 1 respectively.
The most important result is the following. Let X be a topological space, K the real algebra of the reals, the compelex numbers, the quaternions, or the octonions, and R a subalgebra of the algebra of all functions from X to K containing all constants. Then N' is definable in
Resumo:
The multiplier ideals of an ideal in a regular local ring form a family of ideals parametrized by non-negative rational numbers. As the rational number increases the corresponding multiplier ideal remains unchanged until at some point it gets strictly smaller. A rational number where this kind of diminishing occurs is called a jumping number of the ideal. In this manuscript we shall give an explicit formula for the jumping numbers of a simple complete ideal in a two dimensional regular local ring. In particular, we obtain a formula for the jumping numbers of an analytically irreducible plane curve. We then show that the jumping numbers determine the equisingularity class of the curve.
Resumo:
Many problems in analysis have been solved using the theory of Hodge structures. P. Deligne started to treat these structures in a categorical way. Following him, we introduce the categories of mixed real and complex Hodge structures. Category of mixed Hodge structures over the field of real or complex numbers is a rigid abelian tensor category, and in fact, a neutral Tannakian category. Therefore it is equivalent to the category of representations of an affine group scheme. The direct sums of pure Hodge structures of different weights over real or complex numbers can be realized as a representation of the torus group, whose complex points is the Cartesian product of two punctured complex planes. Mixed Hodge structures turn out to consist of information of a direct sum of pure Hodge structures of different weights and a nilpotent automorphism. Therefore mixed Hodge structures correspond to the representations of certain semidirect product of a nilpotent group and the torus group acting on it.
Resumo:
Real-time scheduling algorithms, such as Rate Monotonic and Earliest Deadline First, guarantee that calculations are performed within a pre-defined time. As many real-time systems operate on limited battery power, these algorithms have been enhanced with power-aware properties. In this thesis, 13 power-aware real-time scheduling algorithms for processor, device and system-level use are explored.
Resumo:
This doctoral thesis addresses the macroeconomic effects of real shocks in open economies in flexible exchange rate regimes. The first study of this thesis analyses the welfare effects of fiscal policy in a small open economy, where private and government consumption are substitutes in terms of private utility. The main findings are as follows: fiscal policy raises output, bringing it closer to its efficient level, but is not welfare-improving even though government spending directly affects private utility. The main reason for this is that the introduction of useful government spending implies a larger crowding-out effect on private consumption, when compared with the `pure waste' case. Utility decreases since one unit of government consumption yields less utility than one unit of private consumption. The second study of this thesis analyses the question of how the macroeconomic effects of fiscal policy in a small open economy depend on optimal intertemporal behaviour. The key result is that the effects of fiscal policy depend on the size of the elasticity of substitution between traded and nontraded goods. In particular, the sign of the current account response to fiscal policy depends on the interplay between the intertemporal elasticity of aggregate consumption and the elasticity of substitution between traded and nontraded goods. The third study analyses the consequences of productive government spending on the international transmission of fiscal policy. A standard result in the New Open Economy Macroeconomics literature is that a fiscal shock depreciates the exchange rate. I demonstrate that the response of the exchange rate depends on the productivity of government spending. If productivity is sufficiently high, a fiscal shock appreciates the exchange rate. It is also shown that the introduction of productive government spending increases both domestic and foreign welfare, when compared with the case where government spending is wasted. The fourth study analyses the question of how the international transmission of technology shocks depends on the specification of nominal rigidities. A growing body of empirical evidence suggests that a positive technology shock leads to a temporary decline in employment. In this study, I demonstrate that the open economy dimension can enhance the ability of sticky price models to account for the evidence. The reasoning is as follows. An improvement in technology appreciates the nominal exchange rate. Under producer-currency pricing, the exchange rate appreciation shifts global demand toward foreign goods away from domestic goods. This causes a temporary decline in domestic employment.