Sökning: "combining"

Visar resultat 16 - 20 av 2441 avhandlingar innehållade ordet combining.

  1. 16. Combining and Strengthening Program Analysis and Verification

    Författare :Tobias Gedell; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is about methods for establishing semantic properties of programsand how those methods can be strengthened. Finding (semi-)algorithms fordeciding semantic properties is a non-trivial task and such algorithms will, bynecessity, give approximate answers. LÄS MER

  3. 17. Environmental sequencing to infer patterns of eukaryotic evolution : Combining long-read and short-read metabarcoding

    Författare :Mahwash Jamy; Fabien Burki; Micah Dunthorn; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Protists; eukaryotes; environmental sequencing; ribosomal DNA; PacBio; long-read metabarcoding; phylogenetics; salt barrier; habitat evolution; eukaryotes evolution; evolutionary rate; Apicomplexa; pathogen; Biology with specialization in Systematics; Biologi med inriktning mot systematik;

    Sammanfattning : Our view of eukaryotes is biased towards plants, animals, and fungi. But the vast majority of eukaryotic diversity is microbial in nature. These microbial eukaryotes are key players in all ecosystems on earth and are collectively known as protists. LÄS MER

  4. 18. Prostate cancer sensor : combining Raman spectroscopy and tactile resonance technology

    Författare :Morgan Nyberg; Anders Eklund; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Medical Engineering for Healthcare; Medicinsk teknik för hälsovård;

    Sammanfattning : Prostate cancer (PCa) is the most common cancer type among men in Sweden. The most prevalent curative treatment for PCa is radical prostatectomy (RP), i.e., complete surgical removal of the prostate. LÄS MER

  5. 19. Contributions to parallel multiparadigm languages : combining object-oriented and rule-based programming

    Författare :Eva Toller; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Today, object-oriented programming is widely used as a practical tool. For some types of complex applications, the object-oriented style needs to be complemented with other types of programming paradigms into a multiparadigm language. One candidate for such a complement is the rule-based programming paradigm. LÄS MER

  7. 20. Finding graze time - combining grazing with automatic milking

    Författare :Haldis Kismul; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Nyckelord :LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES;

    Sammanfattning : The introduction of automatic milking systems (AMS) within European dairy farming in the past decades has been accompanied by a decline in grazing and in time spent outdoors by dairy cows. Grazing is a natural behaviour of cattle, and the opportunity to go outdoors is often considered a component of animal welfare. LÄS MER