Essays about: "Contracts information system"
Showing result 1 - 5 of 46 essays containing the words Contracts information system.
-
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 filologiAbstract : 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
-
2. Supply Chain Incentive Alignment in Bottom of the Pyramid environments
University essay from Lunds universitet/Teknisk logistikAbstract : Background: Alleviating poverty is critical for achieving sustainability (Zomorrodi et al., 2019). READ MORE
-
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 teknikAbstract : 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
-
4. Automated Inference of ACSL Contracts for Programs with Heaps
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)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
-
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 systemAbstract : 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