Search for dissertations about: "natural ..."
Showing result 11 - 15 of 28122 swedish dissertations containing the words natural ....
-
11. A Natural Interpretation of Classical Proofs
Abstract : 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. READ MORE
-
12. Optical sensors in drinking water production : Towards automated process control in relation to natural organic matter
Abstract : 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. READ MORE
-
13. Restoration of semi-natural grasslands : Impacts on biodiversity, ecosystem services and stakeholder perceptions
Abstract : 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. READ MORE
-
14. Biologically Interesting Compounds from Natural Sources
Abstract : 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. READ MORE
-
15. Representation learning for natural language
Abstract : 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. READ MORE