Sökning: "Horn"

Visar resultat 26 - 30 av 234 uppsatser innehållade ordet Horn.

1. 26. Lång division — en lång väg till förståelse : En litteraturstudie om elevers svårigheter med divisionsalgoritmer samt vilka undervisningsstrategier lärare kan använda för att hantera svårigheterna

   Uppsats för yrkesexamina på grundnivå, Linköpings universitet/Analys och didaktik; Linköpings universitet/Tekniska fakulteten

   Författare :Stina Horn; [2022]
   Nyckelord :Matematikundervisning; undervisningsstrategier; division; algoritmer;

   Sammanfattning : Denna litteraturstudie syftar till att undersöka undervisningen av divisionsalgoritmer för att redogöra för vilka svårigheter elever har med användningen av divisionsalgoritmer samt vilka strategier lärare kan tillämpa för att hantera dessa svårigheter. Vetenskapliga artiklar som besvarar dessa frågeställningar söktes fram genom databaserna Scopus och ERIC och valdes sedan ut baserat på förutbestämda urvalskriterier. LÄS MER

3. 27. Contract-Based Verification in TriCera

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

   Författare :Pontus Ernstedt; [2022]
   Nyckelord :;

   Sammanfattning : Contracts are a powerful construct for programmers to communicate intent with functions, focusing on the what rather than the how. In this thesis, we move contracts from being just a form of communication to also have them define what it means for a software to be correct, and apply formal verification techniques to verify that contracts are never violated. LÄS MER

4. 28. "What if someone steals it?" - Hands-on evaluation of the software security work of a networked embedded system

   Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

   Författare :Adina Borg; Hedda Klintskog; [2022]
   Nyckelord :Technology and Engineering;

   Sammanfattning : As information technology has grown and evolved, so has the need of securing the information. It is important to evaluate both the security of systems and the methods which are used for the evaluation. One method for finding security vulnerabilities in a system is penetration testing. LÄS MER

5. 29. Evaluation of factors that might affect the grading of heart murmurs in dogs with myxomatous mitral valve disease

   Uppsats för yrkesexamina på avancerad nivå, SLU/Dept. of Clinical Sciences

   Författare :Emilia Horn; [2022]
   Nyckelord :murmur grading; grading of heart murmurs; factors impacting murmur grading; utility of murmur grading scales; myxomatous mitral valve disease; MMVD; dog;

   Sammanfattning : Myxomatous mitral valve disease (MMVD) is the most common heart disease in dogs. The first sign of MMVD is usually a heart murmur, which most commonly is detected before clinical signs of the disease potentially develop. The preclinical period of MMVD is usually long and can be prolonged with medical treatment. LÄS MER

7. 30. Standardization of a modular on-trackgantry system

   Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för maskinteknik

   Författare :Arvid Horn af Rantzien; Casper Björkdal; [2022]
   Nyckelord :Standardization; on-track gantry system; frequency; stress; arc-welding; Standardisering; on-track gantry; frekvens; stress; bågsvetsning;

   Sammanfattning : This thesis is an investigation of how a modular on-track gantry system intendedfor arc-welding robots can be standardized by using the existing product portfolio ofon-track gantry systems of a company.The company in this thesis have chosen to be anonymous, and will be referred toas the company. LÄS MER