Sökning: "formal register"

Visar resultat 6 - 10 av 25 avhandlingar innehållade orden formal register.

1. 6. Learning Component Behavior from Tests : Theory and Algorithms for Automata with Data

   Författare :Sofia Cassel; Bengt Jonsson; Frits Vaandrager; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : Formal models are often used to describe the behavior of a computer program or component. Behavioral models have many different usages, e.g., in model-based techniques for software development and verification,such as model checking and model based testing. LÄS MER

3. 7. "Anyone could do that" : Nordic perspectives on competence in tourism

   Författare :Kajsa G. Åberg; Dieter K. Müller; Roger Marjavaara; Doris Carson; Tim Coles; Umeå universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; tourism; education; workforce; competence; destination management; destination development; recruitment; Sweden; Finland; Norway; Social and Economic Geography; kulturgeografi;

   Sammanfattning : In academic reasoning, as well as policy rhethoric, much attention has been drawn to the low thresholds to employment and entrepreneurship in tourism. The purpose of this thesis is to go beyond the simplified images and examine the educational characteristics of the tourism workforce in a way that includes both a geographical and work task related aspect. LÄS MER

4. 8. Axial spondyloarthritis - with special emphasis on prevalence, perceived health and predictors

   Författare :Ulf Lindström; Göteborgs universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; axial spondyloarthritis; ankylosing spondylitis; epidemiology;

   Sammanfattning : The objectives of this thesis were to assess the validity of the diagnostic codes for ankylosing spondylitis and undifferentiated spondyloarthritis in the national patient register (study I), and to estimate the prevalence of ankylosing spondylitis in Sweden, as well as to compare the prevalence according to geographic and demographic factors (study II). Further, to compare inflammatory back pain, and perceived health, in different subtypes of spondyloarthritis (study III), and to investigate predictive associations between perinatal characteristics, and childhood infections, with later development of ankylosing spondylitis (study IV and V). LÄS MER

5. 9. Aktivering av socialbidragstagare - om stöd och kontroll i socialtjänsten

   Författare :Jenny Nybom; Tommy Lundström; Bo Vinnerljung; Tapio Salonen; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; activation; workfare; welfare-to-work; sanctions; social assistance; social services; welfare; socialtjänst; socialbidrag; ekonomiskt bistånd; försörjningsstöd; aktivering; arbetslinjen; sanktioner; tvång; bedömningar; utfall; uppföljning; Social Work; socialt arbete;

   Sammanfattning : The aim of this thesis is to examine activation, including support and control, among different groups of social assistance (SA) recipients. Assessments and activation related decisions during one year are analysed for 372 social randomly selected assistance claimants from four municipalities. LÄS MER

7. 10. Where the Wind Blows : the socio-political geography of wind power development in Finland, Norway and Sweden

   Författare :Johanna Liljenfeldt; Örjan Pettersson; Kerstin Westin; Olof Stjernström; Peter Schmitt; Umeå universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; wind power; planning; land use; participation; power relations; energy justice; mixed methods; Finland; Norway; Sweden; Social and Economic Geography; kulturgeografi;

   Sammanfattning : This thesis analysis the planning process for large-scale wind power development in Finland, Norway and Sweden. The aim is to explore the emerging power relations and socio-economic dynamics of the negotiation, planning and realization of this new development. LÄS MER