Essays about: "Automatic"
Showing result 16 - 20 of 1959 essays containing the word Automatic.
-
16. Adding Basic Support for Function Pointers in TriCera
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses. These clauses describe the program states that can be reached when the program is executed. A solver can then be used to check if the program is safe. READ MORE
-
17. Theorising affordability in co-housing: unravelling the how and when of its affordability potential
University essay from Lunds universitet/Institutionen för kulturgeografi och ekonomisk geografiAbstract : Affordability is often cited as a beneficial aspect of co-housing; however, the specific factors that contribute to its affordability and the theoretical understanding of this phenomenon have received limited attention in research. Against the backdrop of the ongoing affordable housing crisis, this study seeks to investigate the circumstances under which co-housing holds the potential for affordability. READ MORE
-
18. Automatic compilation and summarization of documented Russian equipment losses in Ukraine : A method development
University essay from FörsvarshögskolanAbstract : Since the Russian invasion of Ukraine on the 24th of February 2022 – most of the United Nations have, in one way or another, participated in the most significant war of many decades. The war is characterized by Russia’s atrocious war crimes, illegal annexations, terror, propaganda, and complete disrespect for international law. READ MORE
-
19. Simulating metal ct artefacts for ground truth generation in deep learning.
University essay from Lunds universitet/Avdelningen för Biomedicinsk teknikAbstract : CT scanning stands as one of the most employed imaging techniques used in clinical field. In the presence of metal implants in the field of view (FOV), distortions and noise appear on the 3D image leading to inaccurate bone segmentation, often required for surgery planning or implant design. READ MORE
-
20. Intelligent Headlamp Levelling : Thesis work at Scania CV AB
University essay from Luleå tekniska universitet/Institutionen för teknikvetenskap och matematikAbstract : Illumination of the road environment plays an important role for the night-time vision of the driver and in general road safety. The purpose of this thesis is to develop a proof of concept that can measure the vertical angular displacement of a truck headlamp relative to the road. READ MORE