Essays about: "aritmetik"

Showing result 1 - 5 of 7 essays containing the word aritmetik.

  1. 1. Hardware in Loop Simulations of Electric Drives

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

    Author : Varad Deshpante; [2023]
    Keywords : Electric Machines; Electronic Control Unit; Inverter; Field Programmable Gate Array; Hardware in the Loop; Software in the Loop; Elektriska Maskiner; Elektronisk Styrenhet; Växelriktare; Programmerbar Integrerad Krets; Hårdvara i Loop; Programvara i Loop;

    Abstract : Electric drives are crucial components of powertrain of modern vehicles. They need to be controlled effectively to deliver a comfortable and efficient driving experience. The control unit needs to be robust to handle extreme operating conditions and faults in a safe manner. READ MORE

  3. 2. Leveraging Posits for the Conjugate Gradient Linear Solver on an Application-Level RISC-V Core

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

    Author : David Mallasén Quintana; [2022]
    Keywords : Computer Arithmetic; Conjugate Gradient; Posit; IEEE-754; Floating Point; High-Performance Computing; RISC-V; Datoraritmetik; Konjugerad Gradient; Posit; IEEE-754; Flytande Punkt; Högpresterande Beräkningar; RISC-V;

    Abstract : Emerging floating-point arithmetics provide a way to optimize the execution of computationally-intensive algorithms. This is the case with scientific computational kernels such as the Conjugate Gradient (CG) linear solver. Exploring new arithmetics is of paramount importance to maximize the accuracy and timing performance of these algorithms. READ MORE

  4. 3. Some Nonlinear Diophantine Equations

    University essay from Lunds universitet/Matematik (naturvetenskapliga fakulteten)

    Author : Alexander Koronen; [2017]
    Keywords : Diophantine Equations; Congruences; Euclidean Domains; Mathematics and Statistics;

    Abstract : This thesis deals with some special types of Diophantine equations. Two classic cases of Fermat's equation are shown to have no nontrivial integer solutions, using two different approaches. The rest of the thesis deals with some instances of y^2=x^3+k, commonly known as Mordell's equation. In most cases, no integer solutions exist. READ MORE

  5. 4. Cognitive stress, martial arts and human speech

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

    Author : Malcolm Evefors; [2016]
    Keywords : ;

    Abstract : Results from multiple studies indicate fundamental frequency (F0) as  parameter of human speech that tends to increase with stress. This study compares voice recordings of experienced and novice martial artists, as practicing martial arts (MA) is speculated to improve stress management. READ MORE

  6. 5. Realizability in Coq

    University essay from KTH/Matematik (Avd.)

    Author : Anders Lundstedt; [2015]
    Keywords : Coq; formalization; partial combinatory algebra; realizability; Coq; formalisering; partiell kombinatorisk algebra; realiserbarhet;

    Abstract : This thesis describes a Coq formalization of realizability interpretations of arithmetic. The realizability interpretations are based on partial combinatory algebras—to each partial combinatory algebra there is an associated realizability interpretation. I construct two partial combinatory algebras. READ MORE