Sökning: "formalization"

Visar resultat 6 - 10 av 72 avhandlingar innehållade ordet formalization.

  1. 6. Explorations in Behavioral Economics: Realism, Ontology and Experiments

    Författare :Fredrik Hansen; Nationalekonomiska institutionen; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; economic policy; Nationalekonomi; Behavioral Economics; economic theory; econometrics; Economics; Laypeople; Financial Decision-Making; Formalization; Bounded Rationality; Experimental Economics; Meta-Theoretical Analysis; Economic Methodology; Ontology; ekonometri; ekonomisk teori; ekonomiska system; ekonomisk politik; economic systems; Realism;

    Sammanfattning : 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. LÄS MER

  3. 7. Med rösten som instrument : Perspektiv på nutida svensk vokal folkmusik

    Författare :Ingrid Åkesson; Gunnar Ternhag; Dan Lundberg; Pirkko Moisala; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Musicology; authenticity; creativity; cultural heritage; ethnomusicology; folk music; formalization; gender; genre-crossing; institutionalization; mediaization; oral transmission; performance; post-revival; professionalization; repertoire; revival; revitalization; singing style; tradition; Sweden; vocal folk music; Musikvetenskap; Music; Musikvetenskap; musikvetenskap; Musicology; musikvetenskap;

    Sammanfattning : The point of departure for this ethnomusicological study is the increasing interest in vocal genres and expressions in Swedish folk music milieus from the late 1980s. This “vocal vogue” is linked to the process in which folk music moves from a state of revitalization to a state of established “genre” or subculture/micromusic. LÄS MER

  4. 8. First-Order Logic and Classical Theism : Toward Logical Reorientation

    Författare :Anders Kraal; Eberhard Herrmann; Mikael Stenmark; Simo Knuuttila; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; classical theism; divine simplicity; divine attributes; God; Augustine; Thomas Aquinas; first-order logic; formalization; argument-function analysis; quantifier analysis; bivalence; natural deduction; truth-bearer; inference; inference rule; logical validity; logical pluralism; logical monism; G. Frege; B. Russell; L. Wittgenstein; R. Carnap; J. Maritain; J. Salamucha; J. Bocheński; W.V.O. Quine.; Religion Theology; Religionsvetenskap Teologi;

    Sammanfattning : 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. LÄS MER

  5. 9. Resource-Predictable and Efficient Monitoring of Events

    Författare :Jonas Mellin; Sten F. Andler; Sharma Chakravarthy; Ulf Nilsson; Peter Fritzson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; composition; efficiency; event; formalization; monitoring; performance; predictability; real-time systems; time complexity; timeliness; Computer science; Datavetenskap;

    Sammanfattning : 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. LÄS MER

  7. 10. Steps towards the formalization of designing VLSI systems

    Författare :Zebo Peng; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER