Selaus nimekkeen mukaan kokoelmassa Väitöskirjoja
Viitteet 785-804 / 1070
-
Rigorous development of safety-critical systems
TUCS Dissertations : 193 (Turku Centre for Computer Science (TUCS), 05.03.2015)Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well ... -
Rikssvenska metodistpredikanters betydelse för metodistkyrkans framväxt och utveckling i Finland 1880-1923
(Åbo Akademis förlag - Åbo Akademi University Press, 02.05.2005) -
Risk factors for hoarseness and vocal symptoms in children
(Åbo Akademi - Åbo Akademi University, 14.09.2018)The importance of a well-functioning voice is increasing for the working population as more and more persons are working in voice demanding professions. Most of the children growing up today will depend on their voice to ... -
Role and regulatory mechanisms of heat shock factor 2
(Åbo Akademi - Åbo Akademi University, 04.11.2011)Protein homeostasis is essential for cells to prosper and survive. Various forms of stress, such as elevated temperatures, oxidative stress, heavy metals or bacterial infections cause protein damage, which might lead to ... -
Role of the canonical transient receptor potential channel 2 (TRPC2) in thyroid cell function
(Åbo Akademi - Åbo Akademi University, 08.02.2013)- -
Roles of keratins in intestinal health and disease
(Åbo Akademi - Åbo Akademi University, 27.11.2015)Intermediate filament keratins (K) play a pivotal role in protein targeting and epithelialcytoprotection from stress as evidenced by keratin mutations predisposing to human liver and skin diseases and possibly inflammatory ... -
Roll-to-roll processing of nanocellulose into coatings
(Åbo Akademi - Åbo Akademi University, 15.02.2018)Paper and paperboard consumption is growing worldwide. However, the demand for traditional graphic paper grades is dwindling in mature markets, e.g. Europe, due to an increasing influence of the electronic media. For a ... -
Rumbasta rampaan : vammaisen naistanssijan ruumiillisuus pyörätuolitanssissa
(Åbo Akademis förlag - Åbo Akademi University Press, 06.06.2003) -
Rummet i vårdandets värld
(Åbo Akademis förlag - Åbo Akademi University Press, 23.04.2005)This study is made in the context of basic research within the field ofcaring science. The aim is to make a theoretical and ontological investigation of what the space is in the world of caring. The basic proposition is ... -
Rädsla inför förlossningen - ett uppenbart kliniskt problem? : konstruktionen av förlossningsrädsla som medicinsk kategori
(Åbo Akademis förlag - Åbo Akademi University Press, 03.04.2009) -
Rörelse som värde, mening och känsla : mot en humanvetenskaplig idealmodell för fysioterapi
(Åbo Akademi - Åbo Akademi University, 09.12.2016)The research interest is based on a need for knowledge development related to the substantial gap between movement as a scientific concept and the practice concept of movement in physiotherapy (PT). The aim is to deepen ... -
Röster från kriget : en etnologisk studie av brevdialoger mellan frontsoldater och deras familjer 1941–1944
(Åbo Akademis förlag - Åbo Akademi University Press, 28.02.2014) -
Savnets tone i ensomhetens melodi : ensomhet hos aleneboende personer med alvorlig psykisk lidelse
(Åbo Akademis förlag - Åbo Akademi University Press, 20.03.2004)Studiens overordnede hensikt er å bestemme begrepet ensomhet i et vårdvitenskapelig perspektiv. Avhandlingen er en monografisk eksplorativ hermeneutisk studie og oppbygget i fire større helheter, der første hoveddel starter ... -
Scaffolding writing : four children explore written language with auditory feedback from speech synthesis
(Åbo Akademis förlag - Åbo Akademi University Press, 31.01.2020)This is a study about a teaching project in which children wrote texts on a computer with a digital aid, auditory feedback from speech synthesis. The study is a multiple case study with four cases, and the aim to increase ... -
Scalable algorithms for height field illumination
TUCS Dissertations : 173 (Turku Centre for Computer Science (TUCS), 11.04.2014)Global illumination algorithms are at the center of realistic image synthesis and account for non-trivial light transport and occlusion within scenes, such as indirect illumination, ambient occlusion, and environment ... -
Scalable Multicore Computing Using Dataflow and Task‐based Models
(Åbo Akademi University, 26.11.2021)Most of modern digital electronic devices and systems rely nowadays on multicore processors, in order to deliver a growing list of added‐value features and services. In this way multicore architectures have been able to ... -
Scaling up stepwise feature introduction to construction of large software systems
TUCS Dissertations : 161 (Turku Centre for Computer Science (TUCS), 22.08.2013)Developing software is a difficult and error-prone activity. Furthermore, the complexity of modern computer applications is significant. Hence,an organised approach to software construction is crucial. Stepwise Feature ... -
Schamantropologi i gränslandet mellan forskning och praktik : en studie av förhållandet mellan schamanismforskning och neoschamanism
(Åbo Akademis förlag - Åbo Akademi University Press, 19.09.2003) -
Scheduling dynamic dataflow graphs with model checking
TUCS Dissertations : 181 (Turku Centre for Computer Science (TUCS), 15.08.2014)With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel ... -
Scheduling of guarded command based models
TUCS Dissertations : 152 (Turku Centre for Computer Science (TUCS), 10.12.2012)Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded ...