Sökning: "Anders Lindström"

Visar resultat 26 - 27 av 27 avhandlingar innehållade orden Anders Lindström.

  1. 26. Hydraulic- hydromorphologic analysis as an aid for improving peak flow predictions

    Författare :Anna Åkesson; Anders Wörman; Göran Lindström; Rolf Larsson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Hydrological modelling; peak flow predictions; distributed routing; parameterisation; stage-dependency; Hydrology; Hydrologi;

    Sammanfattning : Conventional hydrological compartmental models have been shown to exhibit a high degree of uncertainty for predictions of peak flows, such as the design floods for design of hydropower infrastructure. One reason for these uncertainties is that conventional models are parameterised using statistical methods based on how catchments have responded in the past. LÄS MER

  2. 27. Lindström quantifiers and higher-order notions on finite structures

    Författare :Anders Andersson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; Finite model theory; generalized quantifiers; higher-order quantifiers and operators; bijective Ehrenfeucht-Fraïssé games; quantifying over quantifiers; isomorphism quantifiers; MATEMATIK; MATHEMATICS; MATEMATIK; matematisk logik; Mathematical Logic;

    Sammanfattning : The expressive power of first-order logic is very limited on finite structures. One important way to obtain stronger logics is to add Lindström quantifiers, and another is to add higher-order quantification. We investigate two different ways of combing the two approaches. LÄS MER