Sökning: "c uppsats skolan"
Visar resultat 1 - 5 av 148 uppsatser innehållade orden c uppsats skolan.
1. Vibration-Based Terrain Classification for an Autonomous Truck
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : This thesis is focused on developing vibration based terrain classification for an autonomous mining truck. The goal is to classify between good and bad gravel roads as well as good and bad asphalt roads. Current literature within vibration based terrain classification has been focused to a great extent on smaller research vehicles. LÄS MER
2. Evaluation of Warming function vs Single scenario
Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)Sammanfattning : The private sector has an increasingly important role in limiting the temperature rise to below the crucial 1.5°C of the Paris Agreement. In order to assess how well a portfolio is aligned to the goals of the Paris Agreement, benchmarks need be used. The creation of benchmarks is complex and varying methodologies with associated opinions exist. LÄS MER
3. Design a Three-Stage Pipelined RISC-V Processor Using SystemVerilog
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : RISC-V is growing in popularity as a free and open RISC Instruction Set Architecture (ISA) in academia and research. Also, the openness, simplicity, extensibility, and modularity, among its advantages, make it more and more used by designers in industry. The aim of this thesis is to design an open-source RISC-V processor. LÄS MER
4. Nyord eller normbrott : En undersökning om förekomsten av anglicismer i elevtexter i den svenska gymnasieskolan
Uppsats för yrkesexamina på avancerad nivå, Högskolan i Halmstad/Akademin för lärande, humaniora och samhälleSammanfattning : Denna uppsats undersöker förekomsten av anglicismer i 56 elevtexter från gymnasiet. Anglicismerna räknas med hjälp av sex av Stålhammars (2010) tolv typer av lånord och jämförs mot Svensk ordbok, Cambridge Dictionary och Korp 9. LÄS MER
5. Formal verification of device driver monitors in HOL 4
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : As computer systems become more ubiquitous in society the negative consequences of security holes and bugs in software and hardware grow larger. In theory, the optimal way to ensure that no such possibilites exists is to conduct formal proofs that the system behaves as it should and that it is incapable of performing unintended side-effects. LÄS MER