Sökning: "Pearl"

Visar resultat 16 - 20 av 21 avhandlingar innehållade ordet Pearl.

  1. 16. MAC, A Verified Information-Flow Control Library

    Författare :Marco Vassena; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Haskell; NonInterference; Agda; Functional Programming; Information-Flow Control;

    Sammanfattning : Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows within a program and prevents leakage of sensitive data. IFC has been embedded in pure functional languages such as Haskell, in the form of a library, thus reducing the implementation and maintenance effort and fostering a secure-by-construction programming-model. 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. A phylogenetic analysis of rasborin fishes (Teleostei, Cyprinidae)

    Författare :Te-Yu Liao; Sven Kullander; Paul Skelton; Stockholms universitet; []
    Nyckelord :Rasbora; Chedrina; Danionina; Danionini; Rasborini; Danioninae; Opsariichthyinae; Cyprinidae; Cypriniformes; phylogeny; systematics; Africa; Asia; Systematic Zoology; zoologisk systematik och evolutionsforskning;

    Sammanfattning : The Danioninae (sensu lato) were until recently considered to be a paraphyletic group, comprising about 200 species and distributed over Africa and southern and eastern Asia. There was no morphological diagnosis for the Danioninae, and also the composition of the subfamily, and the interrelationships of included genera have been contentious. LÄS MER

  5. 19. New Concepts for Dielectrophoretic Separations and Dielectric Measurements of Bioparticles

    Författare :Fredrik Aldaeus; Johan Roeraade; Peter Stilbs; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Analytical chemistry; Analytisk kemi;

    Sammanfattning : This thesis presents two new concepts for separation of micro particles using dielectrophoresis, demonstrated by calculated examples, as well as a new method for obtaining dielectric data on living cells. The thesis is based on four papers. LÄS MER

  7. 20. Bird Species in Urban and Agricultural Landscapes : Bird diversity patterns along an urbanisation gradient and crop damage caused by birds on the Deccan Plateau, India

    Författare :Manoj Ashokrao Kale; Prosun Bhattacharya; Gabor L. Lövei; Peter Kjellander; KTH; []
    Nyckelord :Bird assemblage structure; Forest-urban gradient; Scale-sensitive diversity; Crop depredation; Crop damage assessment; Deccan Plateau; India.; Land and Water Resources Engineering; Mark- och vattenteknik;

    Sammanfattning : The major human activities that have transformed the Earth include agriculture and urbanization. The present study was conducted to contribute to a description of the effect on birds of urbanization and agriculture in an Indian region. LÄS MER