Search for dissertations about: "Plugin"

Showing result 1 - 5 of 9 swedish dissertations containing the word Plugin.

  2. 1. The Hole Story: Type-Directed Synthesis and Repair

    Author : Matthías Páll Gissurarson; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Types; Security; Program Repair; Compilers; Program Synthesis;

    Abstract : Modern programs in languages like Haskell include a lot of information beyond what is strictly required for compilation, such as additional type information, unit tests and properties. This information is often used for post-compilation verification, by running the tests to verify that the code-as-written matches the specification provided by the types and properties. READ MORE

  4. 2. Crystal Structure Determination by 3D Electron Diffraction — New Software for Facilitating Data Processing

    Author : Viktor E. G. Bengtsson; Xiaodong Zou; Hongyi Xu; Tatiana Gorelik; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; oorganisk kemi; Inorganic Chemistry;

    Abstract : Three-Dimensional Electron Diffraction (3DED) is a useful technique for determining crystal structures from very small crystals (hundreds of \si{\nano\meter} or less). Examples of such crystals are zeolites, metal-organic frameworks (MOFs), pharmaceuticals, and proteins. READ MORE

  5. 3. Students working with a large software system : experiences and understandings

    Author : Jonas Boustedt; Michael Thuné; Högskolan i Gävle; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Computer science; Datavetenskap; Subject didactics; Ämnesdidaktik; Datavetenskap med inriktning mot datavetenskapens didaktik;

    Abstract : This monograph describes an empirical study with the overall aim of producing insights about how students experience the subject Computer Science and its learning environments, particularly programming and software engineering.The research takes a start in the students' world, from their perspective, using their stories, and hence, we have chosen a phenomenographic approach for our research. READ MORE

  6. 4. Developing affordable high-throughput plant phenotyping methods for breeding of cereals and tuber crops

    Author : Fernanda Leiva; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Keywords : LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES;

    Abstract : High-throughput plant phenotyping (HTPP) is a fast, accurate, and non-destructive process for evaluating plants' health and environmental adaptability. HTPP accelerates the identification of agronomic traits of interest, eliminates subjectivism (which is innate to humans), and facilitates the development of adapted genotypes. READ MORE

  7. 5. Disconnected Discoveries: Availability Studies in Partitioned Networks

    Author : Mikael Asplund; Simin Nadjm-Tehrani; Ulf Nilsson; Pascal Felber; Linköpings universitet; []
    Keywords : TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : This thesis is concerned with exploring methods for making computing systems more resilient to problems in the network communication, both in the setting of existing infrastructure but also in the case where no infrastructure is available. Specifically, we target a situation called network partitions which means that a computer or device network is split in two or more parts that cannot communicate with each other. READ MORE