Sökning: "Net Nets"

Visar resultat 1 - 5 av 60 uppsatser innehållade orden Net Nets.

  1. 1. Uncertainty Estimation in Radiation Dose Prediction U-Net

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Frida Skarf; [2023]
    Nyckelord :Radiation dose prediction models; U-net; quantile regression; Monte Carlo Dropout; epistemic uncertainty estimation; aleatoric uncertainty estimation; Stråldospredicerande modeller; U-net; kvantilregression; Monte Carlo Dropout; epistemisk osäkerhetsskattning; aletorisk osäkerhetsskattning;

    Sammanfattning : The ability to quantify uncertainties associated with neural network predictions is crucial when they are relied upon in decision-making processes, especially in safety-critical applications like radiation therapy. In this paper, a single-model estimator of both epistemic and aleatoric uncertainties in a regression 3D U-net used for radiation dose prediction is presented. LÄS MER

  3. 2. Att ersätta plast i livsmedelsförpackningar : en studie om möjlig övergång till papper som råvara

    Kandidat-uppsats, Högskolan i Borås/Akademin för textil, teknik och ekonomi

    Författare :Elin Hertzman; [2023]
    Nyckelord :Food packaging; Paper yarn; Knitting; Tensile strength; Livsmedelsförpackningar; Pappersgarn; Stickning; Dragstyrka;

    Sammanfattning : Det talas allt oftare om de problem som världens plastanvändning åsamkar miljön genom exempelvis nedskräpning och mikroplaster. Det finns många olika typer och användningsområden för plast. LÄS MER

  4. 3. Probabilistic guarantees in model-checking with Time Petri Nets

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Manon Lecart; [2023]
    Nyckelord :Formal Methods; Statistical Model-Checking; Timed Automata; Timed PetriNets; Formella Metoder; Statistisk Modellkontroll; Timed Automater; Time Petri Nets;

    Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER

  5. 4. Aggregating predictions of a yeast semantic segmentation model : Reducing a pixel classifier into a binary image classifier

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Ali Muquri; [2023]
    Nyckelord :;

    Sammanfattning : The introduction of machine learning in clinical microbiology is important for aiding clinical laboratories with highly repetitive tasks that are fatiguing, error-prone, and require long employee training time due to the complex nature of the task. A challenging task that belongs to the subareas that need assistance is yeast detection in fluorescence microscopy where various yeast morphologies exist. LÄS MER

  7. 5. The Development and Testing of Low-Cost Heat Transfer Enhancements for Solar Dryers

    Master-uppsats, Lunds universitet/Institutionen för energivetenskaper

    Författare :Hoda Mahmoodi; [2023]
    Nyckelord :Solar dryer; Bhutan; Drying rate; Solar absorber; Technology and Engineering;

    Sammanfattning : In the mountainous regions of Bhutan and Nepal, post-harvest losses cause significant challenges for producers. Open air sun drying is usually used by farmers to preserve their produce. There are many disadvantages to this method. LÄS MER