Sökning: "dependent types"

Visar resultat 11 - 15 av 580 uppsatser innehållade orden dependent types.

  1. 11. Hardware Subsystem Proposal of an Off-Vehicle Battery Analyzer from a Charging/Discharging Perspective

    Kandidat-uppsats, Högskolan Väst/Institutionen för ingenjörsvetenskap

    Författare :Rinor Gashi; Tim Johansson; [2023]
    Nyckelord :battery electric vehicles; power conversion module; off-vehicle battery packs;

    Sammanfattning : Electric Vehicles (EVs) are seen as one of the solutions to some of the world’s global current problems, such as global warming and air pollution, due to non-existent operational emissions and increased efficiency. There are multiple types of EVs, one of them being Battery Electric Vehicles (BEVs) which in most cases utilizes a Li-Ion battery pack as energy storage. LÄS MER

  3. 12. Utbytesstudenters digitala PIM-strategier : En kvalitativ studie bland data- och systemvetare vid Uppsala universitet

    Master-uppsats, Uppsala universitet/Institutionen för ABM

    Författare :Klara Mårtens Rodriguez; [2023]
    Nyckelord :Digital environment; Digital preservation; Personal Information Management PIM ; Personal archives; Information behavior; Information experience; Information retrieval; Datalagring; digital miljö; digitalt bevarande; digital organisering; informationsbeteende; Personal Information Management PIM ; personarkiv; informationsupplevelse;

    Sammanfattning : Introduction. The aim of this master thesis is to examine how students at Uppsala university manage, organize, and preserve their study-related information in a digital environment. LÄS MER

  4. 13. Assessment and evaluation of heterogeneity in data from immune infiltration spatial niches in lung cancer

    Kandidat-uppsats, Lunds universitet/Matematisk statistik

    Författare :Mahta Keivani Najafabadi; [2023]
    Nyckelord :Mathematics and Statistics;

    Sammanfattning : The protein biomarker expressions in three types of sampled immune INFILTration spatial niches in lung cancer tissue were measured using the new technology Digital Spatial Profiler (DSP). The three types of immune INFILTration that were observed in lung tumors were STROMA identified as immune cells separate from tumor cells, Tertiary lymphoid structures (TLS) identified as dense structures of organized immune cells and finally Infiltraterate where immune cells dispersed among and in direct contact with tumor cells (INFILT). LÄS MER

  5. 14. Quality assessment of private weather station Netatmo

    Kandidat-uppsats, Lunds universitet/Förbränningsfysik; Lunds universitet/Fysiska institutionen

    Författare :Viktor Israelsson; [2023]
    Nyckelord :netatmo; meteorology; smhi; weatherstation; Physics and Astronomy;

    Sammanfattning : Netatmo is a brand of private weather stations that over the past decade, in many countries, have grown to outnumber the number of government based weather stations. In most fields of research, a high number of data points can increase accuracy and precision. LÄS MER

  7. 15. Micro City : Reshaping the relation between industry and the inner city in Helsinki

    Master-uppsats, KTH/Skolan för arkitektur och samhällsbyggnad (ABE)

    Författare :Yanghua Weng; [2023]
    Nyckelord :Urban Design; Obsolote Harbour Industrial Area; Renovation;

    Sammanfattning : The project aims to reshape the relation between industry and living in the obsolete harbour area in Suvilahti, Helsinki by creating a complex community that combines the residential area and public activities with industry and production. In this way, the whole community will be able to act like a micro city with all kinds of functions and be self-sufficient in a way. LÄS MER