Sökning: "Datorsystem"

Visar resultat 1 - 5 av 218 uppsatser innehållade ordet Datorsystem.

  1. 1. Bridging Language & Data : Optimizing Text-to-SQL Generation in Large Language Models

    Master-uppsats, Linköpings universitet/Artificiell intelligens och integrerade datorsystem

    Författare :Niklas Wretblad; Fredrik Gordh Riseby; [2024]
    Nyckelord :Chaining; Classification; Data Quality; Few-Shot Learning; Large Language Model; Machine Learning; Noise; Prompt; Prompt Engineering; SQL; Structured Query Language; Text-to-SQL; Zero-Shot Learning; Noise Identification;

    Sammanfattning : This thesis explores text-to-SQL generation using Large Language Models within a financial context, aiming to assess the efficacy of current benchmarks and techniques. The central investigation revolves around the accuracy of the BIRD-Bench benchmark and the applicability of text-to-SQL models in real-world scenarios. 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. Developing High level Behaviours for the Boston Dynamics Spot Using Automated Planning

    Master-uppsats, Linköpings universitet/Artificiell intelligens och integrerade datorsystem

    Författare :Nisa Andersson; [2023]
    Nyckelord :Automated Planning; Boston Dynamics Spot; Public Safety; Automatic System; Collaborative Systems; Robotics;

    Sammanfattning : Over the years, the Artificial Intelligence and Integrated Computer Systems (AIICS) Division at Linköping University has developed a high-level architecture for collaborative robotic systems that includes a delegation system capable of defining complex missions to be executed by a team of agents. This architecture has been used as a part of a research arena for developing and improving public safety and security using ground, aerial, surfaceand underwater robotic systems. LÄS MER

  5. 4. Cyber Threat Detection using Machine Learning on Graphs : Continuous-Time Temporal Graph Learning on Provenance Graphs

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

    Författare :Jakub Reha; [2023]
    Nyckelord :Graph neural networks; Temporal graphs; Benchmark datasets; Anomaly detection; Heterogeneous graphs; Provenance graphs; Grafiska neurala nätverk; temporala grafer; benchmark-datauppsättningar; anomalidetektering; heterogena grafer; härkomstgrafer;

    Sammanfattning : Cyber attacks are ubiquitous and increasingly prevalent in industry, society, and governmental departments. They affect the economy, politics, and individuals. LÄS MER

  7. 5. Rättsläget vid den digitala frontlinjen - En analys av självförsvarsrätten och principen om nödvändighet vid cyberattacker

    Kandidat-uppsats, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Ida Sahlin; [2023]
    Nyckelord :Folkrätt; IT-rätt; Cyberoperationer; Cyberattacker; Use of force; Våldsförbudet; International law; Nödvändighetsprincipen; Law and Political Science;

    Sammanfattning : Idag är många av staters bärande samhällsfunktioner digitaliserade. En fientlig aktör kan således genom cybermedel orsaka skador för en stat i en grad som förr endast var möjlig genom fysiska medel. LÄS MER