Essays about: "Contract information system"

Showing result 1 - 5 of 56 essays containing the words Contract information system.

  1. 1. Natural Language Inference Transfer Learning in a Multi-Task Contract Dataset : In the Case of ContractNLI: a Document Information Extraction System

    University essay from Uppsala universitet/Institutionen för lingvistik och filologi

    Author : Yiu Kei Tang; [2023]
    Keywords : ;

    Abstract : This thesis investigates the enhancement of legal contract Natural Language Inference (NLI) classification through supervised fine-tuning on general domain NLI, in the case of ContractNLI and Span NLI BERT (Koreeda and Manning, 2021), a multi-task document information extraction dataset and framework. Annotated datasets of a specific professional domain are scarce due to the high time and labour cost required to create them. READ MORE

  3. 2. HL-DRIP: A Blockchain-based Remote Drone ID Protocol registry management : Evaluation of a Hyperledger Fabric-based solution to manage DRIP registries

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Juan Basaez Serey; [2023]
    Keywords : DRIP; Drone Remote ID; Hyperledger-Fabric; IPFS;

    Abstract : On January 15, 2021, the Federal Aviation Administration published the Unmanned Aircraft System Remote Identification rule with the intention of improving airspace security regarding the use of Unmanned Aircraft. According to the rule, UAs in flight must provide the public with information such as their identification, location, and altitude. READ MORE

  4. 3. Supply Chain Incentive Alignment in Bottom of the Pyramid environments

    University essay from Lunds universitet/Teknisk logistik

    Author : Rawan Yacoub; [2023]
    Keywords : Supply chain incentive alignment; Supply chain incentives; Bottom of the pyramid; Base of the pyramid; Multinational Corporations; Technology and Engineering;

    Abstract : Background: Alleviating poverty is critical for achieving sustainability (Zomorrodi et al., 2019). READ MORE

  5. 4. Automated Inference of ACSL Contracts for Programs with Heaps

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oskar Söderberg; [2023]
    Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

  6. 5. Purchasing and Digitalization in an era of Turbulence

    University essay from Lunds universitet/Teknisk logistik

    Author : Emil Sarajlic; Vishal Natesan; [2023]
    Keywords : Supplying; digitisation; digitalization; Artificial Intelligence; Turbulence; Delivery performance; Duni Group; Technology and Engineering;

    Abstract : Background: This research delves into the uncertainties and challenges encountered in global supply chain operations, exacerbated by unpredictable events such as the COVID-19 pandemic and the 2021 Suez Canal obstruction. These disruptions can lead to stock-outs, poor capacity utilization, and the need for expensive buffers. READ MORE