Sökning: "program theory"
Visar resultat 1 - 5 av 366 avhandlingar innehållade orden program theory.
1. Deductive Program Analysis with First-Order Theorem Provers
Sammanfattning : 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. LÄS MER
2. Studies on Fantasmical Anatomies
Sammanfattning : Studies on Fantasmical Anatomies is an ongoing transdisciplinary artistic research, which encompasses the spectrum of experiences and practices that I have developed as a choreographer, dancer and Feldenkrais practitioner. My interest in anatomy and somatic practices grew out of multiple shoulder dislocations. LÄS MER
3. Transparent Conductive Tin Doped Indium Oxide : Characterisation of Thin Films Made by Sputter Deposition with Silver Additive and by Spin Coating from Nanoparticle Dispersions
Sammanfattning : 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. LÄS MER
4. Relations in Dependent Type Theory
Sammanfattning : 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. LÄS MER
5. Some binary response situations : theory and applications
Sammanfattning : In a binary response situation we are studying an event which either occurs or does not occur. Such situations are treated in the following five reports. In report I, there is a review of different statistical models and analysis methods for, in particular, nonexperimental surveys. LÄS MER