Sökning: "Verification results"

Visar resultat 1 - 5 av 714 uppsatser innehållade orden Verification results.

  1. 1. Artificiell Intelligens vid Mergers & Acquisitions En kvalitativ studie om hur Artificiell Intelligens påverkar den kommersiella Due Diligence-processen vid Mergers & acquisitions.

    Kandidat-uppsats, Göteborgs universitet/Företagsekonomiska institutionen

    Författare :David Sax; Hannes Hård Af Segerstad; Hugo Törnqvist; [2024-03-06]
    Nyckelord :;

    Sammanfattning : This thesis explores the impact of Artificial Intelligence on the Due Diligence process in Mergers & Acquisitions. The study focuses on the integration of AI in streamlining and enhancing the efficiency of the DD process, traditionally known for being extensive and time-consuming. LÄS MER

  3. 2. Investigation of Injury Predictors for Rat Neuro Trauma

    Master-uppsats, KTH/Medicinteknik och hälsosystem

    Författare :Rosetta Maglio; [2024]
    Nyckelord :Finite element method; Rat brain traumatic brain injury; Rat brain finite element model; Strain; Strain rate; Product of strain and strain rate; Rotational direction; Rotational duration; Injury prediction; Finita elementmetoden; Råtthjärnans finita elementmodell; Belastning; Belastningshastighet; Produkten av belastning och belastningshastighet; Rotationsriktning; Rotationstid; Skadeförutsägelse;

    Sammanfattning : A traumatic brain injury is usually caused by a direct impact to the head and is a common cause of disability and death all around the world. The most effective method to predict brain injury today, is to use a finite element head model. LÄS MER

  4. 3. INTRODUCTION OF CYBERSECURITY INTO VERIFICATION PROCESSES FOR CONSTRUCTION EQUIPMENT : Cybersecurity Verification

    Master-uppsats, Mälardalens universitet/Inbyggda system

    Författare :Selam Fitsum Andemariam; [2024]
    Nyckelord :;

    Sammanfattning : Technology is evolving at a very fast pace in various domains, including the construction equipment industry. Although the increased automation and connectivity in different products, such as vehicles, heavy machinery, and many others, have advantages, they also have disadvantages. LÄS MER

  5. 4. Robotic Automation of Mechanical Verification

    Master-uppsats, KTH/Integrerad produktutveckling och design

    Författare :Sofie Gårdestam; Amalia Kronér; [2024]
    Nyckelord :;

    Sammanfattning : This master thesis explores the implementation of Collaborative robots into Elekta's mechanical product verification process. Elekta is a pioneer in precision radiation therapy solutions. Ensuring the compliance of Elekta's products with performance, safety, and quality criteria is of great importance. LÄS MER

  7. 5. SeqLTL and ωLTL

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Oskar Grekula; [2023-10-19]
    Nyckelord :Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Sammanfattning : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. LÄS MER