Sökning: "natural deduction"

Visar resultat 11 - 15 av 27 avhandlingar innehållade orden natural deduction.

  1. 11. Altiplanic aquifer exploration by multidisciplinary methods : Addressing the basis of sustainable use of groundwater

    Författare :Etzar Gomez Lopez; Teknisk geologi; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Groundwater; Geophysics; Isotopes; Aquifer; Hydrogeology;

    Sammanfattning : The sustainable use of groundwater relies on building up three stages: exploration, development and management. The exploration is crucial to understand the capabilities and limitations of aquifer units; e.g. LÄS MER

  3. 12. Atomic Spectroscopy on Fusion Relevant Ions and Studies of Light Impurities in the JET Tokamak

    Författare :Magnus Tunklev; Partikel- och kärnfysik; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Active and Passive Charge Exchange; Transport; Diffusion; Convection; Neutral Background Densities; Ion temperatures; Fusion; Isoelectronic sequences; Plasma; Atom- och molekylärfysik; Fysicumarkivet A:1999:Tunklev; Ritz formalism; Plume; Atomic and molecular physics;

    Sammanfattning : The spectrum and energy levels C IV and the 3l4l' system of the Mg-like ions in the iron group elements has been investigated. This has led to several hundred identified transitions, many of them previously unknown. LÄS MER

  4. 13. Ontology for Information Systems (04IS) Design Methodology : Conceptualizing, Designing and Representing Domain Ontologies

    Författare :Vandana Kabilan; Paul Johannesson; Andreas Opdahl; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information science; computer science; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : Globalization has opened new frontiers for business enterprises and human communication. There is an information explosion that necessitates huge amounts of information to be speedily processed and acted upon. LÄS MER

  5. 14. Comparative Study of Teaching Computational Mathematics in Two Different Learning Environments

    Författare :Dara Maghdid; Matematik LTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computational mathematics; Teaching style; Variation Theory; Mathematics values; Motivation;

    Sammanfattning : This thesis aims to investigate necessary adaptations in the design of a mathematics course when it is transferred from one cultural environment to another. We focus on an elementary course in computational mathematics with Python taught at Lund University, Sweden, and at Soran University, Kurdistan/Iraq. This project holds two main parts. LÄS MER

  7. 15. Roughness lengths and roughness sublayer corrections in partly forested regions

    Författare :Meelis Mölder; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Earth sciences; flux parameterisation; profile measurements; radiation temperature; displacementheight; barley; pasture; Geovetenskap; Earth sciences; Geovetenskap; Hydrology; hydrologi;

    Sammanfattning : Questions related to water resources management and climate change at regional to global scales have inspired research about processes governing exchange of water, heat and carbon between land and atmosphere. The concept of roughness length is fundamental in deduction of bulk transfer relations from the generally accepted Monin-Obukhov similarity theory for this exchange. LÄS MER