natgillin/translations-raw huggingface dataset:
Dependence logic is a novel logical formalism that has connections to database theory, statistics, linguistics, social choice theory, and physics.
Koska nämä käsitteet ilmenevät myös monilla muilla eri tieteenaloilla, riippuvuuslogiikan tutkimus kytkeytyy muun muassa tietokantateoriaan, tilastotieteeseen, kielitieteeseen, sosiaalisen valinnan teoriaan ja fysiikkaan.
These are arity of a dependency atom and number of universal quantifiers.
Kyseiset hierarkiat saadaan rajoittamalla joko uusien atomikaavojen kokoa tai universaalikvanttorien lukumäärää.
Its aim is to provide a systematic and mathematically rigorous tool for studying notions of dependence and independence in different areas.
Riippuvuuslogiikka on formalismi, joka tutkii muodollisen logiikan viitekehyksessä riippuvuuden ja riippumattomuuden käsitteitä.
The work consists of two parts in which we study either axiomatizability or expressivity hierarchies regarding these logics.
Ensimmäisessä osassa tarkastellaan edellä mainittujen logiikoiden ilmaisuvoimaan ja laskennalliseen vaativuuteen liittyviä hierarkioita.
Hence, restricting attention to partial solutions, we first axiomatize all first-order consequences of independence logic sentences, thus extending an analogous result for dependence logic.
Tarkastelun kohteena on muodollisen päättelyn kehittäminen riippumattomuuslogiikan ensimmäisen kertaluvun seurauksille sekä erilaisille kokoelmille uusia atomikaavoja.
In this thesis we examine independence and inclusion logic that are variants of dependence logic extending first-order logic with so-called independence or inclusion atoms, respectively.
Saatuja laajennoksia kutsutaan riippumattomuuslogiikaksi ja inkluusiologiikaksi.
We also consider the class of independence and inclusion atoms, and show that it can be axiomatized using implicit existential quantification.
Propositio-, modaali- ja predikaattilogiikoille voidaan kaikille määritellä laajennoksia, joissa riippuvuuksia ilmaistaan uusien atomikaavojen avulla.
Lastly, we consider keys together with so-called pure independence atoms and prove both positive and negative results regarding their finite axiomatizability.
Toisessa uudet atomikaavat kuvaavat riippumattomuuden, ja toisessa sisältyvyyden käsitteitä.
In the first part we examine whether there exist some natural parameters of independence and inclusion logic that give rise to infinite expressivity or complexity hierarchies.
Toisessa osassa tutkitaan riippumattomuus- ja inkluusiologiikan muodollista päättelyä.
Two main parameters are considered.
Tutkielma jakautuu kahteen osaan.
For relational databases this implies a sound and complete axiomatization of embedded multivalued and inclusion dependencies taken together.
Ideana riippuvuuslogiikassa on laajentaa tunnettuja muodollisen logiikan kieliä erilaisilla riippuvuuden käsitteillä.
This study aimed to contribute to the molecular understanding of SPFMV, in particular regarding its phylogenetic relationships, genomic structure, and ability to suppress RNA interference (RNAi).
Tämän tutkimuksen tarkoituksena oli lisätä molekyylitason ymmärrystä SPFMV:sta ja erityisesti sen fylogeneettisistä sukulaissuhteista, genomirakenteesta ja kyvystä estää RNA-hiljennystä.
However, attempts to find resistance to SPVD based on this knowledge have failed, suggesting possible SPFMV determinants involved in the development of SPVD.
Yritykset kehittää kestävyyttä bataatin SPVD-tautia vastaan tämän tiedon perusteella ovat kuitenkin epäonnistuneet, mikä voi johtua siitä, että myös SPFMV tarvitaan SPVD-taudin kehittymiseen.
Previous studies have described RNase3 as the SPCSV protein responsible for the occurrence of SPVD.
Aikaisemmat tutkimukset ovat osoittaneet, että SPCSV:n RNase3-proteiini yhdessä SPFMV:n kanssa on riittävä aiheuttumaan SPVD-taudin.
In single infections, SPFMV often causes only mild symptoms a situation that changes dramatically when it co-infects the plants with Sweet potato chlorotic stunt virus (SPCSV, genus Crinivirus).
Yksinään SPFMV aiheuttaa useimmiten vain lieviä oireita, mutta jos kasveilla on samanaikaisesti bataatin kitukasvuvirus (SPCSV , suku Crinivirus) tartunta, tilanne muuttaa dramaattisesti.
Sweet potato feathery mottle virus (SPFMV, genus Potyvirus) infects sweet potato wherever it is cultivated.
Bataatin höyhenlaikkavirus (SPFMV, suku Potyvirus) tartuttaa bataattia kaikkialla, missä bataattia viljellään.
Co-infection generates the sweet potato virus disease (SPVD), the most devastating viral disease of sweet potato that can cause total loss of yield.
Kahden viruksen yhteistartunta johtaa ns. bataatin virustautiin (SPVD-tauti), joka on bataatin pahin virustauti, ja se voi johtaa jopa täydelliseen sadonmenetykseen.
Samples taken during the spring thaw and high-precipitation events could be problematic in terms of both sampling and interpreting the results.
Kevätsulannan ja rankkasateiden aikana kerätyt näytteet voivat olla sekä näytteenotollisesti ongelmallisia että tulkinnallisesti moniselitteisiä.
The aim of the work was to identify the GW−SW interactions sites, to define the ubiquity of these interactions, to assess the applicability of the used methods, to provide baseline data on seasonal variation in isotopic and chemical tracers in the studied catchments and to provide new insights into more integrated water resources management.
Tutkimuksessa pyrittiin paikantamaan vuorovaikutuskohdat, selvittämään vuorovaikutuksen voimakkuus ja laajuus, arvioimaan käytettyjen tutkimusmenetelmien soveltuvuutta sekä hankkimaan perustietoa kemiallisten muuttujien vuodenaikaisesta vaihtelusta tutkituilla valuma-alueilla sekä tarjoamaan menetelmiä aikaisempaa kokonaisvaltaisemman vesienhallinnan tueksi.
This traditional research approach has both underestimated the commonness of natural exchange between GW and SW systems and oversimplified the management of water resources.
Tämä perinteinen lähestymistapa on sekä aliarvioinut pohjavesi−pintavesi vuorovaikutuksen yleisyyttä että yksinkertaistanut vesivarojen hallinnoimiseen liittyviä tekijöitä.
The direct GW discharge was spatially highly variable due to the heterogeneous substrate in lake shoreline area.
Pohjaveden purkautumisnopeus vaihteli paikallisesti paljon järven heterogeenisestä pohja-aineksesta johtuen.
Groundwater (GW) and surface water (SW) have been studied as separate resources in most previous hydrological or hydrogeological studies in Finland.
Pohja- ja pintavettä on aikaisemmissa hydrologisissa ja hydrogeologisissa tutkimuksissa tarkasteltu erillisinä vesivarastoina.
In the River Vantaa and its tributaries (a 203-km-long river channel altogether), around 370 GW discharge sites were located with two catchment scale AIR surveys in two consecutive years.
Vantaanjoessa ja sen sivu-uomissa tunnistettiin 370 pohjaveden purkautumispaikkaa kahtena perättäisenä vuotena lennetyissä lämpökamerakuvauksessa.
The identified interaction locations in the proximity of 12 municipal water intake plants during the low-flow seasons should be considered as potential risk areas for water supply during flood periods and/or with high pumping rates and taken under consideration in water resources management.
Kunnallisten vesilaitosten läheisyydessä havaittuja vuorovaikutuspaikkoja voidaan pitää potentiaalisina riskeinä vedenottamoille sekä tulvaaikoina että alivirtaamakaudella suurilla pumppausmäärillä, ja vuorovaikutuspaikat tulisi ottaa huomioon vesivarojen hallinnassa muuttuvissa ilmasto-oloissa.
The field studies performed in Lake Pyhäjärvi revealed that the direct GW discharge areas are associated with the esker deposits and focused on the 10-km NE shoreline of lake.
Pyhäjärven valuma-alueella kenttätutkimukset osoittivat pohjaveden purkautumisen suoraan järveen tapahtuvan pääasiassa järven koillisrannan 10 km pituisella osuudella ja liittyvän harjumuodostumiin.
The results from the various methods correlated and confirmed the GW discharge into Lake Pyhäjärvi at the NE shoreline.
Eri menetelmillä saadut tulokset tukivat toisiaan ja vahvistivat pohjaveden purkautuvan järveen koillisrannalla, mutta myös järviveden imeytyvän akviferiin järven pohjoiskulmassa.
This thesis research investigated the previously poorly recognized GW−SW interactions in two boreal snow-type catchments, Lake Pyhäjärvi and River Vantaa, with physical methods, isotopic and chemical tracers and thermal methods, particularly low-altitude aerial infrared (AIR) surveys.
Tutkimuksessa hyödynnettiin fysikaalisia, kemiallisia (pääionikoostumus, liuennut silikaatti, happi- ja vetyisotoopit) sekä termisiä menetelmiä, erityisesti helikopterista toteutettua lämpökamerakuvausta.
The results revealed strong seasonality in general water chemistry, stable isotopes and dissolved silica concentrations of different water bodies on the catchment scale that should be considered in GW SW interaction studies in northern high-latitude regions with snow-type hydrology.
Veden peruskemiassa, isotooppisuhteissa ja liuenneen silikaatin pitoisuuksissa havaittiin voimakas vuodenaikainen vaihtelu vesistön eri osissa.
This work revealed that the GW−SW interactions are a far more general phenomenon in the studied catchments than has thus far been acknowledged, and these two resources should be integrated as one entity in hydrological studies.
Tämä työ havainnollistaa pohjavesi−pintavesi vuorovaikutuksen olevan paljon aikaisemmin luultua yleisempää tutkituilla valuma-alueilla.
The baseline data on isotopic patterns and hydrogeochemistry in the hydrological cycle were provided by a one-year monitoring survey in the Lake Pyhäjärvi catchment.
Vuoden kestävä seurantaohjelma toi perustietoa veden stabiilien isotooppien ja hydrogeokemiallisten muuttujien vuodenaikaisvaihtelusta Pyhäjärven valuma-alueella.
The GW−SW interaction should be taken account in water resources management, especially in changing climate conditions.
Tulevaisuudessa muuttuvat ilmasto-olosuhteet tulevat korostamaan kokonaisvaltaisen tutkimusnäkökannan tarpeellisuutta vesivarojen hallinnassa.
This work highlighted the importance of an integrated approach that applies detailed local field measurements combined with chemical and isotopic sampling, as well as AIR surveys on the catchment scale.
Vuorovaikutus on dynaaminen ilmiö sekä ajallisesti että paikallisesti, ja se myös vaihtelee suuruudeltaan ja suunnaltaan.
Animal activists have been criticized in the media ever since the animal rights movement was born in Finland in the 1990s.
Eläinaktivisteja on kritisoitu mediassa siitä asti, kun eläinoikeusliike syntyi Suomessa 1990-luvulla.
This may be linked to the heterogenization of Finnish culture and changes in the media field.
Tähän saattoi vaikuttaa suomalaisen kulttuurin muuttuminen heterogeenisemmaksi, sekä mediakentän muutokset.
The other research question asked what kinds of dramaturgical inequalities were found in the news stories.
Toisessa tutkimuskysymyksessä kysyttiin, minkälaisia dramaturgisia eriarvoisuuksia uutisista oli havaittavissa.
The drama analysis revealed three forms of dramaturgical inequality that were connected to capitalism, sexism and the drama between people living in cities and the countryside.
Draama-analyysissa uutisista löytyi kolme eriarvoisuutta, jotka liittyivät kapitalismiin, seksismiin ja draamaan maalla asuvien ja kaupunkilaisten välille.
Traditional narrative methods often synthesize retrospective main narratives that hide counter-arguments and hierarchies.
Perinteiset narratiivit luovat usein keinotekoisen kehyskertomuksen jälkikäteen, joka peittää alleen vasta-argumentit ja hierarkiat.
On one hand, they were seen as criminals, on the other hand, they were given the role of heroes, whose actions revealed shortcomings in the food production industry.
Osittain heidät nähtiin rikollisina ja julkisrauhan rikkojina, toisaalta he saivat myös sankarin roolin, joka toiminnallaan paljasti epäkohtia ruoantuotannossa.
Justice for Animals filmed undercover footage of tens of Finnish pig farms in 2007-2011 and released the footage on A-studio, and on their website.
Oikeutta eläimille-järjestö kuvasi salaa sikaloita ympäri Suomea vuosina 2007-2011 ja julkaisi videomateriaalin A-studiossa, sekä omilla kotisivuillaan.
The data consisted of news stories from Yle Fem and Yle TV1 in December, 2009.
Aineisto koostui televisiouutisista, jotka näytettiin Yle TV1- ja Yle Fem -kanavilla joulukuussa 2009.
The prevalence of narrative elements in television news has been debated, because they are not seen to have a clear plot or main characters.
Televisiouutisten narratiivisesta rakenteesta kiistellään, koska usein niissä ei ole eheää pääjuonta, eikä yhtä tunnistettavaa päähenkilöä.
The analysis revealed that Justice for Animals was given contradicting roles even within the same news story.
Analyysissa paljastui, että Oikeutta Eläimille järjestölle annettiin erilaisia positiivia ja negatiivisia rooleja jopa saman uutisen sisällä.
The deconstruction antenarrative method, instead, focused on the analysis of power struggles by examining substories.
Dekonstruoivan antenarratiivisen metodin avulla sen sijaan analysoidaan narratiivien valtarakenteita ja vasta- ja alatarinoita.
The roles given to animal activists in television news were more positive than they were in the 1990s.
Aiemmasta tutkimuksesta poiketen, eläinaktivistien saamat roolit televisiouutisissa olivat positiivisempia kuin aikaisemmin.
The research process aimed to examine the kinds of roles that Justice for Animals was given in the substories of Yle television news.
Tutkimuksessa tutkittiin sitä, minkälaisia rooleja Oikeutta Eläimille annettiin Ylen televisiouutisten alatarinoissa.
The disturbing images caused a heated debate on factory-style farming and animal rights in Finland.
Kuvat aiheuttivat vilkasta keskustelua sikaloiden tiloista Suomessa ja eläinaktivistien toiminta herätti kommentteja puolesta ja vastaan.
Animal activists were not equated with criminals to the same extent, but instead they were even portrayed as heroes at times.
Heidän toimintaansa ei rinnastettu rikollisiin samassa määrin kuin ennen.
The deconstruction method consisted of eight steps that broke the text down into dualisms and hierarchies, among others.
Analyysi toteutettiin dekonstruoivan antenarratiivisen menetelmän avulla, joka koostuu kahdeksasta osasta, jonka avulla eriteltiin muun muassa dualismeja ja hierarkioita, sekä tarkasteltiin yksittäisten televisiouutisten lisäksi laajempaa narratiivia, jonka erilliset uutiset muodostivat yhdessä.
The most surprising result of the analysis was that there were such significant differences in the roles that Justice for Animals was given in the visual and verbal substories of Yle Fem and Yle TV1.
Yllättävin tulos liittyi Yle Fem -kanavan ja Yle TV1 -kanavan uutisoinnin eroihin, sillä niiden verbaaliset ja visuaaliset alatarinat poikkesivat paljon toisistaan, joka vaikutti Oikeutta Eläimille -järjestön saamiin rooleihin.
Some of the visual and verbal substories portrayed them as heroes, while others questioned their legitimacy.
Visuaalisissa alatarinoissa järjestölle saatettiin antaa sankarin rooli, mutta samassa uutisessa verbaalinen alatarina saattoi kyseenalaistaa heidän toimintaansa.
Three of them were female at the age of 27–50+ and two were male at the age of 40 and 58.
Heistä kolme oli naisia iältään 27–50+ ja kaksi miehiä iältään 40 ja 58.
Eighteen people were interviewed during the fieldwork, five of whom were key informants.
Kenttätyön aikana haastateltiin kahdeksaatoista ihmistä, joista viisi toimi avaininformantteina.
The study thus illustrates the potency of such focus to analyse different sociocultural, political and economic aspects of the phenomenon.
Tutkimus ilmentää näin kyseisen antropologisen fokuksen potentiaalia ilmiön eri sosiokulttuuristen, poliittisten ja taloudellisten aspektien käsittelemisessä.
Transnational material practices of Estonians in Finland
Suomessa työskentelevien virolaisten transnationaaliset materiaaliset käytännöt
The thesis used content analysis as a data analysis method.
Aineistoa analysoitiin sisällönanalyysin menetelmin.
The data of the research was collected by semi-structured interviews, group discussions, following social media and keeping fieldwork diary.
Tutkimusta varten kerättiin aineistoa puolistrukturoiduilla haastatteluilla, ryhmäkeskusteluilla, seuraamalla sosiaalista mediaa ja pitämällä kenttätyöpäiväkirjaa.
Such objects are often carried at request or for a gift and used to help to maintain social relations, express affection and pursue conventional social practices.
Tällaiset esineet, jotka viedään yleensä pyynnöstä tai lahjaksi, auttavat ylläpitämään suhteita, ilmaisemaan mieltymystä ja jatkamaan konventionaalisia sosiaalisia käytäntöjä.
It is stated in the study that material culture as an approach offers a diverse and context-specific perspective on the cross-border practices and attachments of migrants.
Tutkimuksessa todetaan, että materiaalinen kulttuuri lähestymistapana tarjoaa moninaisen ja kontekstipohjaisen näkökulman maahanmuuttajien rajoja ylittäviin käytäntöihin ja sidoksiin.
The data was collected in Greater Helsinki, Lahti and on ferries between Helsinki and Tallinn, from August up to December 2014.
Tutkimusaineisto kerättiin vuonna 2014 elokuun ja joulukuun välisenä aikana pääkaupunkiseudulla, Lahdessa sekä Helsingin ja Tallinnan välisillä lautoilla.
Such objects and the practice of using them expand the temporal and spatial agency and belonging of the migrants and the persons somehow related to them which appears in the fact that these objects are linked to a certain time, place and person.
Tällaiset esineet ja niiden käyttäminen laajentavat maahanmuuttajien ja esineiden kautta heihin liittyvien yksilöiden ajallista ja spatiaalista sosiaalista toimijuutta ja sen jatkuvuutta, joka ilmenee esineiden yhdistämisessä tiettyyn aikaan, paikkaan ja henkilöön.
As the immigration of Estonians into Finland is constantly increasing, the aim is to explore what kind of material objects do they carry from Estonia to Finland and vice versa, as well as to find out to what practices and processes these objects are connected.
Tavoitteena on kasvavan virolaisten maahanmuuton keskellä selvittää, millaisia esineitä he kuljettavat Virosta Suomeen ja Suomesta Viroon sekä mitä eri prosesseja ja käytäntöjä näihin esineisiin liittyy.
Continuing using certain services, which give a material result, especially in Estonia is interpreted as a part of processes that ensure continuity, maintain connections and organize sense of belonging in Estonia.
Tiettyjen materiaalisen tuloksen antavien palveluiden käyttämisen jatkaminen Virossa taas tulkitaan tutkimuksessa osaksi jatkuvuuden takaamisen, siteiden ylläpitämisen ja kuuluvuuden tunteen järjestämisen prosesseja.
The thesis also focuses on the objects that are carried from Finland to Estonia and on material practices conducted in Estonia.
Tutkimus keskittyy myös Viroon vietäviin esineisiin ja Virossa suoritettaviin materiaalisiin käytäntöihin.
The master’s thesis approaches border-crossing material practices of Estonians living and working in Finland through material culture research and the notion of transnationalism, and with an anthropological stance.
Tässä Pro gradu -tutkielmassa lähestytään antropologisesti Suomessa asuvien ja työskentelevien virolaisten rajoja ylittäviä materiaalisia käytäntöjä materiaalisen kulttuurin tutkimuksen ja transnationaalisuus-käsitteen kautta.
The study concludes that the objects which were carried and are carried from Estonia to Finland operate as parts of the processes materializing the past, establishing continuity and managing cross-border social relations.
Tutkimuksessa todetaan, että Virosta Suomeen liikkuneet ja liikkuvat esineet toimivat osana menneisyyden materialisoimisen, jatkuvuuden luomisen ja rajoja ylittävien sosiaalisten suhteiden hoitamisen prosesseja.
The thesis analyses cross-border relations, processes and practices with the help of transnational material practices in order to perceive how transnationalism is a part of everyday life of Estonians.
Tutkielma analysoi transnationaalisten materiaalisten käytäntöjen avulla rajoja ylittävien suhteiden, prosessien ja toimintain erityispiirteitä selvittäen, miten transnationaalisuus on osana virolaisten arkea.
The analysis concludes that the transnational material practices are part of the process establishing and maintaining the transnational space between Estonia and Finland.
Analyysin pohjalta päädytään tulokseen, että rajoja ylittävät materiaaliset käytännöt ovat osa Viron ja Suomen välisen transnationaalisen tilan muodostumisen ja ylläpitämisen prosesseja.
The analysis indicates that the border-crossing material practices of the informants are interconnected with structuring the everyday life, relations and transnational process both in Estonia and Finland.
Aineiston analyysi osoittaa, että tarkasteltavien virolaisten rajoja ylittävät materiaaliset käytännöt liittyvät arjen, suhteiden ja transnationaalisten prosessien strukturoimiseen sekä Suomessa että Virossa.
According to the study the continuity of taste preferences and habits is created with the help of the foodstuffs and objects which are carried to Finland on an ongoing basis.
Tutkimuksen mukaan jatkuvasti Suomeen tuotavien elintarvikkeiden ja esineiden avulla luodaan makumieltymyksen ja tapojen jatkuvuutta ja yhdenmukaisuutta.
The data also indicates that the sense of home and belonging both in Finland and Estonia is constituted through certain transnational material practices.
Aineisto myös osoittaa, että tiettyjen rajoja ylittävien materiaalisten käytäntöjen avulla luodaan kuuluvuuden ja kodin tunnetta sekä Suomessa että Virossa.
Thus, the process of formation of the transnational space is also explored.
Tätä kautta myös avataan Suomen ja Viron transnationaalisen tilan rakentumista.
There are over 100 billion searches on Google every month.
Google-hakuja tehdään kuukausittain yli 100 miljardia.
The results demonstrate that big data can be utilized to forecast economic indicators.
Tulokset kuitenkin osoittavat että big dataa voidaan hyödyntää taloudellisten indikaattorien ennustamiseksi.
Predicting the present and near future is of interest, as the official records of the state of the economy are published with a delay.
Nykyhetken ja lähitulevaisuuden ennustaminen on kiinnostavaa, sillä viralliset tiedot talouden tilasta julkaistaan viiveellä.
Furthermore, the sensitivity of the results is studied with regard to different search terms.
Tämän lisäksi tarkastellaan tulosten herkkyyttä valittujen hakusanojen suhteen.
To study the robustness of the results, the thesis considers state-level variation in the unemployment rate and Google Index using a fixed effects model.
Tulosten herkkyyden tarkastelemiseksi tutkielmassa tarkastellaan osavaltiotason vaihtelua työttömyydessä ja Google Indexin arvoissa hyödyntäen kiinteiden vaikutusten mallia.
To assess the information contained in Google search queries, the thesis compares a simple predictive model of unemployment to a model that contains a variable, Google Index, constructed from Google data.
Google-hakujen sisältämän informaation arvioimiseksi tutkielmassa vertaillaan yksinkertaista työttömyyttä kuvaavaa mallia sellaiseen malliin, johon on lisätty Google-aineistosta muodostettu muuttuja, Google Index.
The results suggest that Google searches contain useful information on the present and the near future unemployment rate.
Tuloksen viittaavat siihen, että Google-haut sisältävät hyödyllistä informaatiota nykyhetken ja lähitulevaisuuden työttömyydestä.
The value of Google data for forecasting purposes, however, tends to be time specific, and the predictive power of Google searches appear to be limited to short-term predictions.
Google-hakujen sisältämän informaation arvo vaikuttaa kuitenkin vaihtelevan ajanhetkestä riippuen ja sen ennustekyky näyttää rajoittuvan lyhyen aikavälin ennusteisiin.
This thesis examines whether Google search queries can be used to predict the present and the near future unemployment rate in the US.
Tämä tutkielma selvittää, voiko Google-hauilla ennustaa nykyhetken ja lähitulevaisuuden työttömyyttä Yhdysvalloissa.
In addition, descriptive cross-correlation analysis and Granger non-causality tests are performed.
Tämän lisäksi tarkastellaan muuttujien välisiä ristikorrelaatioita ja suoritetaan Granger-kausaalisuustesti.