Sökning: "Formell information"

Visar resultat 1 - 5 av 118 uppsatser innehållade orden Formell information.

1. 1. Att leda både här och där : Chefers hantering av paradoxer i det hybrida arbetslivet

   Magister-uppsats, Högskolan Väst/Institutionen för ekonomi och it

   Författare :Martina Bruzelius; [2023]
   Nyckelord :Hybrid work; flexible work; teleworking; activity-based working; ABW; COVID-19; post-pandemic; Hybridarbete; flexibla arbetssätt; flexibelt arbete; distansarbete; aktivitetsbaserat arbetssätt; ABW; COVID-19; post-pandemi;

   Sammanfattning : Distansarbetet under COVID-19-pandemin påskyndade den digitala transformeringen av arbetslivet och förskjutningen mot ökat hybridarbete. När arbete på heltid på ett fysiskt kontor utmanas som norm kan yteffektiviserande och flexibla kontorslösningar, t.ex. aktivitetsbaserat arbetssätt, bli mer attraktiva för arbetsgivare. LÄS MER

3. 2. Förskollärares dilemma med bemötande och inkludering i förskolan : En kvalitativ studie om inkludering och bemötande av barn med intellektuell funktionsnedsättning i förskolan

   Uppsats för yrkesexamina på grundnivå, Högskolan i Gävle/Avdelningen för utbildningsvetenskap

   Författare :Julia Eriksson; Tuva Myckelberg; [2023]
   Nyckelord :Teacher s competence; conduct; children with intellectual disabilities; inclusion; everyday situations; Lärarens kompetens; bemötande; barn med intellektuell funktionsnedsättning; inkludering; vardagssituationer;

   Sammanfattning : Syftet med vår undersökning var att undersöka vilka kompetenser som finns hos förskollärare inom förskolans verksamhet för att bemöta och inkludera barn med intellektuell funktionsnedsättning i vardagssituationer. En kvalitativ studie med hjälp av semistrukturerade intervjuer genomfördes för att få information och kunskap om förskollärares syn på kompetenser, bemötande och inkludering kring arbete med barn med intellektuell funktionsnedsättning. LÄS MER

4. 3. A Formally Motivated Algorithm for Synthesis of Strategies in Multi-Agent Games of Imperfect Information Against Nature

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

   Författare :Jakob Alfredsson; Jakob Carlsson; [2023]
   Nyckelord :;

   Sammanfattning : In this project we study games where multiple agents cooperate to reach some common team objective. The agents do not have perfect information about the game state, and they cannot communicate during the course of the game. LÄS MER

5. 4. Människan och formell styrning : En studie om hur anställda hanterar styrning och upplever dess konsekvenser

   Master-uppsats, Linnéuniversitetet/Institutionen för ekonomistyrning och logistik (ELO)

   Författare :Matilda Grubbström; Hugo San José; [2023]
   Nyckelord :Formal control; Impact of formal control; Compliance and resistance; Foucault; Caregivers; Formell styrning; Foucault; konsekvenser av styrning; följsamhet och motstånd; Omsorg;

   Sammanfattning : Bakgrund: Formell styrning återfinns inte minst inom verksamheter utan även i flera delar av samhället. Formell styrning råder inom verksamheter i syfte att influera människors uppträdande på arbetsplatsen och kan definieras som nedskriven information som rutinmässigt förmedlas till anställda. LÄS MER

7. 5. Automated Inference of ACSL Contracts for Programs with Heaps

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

   Författare :Oskar Söderberg; [2023]
   Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

   Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER