Sökning: "Formalism"

Visar resultat 11 - 15 av 316 avhandlingar innehållade ordet Formalism.

  1. 11. A General Formalism for Continuous Feedback Control in Quantum Systems

    Författare :Björn Annby-Andersson; NanoLund: Centre for Nanoscience; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; quantum measurements; quantum control; stochastic thermodynamics; information thermodynamics; full count- ing statistics; open quantum systems; Quantum measurements; Quantum control; Stochastic thermodynamics; Information thermodynamics; Full counting statistics; Open quantum systems;

    Sammanfattning : This thesis devolops a general formalism for continuous feedback control in quantum systems. The main result is a quantum Fokker-Planck master equation describing the joint dynamics of a quantum system and a detector with finite bandwidth. For a fast detector, this equation can be reduced to a Markovian master equation for the system dynamics. LÄS MER

  3. 12. Studies in extended unification-based formalism for linguistic description : an algorithm for feature structures with disjunction and a proposal for flexible systems

    Författare :Lena Strömbäck; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Unification-based formalisms have been used in computational and traditional linguistics for quite some while. In these formalisms the feature structure is the basic structure for representing linguistic information. LÄS MER

  4. 13. Krapula : Henry Parland och romanprojektet Sönder

    Författare :Per Stam; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Literature; Finland-Swedish Modernism; Quosego; Gunnar Björling; poetics; Russian Formalism; theory of prose; narratology; Marcel Proust; photography; film; Litteraturvetenskap; Literature; Litteraturvetenskap; Literature; Litteraturvetenskap;

    Sammanfattning : The subject of the dissertation is the work of Henry Parland (1908-1930) during the last two years of his life. The main focus is on the novel Broken. (about developing Velox paper) and some essays about film and poetics. LÄS MER

  5. 14. A Study in the Computational Complexity of Temporal Reasoning

    Författare :Mathias Broxvall; Peter Jonsson; Ulf Nilsson; Anders Haraldsson; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; temporal and spatial information; artificiell intelligens; algebra; tractable fragments; temporal formalisms; formalism STP; Computer science; Datavetenskap;

    Sammanfattning : Reasoning about temporal and spatial information is a common task in computer science, especially in the field of artificial intelligence. The topic of this thesis is the study of such reasoning from a computational perspective. LÄS MER

  7. 15. Perturbative Methods in General Relativity

    Författare :Daniel Eriksson; Michael Bradley; Gert Brodin; Lászlo Árpád Gergely; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; General relativity; perturbation theory; photon-photon scattering; cosmology; FRW models with cosmological constant; Bianchi type V; slowly rotating stars; Hartle formalism; Physics; Fysik;

    Sammanfattning : Einstein's theory of general relativity is a cornerstone in the process of gaining increased understanding about problems of gravitational nature. It can be applied to problems on the huge length scales of cosmology and as far as we know it does not break down before the Planck scale is approached. LÄS MER