Sökning: "Chalmers £an"

Visar resultat 26 - 30 av 5566 avhandlingar innehållade orden Chalmers £an.

1. 26. Pure Type Systems with an Internalized Parametricity Theorem

   Författare :Guilhem Moulin; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Type structure; Polymorphism; Lambda Calculus.; Parametricity;

   Sammanfattning : Parametricity results have recently been proved for dependently-typed calculi such as the Calculus of Constructions. However these results are meta theorems, and although they can be stated as internal propositions, they cannot be proved internally. LÄS MER

3. 27. Collaborating for Energy Efficient Shipping - An Ethnographic Study

   Författare :Josefin Borg; Chalmers tekniska högskola; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Collaborative challenges; Energy efficiency; Inter-organisational collaboration; Ethnographic study; Practice-oriented perspective; Energy efficiency collaboration; Collaborative practices; Organising; Shipping;

   Sammanfattning : The aim of this thesis is to better understand the emergent organising of an inter-organisational collaboration for energy efficiency in shipping, from a practice-oriented perspective. Interorganisational collaboration is often pointed to as a means towards sustainable development, and research on energy efficiency collaboration has emerged over the last decade. LÄS MER

4. 28. An Assessment Framework for Managing Corporate Sustainable Manufacturing

   Författare :Ilaria Giovanna Barletta; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; key performance indicators; sustainable manufacturing; life cycle thinking; energy efficiency; technology assessment; sustainability management; environmental sustainability;

   Sammanfattning : This research aims to support the manufacturing industry in the endeavour of achieving the seventeen sustainable development goals by 2030, with “sustainable production” (the 12th goal) being the key one it should achieve. The output of this research is synthesised into a framework comprising assessment methods and tools which translate both economic and environmental sustainability factors into information for a specific set of company management decisions. LÄS MER

5. 29. Evaluating transformative innovation policy: towards an integrated framework

   Författare :Carolina Resende Haddad; Chalmers tekniska högskola; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; policy evaluation; transformative innovation policy; directionality; behavioural additionality;

   Sammanfattning : Past reviews show that the current practice of science, technology, and innovation policy evaluation lags behind the development of innovation theory. The emergence of the transformative innovation policy paradigm, which aims at addressing transformative change or ‘grand challenges’, implies new challenges for policy evaluation. LÄS MER

7. 30. Scattering of elastic waves by an anisotropic sphere

   Författare :Ata Jafarzadeh; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Sphere; T matrix; Effective wave number; Distribution of inclusions; Phase velocity.; Anisotropy; Attenuation; Scattering;

   Sammanfattning : Scattering of a plane wave by a single spherical obstacle is the archetype of many scattering problems in physics and geophysics. Spherical objects can provide a good approximation for many real objects, and the analytic formulation for a single sphere can be used to investigate wave propagation in more complicated structures like particle composites or grainy materials, which may have application in non-destructive testing, material characterization, medical ultrasound, etc. LÄS MER