Sökning: "Petri From"

Visar resultat 1 - 5 av 53 uppsatser innehållade orden Petri From.

  1. 1. Vem eller vad kan hållas straffrättsligt ansvarig för ett självkörande fordon? : En analys av gällande rätt och föreslagen lagstiftning i Sverige

    Uppsats för yrkesexamina på avancerad nivå, Stockholms universitet/Juridiska institutionen

    Författare :Petri Dahlström; [2023]
    Nyckelord :Self-driving; autonomous; automated; automatic; AV; vehicles; cars; artificial intelligence; AI; machine learning; electronic person; criminal liability; Självkörande; autonoma; automatiserade; artificiell intelligens; AI; maskininlärning; elektronisk person; fordon; bilar; straffrättsligt ansvar; ansvarsbedömning;

    Sammanfattning : The last decade has seen a rapid advancement in the fields of artificial intelligence (AI) and automation, with terms such as machine learning, deep learning and algorithms finding their way into everyday conversations. The usage of AI is evergrowing and present in many areas of life such as health care, financial services, and social media interactions. LÄS MER

  3. 2. 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

  4. 3. En studie om hur lågstadielärare anser att lärarutbildningen har bidragit till digital kompetens för att kunna använda det i matematikundervisningen

    Master-uppsats, Karlstads universitet/Fakulteten för hälsa, natur- och teknikvetenskap (from 2013)

    Författare :Elin Edmark; Sofie Petri; [2023]
    Nyckelord :Digital competence; digital tools; teacher education; mathematics teaching; DigCompEdu; Digital kompetens; digitala verktyg; lärarutbildningen; matematikundervisning; DigCompEdu;

    Sammanfattning : As society constantly develops and becomes increasingly digitized, the demands on digital competence also increase. This also applies to schools, where teachers play a central role in integrating digital learning resources into teaching. LÄS MER

  5. 4. Användning av biokol vid odling av ostronskivling

    Kandidat-uppsats, SLU/Dept. of Biosystems and Technology (from 130101)

    Författare :Lilja Bergquist; [2023]
    Nyckelord :ostronskivling; biokol; Pleurotus ostreatus; svampodlingssubstrat;

    Sammanfattning : För att säkra vår matproduktion i framtiden står vi inför utmaningar och ett behov av att skapa mer cirkulära system. Det här arbetet inkluderar biokol och svampodling, två branscher på framkant för att skapa mer cirkularitet, gynna matproduktionen och erbjuda alternativa näringskällor. LÄS MER

  7. 5. In vitro optimization of Swedish chaga (Inonotus obliquus) : the path to chaga cultivation in Sweden

    Master-uppsats, SLU/Southern Swedish Forest Research Centre

    Författare :Mujeeb Zia; [2023]
    Nyckelord :chaga; Inototus obliquus; in vitro optimisation; sustainable chaga production;

    Sammanfattning : Chaga has become more popular in recent years as a beneficial natural supplement and wellness tea. Understanding chaga source limitations and its harvest dynamics as well as it’s potential revenue streams would be important for future chaga growers in Sweden. LÄS MER