Advanced search

Showing result 1 - 5 of 46 essays matching the above criteria.

  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. 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

  4. 3. A Techno_Economic Feasibility Study of a Cryptocurrency Data Center Based on Renewable Energy : A feasibility Study of a Bitcoin Mining Farm Powered by Solar and Wind Energy.

    University essay from Uppsala universitet/Institutionen för samhällsbyggnad och industriell teknik

    Author : Ali Wali; [2023]
    Keywords : Datacenter; Cryptocurrency; Mining Farm; Renewable Energy; Hybrid Energy System; Solar and Wind energy; Electricity Storage Medium; Feasibility Study; Financial Analysis; Reliability; Optimization.;

    Abstract : The increasing popularity and improvements in the blockchain technology that offers decentralized communication and transactions in the form of cryptocurrencies that have now days a market value of almost 1.3 Trillion dollars and a huge potential to contribute to other fields such as health care, financial transactions, information technology, secure data exchange, data storage and many others has been pushing towards more integrating of renewable energies in this field. 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. Blockchain Adoption is an Evolution – not a Revolution: : Advantages and Challenges of Blockchain in Real Estate Transaction in Sweden

    University essay from KTH/Fastighetsföretagande och finansiella system

    Author : Ludwig Djursén; Theo Björk; [2022]
    Keywords : Blockchain; real estate; transaction; information asymmetry; blockchain implementation; residential real estate; smart contract; tokenization; Blockchain; fastigheter; transaktion; informationsasymmetri; blockchain-implementering; bostadsfastigheter; smart kontrakt; tokenisering;

    Abstract : The real estate sector has a large impact on the economy and a significant impact on financialmarket stability. Several unique features characterize the real estate market assets; these arestable cash flow, a stable demand, and low volatility, contributing to the underlying value. READ MORE