Sökning: "natural"

Visar resultat 11 - 15 av 29237 avhandlingar innehållade ordet natural.

  1. 11. A Natural Interpretation of Classical Proofs

    Författare :Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; Mathematical logic; Matematisk logik;

    Sammanfattning : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. LÄS MER

  3. 12. Optical sensors in drinking water production : Towards automated process control in relation to natural organic matter

    Författare :Claudia Cascone; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Access to safe and clean drinking water is a basic human right (A/RES/64/292). In Sweden, large drinking water treatment plants use mainly surface water as water source. The long-term trend of increasing natural organic matter (NOM) in boreal and north European surface waters negatively affects the overall performance of the treatment processes. LÄS MER

  4. 13. Restoration of semi-natural grasslands : Impacts on biodiversity, ecosystem services and stakeholder perceptions

    Författare :Emelie Waldén; Regina Lindborg; Sara A O Cousins; Erik Öckinger; Aveliina Helm; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Biodiversity; Ecosystem services; Farmer; Landscape ecology; Plant; Policy; Restoration; Semi-natural grassland; Biologisk mångfald; Ekosystemtjänster; Landskapsekologi; Lantbrukare; Naturbetesmark; Policy; Restaurering; Växter; Äng; Physical Geography; naturgeografi;

    Sammanfattning : Humans play a major role shaping the living conditions for not only ourselves, but also all other species on Earth. In fact, some species-rich habitat types require human management to uphold the biodiversity and related ecosystem services. LÄS MER

  5. 14. Biologically Interesting Compounds from Natural Sources

    Författare :Veronica de la Parra; Centrum för analys och syntes; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; cytotoxicity; Natural products; terpenoids; vasorelaxant activity; allylmercaptane; diabetes mellitus type II; Organisk kemi; Organic chemistry; Cacalia decomposita; GPR40 receptor; TRP channel;

    Sammanfattning : Natural products have traditionally played a major role in the drug discovery process. Besides constituting extremely popular drugs in the market, and an ever-increasing source of interesting and novel chemical structures, they have also aided the characterization of many a pharmacological target. LÄS MER

  7. 15. Representation learning for natural language

    Författare :Olof Mogren; RISE; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; artificial neural networks; artificial intelligence; natural language processing; deep learning; machine learning; summarization; representation learning;

    Sammanfattning : Artificial neural networks have obtained astonishing results in a diverse number of tasks. One of the reasons for the success is their ability to learn the whole task at once (endto-end learning), including the representations for data. LÄS MER