Oliokielten välikielten optimointi

Javan myötä ohjelmointikielten kääntämisprosessiin on uudelleen esitelty erityisen käsittelyn kohteeksi kelpaava välikieli, tavukoodi. Tavallisesti Java-ohjelmaa suoritettaessa erityinen virtuaalikone lataa tavukoodimuotoisen ohjelman esityksen, jota suoritetaan joko tulkkaamalla tai suoritusaikaisesti suoritusalustan ymmärtämälle kielelle kääntäen. Tässä tutkielmassa tutkitaan välikielen tasolla tapahtuvia optimointimahdollisuuksia. Oliokielten dynaamisen luonteen vuoksi puhtaasti staattinen optimointi on vaikeaa ja siksi usein hedelmätöntä. Tutkielman yhteydessä kuitenkin tunnistettiin mobiiliohjelmointiin soveltuva suljetun maailman oletus, jonka puitteissa tavukoodin tasolla voidaan ohjelmaa parannella turvallisesti. Esimerkkinä tutkielmassa toteutetaan ylimääräisiä rajapintaluokkia poistava optimointi. Koska optimointialgoritmit ovat usein monimutkaisia ja vaikeaselkoisia, tutkitaan työssä myös mahdollisuuksia niiden yksinkertaisempaan esittämiseen. Alunperin Javalla toteutetun luokkahierarkiaa uudelleenjärjestelevän algoritmin esiehtojen tarkastus onnistutaan kuvaamaan ensimmäisen kertaluokan logiikan kaavalla, jolloin esiehtojen tarkastus onnistuu tutkielman puitteissa toteutetulla logiikkakoneella. Logiikkakoneelle kuvataan logiikkakaavojen propositiot Javalla, mutta propositioiden yhdistely tapahtuu ja-konnektiiveja käyttävällä logiikkakielellä. Suorituskyvyltään logiikkakone on joissain tapauksissa Java-toteutusta nopeampi.

An XML Messaging Service for Mobile Devices

In recent years, XML has been accepted as the format of messages for several applications. Prominent examples include SOAP for Web services, XMPP for instant messaging, and RSS and Atom for content syndication. This XML usage is understandable, as the format itself is a well-accepted standard for structured data, and it has excellent support for many popular programming languages, so inventing an application-specific format no longer seems worth the effort. Simultaneously with this XML's rise to prominence there has been an upsurge in the number and capabilities of various mobile devices. These devices are connected through various wireless technologies to larger networks, and a goal of current research is to integrate them seamlessly into these networks. These two developments seem to be at odds with each other. XML as a fully text-based format takes up more processing power and network bandwidth than binary formats would, whereas the battery-powered nature of mobile devices dictates that energy, both in processing and transmitting, be utilized efficiently. This thesis presents the work we have performed to reconcile these two worlds. We present a message transfer service that we have developed to address what we have identified as the three key issues: XML processing at the application level, a more efficient XML serialization format, and the protocol used to transfer messages. Our presentation includes both a high-level architectural view of the whole message transfer service, as well as detailed descriptions of the three new components. These components consist of an API, and an associated data model, for XML processing designed for messaging applications, a binary serialization format for the data model of the API, and a message transfer protocol providing two-way messaging capability with support for client mobility. We also present relevant performance measurements for the service and its components. As a result of this work, we do not consider XML to be inherently incompatible with mobile devices. As the fixed networking world moves toward XML for interoperable data representation, so should the wireless world also do to provide a better-integrated networking infrastructure. However, the problems that XML adoption has touch all of the higher layers of application programming, so instead of concentrating simply on the serialization format we conclude that improvements need to be made in an integrated fashion in all of these layers.

Sangen ialo Rucous : Schwenckfeldiläisten rukouskirja Mikael Agricolan lähteenä

Sangen ialo Rucous. The prayer book of the Schwenckfeldiens as a source for Michael Agricola The significance of the prayer book published by the Finnish reformer Michael Agricola in the year of 1544 has not been comprehended enough among the prayer literature of the Reformation century. Especially in foreign research literature one of the era s most extensive and versatile prayer books has been practically disregarded. According to the prayer book, Agricola appears to be a traditionalist, who derives most of his source material from medieval and old church prayer books. The low number of the prayers from Evangelical prayer books is noteworthy. The study in hand examines Agricola s theology expressed in his translation work of the prayer book of the mystic spiritualistic Schwenckfeldien movement. The prayer book of the Schwenckdeldiens diverged from Lutheranism was called Bekantnus der sünden and it was composed around the year of 1526. Agricola is the only prayer book collector who has regarded it as necessary to add all the 45 prayers of the Schwenckfeldien prayer book and its introduction to his book. In the prayers containing the Schwenckfeldien communion theology and Christology Agricola has not changed the content of the text, apparently because he was not aware of the problems involved in the Schwenckfeldien theology. On a few occasions Agricola added points of view concerning the church, priesthood, preaching the Word and sacraments to his prayers, which the Schwenckfeldiens despised. From the ten additions four Agricola created himself, the rest he borrowed from Wolfgang Capito s prayer book. As a source Agricola used Capito s Latin prayer book together with the German text from Bekantnus. When looking at the studied material, Agricola does not turn out to be a creative translator. Even though he had a model for a less restricted translation in Wolfgang Capito s prayer book, he sticks to his habit of translating word by word. Because not even a good example has had a liberating effect on his translation principles, Agricola cannot be considered a theologically orientated writer. The translation of the Schwenckfeldien prayers Agricola starts with Capito s prayer book. Very soon he takes the Bekantnus alongside Capito s text and abandons the use of Capito s prayer book in the middle of the translation process. Comparing Agricola s translation with the two texts in different languages has made it possible to create the disposition theory described above. On the basis of the disposition theory it can be concluded that Agricola first worked out a precise plan for his prayer book. Then he translated prayers theme by theme using multiple sources at the same time. Later Agricola fixed the disposition, which does not seem to have a direct paragon. From the prayers of the Schwenckfeldien prayer book Agricola translated 26 texts using the Bekantnus as an only base, from Capito s prayer book he translated four texts and 17 texts he translated using the two basic texts simultaneously. In the previous studies, words and texts added by Agricola have been examined as one problem unit. In this study the additions have been placed into three different categories: additions consequential on tautological parataxis, specifying additions and additions significant to the content. Due to Agricola s meticulous translation techniques, there are so few additions. Agricola does not show his own creativity even in the additions significant to the content but uses there some complete sentences or word fragments from the other prayers he has translated. In the translations of the prayers there are some unique appearing words and the analysis of the translation work shed a new light on the background of their first literary appearance in Finnish. Agricola s linguistic abilities turned out to be great. In those prayers where Agricola uses both the German and Latin basic texts at the same time, the translation process is a very intensive twine made on the basis of the two sources.

Eru Ilúvatar : Jumala J.R.R. Tolkienin legendariumissa

The purpose of my research is to inquire into the essence and activity of God in the legendarium of the English philologist and writer J.R.R. Tolkien (1892-1973). The legendarium, composed of Tolkien’s writings related to Middle-earth, was begun when he created two Elvish languages, Quenya based on Finnish, Sindarin based on Welsh. Tolkien developed his mythology inspired by Germanic myths and The Kalevala. It is a fictional ancient history set in our world. The legendarium is monotheistic: God is called Eru ‘The One’ and Ilúvatar ‘Father of All’. Eru is the same as the Christian God, for Tolkien wanted to keep his tales consistent with his faith. He said his works were Christian by nature, with the religious element absorbed into the story and the symbolism. In The Silmarillion, set in the primeval ages of Middle-earth, the theological aspects are more conspicuous, while in The Lord of the Rings, which brings the stories to an end, they are mostly limited to symbolic references. The legendarium is unified by its realistic outlook on creaturely abilities and hope expressing itself as humbly defiant resistance. ”The possibility of complexity or of distinctions in the nature of Eru” is a part of the legendarium. Eru Ilúvatar is Trinitarian, as per Tolkien’s faith. Without contextual qualifiers, Eru seems to refer to God the Father, like God in the Bible. Being the creator who dwells outside the world is attributed to Him. The Holy Spirit is the only Person of the Trinity bestown with names: the Flame Imperishable and the Secret Fire. When Eru creates the material world with His word, He sends the Flame Imperishable to burn at the heart of the world. The Secret Fire signifies the Creative Power that belongs to God alone, and is a part of Him. The Son, the Word, is not directly mentioned, but according to one writing Eru must step inside the world in order to save it from corruption, yet remain outside it at the same time. The inner structure of the legendarium refers to the need for a future salvation. The creative word of Eru, “Eä! Let these things Be!”, probably has a connection with the Logos in Christianity. Thus we can find three “distinctions” in Eru: a Creator who dwells outside the world, a Sustainer who dwells inside it and a Redeemer who shall step inside it. Some studies of Tolkien have claimed that Eru is distant and remote. This seems to hold water only partially. Ilúvatar, the Father of All, has a special relation with the Eruhíni, His Children, the immortal Elves and the mortal Men. He communicates with them directly only through the Valar, who resemble archangels. Nevertheless, only the Children of Eru can fight against evil, because their tragic fortunes turn evil into good. Even though religious activities are scarce among them, the fundamental faith and ultimate hope of the “Free Peoples” is directed towards Eru. He is present in the drama of history as the “Author of the Story”, who at times also interferes with its course through catastrophes and eucatastrophes, ‘good catastrophes’. Eru brings about a catastrophe when evil would otherwise bring good to an end, and He brings about a eucatasrophe when creaturely strength is not sufficent for victory. Victory over corruption is especially connected with mortal Men, of whom the most (or least) insignificant people are the Hobbits. However, because of the “primeval disaster” (that is, fall) of Mankind, ultimate salvation can only remain open, a hope for the far future.

Low Complexity LID using Pruned Pattern Tables of LZW

We present two discriminative language modelling techniques for Lempel-Ziv-Welch (LZW) based LID system. The previous approach to LID using LZW algorithm was to directly use the LZW pattern tables forlanguage modelling. But, since the patterns in a language pattern table are shared by other language pattern tables, confusability prevailed in the LID task. For overcoming this, we present two pruning techniques (i) Language Specific (LS-LZW)-in which patterns common to more than one pattern table are removed. (ii) Length-Frequency product based (LF-LZW)-in which patterns having their length-frequency product below a threshold are removed. These approaches reduce the classification score (Compression Ratio [LZW-CR] or the weighted discriminant score [LZW-WDS]) for non native languages and increases the LID performance considerably. Also the memory and computational requirements of these techniques are much less compared to basic LZW techniques.

Complimentary collaborations: Teachers and researchers co-developing best practices in art education

Australia is currently experiencing a huge cultural shift as it moves from a State-based curriculum, to a national education system. The Australian State-based bodies that currently manage teacher registration, teacher education course accreditation, curriculum frameworks and syllabi are often complex organisations that hold conflicting ideologies about education and teaching. The development of a centralised system, complete with a single accreditation body and a national curriculum can be seen as a reaction to this complexity. At the time of writing, the Australian Curriculum is being rolled out in staggered phases across the states and territories of Australia. Phase one has been implemented, introducing English, Mathematics, History and Science. Subsequent phases (Humanities and Social Sciences, the Arts, Technologies, Health and Physical Education, Languages, and year 9-10 work studies) are intended to follow. Forcing an educational shift of this magnitude is no simple task; not least because the States and Territories have and continue to demonstrate varying levels of resistance to winding down their own curricula in favour of new content with its unfamiliar expectations and organisations. The full implementation process is currently far from over, and far from being fully resolved. The Federal Government has initiated a number of strategies to progress the implementation, such as the development of the Australian Institute for Teaching and School Leadership (AITSL) to aid professional educators to implement the new curriculum. AITSL worked with professional and peak specialist bodies to develop Illustrations of Practice (hereafter IoP) for teachers to access and utilise. This paper tells of the building of one IoP, where a graduate teacher and a university lecturer collaborated to construct ideas and strategies to deliver visual arts lessons to early childhood students in a low Socio- Economic Status [SES] regional setting and discusses the experience in terms of its potential for professional learning in art education.

On the expressive power of behavioral profiles

Behavioral profiles have been proposed as a behavioral abstraction of dynamic systems, specifically in the context of business process modeling. A behavioral profile can be seen as a complete graph over a set of task labels, where each edge is annotated with one relation from a given set of binary behavioral relations. Since their introduction, behavioral profiles were argued to provide a convenient way for comparing pairs of process models with respect to their behavior or computing behavioral similarity between process models. Still, as of today, there is little understanding of the expressive power of behavioral profiles. Via counter-examples, several authors have shown that behavioral profiles over various sets of behavioral relations cannot distinguish certain systems up to trace equivalence, even for restricted classes of systems represented as safe workflow nets. This paper studies the expressive power of behavioral profiles from two angles. Firstly, the paper investigates the expressive power of behavioral profiles and systems captured as acyclic workflow nets. It is shown that for unlabeled acyclic workflow net systems, behavioral profiles over a simple set of behavioral relations are expressive up to configuration equivalence. When systems are labeled, this result does not hold for any of several previously proposed sets of behavioral relations. Secondly, the paper compares the expressive power of behavioral profiles and regular languages. It is shown that for any set of behavioral relations, behavioral profiles are strictly less expressive than regular languages, entailing that behavioral profiles cannot be used to decide trace equivalence of finite automata and thus Petri nets.

Dressing up Tinderella: Interrogating authenticity claims on the mobile dating app Tinder

Mobile dating applications (‘apps’) have increased in popularity over recent years, with Tinder among the first to break into the mainstream heterosexual market. Since mobile dating intensifies the need to confirm that potential dates are not misrepresenting themselves and are safe to meet in person, Tinder’s success indicates that it has allayed these concerns regarding the authenticity of its users. This article combines Giddens’ conceptualization of authenticity, as the ability to reference a coherent biographical narrative, with Callon’s sociology of translation to investigate Tinder’s framing of authenticity within mobile dating. Applying a walkthrough method that interrogates Tinder’s technological architecture, promotional materials, and related media, this hybrid theoretical framework is used to identify how Tinder configures an actor-network that establishes its app as the solution to users’ concerns, enrols individuals in using its features in authenticity claims, and popularizes Tinder’s framing across public discourse. This network of human and non-human actors frames authenticity as being established through one’s Facebook profile and adherence to normative standards relating to age, gender, ethnicity, and socioeconomic status. However, user discourses on other social media identify and challenge negative outcomes of this framing, with normativity fostering discrimination and Facebook verification failing to prevent abusive behavior. This case study of Tinder paves the way for future investigation into user responses to its framing. Further, it demonstrates the efficacy and broader applicability of this theoretical approach for identifying both human and technological influences on the construction of authenticity with digital media.

Automata and logics over finitely varying functions

We extend some of the classical connections between automata and logic due to Büchi (1960) [5] and McNaughton and Papert (1971) [12] to languages of finitely varying functions or “signals”. In particular, we introduce a natural class of automata for generating finitely varying functions called View the MathML source’s, and show that it coincides in terms of language definability with a natural monadic second-order logic interpreted over finitely varying functions Rabinovich (2002) [15]. We also identify a “counter-free” subclass of View the MathML source’s which characterise the first-order definable languages of finitely varying functions. Our proofs mainly factor through the classical results for word languages. These results have applications in automata characterisations for continuously interpreted real-time logics like Metric Temporal Logic (MTL) Chevalier et al. (2006, 2007) [6] and [7].

Dark Mess

In a world consumed by quests for happiness and personal growth, Grant Stevens’ new exhibition, Dark Mess, delves into the psychic troubles that sometimes lie below the canopy. Working predominantly with video, photography and installation, Stevens’ practice explores how the verbal and non-verbal languages of popular screen culture interface with contemporary subjectivity. This exhibition continues Stevens’ interest in the natural environment as a catalyst and proxy for introspection and self-discovery. Pushing sound and image to distortion, Dark Mess offers a disquieting journey through the undergrowth.

Developing and testing readability measurements for second language learners

This research constructed a readability measurement for French speakers who view English as a second language. It identified the true cognates, which are the similar words from these two languages, as an indicator of the difficulty of an English text for French people. A multilingual lexical resource is used to detect true cognates in text, and Statistical Language Modelling to predict the predict the readability level. The proposed enhanced statistical language model is making a step in the right direction by improving the accuracy of readability predictions for French speakers by up to 10% compared to state of the art approaches. The outcome of this study could accelerate the learning process for French speakers who are studying English. More importantly, this study also benefits the readability estimation research community, presenting an approach and evaluation at sentence level as well as innovating with the use of cognates as a new text feature.

Instagrammatics and digital methods: Studying visual social media, from selfies and GIFs to memes and emoji

Visual content is a critical component of everyday social media, on platforms explicitly framed around the visual (Instagram and Vine), on those offering a mix of text and images in myriad forms (Facebook, Twitter, and Tumblr), and in apps and profiles where visual presentation and provision of information are important considerations. However, despite being so prominent in forms such as selfies, looping media, infographics, memes, online videos, and more, sociocultural research into the visual as a central component of online communication has lagged behind the analysis of popular, predominantly text-driven social media. This paper underlines the increasing importance of visual elements to digital, social, and mobile media within everyday life, addressing the significant research gap in methods for tracking, analysing, and understanding visual social media as both image-based and intertextual content. In this paper, we build on our previous methodological considerations of Instagram in isolation to examine further questions, challenges, and benefits of studying visual social media more broadly, including methodological and ethical considerations. Our discussion is intended as a rallying cry and provocation for further research into visual (and textual and mixed) social media content, practices, and cultures, mindful of both the specificities of each form, but also, and importantly, the ongoing dialogues and interrelations between them as communication forms.

Growing Up Vietnamese in Finland - Looking Back 12 Years Later : The Well-Being and Sociocultural Adaptation of Vietnamese as Children or Adolescents and as Young Adults

Varttuminen vietnamilaisena Suomessa: 12 vuoden seurantajakso – Vietnamilaisten hyvinvointi ja sosiokulttuurinen sopeutuminen lapsena/nuorena sekä nuorena aikuisena Tämä tutkimus oli määrällinen pitkittäistutkimus lapsena tai nuorena vuosina 1979-1991 Suomeen saapuneiden vietnamilaisten akkulturaatiosta (kulttuurin muutoksista), psyykkisestä hyvinvoinnista ja sosiokulttuurisesta sopeutumisesta. Tutkimukseen osallistui ensimmäisessä vaiheessa (vuonna 1992) 97 satunnaisesti valittua vietnamilaista peruskoululaista ympäri maata, joita verrattin suomalaisiin luokkatovereihin. Seurantavaiheeseen (vuonna 2004) osallistui 59 ensimmäisessä vaiheessa mukana ollutta vietnamilaista, nyt iältään 20 – 31 -vuotiaita. Tutkimuksen tavoitteena oli selvittää mitkä tekijät ennustivat akkulturaation lopputuloksia, samalla huomioiden iän ja ympäristön (kontekstin) vaikutukset psyykkiseen hyvinvointiin ja sosiokulttuuriseen sopeutumiseen. Yksittäiset akkulturaatiodimensiot (kieli, arvot ja identiteetti) osoittautuivat tärkeämmiksi psyykkiselle hyvinvoinnille ja sosiokulttuuriselle sopeutumiselle kuin etniset, kansalliset tai kaksikulttuuriset profiilit, joissa yhdistyivät ao. kieli, arvot ja identiteetti. Identiteettimuutosta tapahtui (etniseen) vietnamilaiseen suuntaan ajan kuluessa, kun taas arvomuutosta tapahtui (kansalliseen) suomalaiseen suuntaan. Sekä suomen että vietnamin kielen taito lisääntyivät ajan myötä, millä oli myönteisiä vaikutuksia sekä psyykkiseen hyvinvointiin että sosiokulttuuriseen sopeutumiseen. Lähtötilanteen psyykkinen hyvinvointi ennusti hyvinvointia (masennuksen puutetta ja itsetuntoa) aikuisena, mutta sosiokulttuurinen sopeutuminen (koulumenestys) lapsena tai nuorena ei ennustanut kouluttautumista aikuisena. Parempi suomen kielen taito ja vähemmän identifioitumista suomalaiseksi aikuisena sekä masentuneisuuden puute ja vähemmän koettua syrjintää lapsena tai nuorena erottelivat psyykkisesti paremmin voivat aikuiset (ei-masentuneet) heistä, jotka olivat masentuneita. Parempaa kouluttautumista aikuisena ennustivat toisaalta vähemmän koettua syrjintää lapsena tai nuorena ja toisaalta aikuisena parempi suomen kielen taito, suurempi kansallisten (suomalaisten) itsenäisyysarvojen kannattaminen, mutta kuitenkin vähemmän identifioitumista suomalaisiin. Koetun syrjinnän merkitys psyykkiselle hyvinvoinnille, erityisesti lapsena tai nuorena, sekä sen pitkäaikaisvaikutukset psyykkiselle hyvinvoinnille ja sosiokulttuuriselle sopeutumiselle aikuisena osoittavat tarpeen puuttua varhain psyykkisiin ongelmiin sekä parantaa etnisten ryhmien välisiä suhteita. Avainsanat: akkulturaatio, psyykkinen hyvinvointi, sosiokultuurinen sopeutuminen, kieli, arvot, identiteetti, vietnamilainen, Suomi, lapset, nuoret, nuoret aikuiset

Siperiaa sanoiksi - uralilaisuutta teoiksi : Kai Donner poliittisena organisaattorina sekä tiedemiehenä antropologian näkökulmasta

The doctoral dissertation, entitled Siperiaa sanoiksi - uralilaisuutta teoiksi. Kai Donner poliittisena organisaattorina sekä tiedemiehenä antropologian näkökulmasta clarifies the early history of anthropological fieldwork and research in Siberia. The object of research is Kai Donner (1888-1935), fieldworker, explorer and researcher of Finno-Ugric languages, who made two expeditions to Siberia during 1911-1913 and 1914. Donner studied in Cambridge in 1909 under the guidance of James Frazer, A. C. Haddon and W. H. R. Rivers - and with Bronislaw Malinowski. After finishing his expeditions, Donner organized the enlistment of Finnish university students to receive military training in Germany. He was exiled and participated in the struggle for Finnish independence. After that, he organized military offensives in Russia and participated in domestic politics and policy in cooperation with C. G. E. Mannerheim. He also wrote four ethnographic descriptions on Siberia and worked with the Scandinavian Arctic areas researchers and Polar explorers. The results of this analysis can be sum up as follows: In the history of ethnographic research in Finland, it is possible to find two types of fieldwork tradition. The first tradition started from M. A. Castrén's explorations and research and the second one from August Ahlqvist's. Donner can be included in the first group with Castrén and Sakari Pälsi, unlike other contemporary philologists, or cultural researcher colleagues, which used the method of August Ahlqvist. Donner's holistic, lively and participant-observation based way of work is articulated in his writings two years before Malinowski published his thesis about modern fieldwork. Unfortunately, Donner didn't get the change to continue his researche because of the civil war in Finland, and due to the dogmatic position of E. N. Setälä. Donner's main work - the ethnohistorical Siberia - encloses his political and anthropological visions about a common and threatened Uralic nation under the pressure of Russian. The important items of his expeditions can be found in the area of cultural ecology, nutritional anthropology and fieldwork methods. It is also possible to prove that in his short stories from Siberia, there can be found some psychological factors that correlate his early life history.