Sökning: "Poly ML"

Visar resultat 1 - 5 av 11 uppsatser innehållade orden Poly ML.

  1. 1. Human Exposure to Per- and Polyfluoroalkyl : Substances through Fish Consumption

    Master-uppsats, Örebro universitet/Institutionen för naturvetenskap och teknik

    Författare :Welmoed Nauta; [2023]
    Nyckelord :Per- and polyfluoroalkyl substances; Human exposure; Fish consumption; Glasbruket; Target analysis; Mass balance analysis;

    Sammanfattning : Human exposure to per- and poly-fluoroalkyl substances (PFAS) occurs mainly through two pathways, inhalation and ingestion. Dietary exposure to persistent organic pollutants (POPs), including PFAS, is driven mainly by the consumption of foods of marine or terrestrial animal origin. LÄS MER

  3. 2. Isolation and genomic characterization of three PHA degrading bacteria from the marine environment

    Master-uppsats, Lunds universitet/Bioteknik (master); Lunds universitet/Bioteknik (CI)

    Författare :Giulia Elli; [2019]
    Nyckelord :PHA; degradation of PHA; marine bacteria; sulphate reducing bacteria; SRB; SRM; biotechnology; bioteknik; Technology and Engineering;

    Sammanfattning : The broader goal of this project was to investigate what kind of effects the accumulation of polyhydroxyalkanoates (PHA) in the marine environment might have on the microbial world. Bacteria were isolated from biofilms fouling PHA pellets placed in the sediment-water interface; the goal was to isolate PHA degraders that were also sulphate reducers. LÄS MER

  4. 3. Solvents and solvent blends for the polymers TQ1 and N2200.

    Kandidat-uppsats, Karlstads universitet/Institutionen för ingenjörs- och kemivetenskaper (from 2013)

    Författare :Lisa Lundin; [2019]
    Nyckelord :;

    Sammanfattning : Abstract The solubility of polymers depends on how well the parameters of the polymers and solvents used resemble each other. The more similar the parameters are, the more likely the polymers are to be dissolved. LÄS MER

  5. 4. Nano-Graphene Oxide Surface-Functionalized Poly(e-caprolactone) Scaffolds with Drug Delivery Capability

    Master-uppsats, KTH/Skolan för kemi, bioteknologi och hälsa (CBH)

    Författare :Yao Jenevieve Linell; [2018]
    Nyckelord :Poly e-caprolactone PCL ; aminolysis; graphene oxide; tissue scaffolds; ciprofloxacin;

    Sammanfattning : Grafenoxid (GO) ar en lovande kandidat som nano-tillsats i medicinska byggnadsstallningar for benregenerering. GO kan forbattra den biologiska kompatibiliteten och osteogena prestandan hos polymerbaserade byggstallningar, och ocksa vasentligt bidra till forbattringen av materialets mekaniska egenskaper. LÄS MER

  7. 5. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions

    Master-uppsats, KTH/Teoretisk datalogi, TCS

    Författare :Didrik Lundberg; [2018]
    Nyckelord :HOL4; HOL; Higher-order logic; SML; Poly ML; Formal methods; Axiomatic semantics; Formal verification; Static verification; Program verification; Hoare logic; Floyd-Hoare logic; ITP; Interactive theorem prover; Theorem prover; Proof assistant; BIR; Automated theorem proving; ATP; Automated deduction; Computer-assisted proof; Automated reasoning;

    Sammanfattning : Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. LÄS MER