Essays about: "dependent types"

Showing result 1 - 5 of 276 essays containing the words dependent types.

  1. 1. Gap properties of helical edge states in two-dimensional topological insulators with time-dependent magnetic impurities

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

    Author : Simon Wozny; [2020]
    Keywords : topological insulators; edge states; impurities; density of states; Green s function; Floquet; Physics and Astronomy;

    Abstract : The quantum mechanical equivalent of the classical Hall effect can lead to interesting results in solid state physics. A similar effect, that has received attention in recent years, occurs when large spin-orbit coupling is present in a material, the so-called quantum-spin Hall effect. READ MORE

  2. 2. Security Risk Analysis based on Data Criticality

    University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

    Author : Luyuan Zhou; [2020]
    Keywords : network security risk assessment; attack graph; data criticality; security metric; threat modeling;

    Abstract : Nowadays, security risk assessment has become an integral part of network security as everyday life has become interconnected with and dependent on computer networks. There are various types of data in the network, often with different criticality in terms of availability or confidentiality or integrity of information. READ MORE

  3. 3. Privata skogsägares inställning till klenträdsgallring

    University essay from SLU/Department of Forest Biomaterials and Technology (from 131204)

    Author : David Bengtsson; [2020]
    Keywords : attityd; skogsbränsle; skogsskötsel; konfliktbestånd; enkätundersökning;

    Abstract : Ökad användning av biobränsle anses betydelsefullt för att nå Sveriges energi- och klimatmål. Från den tillgängliga skogsmarken i Sverige avverkas i princip hela till-växten. Ett sätt att tillvarata mer biomassa är att tillämpa klenträdsgallring, eftersom både klenare stammar och hela trädet ovan stubbe då kan utnyttjas. READ MORE

  4. 4. Compatible spaces for emotional support of child and adolescent patients : design of in-between and outdoor spaces in healthcare settings

    University essay from SLU/Department of Landscape Architecture, Planning and Management (from 130101)

    Author : Galina Ekström; [2020]
    Keywords : emotions; self-regulation; design; healthcare; children; adolescents; compatible spaces; in-between spaces;

    Abstract : This thesis addresses the importance for child and adolescent patients to have contact with such outdoor spaces that conform with their emotional state and promote well-being while being at healthcare settings. In some contemporary hospitals, holistic approaches to patients’ health are used in such a way that they may be beneficial for the whole healing process. READ MORE

  5. 5. Cirrus Clouds; Study of Microphyscial Properties and Their Seasonal & Temperature Dependence in the Tropics and Mid-latitudes

    University essay from Lunds universitet/Kärnfysik; Lunds universitet/Fysiska institutionen

    Author : Magdalena Sofia Maria Folestad; [2020]
    Keywords : Physics and Astronomy;

    Abstract : Cirrus clouds are high-level ice clouds covering ≈ 30% of Earth’s surface. The cirrus clouds ice crystals can be formed by heterogeneous or homogeneous nucleation, where temperatures for heterogeneous nucleation was set to -38 - -30 °C and for homogeneous nucleation below -42 °C. READ MORE