Search for dissertations about: "Natural science"

Showing result 1 - 5 of 7824 swedish dissertations containing the words Natural science.

  1. 1. Applications of Functional Programming in Formal and Natural Languages

    University dissertation from Chalmers University of Technology

    Author : Markus Forsberg; Chalmers tekniska högskola.; Chalmers University of Technology.; Chalmers tekniska högskola.; Chalmers University of Technology.; [2004]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Informationsteknik; Information technology; Datavetenskap; Computer science;

    Abstract : This thesis describes two applications of functional programming to process formal and natural languages. The techniques described in this thesis are closely connected to compiler construction, which is obvious in the work on BNF Converter. READ MORE

  2. 2. Chlorine Cycling in Terrestrial Environments

    University dissertation from Linköping : Linköping University Electronic Press

    Author : Malin Montelius; Linköpings universitet.; Linköpings universitet.; [2016]
    Keywords : LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Chloride; organic chlorine; chlorination; dechlorination; 36Cl; risk assessment modelling; Klorid; organiskt klor; klorering; deklorering; klor-36; riskmodellering;

    Abstract : Chlorinated organic compounds (Clorg) are produced naturally in soil. Formation and degradation of Clorg affect the chlorine (Cl) cycling in terrestrial environments and chlorine can be retained or released from soil. READ MORE

  3. 3. Computer Science Project Courses Contrasting Students’ Experiences with Teachers’ Expectations

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Mattias Wiggberg; Uppsala universitet.; Uppsala universitet.; [2010]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; computer science education; computer science student projects; computer science projects; computer science education research; phenomenography; learning; higher education; communities of practice; capstone projects; constructivism; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap; Datavetenskap med inriktning mot datavetenskapens didaktik; Computer Science with specialization in Computer Science Education Research;

    Abstract : Including small or large project courses is widely recognized as important in preparing computer science students for a professional career. Typical examples are the capstone courses, which often are seen as the jewel in the crown since this is where students will bring their previous knowledge and skills together to show mastery of their craft. READ MORE

  4. 4. Induction Rules for Proving Correctness of Imperative Programs

    University dissertation from Chalmers University of Technology

    Author : Angela Wallenburg; Göteborgs universitet.; University of Gothenburg.; Göteborgs universitet.; Gothenburg University.; Göteborgs universitet.; Gothenburg University.; [2004]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computer science; program verification; software testing; interactive theorem proving; mathematical induction; customised induction rules;

    Abstract : .... READ MORE

  5. 5. Functional Polytypic Programming --- Use and Implementation

    University dissertation from Chalmers University of Technology

    Author : Patrik Jansson; Chalmers tekniska högskola.; Chalmers University of Technology.; Chalmers tekniska högskola.; Chalmers University of Technology.; [1997]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Teoretisk datalogi; Theoretical computer science; Datalogi; Computer science; Programming languages; Functional programming; Algebraic datatypes; Polytypic programming; Generic programming;

    Abstract : Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, pattern matchers, equality functions, unifiers, rewriting functions, etc. READ MORE