Avancerad sökning

Visar resultat 1 - 5 av 132 uppsatser som matchar ovanstående sökkriterier.

  1. 1. Specialistundersköterskekompetens-vilka effekter innebär det för undersköterskor, ledare och organisation?

    Kandidat-uppsats, Lunds universitet/Sociologiska institutionen

    Författare :Lidia Bringsén; [2024]
    Nyckelord :Specialistundersköterska; kompetensutveckling; organisation; lärande; arbete; ledare; gruppen; Social Sciences;

    Sammanfattning : I den här uppsatsen riktar jag min uppmärksamhet på specialistundersköterskekompetensutbildningen och vilka effekter den i första hand har för de deltagande undersköterskor som genomförde utbildningen. Jag analyserar även specialistundersköterskornas interaktioner med ledare och grupp, samt ledarens funktion i processen. LÄS MER

  3. 2. Code Synthesis for Heterogeneous Platforms

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Zhouxiang Fu; [2023]
    Nyckelord :Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Sammanfattning : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. LÄS MER

  4. 3. Probabilistic guarantees in model-checking with Time Petri Nets

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER

  5. 4. Methods for local energy and climate planning : A Case stuudy on the Urban Community of Dunkirk

    Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

    Författare :Sacha Thibault; [2023]
    Nyckelord :Energy transition - Climate and energy policy - Renewable energy - Decision-Support Tools - Local authorities; Energiomställning - Klimat- och energipolitik - Förnybar energi - Verktyg för beslutsstöd - Lokala myndigheter;

    Sammanfattning : Energy management concerns were raised in France after the oil crisis in the 1970s. From then, the local actors developed policies to better control the energy production and consumption on the territories. Climate considerations and the need to limit greenhouse gases (GHG) emissions were then added to these energy issues in the early 2000s. LÄS MER

  7. 5. Informell och formell personal- och kulturell styrning inom kommunala grundskolor : En studie av styrformer utifrån ett lärar- och rektorsperspektiv

    Kandidat-uppsats, Högskolan i Halmstad

    Författare :Anna Pettersson; Amanda Bredmar; [2023]
    Nyckelord :formell och informell styrning; personalstyrning; kulturell styrning; kommunala grundskolor; lärare; rektorer;

    Sammanfattning : Bakgrund: Arbetet har sin bakgrund i de utmaningar och strategier för verksamhetsstyrning kommunala grundskolor står för. På grund av tryck och krav från olika externa aktörer i kombination med de interna kraven om ett rimligt arbetsklimat från lärare är grundskolor komplexa organisationer. LÄS MER