Sökning: "Set theory"

Visar resultat 16 - 20 av 1203 avhandlingar innehållade orden Set theory.

  1. 16. Fighter Aircraft Maneuver Limiting Using MPC : Theory and Application

    Författare :Daniel Simon; Johan Löfberg; Torkel Glad; Jan Maciejowski; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model predictive control; flight control;

    Sammanfattning : Flight control design for modern fighter aircraft is a challenging task. Aircraft are dynamical systems, which naturally contain a variety of constraints and nonlinearities such as, e.g., maximum permissible load factor, angle of attack and control surface deflections. LÄS MER

  3. 17. Art of the Possible? : Feasibility and Compliance in Ideal and Nonideal Theory

    Författare :Naima Chahboun; Ludvig Beckman; Alexandra Segerberg; Eva Erman; Anca Gheaus; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Ideal theory; nonideal theory; feasibility; compliance; justice; Political Science; statsvetenskap;

    Sammanfattning : In the past decade, the value of so-called ideal theory has become a major point of dispute among political theorists. While critics of ideal theory accuse this approach of “idle utopianism”, its advocates fault the critics for conceding to “cynical realism”.This dissertation examines two charges against ideal theory. LÄS MER

  4. 18. Cubical Intepretations of Type Theory

    Författare :Simon Huber; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependent Type Theory; Univalence Axiom; Models of Type Theory; Identity Types; Cubical Sets;

    Sammanfattning : The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, this view also is compatible with Voevodsky's univalence axiom which explains equality for type-theoretic universes as homotopy equivalences, and formally allows to identify isomorphic structures, a principle often informally used despite its incompatibility with set theory. While this interpretation in homotopy theory as well as the univalence axiom can be justified using a model of type theory in Kan simplicial sets, this model can, however, not be used to explain univalence computationally due to its inherent use of classical logic. LÄS MER

  5. 19. The Art of Making Democratic Trouble : Four Art Events and Radical Democratic Theory

    Författare :Elín Hafsteinsdóttir; Cecilia Åse; Charlotte Fridolfsson; Jenny Gunnarsson Payne; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; radical democracy; art; event; space of conflict; agonistic democracy; discourse theory; post-structuralist theory; Chantal Mouffe; Aletta Norval; Sweden; the Netherlands; democratic subjectivity; political subject; politicization; Political Science; statsvetenskap;

    Sammanfattning : Heated debates and strong emotions occasionally arise in the public sphere in the wake of an art object. The interaction that follows becomes part of what we as citizens share in a democracy, with its particular conditions of political speech and democratic exchange. LÄS MER

  7. 20. Noise Properties of the Single Electron Transistor

    Författare :Serguei Kafanov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Low-Frequency noise; Shot Noise; 1 f noise; Single Electron Transistor; charge sensitivity; SET; electrometer; Coulomb blockade; radio-frequency Single Electron Transistor; RF-SET;

    Sammanfattning : The Single Electron Transistor (SET) is a sensitive electrometer with a charge sensitivityultimately limited by noise. In this thesis we present measurements of noiseproperties and charge sensitivity of the radio-frequency Single Electron Transistor. LÄS MER