Sökning: "Space"

Visar resultat 41 - 45 av 5017 avhandlingar innehållade ordet Space.

1. 41. Space in Proof Complexity

   Författare :Marc Vinyals; Jakob Nordström; Yehudayoff Amir; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; proof complexity; resolution; polynomial calculus; cutting planes; space complexity; computational complexity; pebble games; communication complexity; CDCL; Computer Science; Datalogi;

   Sammanfattning : ropositional proof complexity is the study of the resources that are needed to prove formulas in propositional logic. In this thesis we are concerned with the size and space of proofs, and in particular with the latter.Different approaches to reasoning are captured by corresponding proof systems. LÄS MER

3. 42. Imagining Urban Gardening Space : An Ethnographic Study of Urban Gardening in Sweden

   Författare :Ida Åberg; Charlotte Fridolfsson; Jörgen Ödalen; Anna Kaijser; Linköpings universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Public space; urban gardening; Sweden; post-structuralism; psychoanalysis; ethnography;

   Sammanfattning : Urban gardening is a phenomenon that increasingly occupies the limited space in cities. In discourse, urban gardening is constructed as a positive element and as something that can build a productive environment in urban areas. However, using urban space for gardening raises questions about the delimitations of public space. LÄS MER

4. 43. PETTY TRADING IN MARKETPLACES: Space Generation, Use and Management at Temeke Stereo Marketplace in Dar es Salaam, Tanzania

   Författare :Daniel Mbisso; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; space use; space generation; space management; institutions; marketplace; planning; social norms; design; Petty trading;

   Sammanfattning : Petty trading is a prevailing socioeconomic activity serving a multitude of the low-income population in rapidly urbanising developing countries. Petty trading marketplaces thus, have an important role to play in urban development processes. LÄS MER

5. 44. Explorations of University Physics in Abstract Contexts : From de Sitter Space to Learning Space

   Författare :Daniel Domert; Cedric Linder; Ulf Danielsson; Duncan Fraser; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Physics; phenomenography; cosmology; de Sitter space; quantum mechanics; conceptual understanding; epistemology; physics equations; Fysik; Physics; Fysik; Physics with specialization in Physics Education; Fysik med inriktning mot fysikens didaktik;

   Sammanfattning : This is a thesis which contributes to research in two different fields: theoretical physics and physics education research. The common link between these two research areas is that both involve explorations of abstract physics and mathematical representations, but from different perspectives. LÄS MER

7. 45. Magnetic Reconnection in Space Plasmas : Cluster Spacecraft Observations

   Författare :Alessandro Retinò; Mats André; Andris Vaivads; Bengt U. Ö. Sonnerup; Uppsala universitet; []
   Nyckelord :Space and plasma physics; space physics; plasma astrophysics; plasma physics; transport processes; boundary layers; magnetic reconnection; turbulence; particle acceleration; solar system; magnetospheres; Rymd- och plasmafysik;

   Sammanfattning : Magnetic reconnection is a universal process occurring at boundaries between magnetized plasmas, where changes in the topology of the magnetic field lead to the transport of charged particles across the boundaries and to the conversion of electromagnetic energy into kinetic and thermal energy of the particles. Reconnection occurs in laboratory plasmas, in solar system plasmas and it is considered to play a key role in many other space environments such as magnetized stars and accretion disks around stars and planets under formation. LÄS MER