Sökning: "Locales"

Visar resultat 1 - 5 av 18 avhandlingar innehållade ordet Locales.

  1. 1. Integrated Community Energy Systems

    Författare :Binod Prasad Koirala; Mehrdad Ghandari; Rudi A. Hakvoort; Reinier Van der Veen; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Distributed energy resources; community energy; local energy systems; institutional design; smart grids; energy system integration; community engagement; Energy Technology; Energiteknik; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Energy systems across the globe are going through a radical transformation as a result of technological and institutional changes, depletion of fossil fuel resources, and climate change. Accordingly, local energy initiatives are emerging and increasing number of the business models are focusing on the end-users. LÄS MER

  3. 2. Gates and Gods. Cults in the City Gates of Iron Age Palestine. An Investigation of the Archaeological and Biblical Sources

    Författare :Tina Haettner Blomquist; Centrum för teologi och religionsvetenskap; []
    Nyckelord :HUMANIORA; HUMANITIES; 2 Kgs 23:8; 15-16; 1 Kgs 22:10-12; 22-25; 18-19; 1 Sam 9:12-14; Num 5:11-31; Exod 22:6-11; Yotvata; Horvat Uza; Timna Site 30; Horvat Teman; Horvat Radum; Tell en-Nasbeh; Mezad Hazeva; Megiddo; Lachish; Tell el-Farah North; Dan; Chinnereth; Bethsaida; Beersheba; Palestine; Iron Age; cult; religion; archaeology; Old Testament; Bible; Hebrew Bible; Ezek 8:3; 5; Ezek 16:24; 31.; Bibelvetenskap;

    Sammanfattning : The present study deals with the question of cult locales in city gate contexts in Iron Age Palestine. Both archaeological and biblical sources are analysed in order to determine the presence of gate cult locales and indicate some directions of interpretation. LÄS MER

  4. 3. Foráneos y arraigados : Migración, inclusión y exclusión social de neerlandeses y alemanes en Nueva España, 1560-1650

    Författare :Eleonora Poggio; Spain Pablo de Olavide University; []
    Nyckelord :HUMANIORA; HUMANITIES; Migration; belonging; technological transmission; merchant networks; early colonial Mexico; Germany; Netherlands; Historia; History;

    Sammanfattning : Este trabajo estudia la evolución y el desarrollo de la comunidad neerlandesa y alemana que formó parte de la sociedad del virreinato de la Nueva España entre 1560 y 1650. Trata sobre las formas de inclusión y exclusión social, tanto al interior del grupo como con los otros agentes sociales en las relaciones verticales y horizontales a su alrededor. LÄS MER

  5. 4. Towards a sustainable automotive industry : experiences from the development of emission control systems

    Författare :David Bauner; Staffan Laestadius; Lee Schipper; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; evolutionary economics; environmental innovation; trajectories; co-evolution; Industrial engineering and economy; Industriell teknik och ekonomi;

    Sammanfattning : From the mid-1970s and on, the contribution to air pollution of carbon monoxide, hydrocarbons and nitrogen oxides from gasoline passenger cars in the developed world has been reduced through co-evolution of regulation and commercial introduction of catalytic emission control technology, now part of hundreds of millions of cars, trucks and buses worldwide. This dissertation is a disaggregated study of the global introduction of catalytic emission control technology as a measure to reduce local air pollution. LÄS MER

  7. 5. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

    Författare :Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

    Sammanfattning : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. LÄS MER