Sökning: "weak limits"

Visar resultat 1 - 5 av 38 avhandlingar innehållade orden weak limits.

1. 1. Exact completion and type-theoretic structures

   Författare :Jacopo Emmenegger; Erik Palmgren; Alexander Berglund; Maria Emilia Maietti; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; exact completion; type theory; setoid; weak limits; cartesian closure; inductive types; Mathematics; matematik;

   Sammanfattning : This thesis consists of four papers and is a contribution to the study of representations of extensional properties in intensional type theories using, mainly, the language and tools from category theory. Our main focus is on exact completions of categories with weak finite limits as a category-theoretic description of the setoid construction in Martin-Löf's intensional type theory. LÄS MER

3. 2. On Power Electronics Interface for Distributed Generation Applications and its Impact on System Reliability to Customers

   Författare :Fainan Magueed; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; LCL-filter; vector control; voltage dips; L-filter; power quality; voltage regulation; harmonics; distributed generation; weak grid; VSC; strong grid;

   Sammanfattning : Distributed generation (DG) is being employed as a means of achieving increased reliability for electrical power systems as regarded by consumers. As the most of DG technologies utilize renewable sources, the power electronic interface plays a vital role to match the characteristics of a DG unit with the grid requirements. LÄS MER

4. 3. Necessary but not Sustainable? The Limits of Democracy in Achieving Environmental Sustainability

   Författare :Marina Povitkina; Göteborgs universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; democracy; environmental sustainability; quality of government; corruption;

   Sammanfattning : The world today faces a number of environmental problems that are both severe and urgent. Finding effective solutions is one of the top priorities for the international community, with at least half of the United Nations Sustainable Development Goals relating either directly or indirectly to reaching environmental sustainability. LÄS MER

5. 4. Caches, Transactions and Memories : Models, Coherence and Consistency

   Författare :Yunyun Zhu; Parosh Abdulla; Mohamed Faouzi Atig; Ahmed Rezine; Bengt Jonsson; Riadh Robbana; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; cache coherence protocol; transactional memory; weak memory model; model checking; parameterized system; Computer Science; Datavetenskap;

   Sammanfattning : Computers have brought us inestimable convenience in recent years. We have become dependent on them and more sensitive to their performance. During the past decades, we have been trying to improve program efficiency. The invention of multi-core systems is regarded as the new era of boosting performance of computer programs. LÄS MER

7. 5. Social-ecological dynamics in a highly regulated fisheries system - Sources of resilience and limits to command-and-control management

   Författare :Jonas Hentati-Sundberg; Henrik Österblom; Margit Eero; Stockholms universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Baltic Sea; resilience; social-ecological system; feed-backs;

   Sammanfattning : Sustainable governance of natural resources is challenged by the poor understanding of complex human-nature couplings. Major advancements in resilience theory, acknowledging the importance of social-ecological linkages and the self-organizing capacity of social-ecological systems, provides a new perspective on research in sustainability science. LÄS MER