Search results for "tomaatti"

Syntactic complexity in Finnish-background EFL learners’ writing at CEFR levels A1–B2

2022

Eurooppalaisen viitekehyksen (EVK) merkitys kielikoulutukselle on lisännyt tutkimusta sen taitotasojen kielellisistä piirteistä; tarkempi tieto näistä piirteistä auttaisi EVK:n soveltamista opetusmateriaalien, kurssien ja arviointin laatimiseen. Tutkimuksessa selvitettiin eroavatko EVK:n tasot toisistaan syntaksin kompleksisuuden perusteella. Suomalaiset 14- ja 17-vuotiaat englannin oppijat (N=379) kirjoittivat kolme kirjoitelmaa, jotka arvioitiin EVK:n taitotasoille. Arviointiaineisto tutkittiin monitahoisella Rasch-analyysillä ja tekstien piirteet selvitettiin automaattisilla analyysiohjelmilla. Tuloksien perusteella alimpia EVK-tasoja (A1–A2) erotti selvimmin toisistaan lauseiden ja T-yk…

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

2020

AbstractIn model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many applications over the past 31 years. One of the early works on stubborn sets shows that a combination of several conditions on the reduction is sufficient to preserve stutter-trace equivalence, making stubborn sets suitable for model checking of linear-time properties. In this paper, we identify a flaw in the reasoning and show with a counter-example that stutter-trace equivalence is not necessarily preserved. We propose a solution together with an updated correctness proof. Furthermore, we analyse in whi…

Calibration of in situ chlorophyll fluorometers for organic matter

2019

AbstractOrganic matter (OM) other than living phytoplankton is known to affect fluorometric in situ assessments of chlorophyll in lakes. For this reason, calibrating fluorometric measurements for OM error is important. In this study, chlorophyll (Chl) fluorescence was measured in situ in multiple Finnish lakes using two sondes equipped with Chl fluorometers (ex.470/em.650–700 nm). OM absorbance (A420) was measured from water samples, and one of the two sondes was also equipped with in situ fluorometer for OM (ex.350/em.430 nm). The sonde with Chl and OM fluorometers was also deployed continuously on an automated water quality monitoring station on Lake Konnevesi. For data from multiple lake…

Web-sovellusten testaaminen Selenium-testaustyökalun avulla

2016

Eräs tapa testata web-sovelluksia on automaattinen testaus, jota tässä tutkielmassa tarkastellaan. Testaaminen on web-sovelluksen elinkaaressa tärkeä osa, sillä websovelluksilta vaaditaan nykyään paljon niin käytettävyyden, turvallisuuden kuin tehokkuudenkin osalta. Tutkielmassa käydään läpi automaattisen testauksen perusperiaatteita ja esitellään web-sovellusten automaattiseen testaukseen käytettävää työkalua nimeltä Selenium. Selenium rakentuu useasta eri komponentista ja tämä tutkielma perehtyy erityisesti näistä kahteen: Selenium IDE-ohjelmointiympäristöön sekä WebDriver-rajapintaan. One way to test web applications is automated testing which this thesis examines. Software testing is an…

The formal method known as B and a sketch for its implementation

2002

Graafisen käyttöliittymän automaattinen testaus

2012

Tässä kandidaatintutkielmassa tutkitaan graafisten käyttöliittymien automaattista testaamista. Pyritään selvittämään, mitä työkaluja tähän on tarjolla ja miten niiden käyttäminen eroaa toisistaan, sekä mitä elementtejä käyttöliittymästä näillä voidaan testata.

Tekstin automaattisesta tiivistämisestä

2018

Kun brändistä tulee media : miksi brändijournalismia kulutetaan ja kuinka sen sisällöt koetaan?

2015

Perinteisen mainonnan menettäessä tehoaan organisaatiot ovat keskittyneet omaan sisällöntuotantoonsa, ja monet brändit ovat muuttuneet mediasisältöjen tuottajiksi ja julkaisijoiksi. Nämä brändijournalismin kaltaiset mainonnan uudet muodot ja journalistiset brändisisällöt ovat puhututtaneet journalismin, viestinnän ja markkinoinnin ammattilaisia, mutta ala vaatii tutkimustietoa toiminnan tueksi. Tämän tutkimuksen tavoitteena oli luoda ymmärrystä brändijournalismin ilmiöstä kuluttajan näkökulmasta selvittämällä, mihin tarpeisiin sisältöjä kulutetaan, miten sisällöt koetaan ja mitkä tekijät vaikuttavat sisältöjen kokemiseen ja niihin suhtautumiseen. Tavoittee…

Preconditioning of the generalist herbivore Trialeurodes vaporariorum to greenhouse monocultures and its subsequent performance on wild polycultures

2016

Generalist herbivores can face many challenges when choosing their host plant. This can be particularly difficult if their choice and performance are affected by host experience. Greenhouse whitefly, Trialeurodes vaporariorum Westwood (Hemiptera: Aleyrodidae), is an invasive generalist herbivore, which has established in year-round greenhouses at northern latitudes where it cannot overwinter outdoors. It mainly uses crops such as cucumber (Cucumis sativus L.), tomato (Solanum lycopersicum L.), and ornamentals as host plants. However, every summer the insect escapes greenhouses and is exposed to natural vegetation. We evaluated the performance of T. vaporariorum on diverse vegetation outside…

Assessment of Cybersecurity Risks: Maritime Automated Piloting Process

2022

A modern society is a combination of several critical infrastructures, of which international and national maritime transportation systems are essential parts. Digitalization makes it possible to increase levels of autonomy in maritime systems. It also means fully existing cyberenvironments in maritime processes. In cyberenvironments, it is crucial there is trustable information communication between system elements of the process, alongside the usability, reliability, and integrity of systems data in the operating environment. In order to develop maritime autonomy in Finland the Sea4Value / Fairway (S4VF) research program has been developed. At the first stage of the program, the main goal…