Search for dissertations about: "program theory"
Showing result 1 - 5 of 246 swedish dissertations containing the words program theory.
-
1. Deductive Program Analysis with First-Order Theorem Provers
Abstract : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. READ MORE
-
2. Transparent Conductive Tin Doped Indium Oxide : Characterisation of Thin Films Made by Sputter Deposition with Silver Additive and by Spin Coating from Nanoparticle Dispersions
Abstract : Thin films of tin doped indium oxide (ITO) were prepared by two different methods: by sputter deposition with silver additive and by spin coating of a nanoparticle dispersion.ITO films doped with ≤ 20 at% of silver were prepared either as homogenous blends of ITO and silver or as intermixed layers. READ MORE
-
3. Relations in Dependent Type Theory
Abstract : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. READ MORE
-
4. Computer assisted evaluation of gas sensors : theory and applications
Abstract : The application of a low cost computer as program control in a laboratory experimental situation is valuable for the evaluation of a complex measurement problem. The first step in a computer assisted evaluation is to design the experimental methods and construct the apparatus. READ MORE
-
5. Mechanical anchorage of prestressed CFRP tendons : theory and tests
Abstract : Fibre Reinforced Polymers (FRPs) are slowly becoming important materials to consider also for a structural engineer. They are light-weight, insensitive to corrosion and have highly modifiable mechanical properties. READ MORE
