Sökning: "Logic of cost"

Visar resultat 1 - 5 av 132 uppsatser innehållade orden Logic of cost.

  1. 1. SeqLTL and ωLTL

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Oskar Grekula; [2023-10-19]
    Nyckelord :Linear Temporal Logic; Co-safety LTL; Tight Witness; Compositional;

    Sammanfattning : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. LÄS MER

  3. 2. The One Spider To Rule Them All : Web Scraping Simplified: Improving Analyst Productivity and Reducing Development Time with A Generalized Spider

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Rikard Johansson; [2023]
    Nyckelord :Web scraping; Web crawlers; HTML; Scrapy; Optimization; Web data extraction; Webbskrapning; Webbsökrobotar; HTML; Scrapy; Optimering; Webbdataextraktion;

    Sammanfattning : This thesis addresses the process of developing a generalized spider for web scraping, which can be applied to multiple sources, thereby reducing the time and cost involved in creating and maintaining individual spiders for each website or URL. The project aims to improve analyst productivity, reduce development time for developers, and ensure high-quality and accurate data extraction. LÄS MER

  4. 3. Evaluation of The Impact of Automated Driven Vehicles on Traffic Performance at Four-leg Signalized Intersections

    Master-uppsats, Linköpings universitet/Kommunikations- och transportsystem; Linköpings universitet/Tekniska fakulteten

    Författare :Ahmed Osman; [2023]
    Nyckelord :Automated driven vehicles; Microscopic simulation; PTV VISSIM; Traffic performance; signalized intersection;

    Sammanfattning : Intersections, particularly four-leg signalized intersections, are frequent sites of traffic congestion in urban areas. This congestion can lead to delays, increased travel time, and a negative impact on traffic performance and quality of life for people. LÄS MER

  5. 4. Comparative Analysis of Load Balancing in Cloud Platforms for an Online Bookstore Web Application using Apache Benchmark

    Uppsats för yrkesexamina på grundnivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Författare :Srilekha Pothuganti; Malepiti Samanth; [2023]
    Nyckelord :Cloud computing; load balancing; virtual instances; and the Apache Benchmark Tool;

    Sammanfattning : Background :Cloud computing has transformed the landscape of application deploy-ment, offering on-demand access to compute resources, databases, and services viathe internet. This thesis explores the development of an innovative online book-storeweb application, harnessing the power of cloud infrastructure across AWS,Azure, andGCP. LÄS MER

  7. 5. Bibliotekspersonal på entreprenad : Institutionella logiker bakom Stockholms stadsbiblioteks användning av bemanningsföretag i personalförsörjningen

    Master-uppsats, Uppsala universitet/Institutionen för ABM

    Författare :Olivia Ringbom; [2023]
    Nyckelord :Public libraries; Part-time library employees; Contracting out; Non-standard employment; New Public Management; folkbibliotek; bibliotekspersonal; anställningsformer; entreprenad; dokument; New Public Management;

    Sammanfattning : Introduction. This thesis intends to examine and problematize a phenomenon that, until now, has not been the subject of research: the use of temporary employment agencies in Swedish public libraries. LÄS MER