999 resultados para translation invariant


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tutkielman tavoitteena on tutkia, millaisia käännösstrategioita DVD-tekstittämisessä suositaan reaalioita eli kulttuurisidonnaisia käsitteitä käännettäessä. Lähtökohtana on, että osaa strategioista voidaan käyttää reaalioiden kulttuurisen erilaisuuden korostamiseen, osaa taas tämän erilaisuuden häivyttämiseen. Nämä kaksi kategoriaa eivät kuitenkaan kata kaikkia mahdollisia strategioita, minkä vuoksi myös neutraalit strategiat otetaan tutkielmassa huomioon. Tutkielman aineisto koostuu Suomessa nimillä Ruuvit löysällä ja Pikku-Britannia tunnettujen brittiläisten sketsisarjojen DVD-julkaisuista. Molemmat tutkituista julkaisuista käsittävät yhden tuotantokauden. Formaatiltaan sketsisarjat perustuvat lukuisiin lyhyisiin kohtauksiin, joissa käsitellään useita eri aihealueita. Tämän vuoksi ne soveltuvat erinomaisesti reaalioiden tutkimukseen. Tutkittava kääntämisen laji on DVD-kääntäminen, koska sen merkityksen voidaan katsoa kasvaneen DVD:n lisääntyneen suosion myötä. Tutkielman teoriatausta muodostuu reaalioiden, käännösstrategioiden ja tekstityksen teoriasta. Näistä osa-alueista ensimmäisessä korostuu kulttuurin vaikutus kieleen ja siten myös kääntämiseen, kun taas toinen pohjautuu sekä tekstitason kotouttavista ja vieraannuttavista käännösstrategioista että sanatason lokaaleista strategioista esitettyyn teoriaan, ja kolmannessa nousevat esille sanan ja kuvan yhteistyö sekä muut tekstittämiseen vaikuttavat tekijät, kuten rajallinen käytettävissä oleva tila ja aika. Yhdessä teorian eri osa-alueet mahdollistavat tutkimuksen, jossa voidaan tarkastella kulttuuristen, kielellisten ja audiovisuaalisten piirteiden vaikutusta reaalioiden kääntämiseen. Tutkielmassa käytetään kvalitatiivista ja kvantitatiivista tutkimusmenetelmää. Kvalitatiivinen menetelmä perustuu käännösstrategioiden käyttötapojen kuvaamiseen tutkimalla tutkimusaineistosta transkriboituja reaalioiden käännöksiä yksittäisissä tapauksissa. Analyysissa otetaan huomioon ensisijaisesti reaalioiden tekstuaalinen ja audiovisuaalinen konteksti sekä niiden oletettu tunnistettavuus käännösten kohdekulttuurissa. Tätä analyysia täydennetään kaikkien havaittujen reaalioiden kääntämistä kuvaavalla kvantitatiivisella menetelmällä. Tutkielman tulokset viittaavat siihen, että erilaisten käännösstrategioiden välillä on huomattavia eroja siinä, millä tavoin ja miten usein niitä käytetään. Lisäksi tulokset osoittavat odotetusti sen, että kotouttavat ja vieraannuttavat strategiat eivät sulje toisiaan pois, vaan niitä molempia voidaan käyttää saman käännöksen sisällä. Kokonaisuutena tutkielmassa tuodaan ilmi monia aihealueen tutkimiseen liittyviä haasteita aina kulttuurin määrittelystä audiovisuaalisen aineiston analysoimiseen asti. Avainsanat: Kulttuurisidonnaiset käsitteet, käännösstrategia, tekstittäminen, kotouttaminen, vieraannuttaminen

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Pro gradu –tutkielman aiheena on kulttuurin ominaispiirteiden kääntäminen. Teksteissä kulttuurin jälki voi näkyä monin eri tavoin. Tutkielman kohteena ovat erityisesti käännösstrategiat, joita kääntäjät käyttävät kohdatessaan kulttuurisidonnaisia viittauksia. Tutkielma nostaa esiin myös niitä tekijöitä, jotka vaikuttavat siihen, minkälaisia käännösstrategioita kääntäjät valitsevat. Näistä tekijöistä tutkielma keskittyy kääntämisen normeihin. Tutkielma pureutuu kulttuurisidonnaisten viitteiden kääntämiseen tarkastelemalla kahta suomalaista kaunokirjallista teosta ja niiden käännöksiä. Tutkielman aineistona ovat Matti Yrjänä Joensuun kaksi rikosromaania ja näiden käännökset. Teoksista toinen on vuonna 1983 suomeksi julkaistu Harjunpää ja poliisin poika, jonka englanninkielinen käännös Harjunpaa the stone murders julkaistiin vuonna 1986. Toinen teos on vuonna 2003 julkaistu Harjunpää ja pahan pappi ja sen käännös The Priest of Evil vuodelta 2006. Tutkielman tavoitteena on selvittää, minkälaisia kulttuurisidonnaisia viittauksia romaanit sisälsivät, minkälaisia käännösstrategioita kääntäjät käyttivät kääntäessään näitä viittauksia ja mikä voisi selittää heidän strategisia valintojaan. Tutkielma pyrkii vastaamaan kysymykseen siitä, voisiko jonkin kääntämistä koskevan normin olemassa olo selittää kääntäjien strategisia valintoja. Tutkielman tavoitteena on myös selvittää, suositaanko kääntämisessä englannin kieleen niin kutsuttuja kotouttavia käännösstrategioita ja ovatko käännösstrategiat ja kääntämistä koskevat normit muuttuneet kahdenkymmenen vuoden aikana. Näihin kysymyksiin vastaamiseksi suomenkielisistä teksteistä on etsitty kaikki kulttuurisidonnaisia viittauksia sisältävät tekstinkohdat. Näitä vastaavat kohdat on sitten etsitty käännöksistä ja suomen- ja englanninkielisiä kohtia on vertailtu keskenään. Molemmat suomenkieliset romaanit sisältävät runsaasti kulttuurisidonnaisia viittauksia. Suurimman kulttuurisidonnaisten viittausten ryhmän muodostivat molemissa romaaneissa henkilöiden nimet. Romaanin sisälsivät myös runsaasti viittauksia maantieteeseen, erityisesti kulttuurimaantieteeseen, ja yhteiskuntaan. Sitä vastoin viittaukset suomalaiseen kulttuuriin ja historiaan olivat vähäisempiä. Tutkielma osoittaa, että kääntäessään suomesta englannin kielelle suomalaisen rikoskirjallisuuden kääntäjät saattavat käyttää enemmän vieraannuttavia strategioita kuin kotouttavia strategioita ja että he suosivat vieraannuttavia strategioita kasvavassa määrin. Harjunpään ja pahan papin kääntäjä käytti enemmän vieraannuttavia strategioita kuin Harjunpään ja poliisin pojan kääntäjä kaksikymmentä vuotta aikaisemmin. Tutkielman tulokset eivät tue väitettä siitä, että käännettäessä englannin kielelle suosittaisiin kotouttavia strategioita. Näyttää siltä, että vieraannuttavia strategioita on käytetty enemmän ja käytetään yhä enenevässä määrin. Lisääntyvän vieraannuttamisen taustalla voi olla useita syitä, kuten suomalaisen kulttuurin lisääntynyt tunnettuus maailmalla, rikosromaanin genren vaatimukset tai muutokset kääntäjäyhteisön arvoissa. Tutkielman tulosten perusteella näyttää siltä, että ainakin muutoksia normeissa ja arvoissa on tapahtunut. Lisätutkimuksen avulla voitaisiin selvittää, pätevätkö tutkielman tulokset muihin romaaneihin ja niiden käännöksiin tai muihin genreihin käännettäessä suomesta englantiin. Lisätutkimus voisi nojautua laajempaan ja erilaisia tekstejä kattavaan aineistoon. Jatkotutkimus voisi myös sisältää kääntäjien haastatteluita tai kyselyitä kääntäjille. Näiden avulla voitaisiin saada lisäselvyyttä syistä heidän strategisille valinnoilleen. Asiasanat: Käännöskirjallisuus – kaunokirjallisuus Kääntäminen – suomen kieli – englannin kieli Kääntäminen – strategia Kääntäminen - normi

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This study examines strategies used to translate various thematic and character delineating allusions in two of Reginald Hill's detective novels, The Wood Beyond and On Beulah Height and their Swedish translations Det mörka arvet and Dalen som dränktes. In this study, thematic allusions and allusions used in character delineation are regarded as intertextual networks. Intertextual networks comprise all the texts that are in one way or another embedded into a text, all the texts referred to in it and even the texts somehow rejected from a text's own canon. Studying allusions as intertextual networks makes it warranted to pay minute attention to even the smallest of details. Seen together, these little details form extensive networks of meaning that readers use to interpret the text. Allusion can be defined as a reference, often covert or indirect, to another text in a way that brings into the text some of the associations of that other text. A text is here understood broadly, hence sources of allusions include all cultural texts from literature and history to cinema and televisions serials. Allusions are culture bound and each culture tends to allude to its own cultural products. The set of transcultural allusions is therefore fairly small. Translation strategies are translatorial ways of solving translation problems. Being culture-bound, allusions are potential translation problems. In order to transmit the thoughts evoked by the allusions in source text readers to the target text readers translators may add guidance to the translated text. Often guidance is not added, which may result in changes in handling of themes or character delineation, clear in the source text but confusing or incomprehensible in the target text. However, norms in target culture may not always allow the translators the possibility to make the text comprehensible. My analyses of translation strategies show that in the two translated novels studied minimum change is a very frequently used strategy. This results in themes and character delineation losing some of the effect they have in the source texts. Perhaps surprisingly, the result is very much the same even where it is possible to discern that the two translators have had differing translation principles. Keywords: allusions, intertextuality, literary translation, translation strategies, norms, crime fiction, Hill, Reginald

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The thesis concentrates on two questions: the translation of metaphors in literary texts, and the use of semiotic models and tools in translation studies. The aim of the thesis is to present a semiotic, text based model designed to ease the translation of metaphors and to analyze translated metaphors. In the translation of metaphors I will concentrate on the central problem of metaphor translations: in addition to its denotation and connotation, a single metaphor may contain numerous culture or genre specific meanings. How can a translator ensure the translation of all meanings relevant to the text as a whole? I will approach the question from two directions. Umberto Eco's holistic text analysis model provides an opportunity to concentrate on the problematic nature of metaphor translation from the level of a text as a specific entity, while George Lakoff's and Mark Johnson's metaphor research makes it possible to approach the question from the level of individual metaphors. On the semiotic side, the model utilizes Eero Tarasti's existential semiotics supported by Algirdas Greimas' actant model and Yuri Lotman's theory of cultural semiotics. In the model introduced in the thesis, individual texts are deconstructed through Eco's model into elements. The textual roles and features of these elements are distilled further through Tarasti's model into their coexistent meaning levels. The priorization and analysis of these meaning levels provide an opportunity to consider the contents and significance of specific metaphors in relation to the needs of the text as a whole. As example texts, I will use Motörhead's hard rock classic Iron Horse/Born to Lose and its translation into Rauta-airot by Viikate. I will use the introduced model to analyze the metaphors in the source and target texts, and to consider the transfer of culture specific elements between the languages and cultural borders. In addition, I will use the analysis process to examine the validity of the model introduced in the thesis.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tässä tutkielmassa tarkastellaan The Simpsons (Simpsonit) animaatiosarjassa esiintyvien sanallisten alluusioiden kääntymistä suomenkielisiksi tekstityksiksi. Tarkoituksena on selvittää kvantitatiivisen analyysin keinoin, miten kääntäjä Sari Luhtanen käyttää eri käännösstrategioita hyväkseen. Tutkimusaineisto on kerätty kuudesta Simpsonit-sarjan jaksosta esityskausilta 7-11. Työn teoriaosiossa määritellään aluksi intertekstuaalisuuden sekä alluusion käsitteet, jonka jälkeen käsitellään alluusiota huumorin välineenä. Mahdollisten käännösstrategioiden määrittely tukeutuu Ritva Leppihalmeen alluusioiden kääntämistä käsittelevään tutkimukseen. Leppihalmeen terminologiaa mukaillen alluusiot jaetaan erisnimialluusioihin ja suoriin tekstilainoihin. Simpsonit-sarjan olemusta ja tekijöiden tarkoitusperiä pohtii oma lukunsa, joka sisältää myös kääntäjä Luhtasen ajatuksia käännöstyöstä, sekä haastattelussa esiintulleita yksityiskohtia käännösprosessista. Tekstittämisen erityispiirteitä kääntämisen alalajina käsitellään Henrik Gottliebin sekä Jan Ivarssonin määritelmien kautta. Gottliebin määritelmää elokuvasta polysemioottisena, neljästä eri viestintäkanavasta koostuvana kokonaisuutena sovelletaan myös tutkimuksen empiirisessä osuudessa. Tekstittämiseen todetaan kohdistuvan merkittäviä teknisiä rajoituksia, jotka tehokkaasti estävät kääntäjää pyrkimästä muodolliseen vastaavuuteen lähdetekstin kanssa. Koska tekstitys kuitenkin esitetään aina alkuperäisen materiaalin yhteydessä, sen voi mieltää ylimääräiseksi viestintäkanavaksi jonka avulla kääntäjä auttaa kohdeyleisöä kokemaan tekstitetyn ohjelman alkuperäisen yleisön kokemusta vastaavalla tavalla (dynaaminen vastaavuus). Tutkimuksen empiirinen osuus tarkastelee materiaalissa esiintyviä alluusioiden käännöksiä kvantitatiivisen analyysin muodossa, jonka jälkeen Luhtasen tekemiä käännösvalintoja käsitellään yksityiskohtaisemmin esimerkkien avulla. Luhtasen todetaan sisällyttävän dialogissa esiintyvät alluusiot tekstityksiin lähes aina, mutta useimmiten jättävän tekstityksistä pois pelkästään visuaalisella kanavalla esiintyvät sanallisen alluusiot. Erisnimialluusiot Luhtanen kääntää tyypillisesti muuttumattomina, mutta harkintansa mukaan saattaa Suomessa täysin tuntemattomien nimien kohdalla tarjota myös selittävän käännöksen. Suoria tekstilainoja kääntäessään hän ei näytä suosivan mitään tiettyä strategiaa. Erillisiä selityksiä sisältäviä strategioita Luhtanen ei käytä. Yleisen alluusioiden runsauden lisäksi Simpsonit-sarjan erityispiirteenä näyttävät olevan visuaalisella kanavalla ajoittain esiintyvät, nopeasti ohi menevät sanallisten alluusioiden keskittymät. Näiden alluusiokeskittymien edessä kääntäjä on usein voimaton, ja Luhtanen onkin lähes aina jättänyt tällaiset alluusiokeskittymät kokonaan suomentamatta.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

It is now well known that in extreme quantum limit, dominated by the elastic impurity scattering and the concomitant quantum interference, the zero-temperature d.c. resistance of a strictly one-dimensional disordered system is non-additive and non-self-averaging. While these statistical fluctuations may persist in the case of a physically thin wire, they are implicitly and questionably ignored in higher dimensions. In this work, we have re-examined this question. Following an invariant imbedding formulation, we first derive a stochastic differential equation for the complex amplitude reflection coefficient and hence obtain a Fokker-Planck equation for the full probability distribution of resistance for a one-dimensional continuum with a Gaussian white-noise random potential. We then employ the Migdal-Kadanoff type bond moving procedure and derive the d-dimensional generalization of the above probability distribution, or rather the associated cumulant function –‘the free energy’. For d=3, our analysis shows that the dispersion dominates the mobilitly edge phenomena in that (i) a one-parameter B-function depending on the mean conductance only does not exist, (ii) an approximate treatment gives a diffusion-correction involving the second cumulant. It is, however, not clear whether the fluctuations can render the transition at the mobility edge ‘first-order’. We also report some analytical results for the case of the one dimensional system in the presence of a finite electric fiekl. We find a cross-over from the exponential to the power-low length dependence of resistance as the field increases from zero. Also, the distribution of resistance saturates asymptotically to a poissonian form. Most of our analytical results are supported by the recent numerical simulation work reported by some authors.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Domain-invariant representations are key to addressing the domain shift problem where the training and test exam- ples follow different distributions. Existing techniques that have attempted to match the distributions of the source and target domains typically compare these distributions in the original feature space. This space, however, may not be di- rectly suitable for such a comparison, since some of the fea- tures may have been distorted by the domain shift, or may be domain specific. In this paper, we introduce a Domain Invariant Projection approach: An unsupervised domain adaptation method that overcomes this issue by extracting the information that is invariant across the source and tar- get domains. More specifically, we learn a projection of the data to a low-dimensional latent space where the distance between the empirical distributions of the source and target examples is minimized. We demonstrate the effectiveness of our approach on the task of visual object recognition and show that it outperforms state-of-the-art methods on a stan- dard domain adaptation benchmark dataset

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper describes a vision-only system for place recognition in environments that are tra- versed at different times of day, when chang- ing conditions drastically affect visual appear- ance, and at different speeds, where places aren’t visited at a consistent linear rate. The ma- jor contribution is the removal of wheel-based odometry from the previously presented algo- rithm (SMART), allowing the technique to op- erate on any camera-based device; in our case a mobile phone. While we show that the di- rect application of visual odometry to our night- time datasets does not achieve a level of perfor- mance typically needed, the VO requirements of SMART are orthogonal to typical usage: firstly only the magnitude of the velocity is required, and secondly the calculated velocity signal only needs to be repeatable in any one part of the environment over day and night cycles, but not necessarily globally consistent. Our results show that the smoothing effect of motion constraints is highly beneficial for achieving a locally consis- tent, lighting-independent velocity estimate. We also show that the advantage of our patch-based technique used previously for frame recogni- tion, surprisingly, does not transfer to VO, where SIFT demonstrates equally good performance. Nevertheless, we present the SMART system us- ing only vision, which performs sequence-base place recognition in extreme low-light condi- tions where standard 6-DOF VO fails and that improves place recognition performance over odometry-less benchmarks, approaching that of wheel odometry.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The present study focuses on the translational strategies of Cocksfoot mottle virus (CfMV, genus Sobemovirus), which infects monocotyledonous plants. CfMV RNA lacks the 5'cap and the 3'poly(A) tail that ensure efficient translation of cellular messenger RNAs (mRNAs). Instead, CfMV RNA is covalently linked to a viral protein VPg (viral protein, genome-linked). This indicates that the viral untranslated regions (UTRs) must functionally compensate for the lack of the cap and poly(A) tail. We examined the efficacy of translation initiation in CfMV by comparing it to well-studied viral translational enhancers. Although insertion of the CfMV 5'UTR (CfMVe) into plant expression vectors improved gene expression in barley more than the other translational enhancers examined, studies at the RNA level showed that CfMVe alone or in combination with the CfMV 3'UTR did not provide the RNAs translational advantage. Mutation analysis revealed that translation initiation from CfMVe involved scanning. Interestingly, CfMVe also promoted translation initiation from an intercistronic position of dicistronic mRNAs in vitro. Furthermore, internal initiation occurred with similar efficacy in translation lysates that had reduced concentrations of eukaryotic initiation factor (eIF) 4E, suggesting that initiation was independent of the eIF4E. In contrast, reduced translation in the eIF4G-depleted lysates indicated that translation from internally positioned CfMVe was eIF4G-dependent. After successful translation initiation, leaky scanning brings the ribosomes to the second open reading frame (ORF). The CfMV polyprotein is produced from this and the following overlapping ORF via programmed -1 ribosomal frameshift (-1 PRF). Two signals in the mRNA at the beginning of the overlap program approximately every fifth ribosome to slip one nucleotide backwards and continue translation in the new -1 frame. This leads to the production of C-terminally extended polyprotein, which encodes the viral RNA-dependent RNA polymerase (RdRp). The -1 PRF event in CfMV was very efficient, even though it was programmed by a simple stem-loop structure instead of a pseudoknot, which is usually required for high -1 PRF frequencies. Interestingly, regions surrounding the -1 PRF signals improved the -1 PRF frequencies. Viral protein P27 inhibited the -1 PRF event in vivo, putatively by binding to the -1 PRF site. This suggested that P27 could regulate the occurrence of -1 PRF. Initiation of viral replication requires that viral proteins are released from the polyprotein. This is catalyzed by viral serine protease, which is also encoded from the polyprotein. N-terminal amino acid sequencing of CfMV VPg revealed that the junction of the protease and VPg was cleaved between glutamate (E) and asparagine (N) residues. This suggested that the processing sites used in CfMV differ from the glutamate and serine (S) or threonine (T) sites utilized in other sobemoviruses. However, further analysis revealed that the E/S and E/T sites may be used to cleave out some of the CfMV proteins.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Circulating tumor cells (CTCs) are the seeds for cancer metastases development, which is responsible for >90% of cancer-related deaths. Accurate quantification of CTCs in human fluids could be an invaluable tool for understanding cancer prognosis, delivering personalized medicine to prevent metastasis and finding cancer therapy effectiveness. Although CTCs were first discovered more than 200 years ago, until now it has been a nightmare for clinical practitioners to capture and diagnose CTCs in clinical settings. Our society needs rapid, sensitive, and reliable assays to identify the CTCs from blood in order to help save millions of lives. Due to the phenotypic EMT transition, CTCs are undetected for more than one-third of metastatic breast cancer patients in clinics. To tackle the above challenges, the first volume in “Circulating Tumor Cells (CTCs): Detection Methods, Health Impact and Emerging Clinical Challenges discusses recent developments of different technologies, which have the capability to target and elucidate the phenotype heterogenity of CTCS. It contains seven chapters written by world leaders in this area, covering basic science to possible device design which can have beneficial applications in society. This book is unique in its design and content, providing an in-depth analysis to elucidate biological mechanisms of cancer disease progression, CTC detection challenges, possible health effects and the latest research on evolving technologies which have the capability to tackle the above challenges. It describes the broad range of coverage on understanding CTCs biology from early predictors of the metastatic spread of cancer, new promising technology for CTC separation and detection in clinical environment and monitoring therapy efficacy via finding the heterogeneous nature of CTCs. (Imprint: Nova Biomedical)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper describes the application of vector spaces over Galois fields, for obtaining a formal description of a picture in the form of a very compact, non-redundant, unique syntactic code. Two different methods of encoding are described. Both these methods consist in identifying the given picture as a matrix (called picture matrix) over a finite field. In the first method, the eigenvalues and eigenvectors of this matrix are obtained. The eigenvector expansion theorem is then used to reconstruct the original matrix. If several of the eigenvalues happen to be zero this scheme results in a considerable compression. In the second method, the picture matrix is reduced to a primitive diagonal form (Hermite canonical form) by elementary row and column transformations. These sequences of elementary transformations constitute a unique and unambiguous syntactic code-called Hermite code—for reconstructing the picture from the primitive diagonal matrix. A good compression of the picture results, if the rank of the matrix is considerably lower than its order. An important aspect of this code is that it preserves the neighbourhood relations in the picture and the primitive remains invariant under translation, rotation, reflection, enlargement and replication. It is also possible to derive the codes for these transformed pictures from the Hermite code of the original picture by simple algebraic manipulation. This code will find extensive applications in picture compression, storage, retrieval, transmission and in designing pattern recognition and artificial intelligence systems.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Many educational researchers conducting studies in non-English speaking settings attempt to report on their project in English to boost their scholarly impact. It requires preparing and presenting translations of data collected from interviews and observations. This paper discusses the process and ethical considerations involved in this invisible methodological phase. The process includes activities prior to data analysis and to its presentation to be undertaken by the bilingual researcher as translator in order to convey participants’ original meanings as well as to establish and fulfil translation ethics. This paper offers strategies to address such issues; the most appropriate translation method for qualitative study; and approaches to address political issues when presenting such data.