Sökning: "Temporal reasoning"

Visar resultat 1 - 5 av 19 uppsatser innehållade orden Temporal reasoning.

  1. 1. To Deploy, or Not to Deploy, That is the Question A qualitative study of the decision-making experiences of engineers deploying software changes in production

    Magister-uppsats, Lunds universitet/Avdelningen för Riskhantering och Samhällssäkerhet

    Författare :Jessica Ann DeVita; [2024]
    Nyckelord :Automation; Common ground; Complexity; Coordination; COVID19 pandemic; Deployment decision; Incident response; Mental model; Naturalistic decision-making; Phenomenology; Resilience; Risk; Software engineering; SRE; Strategy; Temporal reasoning; Uncertainty; Web operations; FLMU06; Technology and Engineering;

    Sammanfattning : The web services that millions of people count on require large-scale computer resources (servers, nodes, networking) and an intricate set of interdependent software services. Under pressure to continually improve these services, code and configuration changes are deployed hundreds or thousands of times every day. LÄS MER

  3. 2. Human-Centered Explainability Attributes In Ai-Powered Eco-Driving : Understanding Truck Drivers' Perspective

    Master-uppsats, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Ermela Gjona; [2023]
    Nyckelord :Explainable AI; XAI; human-centered explainable AI; HCXAI; explainability; AI-powered systems; eco-driving; user needs;

    Sammanfattning : The growing presence of algorithm-generated recommendations in AI-powered services highlights the importance of responsible systems that explain outputs in a human-understandable form, especially in an automotive context. Implementing explainability in recommendations of AI-powered eco-driving is important in ensuring that drivers understand the underlying reasoning behind the recommendations. LÄS MER

  4. 3. Memory and Reasoning in Deep Learning : Data efficiency of the SAM-based Two-memory (STM) Model

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

    Författare :Andrzej Perzanowski; [2022]
    Nyckelord :Deep learning; Data efficiency; Memory-augmented neural networks; Memory; Reasoning; bAbI challenge; Djupinlärning; Dataeffektivitet; Minnesförstärkta nätverk; Minne; Resonemang; bAbI-utmaning;

    Sammanfattning : Developing Deep Learning models capable of learning to reason and store memories are some of the most important current challenges in AI research. Finding out which network architectures are best suited for tackling this problem can guide research toward the most promising approaches. LÄS MER

  5. 4. A contract language for modular specification and verification of temporal properties

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

    Författare :Lars Hummelgren; [2020]
    Nyckelord :;

    Sammanfattning : Deductive software verification is used to prove correctness of programs with respect to contracts. Contracts are commonly expressed on procedures of a program using Hoare logic. LÄS MER

  7. 5. How Chinese - English Bilinguals Think About Time : The Effects of Language on Space-Time Mappings

    Magister-uppsats, Stockholms universitet/Centrum för tvåspråkighetsforskning

    Författare :Qiu Jun Zhang; [2020]
    Nyckelord :Linguistic relativity; Chinese - English bilinguals; mental representations of time; spatial-temporal metaphors; language experience;

    Sammanfattning : The last decades have witnessed the resurgence of research on linguistic relativity, which provides empirical evidence of possible language effects on thought across various perceptual domains. This study investigated the linguistic relativity hypothesis in the abstract domain of time by looking at how L1 Chinese - L2 English bilinguals conceptualize time in two-dimensional space. LÄS MER