Search for dissertations about: "Formalization"
Showing result 6 - 10 of 67 swedish dissertations containing the word Formalization.
-
6. Explorations in Behavioral Economics: Realism, Ontology and Experiments
Abstract : This thesis explores Behavioral Economics in terms of realism, ontology and experiments. In the introductory chapter descriptions of "Behavioral Economics", "realism" and "ontology" are offered. READ MORE
-
7. First-Order Logic and Classical Theism : Toward Logical Reorientation
Abstract : This inquiry seeks an answer to the question whether classical theistic doctrines about the nature of God are amenable to formal analysis in terms of standard first-order logic. It is argued that due to the conceptual impact of classical theism’s doctrine of divine simplicity there is a good reason for answering this question in the negative. READ MORE
-
8. Resource-Predictable and Efficient Monitoring of Events
Abstract : We present a formally specified event specification language (Solicitor). Solicitor is suitable for real-time systems, since it results in resource-predictable and efficient event monitors. READ MORE
-
9. Steps towards the formalization of designing VLSI systems
Abstract : This thesis describes an attempt to formalize the design process of VLSI systems as a sequence of semantics-preserving mappings which transforms a program-like behavioral description into a structural description. The produced structural description may then be partitioned into several potential asynchronous modules with well-defined interfaces. READ MORE
-
10. Formalizing Refinements and Constructive Algebra in Type Theory
Abstract : The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. READ MORE