Sökning: "Automatic tool"

Visar resultat 6 - 10 av 429 uppsatser innehållade orden Automatic tool.

1. 6. Adding Basic Support for Function Pointers in TriCera

   Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Axel Bergström; [2023]
   Nyckelord :;

   Sammanfattning : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. LÄS MER

3. 7. Analysis of speaking time and content of the various debates of the presidential campaign : Automated AI analysis of speech time and content of presidential debates based on the audio using speaker detection and topic detection

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

   Författare :Axel Valentin Maza; [2023]
   Nyckelord :Artificial Intelligence; Speaker detection; Speaker recognition; Speaker diarization; Speaker identification; Debate; Politics; Deep Learning; Artificiell intelligens; talardetektion; talarigenkänning; talardiarisering; talaridentifiering; debatt; politik; djupinlärning;

   Sammanfattning : The field of artificial intelligence (AI) has grown rapidly in recent years and its applications are becoming more widespread in various fields, including politics. In particular, presidential debates have become a crucial aspect of election campaigns and it is important to analyze the information exchanged in these debates in an objective way to let voters choose without being influenced by biased data. LÄS MER

4. 8. Automatic compilation and summarization of documented Russian equipment losses in Ukraine : A method development

   Uppsats för yrkesexamina på grundnivå, Försvarshögskolan

   Författare :Carl Zaff; [2023]
   Nyckelord :Russian Equipment loss; Russo-Ukrainian War; Method development; Machine learning; Tesseract OCR; Oryxspioenkop; OSINT; Ryssland; Materielförlust; Rysk-ukrainska kriget; Metodutveckling; Maskininlärning; Tesseract OCR; Oryxspioenkop; OSINT;

   Sammanfattning : Since the Russian invasion of Ukraine on the 24th of February 2022 – most of the United Nations have, in one way or another, participated in the most significant war of many decades. The war is characterized by Russia’s atrocious war crimes, illegal annexations, terror, propaganda, and complete disrespect for international law. LÄS MER

5. 9. An initial investigation of Automatic Program Repair for Solidity Smart Contracts with Large Language Models

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

   Författare :Erik Cruz; [2023]
   Nyckelord :Automatic Program Repair; APR; Large Language Models; LLM; Smart Contracts; Smart Contract Audit; Chat GPT; Cybersecurity; Automatisk Lagning av Kod; Stora språkmodeller; Smarta Kontrakt; Granskning av Smarta Kontrakt; Chat GPT; Cybersäkerhet;

   Sammanfattning : This thesis investigates how Large Language Models can be used to repair Solidity Smart Contracts automatically through the main contribution of this thesis, the Transformative Repair Tool. The Transformative Repair Tool achieves similar results to current state-of-the-art tools on the Smartbugs Curated Dataset and is the first published tool that uses Large Language Models to repair Solidity Smart Contracts. LÄS MER

7. 10. Simulating metal ct artefacts for ground truth generation in deep learning.

   Master-uppsats, Lunds universitet/Avdelningen för Biomedicinsk teknik

   Författare :Arthur Barakat; [2023]
   Nyckelord :Technology and Engineering;

   Sammanfattning : CT scanning stands as one of the most employed imaging techniques used in clinical field. In the presence of metal implants in the field of view (FOV), distortions and noise appear on the 3D image leading to inaccurate bone segmentation, often required for surgery planning or implant design. LÄS MER