Sökning: "Observational Models"

Visar resultat 1 - 5 av 143 avhandlingar innehållade orden Observational Models.

  1. 1. Was Einstein Wrong? : Theoretical and observational constraints on massive gravity

    Författare :Marcus Högås; Edvard Mörtsell; David Mota; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Gravity; Massive gravity; Bimetric gravity; Cosmology; Gravitational collapse; Gravitational waves; Observational constraints; Theoretical Physics; teoretisk fysik;

    Sammanfattning : For more than a century, Einstein's theory of general relativity has described gravitational phenomena with astonishing precision. However, for the theory to fit observations we need to add two elusive substances: dark energy and dark matter. Together they add up to 95% of the energy budget of the Universe. LÄS MER

  3. 2. Observational Uncertainties in Water-Resources Modelling in Central America : Methods for Uncertainty Estimation and Model Evaluation

    Författare :Ida Westerberg; Sven Halldin; Jan Seibert; Lars-Christer Lundin; Chong-Yu Xu; Deliang Chen; Alberto Montanari; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Central America; Discharge; Flow-duration curve; Fuzzy regression; GLUE; Model evaluation; Non-stationarity; Observational uncertainty; Precipitation; Quality control; Rating curve; Regionalisation; Uncertainty estimation; Ungauged basins; Water resources; Avbördningskurva; Centralamerika; GLUE; icke-stationaritet; kvalitetskontroll; modellutvärdering; nederbörd; observationsosäkerheter; avrinningsområden utan vattenfö-ringsdata; oskarp regression; osäkerhetsuppskattning; regionalisering; varaktighetskurva; vattenföring; vattenresurser; Hydrology; Hydrologi; Hydrology; Hydrologi;

    Sammanfattning : Knowledge about spatial and temporal variability of hydrological processes is central for sustainable water-resources management, and such knowledge is created from observational data. Hydrologic models are necessary for prediction for time periods and areas lacking data, but are affected by observational uncertainties. LÄS MER

  4. 3. Covariate selection and propensity score specification in causal inference

    Författare :Ingeborg Waernbaum; Xavier de Luna; Elena Stanghellini; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Covariate selection; graphical models; matching; observational studies; treatment effects; unconfoundedness; Statistics; Statistik;

    Sammanfattning : This thesis makes contributions to the statistical research field of causal inference in observational studies. The results obtained are directly applicable in many scientific fields where effects of treatments are investigated and yet controlled experiments are difficult or impossible to implement. LÄS MER

  5. 4. Proving Safety and Security of Binary Programs

    Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

  7. 5. Geological Characterisation and the Observational Method. Application of Value of Information Analysis

    Författare :Miriam Zetterlund; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Value of Information Analysis; Rock mass characterisation; Observational Method;

    Sammanfattning : The implementation of the new European standards for geotechnical design calls for new practice in the underground construction industry in Sweden. The standard proposes the Observational Method as an alternative method when the geotechnical behaviour is difficult to predict. LÄS MER