Search for dissertations about: "formal"

Showing result 11 - 15 of 1256 swedish dissertations containing the word formal.

  2. 11. Formal System for Reasoning about Knowledge

    Author : Oliver Popov; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Epistemology; belief; formal system; intelligent agents; Computer science; Datavetenskap;

    Abstract : .... READ MORE

  4. 12. Formal Female Mentoring Relationship as Health Promotion

    Author : Madelene Larsson; Therése Skoog; Camilla Pettersson; Charli Eriksson; Ann Öhman; Örebro universitet; []
    Keywords : MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Health Promotion; formal mentoring; intervention; young women; female mentors; motivation; organizational context; non-governmental organization; relational-cultural theory; seöf-determination theory; Public health; Folkhälsovetenskap;

    Abstract : The transition from adolescence to adulthood can bring with it mental health problems, resulting in reduced mental well-being among young women and an increasing public health issue. Perceived mental health problems can be a major obstacle to personal development and opportunities for becoming established in society. READ MORE

  5. 13. Learning physiotherapy : the impact of formal education and professional experience

    Author : Madeleine Abrandt Dahlgren; Linköpings universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Physiotherapy; problem-based learning; formal education; professional experience; discourse; basic concepts; qualitative analysis; phenomenography; conceptions; contextual analysis;

    Abstract : The aim is to describe and analyse physiotherapeutic learning through formal education and professional experience. The investigation focuses on the students' ways of experiencing the concepts of Health, Movement, Function and Interaction. READ MORE

  6. 14. Privacy Policies for Social Networks - A Formal Approach

    Author : Raul Pardo Jimenez; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; privacy; formal methods; online social networks; epistemic logic;

    Abstract : Online Social Networks (OSNs) are ubiquitous, with more than 70% of Internet users being part of them. The pervasive nature of OSNs brings many threats and challenges, privacy being one of them. Very often the available privacy protection mechanisms in OSNs do not meet users requirements. READ MORE

  7. 15. A Formal Approach for Designing Distributed Self-Adaptive Systems

    Author : Didac Gil de la Iglesia; Danny Weyns; Marcelo Milrad; Jesper Andersson; Luciano Baresi; Linnéuniversitetet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Self-Adaptive systems; Formal Methods; MAPE-K; Robustness; Openness; Mobile Learning; Computer Science; Datavetenskap; Media Technology; Medieteknik;

    Abstract : Engineering contemporary distributed software applications is a challenging task due to the dynamic operating conditions in which these systems have to function. Examples are dynamic availability of resources, errors that are difficult to predict, and changing user requirements. READ MORE