Search results for "Taus"
showing 10 items of 589 documents
Code Contracts ja ComTest-yksikkötestausgenerointi .NET-kielissä
2015
Opetuksen tehostamiseen suunnattu työkalu ComTest osaa luoda yksikkötestejä koodin kommentteihin kirjoitettujen ohjeiden perusteella. Sopimuspohjaisessa suunnittelussa olion metodeille asetetaan ehtoja, joiden on oltava voimassa ennen operaation suorittamista tai sen jälkeen. Tällaiset ehdot voidaan automaattisesti kirjoittaa osaksi koodin kommentteja. Code Contracts on laajennos .NET-kieliin, jonka avulla sopimuspohjainen suunnittelu saadaan osaksi sovelluskehitystä. Tutkimuksessa selvitetään, miten ComTest ja Code Contracts liittyvät toisiinsa. ComTest, a tool mainly directed to make teaching more efficient, is able to create Unit Tests based on directions written in the code comments. In…
Airborne-laser-scanning-derived auxiliary information discriminating between broadleaf and conifer trees improves the accuracy of models for predicti…
2020
Managing forests for ecosystem services and biodiversity requires accurate and spatially explicit forest inventory data. A major objective of forest management inventories is to estimate the standing timber volume for certain forest areas. In order to improve the efficiency of an inventory, field based sample-plots can be statistically combined with remote sensing data. Such models usually incorporate auxiliary variables derived from canopy height models. The inclusion of forest type variables, which quantify broadleaf and conifer volume proportions, has been shown to further improve model performance. Currently, the most common way of quantifying broadleaf and conifer forest types is by ca…
Cost-efficiency assessments of marine monitoring methods lack rigor—a systematic mapping of literature and an end-user view on optimal cost-efficienc…
2021
Global deterioration of marine ecosystems, together with increasing pressure to use them, has created a demand for new, more efficient and cost-efficient monitoring tools that enable assessing changes in the status of marine ecosystems. However, demonstrating the cost-efficiency of a monitoring method is not straightforward as there are no generally applicable guidelines. Our study provides a systematic literature mapping of methods and criteria that have been proposed or used since the year 2000 to evaluate the cost-efficiency of marine monitoring methods. We aimed to investigate these methods but discovered that examples of actual cost-efficiency assessments in literature were rare, contr…
Does education protect against depression? Evidence from the Young Finns Study using Mendelian randomization
2018
Using participants (N = 1733) drawn from the nationally representative longitudinal Young Finns Study (YFS) we estimate the effect of education on depressive symptoms. In 2007, when the participants were between 30 and 45 years old, they reported their depressive symptoms using a revised version of Beck's Depression Inventory. Education was measured using register information on the highest completed level of education in 2007, which was converted to years of education. To identify a causal relationship between education and depressive symptoms we use an instrumental variables approach (Mendelian randomization, MR) with a genetic risk score as an instrument for years of education. The genet…
Validity and reliability of the motivation for physical activity (RM4-FM) questionnaire
2021
There is a lack of validated instruments measuring motivation for physical activity (RM4-FM) in the Finnish language. The study examined the translated RM4-FM instrument’s psychometric properties in a sample of healthy, older Finnish adults. RM4-FM was translated and linguistically validated adhering to published guidelines. 65–75-year olds (n=102), completed the RM4-FM, the physical activity acceptance questionnaire (PAAQ) and sociodemographic characteristics questionnaires electronically. The RM4-FM was readministered one month after the initial assessment. RM4-FM translated well into Finnish. Motivation dimension scores were skewed towards high internal and low external motivation. A flo…
Progress Checking for Dummies
2018
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…
Modeling mass transfer in fracture flows with the time domain-random walk method
2019
The time domain-random walk method was developed further for simulating mass transfer in fracture flows together with matrix diffusion in surrounding porous media. Specifically, a time domain-random walk scheme was developed for numerically approximating solutions of the advection-diffusion equation when the diffusion coefficient exhibits significant spatial variation or even discontinuities. The proposed scheme relies on second-order accurate, central-difference approximations of the advective and diffusive fluxes. The scheme was verified by comparing simulated results against analytical solutions in flow configurations involving a rectangular channel connected on one side with a porous ma…
"Keskiluokkaistuva kansakoulunopettajisto" : Jyväskylän opettajaseminaarin opiskelijoiden kulttuurisosiaaliset taustat seminaariyhteisössä vuosina 19…
2016
Tässä tutkimuksessa selvitän Jyväskylän kansakouluopettajaseminaarin opiskelijoiden kulttuurisosiaalisia taustoja sekä niiden ilmentymistä seminaarin opetuksessa 1920- ja 1930-luvuilla. Kulttuurisosiaalisella taustalla tarkoitan opiskelijoiden sosioekonomista asemaa ennen seminaariin tuloa. Kulttuurisosiaalisen taustan muodostavat opiskelijan sosiaalinen tausta, taustakoulutus sekä se, miltä paikkakunnalta hän on kotoisin. Sosiaalisella taustalla tarkoitetaan tutkimuksessa opiskelijan perhetaustaan pohjautuvaa yhteiskunnallista sosiaalista statusta. Tutkimuksessa sukupuolella on tärkeä osa tarkastelunäkökulmassa, sillä seminaari oli jaettu nais- ja miesosastoon koko seminaarin toiminnan aja…
Soil moisture variations from boreal forests to the tundra
2023
Soil moisture has a profound influence on life on Earth, and this vital water resource varies across space and time. Here, we explored soil moisture variations in boreal forest and tundra environments, where comprehensive soil moisture datasets are scarce. We installed soil moisture sensors up to 14 cm depth at 503 measurement sites within seven study areas across northern Europe. We recorded 6,138,528 measurements to capture soil moisture variations of the snowless season from April to September 2020. We described the spatio-temporal patterns of soil moisture, and test how these patterns are linked to topography and how these links vary in space and time. We found large spatial variation a…
Translation and Validation of a Brief Health Literacy Instrument for School-Age Children in a Danish Context
2022
Low health literacy (HL) is associated with adverse health behaviors and poor health, and brief, high-quality instruments for measuring HL in children are scarce. The Health Literacy for School-Aged Children (HLSAC) instrument is a 10-item theory-based and internationally validated tool for measuring HL. The purpose of this study was to translate and validate the HLSAC instrument among Danish school-aged children. The instrument was translated into Danish by a standardized forward-backward translation process, and then pre-tested for face validity with 61 pupils from four schools. Thereafter, the instrument was tested among 805 pupils in grades 6 to 7 (age 11–14 years) from 15 schools. Whe…