Sökning: "Program"

Visar resultat 11 - 15 av 2654 avhandlingar innehållade ordet Program.

  1. 11. Hälsopromotion i skolan : utvärdering av DISA - ett program för att förebygga depressiva symtom hos ungdomar

    Författare :Pernilla Garmy; Agneta Berg; Eva Clausson; Ulf Jakobsson; Ingela Skärsäter; Högskolan Kristianstad; []
    Nyckelord :Adolescents; depressive symptoms; school-based program; prevention;

    Sammanfattning : Background: DISA (Depressive Symptoms In Swedish Adolescents) is a cognitive behavioral intervention aimed at preventing stress and depressive symptoms in adolescents. It is frequently used in Swedish schools for students aged 13-15 years. DISA is commonly offered to females, but at some schools, the intervention is also offered to males. LÄS MER

  3. 12. Parallelized Program Analysis

    Författare :Marcus Edvinsson; Welf Löwe; Uwe Aßmann; Linnéuniversitetet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer Science; Datavetenskap;

    Sammanfattning : This thesis presents a framework for parallelized program analysis. It uses available parallel processing power in standard desktop computers to speed up static program analysis.Today, processor chip manufacturers produce single processor chips containing multiple cores, each with a processing power of previous single-core processors. LÄS MER

  4. 13. The Paradoxes of Socio-Emotional Programmes in School : Young people’s perspectives and public health discourses

    Författare :Sofia Kvist Lindholm; Karin Zetterqvist Nelson; Karin Osvaldsson Cromdal; Vicky Coppock; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; socio-emotional programs; manual-based programs; mental health; social and emotional wellbeing; prevention; health promotion; children’s perspectives; interviews; participant observation; Socio-emotionella program; manualbaserade program; psykisk ohälsa; prevention; hälsopromotion; barns perspektiv; intervjuer; deltagande observation;

    Sammanfattning : Over the past decades socio-emotional programmes have been implemented in schools worldwide. Depression in Swedish Adolescents (DISA) and Social and Emotional Training (SET) are two socio-emotional programmes being practised in Swedish schools. LÄS MER

  5. 14. A program manipulation system based on partial evaluation

    Författare :Anders Haraldsson; Erik Sandewall; Mats Nordström; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; program manipulation; partial evaluation; program optimization; LISP; beta-expansion; macro-expansion; Computer science; Datavetenskap;

    Sammanfattning : Program manipulation is the task to perform transformations on program code, and is normally done in order to optimize the code with respect of the utilization of some computer resource. Partial evaluation is the task when partial computations can be performed in a program before it is actually executed. LÄS MER

  7. 15. Functional Program Correctness Through Types

    Författare :Nils Anders Danielsson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; well-typed syntax; normalisation by evaluation; program correctness; total languages; partial languages; lazy evaluation; time complexity; strong invariants; dependent types;

    Sammanfattning : This thesis addresses the problem of avoiding errors in functionalprograms. The thesis has three parts, discussing different aspects ofprogram correctness, with the unifying theme that types are anintegral part of the methods used to establish correctness. LÄS MER