Sökning: "Logic of cost"
Visar resultat 1 - 5 av 132 uppsatser innehållade orden Logic of cost.
1. SeqLTL and ωLTL
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : 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
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)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
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 fakultetenSammanfattning : 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
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 datavetenskapSammanfattning : 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
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 ABMSammanfattning : 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