Sökning: "håstad"

Visar resultat 1 - 5 av 22 avhandlingar innehållade ordet håstad.

  1. 1. Regeringssättet i den schweiziska demokratien

    Författare :Elis Håstad; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Political science; Statsvetenskap;

    Sammanfattning : .... LÄS MER

  3. 2. Plumage Colours and the Eye of the Beholder : The Ecology of Colour and its Perception in Birds

    Författare :Olle Håstad; Mats Björklund; Innes Cuthill; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Ecology; ultraviolet; colour vision; opsin; Ekologi; Terrestrial; freshwater and marine ecology; Terrestisk; limnisk och marin ekologi;

    Sammanfattning : Virtually all diurnal birds have tetrachomatic vision based on four different colour receptors. As a result, birds are potentially able to perceive their environment in twice as many colours as humans and four times as many colours compared to most other mammals, which are dichromatic. LÄS MER

  4. 3. Beating a Random Assignment : Approximating Constraint Satisfaction Problems

    Författare :Gustav Hast; Johan Håstad; Uri Zwick; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computer science; Datalogi;

    Sammanfattning : An instance of a Boolean constraint satisfaction problem, CSP, consists of a set of constraints acting over a set of Boolean variables. The objective is to find an assignment to the variables that satisfies all the constraints. LÄS MER

  5. 4. On Long Proofs of Simple Truths

    Författare :Kilian Risse; Per Austrin; Johan Håstad; Jakob Nordström; Benjamin Rossman; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computational Complexity; Lower Bounds; Proof Complexity; Datalogi; Computer Science;

    Sammanfattning : Propositional proof complexity is the study of certificates of infeasibility. In this thesis we consider several proof systems with limited deductive ability and unconditionally show that they require long refutations of the feasibility of certain Boolean formulas. LÄS MER

  7. 5. Om betalningsinställelse och offentligt ackord

    Författare :Ingrid Arnesdotter; Torgny Håstad; Lars Heuman; Juridiska institutionen; Uppsala; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Sammanfattning : .... LÄS MER