Essays about: "c a code."

Showing result 16 - 20 of 377 essays containing the words c a code..

  1. 16. Green Room : A climate controlling grow-box for growing mushrooms and greens.

    University essay from KTH/Skolan för industriell teknik och management (ITM)

    Author : Bill Skullman; Gabriella Herlin; [2023]
    Keywords : Mechatronics; Aeroponic farming; Mushroom farming; Photosynthesizing plants - Greens; Ultrasonic atomizer; Mekatronik; Aeroponisk odling; Svampodling; Fotosyntetiserande växter; Ultraljudsluftfuktare;

    Abstract : This report covers a project on a partially automated aeroponic and fungi growing system. The purpose is to evaluate if an enclosed space system can be automated to produce healthy crops of greens and fungi, and investigate how well the system can switch between these two growth modes. READ MORE

  3. 17. Velocity Obstacle method adapted for Dynamic Window Approach

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Florian Coissac; [2023]
    Keywords : Autonomous navigation; Local planning; Dynamic obstacle avoidance; ROS; Autonom navigering; Lokal planering; Dynamiskt undvikande av hinder; ROS;

    Abstract : This thesis project is part of an internship at Visual Behavior. The company aims at producing computer vision models for robotics, helping the machine to better understand the world through the camera eye. The image holds many features that deep learning models are able to extract: navigable area, depth inference and object detection. READ MORE

  4. 18. Efficient use of resources when implementing machine learning in an embedded environment

    University essay from Umeå universitet/Institutionen för fysik

    Author : Johannes Eklöf; [2023]
    Keywords : ;

    Abstract : Machine learning and in particular deep-learning models have been in the spotlight for the last year. Particularly the release of ChatGPT caught the attention of the public. But many of the most popular models are large with millions or billions of parameters. READ MORE

  5. 19. Design of auxiliary communication for audio between computers and DSPs : Programming and optimization of computational resources

    University essay from Umeå universitet/Institutionen för tillämpad fysik och elektronik

    Author : Eriksson Janze Oscar; [2023]
    Keywords : DSP; Audio-communication; Auxiliary; AUX; phone connector; USB-audio; STM32; ADC; AD-converter; filterbank; hearing aid; signalprocessor; ljudkommunikation; ljudkabel; AUX; USB-ljud; STM32; hjälpmedel; ADC; analog-till-digital-omvandlare;

    Abstract : This thesis report is about designing a prototype and establishing audio communication between a computer and Digital Signal Processor (DSP) using two preamp circuits using both auxiliary and USB connection. The paper gives the reader an overview on how audio is transmitted from a computer, through the system and to the desired output. READ MORE

  6. 20. Automated Inference of ACSL Contracts for Programs with Heaps

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oskar Söderberg; [2023]
    Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE