Essays about: "Jesper Nielsen"

Found 3 essays containing the words Jesper Nielsen.

1. 1. The Milky Way and its Exoplanets

   University essay from Lunds universitet/Astronomi - Genomgår omorganisation

   Author : Jesper Nielsen; [2021]
   Keywords : Planets and Satellites; Exoplanets; Occurrence Rates; Physics and Astronomy;

   Abstract : The detections of over 4000 exoplanets as of today has shown that they exist in a wide range of different configurations, otherwise known as architectures. Recently, studies have been made trying to link the environment of host stars to the architectures of their planetary systems and have found that the architectures of planetary systems may not necessarily be uniform in the Milky Way. READ MORE

3. 2. The Solar System Around a Binary Star

   University essay from Lunds universitet/Astronomi - Genomgår omorganisation

   Author : Jesper Nielsen; [2019]
   Keywords : planetary system stability; binary star; Physics and Astronomy;

   Abstract : The observations of circumbinary planets have confirmed that these can in fact be stable. While previous studies on circumbinary planets have been done, not many have been made on systems containing multiple circumbinary planets on eccentric orbits. READ MORE

4. 3. Proof Editor for Natural Deduction in First-order Logic

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Jesper Jan Olsson Fredrik Liu Elin Johansson Henry Björnsson Ly; Andreas Widbom; [2017-08-10]
   Keywords : Proof editor; First-order logic; Predicate logic; Natural deduction;

   Abstract : The subject of this thesis is the presentation and evaluation of Conan, an editor for writing natural deduction proofs in first-order logic. The intent is for the editor to serve as a supplementary tool alongside a course in logic. READ MORE