Essays about: "Axel Abrahamsson"
Found 4 essays containing the words Axel Abrahamsson.
-
1. Multi-Robot Motion Planning Under High-Level Task Specifications
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : This bachelor thesis explores the use of Signal Temporal Logic (STL) and ControlBarrier Functions (CBFs) to address the challenges associated with multi-robot motionplanning under high-level task specifications. STL is a formalism used to specify temporalproperties of signals, while CBFs are used to enforce safety constraints. READ MORE
-
2. Proof Editor for Natural Deduction
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : In this thesis, we present Logan, a proof editor for constructing Fitch-style proofs in first-order logic. This proof editor is intended to be used by students who are taking a course in logic. READ MORE
-
3. DEMOCRACY DISRUPTED - FOR WHOM? A Study on Political Micro-Targeting and its Potential for Revitalizing Political Articulation
University essay from Göteborgs universitet/Statsvetenskapliga institutionenAbstract : .... READ MORE
-
4. SRI - "Superior Return Investment?" - A study of Swedish socially responsible investment mutual funds over a longer period, evaluating the performance of funds and managers in different market conditi
University essay from Handelshögskolan i Stockholm/Institutionen för finansiell ekonomiAbstract : The market for socially responsible investment funds has been growing steadily in the recent years, and sustainable growth can be argued to be of great importance to future generations. Previous research has, contradictory to classic financial theory indicated similar performance between mutual funds imposing ethical constraints, and their conventional unrestricted counterparts. READ MORE