Sökning: "universal expansion"

Visar resultat 1 - 5 av 32 uppsatser innehållade orden universal expansion.

  1. 1. A Verified QBF Solver

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Axel Bergström; [2024]
    Nyckelord :;

    Sammanfattning : Quantified Boolean Formulas (QBFs) extend propositional logic with universal and existential quantification over Boolean variables.  A QBF is satisfiable if and only if there is an assignment of Boolean values to the free variables that makes the formula true, and a QBF solver is a software tool determining if a given QBF is satisfiable. LÄS MER

  3. 2. Techno economic study of high PV penetration in Gambia in 2040

    Master-uppsats, Högskolan Dalarna/Institutionen för information och teknik

    Författare :Alieu Jarjusey; [2023]
    Nyckelord :Large scale grid connected PV; Photovoltaics; levelized cost of electricity LCOE ; Gambia high solar PV penetration; PVsyst; HomerPro;

    Sammanfattning : Meeting electricity demand and power shortage remains as a challenge to the people of the Gambia. As the country is undergoing tremendous electricity accessibility expansion [1], to secure the environment for the future generation, it is necessary to consider renewable energy to be the major source of electricity production, to be specific, solar energy. LÄS MER

  4. 3. Skit är skit om än med satellit : Medie– och teknikkritik i dagspressen åren 1977–1980 med anledning av det nordiska telesatellitprojektet Nordsat

    Kandidat-uppsats, Södertörns högskola/Institutionen för historia och samtidsstudier

    Författare :Oskar Palerius; [2022]
    Nyckelord :Teknikkritik Satellit Nordsat;

    Sammanfattning : In the late 1970s, there was an extensive debate in Swedish newspapers and other forums about a TV satellite called Nordsat. Nordsat was a Nordic TV-satellite project that would expand the TV range to all Nordic countries. The Nordic countries planned to jointly finance a satellite that would transmit and expand live TV. LÄS MER

  5. 4. Galaxies as Clocks and the Universal Expansion

    Master-uppsats, KTH/Fysik

    Författare :Anders Ahlström Kjerrgren; [2021]
    Nyckelord :cosmology; cosmic chronometers; universal expansion; Hubble parameter; differential ages; galaxy age; relative age; cosmic time; chi-square minimization; monte carlo sampling; gaussian processes; kosmologi; kosmisk kronometer; universums expansion; Hubbleparametern; differentiell ålder; galaxålder; relativ ålder; kosmisk tid; chi-2-minimering; monte carlo-sampling; gaussiska processer;

    Sammanfattning : The Hubble parameter H(z) is a measure of the expansion rate of the universe at redshift z. One method to determine it relies on inferring the slope of the redshift with respect to cosmic time, where galaxy ages can be used as a proxy for the latter. This method is used by Simon et al. LÄS MER

  7. 5. A Structural Development Trap? : A Critical Analysis of the Idea of a ‘Universal, Rules-Based, Open, Non-Discriminatory, and Equitable Multilateral Trading System’.

    Master-uppsats, Uppsala universitet/Teologiska institutionen

    Författare :Evelina Eriksson; [2021]
    Nyckelord :Human Rights; Development; Trade; Liberalisations; SDG; Capability Approach; Functionings; Capabilities; Freedoms; Agency.;

    Sammanfattning : Human rights advocates have expressed their concern about the marginalisation of human rights principles and the actual or potential human rights implications of WTO agreements. The international economic law and human rights law have been developed as two parallel regimes, yet trade and economics have been at the centre of most developing agendas in modern time. LÄS MER