Essays about: "Proof editor"

Showing result 1 - 5 of 7 essays containing the words Proof editor.

1. 1. Digital Twin Performance : Unity as a platform for visualizing interactive digital twins

   University essay from Mittuniversitetet/Institutionen för informationssystem och –teknologi

   Author : Tim Nämerforslund; [2022]
   Keywords : Unity Engine; C#; Data Point; Vertex; Vertices; Mesh; Frames per second; Usability; Digital twin; Simulation.;

   Abstract : The project set out to construct a proof of concept for surface deformation in the Unity Engine using available assets and tools compatible with the Unity Engine, and via the proof of concept investigate which factors in a mesh deformation simulation that affects performance in terms of frames per second, memory usage and usability the most. This while looking into suitable data structures in the Unity Engine for handling expected data in a physics simulation of a surface deformation, such that of mining or scraping a cave wall. READ MORE

3. 2. Proof Editor for Natural Deduction

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

   Author : FREDDY ABRAHAMSSON; THERESE ANDERSSON; AXEL FORSMAN; LO RANTA; MICHAEL ÅKESSON; [2021-09-14]
   Keywords : Proof editor; Natural deduction; First order logic; PureScript;

   Abstract : 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

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

5. 4. Designing a surrounding environment for a mobile application creation editor

   University essay from Institutionen för tillämpad fysik och elektronik

   Author : David Eriksson; [2013]
   Keywords : Mobile interaction design user adoptation editor;

   Abstract : The SATIN project has the aim to enable end users to create their own mobile applications without prior programming experience, and in this way assist non programmers in the transition to the digital society. In this thesis an environment has been designed anddeveloped, that surrounds the existing SATIN mobile application creation editor, with thepurpose of supporting the developers and facilitate collaboration. READ MORE

6. 5. The Fear of the Fall: Degeneration and Social Inequality in the Frame Narrative of H. G. Wells’s The Time Machine

   University essay from Stockholms universitet/Engelska institutionen

   Author : Sissel Hanström; [2013]
   Keywords : Degeneration; time travel; H.G. Wells; frame narrative; social difference; The Time Machine; Victorian society;

   Abstract : H. G Wells’s novel The Time Machine is a significant work of science fiction that dramatizes the themes of degeneration and social inequality, themes that were very relevant during the Victorian era in relation to the discovery of evolution. READ MORE