Sökning: "Observation fields"

Visar resultat 1 - 5 av 99 uppsatser innehållade orden Observation fields.

  1. 1. 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

  3. 2. The German Imigrants in New Knoxville, Ohio

    Kandidat-uppsats, Uppsala universitet/Institutionen för arkeologi och antik historia

    Författare :Birgitta Sundell-Rånby; [2023]
    Nyckelord :Agriculture; German immigration; habitus; historic archaeology; landscape archaeology; Agrikultur; tyska immigranter; habitus; historisk arkeologi; landskaps arkeologi;

    Sammanfattning : America is a nation of immigrants and all immigrants brought culture with them. There is not one American culture. Many Ohioans are descended from German ancestors, their German heritage is still present in the cultural and social landscapes. German immigrants came to America in search of farmland and independence. LÄS MER

  4. 3. Ecosystems Services in swidden agriculture in the Peruvian tropical Andes : the Kechwa-Lamas farm-forestry system

    Master-uppsats, SLU/Dept. of Urban and Rural Development

    Författare :Geannine Gisset Chabaneix Portocarrero; [2023]
    Nyckelord :swidden agriculture; ecosystem services; Peru; Amazon;

    Sammanfattning : In the Amazon, life supporting services are importantly associated to forest areas. Nevertheless, the connection of ecosystem services to agricultural systems it is also of great importance, because agriculture is one of the most important causes of degradation and loss of these areas. LÄS MER

  5. 4. Monte Carlo Localization with Hilbert maps as Likelihood Fields

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

    Författare :ALEXANDER WALLÉN KIESSLING; [2023]
    Nyckelord :Localization; Monte Carlo; Mapping; Hilbert maps; Observation Likelihood model.; Lokalisering; Monte Carlo; Kartläggning; Hilbert kartor; Sensor modell.;

    Sammanfattning : This work focuses on using sparse Hilbert maps as continuous likelihood field observation models, instead of utilizing traditional beam observation models. This observation model is integrated with a Monte Carlo Localization scheme, and localization is simulated in randomly generated 2D mazes. LÄS MER

  7. 5. 'Zooming' in on Strategic Knowledge : A qualitative study exploring how Remote-Hybrid Work Structures influence Strategic Knowledge Management

    Master-uppsats, Jönköping University/Internationella Handelshögskolan

    Författare :Hannah Kyller; Lucas Andersson; [2023]
    Nyckelord :Strategic Knowledge Management; Remote-Hybrid Work Structures; Hybrid Organizations; Digital Transformation; Organizational Culture; Organizational Infrastructures;

    Sammanfattning : Background: The COVID-19 pandemic has forced companies to undergo a rapid digital transformation, including a shift towards remote-hybrid work structures. This has disrupted traditional ways of working, including strategic knowledge management (SKM). LÄS MER