Essays about: "ASSIGNMENT"

Showing result 1 - 5 of 535 essays containing the word ASSIGNMENT.

  1. 1. A Verified QBF Solver

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Axel Bergström; [2024]
    Keywords : ;

    Abstract : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. READ MORE

  3. 2. IDENTIFYING HATE SPEECH IN SOCIAL MEDIA THROUGH CONTENT AND SOCIAL CONNECTIONS ANALYSIS

    University essay from Göteborgs universitet / Institutionen för filosofi, lingvistik och vetenskapsteori

    Author : Milan Stanišić; [2023-06-19]
    Keywords : hate speech; social media; natural language processing; classification;

    Abstract : Hate speech is a problem which puts its targets at risk of serious harm. It spreads fast and has a real influence on the society because of the ubiquity of the internet and social media, and so various research efforts have been put to find solutions to automatic hate speech detection. READ MORE

  4. 3. Activity Location Assignment Comparison Using Geospatial Landuse and Building Data in MATSim : A Multi-modal Transport Case Study of Stockholm

    University essay from KTH/Transportplanering

    Author : YU GAO; [2023]
    Keywords : Agent-based model; MATSim; Raster Data; Shapefile Data; OSM; GTFS;

    Abstract : Transport simulation models play a crucial role in transportation planning, design, and operations, allowing for the replication of various scenarios through the incorporation of real-world data and parameters. Recently, agent-based transport models have gained prominence for their ability to simulate intricate metropolitan transport systems. READ MORE

  5. 4. Erratic Patterns : Unravelling the Cultural Transfers of Library Classifiers

    University essay from Uppsala universitet/Institutionen för ABM

    Author : Keeley Lindkvist; [2023]
    Keywords : Library classifier; library classification; classification; cultural transfer; classification and culture; Library of Congress Classifi-cation Scheme LCC ; knowledge organisation; knowledge organization; The Swedish Institute in Rome ISVRoma ; Biblioteksklassificerare; biblioteksklassificering; kulturell överföring; klassificering och kultur; Library of Congress klassificeringsschema LCC ; kunskapsorganisation; Svenska institutet i Rom ISVRoma ;

    Abstract : This thesis investigates the oft-overlooked influence of the classifier's input during the assignment of library classifications and draws upon cultural transfer theory to shed light on the underlying principles that guide the process. Classifiers' personal knowledge, experience, and beliefs, have a critical role in determining the 'aboutness' of a work and its subsequent classification. READ MORE

  6. 5. Parentage Assignment using genetic markers in the common carp (Cyprinus carpio)

    University essay from SLU/Dept. of Animal Breeding and Genetics

    Author : Sven Kristian Feddersen; [2023]
    Keywords : single nucleotide polymorphism; Parentage Assignment; aquaculture; genetic markers;

    Abstract : This study investigated the effect of varying single nucleotide polymorphisms (SNPs) marker density, error threshold selection, and different SNP selection strategies on parentage assignment accuracy in carp populations. Using a marker set of 15,615 SNPs, we found a positive correlation between the quantity of SNP markers and the accuracy of parentage assignments, consistent with existing literature. READ MORE