Sökning: "Jesper Ståhl"

Hittade 2 uppsatser innehållade orden Jesper Ståhl.

1. 1. Formalisering av Algoritmer och Matematiska Bevis En formalisering av Toom-Cook algoritmen i Coq med SSReflect

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Jesper Andersson; Åsa Lideström; Daniel Oom; Anders Sjöberg; Niclas Ståhl; [2014-10-02]
   Nyckelord :;

   Sammanfattning : Computer-aided formalization of mathematics has progressed in the last decade with the formalization of very large and complex proofs such as the proof of the Four color theorem and the Feit-Thompson theorem. In this report we present a formal proof of the Toom-Cook algorithm using the Coq proof assistant together with the SSReflect extension. LÄS MER

3. 2. Styrsätt i plurala organisationer mot ökad målöverensstämmelse

   Kandidat-uppsats, Lunds universitet/Företagsekonomiska institutionen

   Författare :Niklas Andersson; Alexander Ståhl; Jesper Östling; [2014]
   Nyckelord :Plural organization; control methods; Business and Economics;

   Sammanfattning : Purpose: The purpose of the study is to examine how plural organizations use different control methods in order to achieve goal congruence. Methodology: A qualitative case study has been conducted. LÄS MER