Essays about: "theoretical computer science"

Showing result 16 - 20 of 39 essays containing the words theoretical computer science.

  1. 16. A Hybrid Recommender: Study and implementation of course selection  recommender engine

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Huang Yong; [2017]
    Keywords : ;

    Abstract : This thesis project is a theoretical and practical study on recommender systems (RSs). It aims to help the planning of course selection for students from the Master Programme in Computer Science in Uppsala University. READ MORE

  3. 17. Deriving the Undisturbed Near-surface Lunar Electric Field : Simulations of the electrostatic environment of the Umeå Lunar Venture electric field instrument

    University essay from Umeå universitet/Institutionen för fysik

    Author : Konrad Steinvall; [2017]
    Keywords : ;

    Abstract : The existence of an electric field on the Moon has been theorized since the end of the 1960s, when reports from astronauts suggested that charged particles from the lunar surface could be seen interacting with light at high altitudes. Today it is believed that an electric field drives the motion of charged particles on the Moon, and although a good number of simulations investigating the field have been made, the electric field has not been measured experimentally. READ MORE

  4. 18. Computing component specifications from global system requirements

    University essay from KTH/Teoretisk datalogi, TCS

    Author : Carl Björkman; [2017]
    Keywords : control flow analysis; tableau system; theoretical computer science; program verification; compositional verification; static analysis; control flow;

    Abstract : If we have a program with strict control flow security requirements and want to ensure system requirements by verifying properties of said program, but part of the code base is in the form of a plug-in or third party library which we do not have access to at the time of verification, the procedure presented in this thesis can be used to generate the requirements needed for the plug-ins or third party libraries that they would have to fulfil in order for the final product to pass the given system requirements. This thesis builds upon a transformation procedure that turns control flow properties of a behavioural form into a structural form. READ MORE

  5. 19. Understanding Sn-seeded InSb nanowire growth

    University essay from Lunds universitet/Fysiska institutionen; Lunds universitet/Fasta tillståndets fysik

    Author : Hengfang Zhang; [2017]
    Keywords : Science General;

    Abstract : III-Sb semiconductor nanowires have drawn a lot of attention because of their many promising applications, such as thermoelectric generation, low power high efficient electronics and quantum transport. Gold as a catalyst seed particle has been dominating for many years assisting nanowires growth. READ MORE

  6. 20. Investigating Affordance of haptic technology

    University essay from Malmö högskola/Fakulteten för teknik och samhälle (TS)

    Author : Olsson Tony; [2016]
    Keywords : wearable; haptic; haptic icons; interaction design; computer science;

    Abstract : This thesis investigates the assumed affordance of haptic technology in a wearable context. This work position itself within the internet of things where wearable and connected objects have established themselves as a sub-domain in the area. READ MORE