Advanced search
Showing result 1 - 5 of 508 essays matching the above criteria.
-
1. A Verified QBF Solver
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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
-
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 vetenskapsteoriAbstract : 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
-
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/TransportplaneringAbstract : 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
-
4. Erratic Patterns : Unravelling the Cultural Transfers of Library Classifiers
University essay from Uppsala universitet/Institutionen för ABMAbstract : 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
-
5. Parentage Assignment using genetic markers in the common carp (Cyprinus carpio)
University essay from SLU/Dept. of Animal Breeding and GeneticsAbstract : 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